Let (W,S) be a Coxeter system of finite rank (ie |S| is finite) and let A be the associated Coxeter (or Davis) complex. We study chains of pairwise parallel walls in A using Tits' bilinear form associated to the standard root system of (W,S). As an application, we prove the strong parallel wall conjecture of G Niblo and L Reeves [J Group Theory 6 (2003) 399--413]. This allows to prove finiteness of the number of conjugacy classes of certain one-ended subgroups of W, which yields in turn the determination of all co-Hopfian Coxeter groups of 2--spherical type.
We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter group W, we also study the relationship between Coxeter generating sets that give rise to the same collection of parabolic subgroups. As an application we show that if an automorphism of W preserves the conjugacy class of every sufficiently short element then it is inner. We then derive consequences for the outer automorphism groups of Coxeter groups.
Let W be a Coxeter group. In this paper, we establish that, up to going to some finite index normal subgroup W_0 of W, any two cyclically reduced expressions of conjugate elements of W_0 only differ by a sequence of braid relations and cyclic shifts. This thus provides a simple description of conjugacy classes in W_0. As a byproduct of our methods, we also obtain a characterisation of straight elements of W, namely of those elements w in W for which $\ell(w^n)=n\ell(w)$ for any integer n. In particular, we generalise previous characterisations of straight elements within the class of so-called…
There is a well-known classification of conjugacy classes of involutions in finite Coxeter groups, in terms of subsets of nodes of their Coxeter graphs. In many cases, the product of an involution with the longest element is again an involution. We identify the conjugacy class of this product involution in terms of said classification.
Let $W$ be a finite Coxeter group. We classify the reflection subgroups of $W$ up to conjugacy and give necessary and sufficient conditions for the map that assigns to a reflection subgroup $R$ of $W$ the conjugacy class of its Coxeter elements to be injective, up to conjugacy.
The excess of an element $w$ of a finite Coxeter group $W$ is the minimal value of $l(x) + l(y) - l(w)$, where $x$, $y$ are elements of $W$ such that $x^2 = y^2 = 1$ and $w = xy$. Every element of a finite Coxeter group is either an involution or the product of two involutions, so the concept of excess is well defined. It can be extended to strongly real classes of infinite Coxeter groups. Earlier work by the authors showed that every conjugacy class of a finite Coxeter group contains an element of minimal length and excess zero. The current paper shows that each conjugacy class also contains …
We give a criterion for a finitely generated odd-angled Coxeter group to have a proper finite index subgroup generated by reflections. The answer is given in terms of the least prime divisors of the exponents of the Coxeter relations.
In this note we give a classification of the Maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analogue of Cartan's theorem that all maximal tori in a connected compact Lie group are conjugate.
In this paper, we prove that all finitely generated malnormal subgroups of one-ended right-angled Coxeter groups are strongly quasiconvex and they are in particular quasiconvex when the ambient groups are hyperbolic. The key idea is to prove all infinite proper malnormal subgroups of one-ended right-angled Coxeter groups are join-free and then prove the strong quasiconvexity and the virtual freeness of these subgroups. We also study the subgroup divergence of join-free subgroups in right-angled Coxeter groups and compare them with the analogous subgroups in right-angled Artin groups. We charac…
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the fundamental group of a hyperbolic 3-manifold (closed or with cusps) is subgroup conjugacy separable.
We improve a bound of Borcherds on the virtual cohomological dimension of the non-reflection part of the normalizer of a parabolic subgroup of a Coxeter group. Our bound is in terms of the types of the components of the corresponding Coxeter subdiagram rather than the number of nodes. A consequence is an extension of Brink's result that the non-reflection part of a reflection centralizer is free. Namely, the non-reflection part of the normalizer of parabolic subgroup of type D5 or Aodd is either free or has a free subgroup of index 2.
On growth types of quotients of Coxeter groups by parabolic subgroups
本文主要研究既不是有限也不是仿射的Coxeter群$W$。de la Harpe的一个著名结果断言，这样的群具有指数增长性。本文利用$W$的抛物子群和某类反射子群来研究$W$的代数。我们发现这些变量也有指数增长性。为了实现这一点，我们使用戴尔定理构造一个反射子群的$W$是同构的通用Coxeter群上的三个发电机。这些结果都是在$W$的Coxeter图是简单的约束下证明的，并对如何放宽这一约束作了一些评论。
Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine completely when this subgroup is finitely generated, by using preceding results on centralizers of reflections. This result provides a new and naturally constructed example of a family of non-finitely generated subgroups of finitely generated groups.
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit groups are subgroup conjugacy separable. We also prove this property for one relator groups of the form $R=\langle a_1,...,a_n\mid W^n\rangle$ with $n>|W|$. The property is also proved for virtual retracts (equivalently for quasiconvex subgroups) of hyperbolic virtually special groups.
In this paper we consider the {\em conjugacy stability} property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups.
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental groups of orientable closed compact surfaces are SCS.
In this note, we determine the finite groups whose poset of conjugacy classes of subgroups has breaking points. This leads to a new characterization of the generalized quaternion $2$-groups. A generalization of this property is also studied.
A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.
Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N. We show that the hyperbolic group from F. Haglund's and D. Wise's version of Rips's construction is hereditarily conjugacy separable. We then use this construction to produce first examples of finitely generated and finitely presented conjugacy separable groups that contain non-(conjugacy separable) subgroups of finite index.
Let $W$ be a Coxeter group. We provide a precise description of the conjugacy classes in $W$, in the spirit of Matsumoto's theorem. This extends to all Coxeter groups an important result on finite Coxeter groups by M. Geck and G. Pfeiffer from 1993. In particular, we describe the cyclically reduced elements of $W$, thereby proving a conjecture of A. Cohen from 1994.
We give a complete classification of conjugacy stable parabolic subgroups of Artin-Tits groups of spherical type. This answers a question posed by Ivan Marin and generalizes a theorem obtained by Juan González-Meneses in the specific case of Artin braid groups.
Let $W$ be an arbitrary Coxeter group, possibly of infinite rank. We describe a decomposition of the centralizer $Z_W(W_I)$ of an arbitrary parabolic subgroup $W_I$ into the center of $W_I$, a Coxeter group and a subgroup defined by a 2-cell complex. Only information about finite parabolic subgroups is required in an explicit computation. Moreover, by using our description of $Z_W(W_I)$, we reveal a further strong property of the action of the third factor on the second factor, in particular on the finite irreducible components of the second factor.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
Let ${\cal C}$ be a nonempty class of finite groups closed under taking subgroups, homomorphic images and extensions. A subgroup $H$ of an abstract residually ${\cal C}$ group $R$ is said to be conjugacy ${\cal C}$-distinguished if whenever $y\in R$, then $y$ has a conjugate in $H$ if and only if the same holds for the images of $y$ and $H$ in every quotient group $R/N\in {\cal C}$ of $R$. We prove that in a group having a normal free subgroup $Φ$ such that $R/Φ$ is in ${\cal C}$, every finitely generated subgroup is conjugacy ${\cal C}$-distinguished. We also prove that finitely generated sub…
Despite the significance of the notion of parabolic closures in Coxeter groups of finite ranks, the parabolic closure is not guaranteed to exist as a parabolic subgroup in a general case. In this paper, first we give a concrete example to clarify that the parabolic closure of even an irreducible reflection subgroup of countable rank does not necessarily exist as a parabolic subgroup. Then we propose a generalized notion of "locally parabolic closure" by introducing a notion of "locally parabolic subgroups", which involves parabolic ones as a special case, and prove that the locally parabolic c…
It has been known that the centralizer $Z_W(W_I)$ of a parabolic subgroup $W_I$ of a Coxeter group $W$ is a split extension of a naturally defined reflection subgroup by a subgroup defined by a 2-cell complex $\mathcal{Y}$. In this paper, we study the structure of $Z_W(W_I)$ further and show that, if $I$ has no irreducible components of type $A_n$ with $2 \leq n < \infty$, then every element of finite irreducible components of the inner factor is fixed by a natural action of the fundamental group of $\mathcal{Y}$. This property has an application to the isomorphism problem in Coxeter groups.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group contains a conjugacy separable subgroup of finite index and has a residually finite outer automorphism group. Another consequence of the main result is that Bestvina-Brady groups are conjugacy separable and have solvable conjugacy problem.
Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup $G'$ is finite. We establish the following results. Let $K,n$ be positive integers and $G$ a group having a $K$-approximate subgroup $A$. If $|a^G|\leq n$ for each $a\in A$, then the commutator subgroup of $\langle A^G\rangle$ has finite $(K,n)$-bounded order. If $|[g,a]^G|\leq n$ for all $g\in G$ and $a\in A$, then the commutator subgroup of $[G,A]$ has fin…
Groups with a conjugacy class that is the difference of two normal subgroups
Kent State University（肯特州立大学）；University of York（约克大学）；Università degli Studi di Firenze（佛罗伦萨大学）；Universitat de València（瓦伦西亚大学）；Binghamton University（宾厄姆顿大学）
Let $(W, S)$ be a Coxeter system. We give necessary and sufficient conditions on the Coxeter diagram of $(W, S)$ for $W$ to be relatively hyperbolic with respect to a collection of finitely generated subgroups. The peripheral subgroups are necessarily parabolic subgroups (in the sense of Coxeter group theory). As an application, we present a criterion for the maximal flats of the Davis complex of $(W,S)$ to be isolated. If this is the case, then the maximal affine sub-buildings of any building of type $(W,S)$ are isolated.
We show that the class of $\mathcal{C}$-hereditarily conjugacy separable groups is closed under taking arbitrary graph products whenever the class $\mathcal{C}$ is an extension closed variety of finite groups. As a consequence we show that the class of $\mathcal{C}$-conjugacy separable groups is closed under taking arbitrary graph products. In particular, we show that right angled Coxeter groups are hereditarily conjugacy separable and 2-hereditarily conjugacy separable, and we show that infinitely generated right angled Artin groups are hereditarily conjugacy separable and $p$-hereditarily co…
We determine a fundamental domain for the diagonal action of a finite Coxeter group $W$ on $V^{\oplus n}$, where $V$ is the reflection representation. This is used to give a stratification of $V^{\oplus n}$, which is respected by the group action, and we study the geometry, topology and combinatorics of this stratification. These ideas are used to obtain results on the classification of root subsystems up to conjugacy, as well as a character formula for $W$.
We give another proof of an observation of Thévenaz \cite{T1989} and present a fusion system version of it. Namely, for a saturated fusion system $\CF$ on a finite $p$-group $S$, we show that the number of the $\CF$-conjugacy classes of cyclic subgroups of $S$ is equal to the rank of certain square matrices of numbers of orbits, coming from characteristic bisets, the characteristic idempotent and finite groups realizing the fusion system $\CF$ as in our previous work \cite{P2010}.
