We review the properties of the finite Coxeter groups which are most useful for applications to cohomological invariants, namely their classes of involutions and their "cubes" (abelian subgroups generated by reflections).
By underlying the commutation relation in a right-angled Coxeter group W, we recover the fact that right-angled Coxeter groups are rigid and we describe the second subgroup of Aut(W) that appears in the decomposition of Aut(W) into a semi-direct product established by J. Tits in "Sur le groupe des automorphismes de certains groupes de Coxeter" (Journal of Algebra 113, (1988), 346-357). ----- En mettant l'accent sur la relation de commutation dans un groupe de Coxeter a angles droits W, on redemontre le fait que les groupes de Coxeter a angles droits sont rigides et on decrit le second sous-gro…
We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be the direct product. If Gamma is moreover torsion-free, it follows that Gamma is uniquely decomposable in direct product of indecomposable groups.
In this sixth part we study rank $3$ reflection groups not well generated: $G(2r,r,2)$, $G_{12}$, $G_{13}$ and $G_{22}$. We start from a reflection representation of a rank $3$ Coxeter group and we show that we can obtain in this manner affine Coxeter groups whose linear part is one of the preceding groups.
The present notes are based on a course given by J-P.Serre at ENSJF in 1978/79 on the elementary properties of finite groups. They were first written down by M.Buhler and C.Goldstein (Montrouge 1979), then revised and put in LaTeX by N.Billerey, O.Dodane and E.Rey.
In this third part, we make the following hypothesis: representation $R=R(α,β,γ;l)$ of $W(p,q,r)$ is reducible and there exist a $G$-invariant non-nulle bilinear form where $G=Im R$. With those conditions, we know the structure of $G$: $G'=G/N(G)$ is isomorphic to a finite dihedral group and $N(G)$ is given explicitly as well as the action of $G$ on $N(G)$. We begin by giving conditions on $p,q,r$ as well on $α,β,γ$ and we proove them in the appendix. The general case will be studied in the next part.
In this fourth part, (with the notations of the preceding parts) we make the following hypothesis: $(W,S)$ is a Coxeter system, irreducible, $2$-spherical and $S$ is finite. Let $R:W\to GL(M)$ be a reducible reflection representation of $W$. Let $G:= Im\,R$. Each sub-space of $M$ $(\neq M)$ stabilize by $G$ is contained in $C_{M}(G)$. Let $M':=M/C_{M}(G)$ and $N(G):=\{g|g\in G,g\, \text{acts trivially on}\,M'$. We call $N(G)$ the translation sub-group of $G$. One of the goals of this part is to study $M'$ and $N(G)$.
Let n >1 be an integer, and G a doubly transitive subgroup of the symmetric group on X={1,...,n}. In this paper we find all linear group representations rho of G on an euclidean vector space V which contains a set of equiangular vector lines GG={< v_1>,...,} such that : (1) V is generated by v_1,...,v_n, (2) for all i in X and all g in G, = . Then we illustrate our construction when G=SL_d(q), q odd and d > 1.
In this fith part, (with the notations of the preceding parts) we make the following hypothesis: $(W,S)$ is a Coxeter system, irreducible, $2$-spherical and $S$ is of cardinality $3$. Let $R:W\to GL(M)$ be a reducible reflection representation of $W$. Let $G:= Im\,R$. Each sub-space of $M$ $(\neq M)$ stabilize by $G$ is contained in $C_{M}(G)$. Let $M':=M/C_{M}(G)$ and $N(G):=\{g|g\in G,g\, \text{acts trivially on}\,M'\}$. We call $N(G)$ the translation sub-group of $G$. One of the goals of this part is to study $M'$ and $N(G)$. In particular it is shown that $N(G)$ is an $\mathcal{O}G-module$…
This part is made of three sections. In the first section we study the family of polynomials whose roots are 4cos2 kπ, (n \geqslant 3,1 \leqslant k < \frac{n}{2}). We obtain n2 in this manner a family of orthogonal polynomials. This will permit us to study in details all the examples which follow. In the second section, we give technical formulae in order noto repeat calculations. In the third section,we give applications, first when the field K is a sub-field of R (presentations of W(H3) and W(H4)) then in the complex case (study of the complex reflection group G(p, p, n), G24 and G27).
We prove that numerous negatively curved simply connected locally compact polyhedral complexes, admitting a discrete cocompact group of automorphisms, have automorphism groups which are locally compact, uncountable, non linear and virtually simple. Examples include hyperbolic buildings, Cayley graphs of word hyperbolic Coxeter systems, and generalizations of cubical complexes, that we call even polyhedral complexes. We use tools introduced by Tits in the case of automorphism groups of trees, and Davis-Moussong's geometric realisation of Coxeter systems.
Let $(A_S,S)$ be an Artin-Tits and $X$ a subset of $S$ ; denote by $A_X$ the subgroup of $A_S$ generated by $X$. When $A_S$ is of spherical type, we prove that the normalizer and the commensurator of $A_X$ in $A_S$ are equal and are the product of $A_X$ by the quasi-centralizer of $A_X$ in $A_S$. Looking to the associated monoids $A_S^+$ and $A_X^+$, we describe the quasi-centralizer of $A_X^+$ in $A_S^+$ thanks to results in Coxeter groups. These two results generalize earlier results of Paris. Finaly, we compare, in the spherical case, the normalizer of a parabolic subgroup in the Artin-Tits…
This paper dates back to 1999 but was never published. The major part of it was included in the joint paper [Digne-Gomi, Presentation of pure braid groups, J. Knot Theory and its Ramifications 10 (2001) 609--623]. Sections 2 and 6 were not included there. They are independent from the rest of the paper. In section 2 we define a morphism from a braid group B associated to a Coxeter Group W to the semi-direct product of ZT (where T is the set of reflections) by W. This morphism lifts the map N from W to (Z/2Z)T defined by Dyer in [Reflection subgroups of Coxeter systems, J. Algebra 135 (1990) 57…
In the present paper we define dual monoids for all Artin-Tits groups and we prove that for the type $\tilde A_n$ we get a (quasi)-Garside structure. Such a structure provides normal forms for the Artin-Tits group elements and allows to solve some questions such as to determine the centralizer of a power of the Coxeter element in the Artin-Tits group. More precisely, if $W$ is a Coxeter group, one can consider the length $l_R$ on $W$ with respect to the generating set $R$ consisting of all reflections. Let $c$ be a Coxeter element in $W$ and let $P_c$ be the set of elements $p\in W$ such that …
We study the interpolation group whose elements are suitable pairs of formal power series. This group has a faithful representation into infinite lower triangular matrices and carries thus a natural structure as a Lie group. The matrix exponential between its Lie algebra and its matrix representation gives rise to a function with interesting properties extending the usual exponential function to two variables (which are formal power series) We finish with an application to enumerative combinatorics and the description of an algebra which generalizes the interpolation group.
We show the analogue of Muhlherr's [Coxeter groups in Coxeter groups, Finite Geom. and Combinatorics, Cambridge Univ. Press (1993), 277-287] for Artin-Tits monoids, and for Artin-Tits groups of spherical type. That is, the submonoid (resp. subgroup) of an Artin-Tits monoid (resp. group of spherical type) induced by an admissible partition of the Coxeter graph is an Artin-Tits monoid (resp. group). This generalizes and unifies the situation of the submonoid (resp. subgroup) of fixed elements of an Artin-Tits monoid (resp. group of spherical type) under the action of graph automorphisms, and the…
For a group $H$ and a non empty subset $Γ\subseteq H$, the commuting graph $G=\mathcal{C}(H,Γ)$ is the graph with $Γ$ as the node set and where any $x,y \in Γ$ are joined by an edge if $x$ and $y$ commute in $H$. We prove that any simple graph can be obtained as a commuting graph of a Coxeter group, solving the realizability problem in this setup. In particular we can recover every Dynkin diagram of ADE type as a commuting graph. Thanks to the relation between the ADE classification and finite subgroups of $\SL(2,\C)$, we are able to rephrase results from the {\em McKay correspondence} in term…
Reflection groups, geometry of the discriminant and noncrossing partitions. When W is a well-generated complex reflection group, the noncrossing partition lattice NCP_W of type W is a very rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster algebras...). Many combinatorial properties of NCP_W are proved case-by-case, using the classification of reflection groups. It is the case for Chapoton's formula, expressing the number of multichains of a given length in the lattice NCP_W, in t…
Consider an affine Coxeter group $W$ acting by isometries on the Euclidean space $\mathbb{R}^n$, and the arrangement of its reflection hyperplanes. The fundamental group of the complement $Y_W$ of the complexification of this arrangement in $\mathbb{C}^n$ mod out by $W$ is the affine Artin group $G_W$ associated with $W$. The $K(π,1)$ conjecture states that $Y_W$ is a classifying space for $G_W$. It has been recently proved by Paolini and Salvetti building on the works of McCammond and Sulway. We will present some ingredients of the proof that rests on the study of dual Garside structures for …