Image of the braid groups inside the finite Iwahori–Hecke algebras

Brunat, Olivier; Magaard, Kay; Marin, Ivan

doi:10.1515/crelle-2015-0004

Cited by 4 publications

(75 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We now recall previous work done on this subject. O. Brunat and I. Marin determine the image of the usual braid group inside the finite Temperley-Lieb algebra [4] and O. Brunat, K. Magaard and I. Marin determine the image of the usual braid group inside its finite Iwahori-Hecke algebra [3]. In [19], I. Marin determines the Zariski closure of the image of the Artin groups inside the corresponding Iwahori-Hecke algebra in characteristic 0 and for generic parameters.…”

Section: Introduction and Notationmentioning

confidence: 99%

“…As in [2], we write SL n (q), SU n (q 1 2 ), SP n (q) and Ω ± n (q) for the finite classical groups acting naturally on the vector space F n q . As in [4] and [3] for type A, the irreducible representations of the Iwahori-Hecke algebras in types B and D are explicitly described by the Hoefsmit model (see [8] or [12]). The irreducible representations of the Iwahori-Hecke algebras are indexed by double-partitions λ of n and have a basis formed by the standard double-tableaux T associated with those double-partitions.…”

Section: Introduction and Notationmentioning

confidence: 99%

“…We have (T.T|T.T) = 0 ⇔ (T|T) = 0 ⇔ T ′ =T ⇒ (T.T|T.T) = −β(T|T) because τ T (1) = 3 − τ T ′ (1). Let i ∈ [[1, n − 1]], if τ T (i) = τ T (i + 1) then by [3,Prop 2.4. ], we have (S i .T|S i .T) = (T|T) because in the same way, we have ω(T) = −ω(T i↔i+1 ) for any standard double-tableau T and m i (T) = m i (T τ T (i) ) when τ T (i) = τ T (i + 1).…”

Section: Introduction and Notationmentioning

confidence: 99%

“…Let T be a standard double-tableau and r ∈ [[1, n − 1]]. If τ T (r) = τ T (r + 1) then the result is a consequence of Proposition 3.6. in [3]. We now assume that τ T (r) = τ T (r + 1), up to switching T and T r↔r+1 we can assume that τ T (r) = 1 and τ T (r + 1) = 2.…”

Section: Introduction and Notationmentioning

confidence: 99%

“…For n ≤ 3, this is a consequence of the results on the representations with two columns by [17] (Proposition 5). Since A Bn is generated by A Bn−1 and A Bn , we have the result by the same method as in the Lemma 3.4(i) of [3].…”

Section: Introduction and Notationmentioning

confidence: 99%

See 4 more Smart Citations

Image of the Artin groups of classical types inside the finite Iwahori–Hecke algebras

Esterle

2018

Journal of Algebra

View full text Add to dashboard Cite

We determine the image of the Artin groups of types B and D inside the Iwahori-Hecke algebras, when defined over finite fields, in the semisimple case. This generalizes earlier work on type A by Brunat, Magaard and Marin. In this multi-parameter case, this image depends heavily on the parameters.the Artin groups. Since the latter are fundamental groups of algebraic varieties, this also defines interesting finite coverings of these varieties. Since these varieties are defined over Q, this may have applications to inverse Galois theory (see for example [23]). It is also interesting in terms of finite classical groups because we get explicit generators verifying the braid relations for those groups. This can provide interesting constructions of these groups and some of their subgroups by looking at restrictions to parabolic subgroups of the Artin groups.We now introduce various notations which we use throughout the article. For a finite group G, we write O p (G) for its maximal normal p-subgroup and G ′ = [G, G] for its derived subgroup. We write k for the cyclic group of order k, N.H for an extension of N by H which can be split and N : H for a split extension of N by H where in both cases N is the normal subgroup. We write E p n for the elementary abelian group of order p n . If λ is a double-partition of n, we write λ ⊢⊢ n and if T = (T 1 , T 2 ) is a double-tableau associated with λ, we write T ∈ λ and we call T 1 and T 2 the components of T.We write n λ for the number of standard double-tableaux associated with λ. We write I N the identity matrix and E i,j the elementary matrices.Acknowledgments. This article is part of a doctoral thesis directed by O. Brunat and I. Marin. The author thanks I. Marin for a careful reading of the manuscript and suggested improvements. The author thanks O. Brunat and I. Marin for help understanding [3] and [4] and discussions on some proofs of this article. The author also thanks K. Magaard for suggestions which were a great help to simplify proofs for the low dimensional cases. The author thanks R. Chaneb for pointing out [2] for maximal subgroups of low-dimensional finite classical groups. Type BLet p be a prime, n ∈ N ⋆ , α ∈ F p of order a greater than n and not in {1, 2, 3, 4, 5, 6, 8, 10} and β ∈ F p \ {−α i , −(n − 1) ≤ i ≤ n − 1} different from 1. We set F q = F p (α, β). The Artin group of type B is the group generated by the elements T = S 0 , S 1 , . . . , S n−1 verifying the relationThe associated Iwahori-Hecke F q -algebra is defined by the generators indexed in the same way as for the Artin group and verifying the previous relations and deformations of the relations of order 2 of the Coxeter groups : (T − β)(T + 1) = 0 and for i ∈ [[1, n − 1]], (S i − α)(S i + 1) = 0. In the following, we identify the Artin group with its image inside the Iwahori-Hecke algebra. We write ℓ 1 , ℓ 2 for the length functions on A Bn = T, S i i∈ [[1,n−1]] such that for all i ∈ [[1, n − 1]], ℓ 1 (S i ) = 1, ℓ 1 (T ) = 0, ℓ 2 (S i ) = 0 and ℓ 2 (T ) = 1.In Section 2.1 we give the irreducib...

show abstract

Section: Introduction and Notationmentioning

confidence: 99%