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.
We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\mathbf{Z}$, the canonical inclusion ${\rm Aut}(G^{*n})\to {\rm Aut}(G^{* n+1})$ induces an isomorphism between the homology groups $H_i$ for $n\geq 2i+2$, as was conjectured by Hatcher and Wahl. In fact we show a little more --- in particular, the result is true for any group $G$ if we replace the automorphism group of the free product by the subgroup of symmetric automorphisms. For this purpose we use constructions and acyclicity results due to McCullough-Miller and Chen-Glover-Jensen…
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 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).
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.
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)$.
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 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…
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 …
