The Even Isomorphism Theorem for Coxeter Groups

Artin groups of spherical type up to isomorphism

We prove that two Artin groups of spherical type are isomorphic if and only if their defining Coxeter graphs are the same.

Coxeter 群的星系

The galaxy of Coxeter groups

本文构建“Coxeter 群的星系”这一带秩局部有限单纯复形，以统一刻画 Coxeter 系统同构，并给出结构定理、小秩分类及三角形 Coxeter 群的有限投射刚性。

Almost central involutions in split extensions of Coxeter groups by graph automorphisms

In this paper, given a split extension of an arbitrary Coxeter group by automorphisms of the Coxeter graph, we determine the involutions in that extension whose centralizer has finite index. Our result has applications to many problems such as the isomorphism problem of general Coxeter groups. In the argument, some properties of certain special elements and of the fixed-point subgroups by graph automorphisms in Coxeter groups, which are of independent interest, are also given.

XXL型Artin群的对偶Artin同构

The dual Artin isomorphism for Artin groups of XXL type

本文证明XXL型Artin群（所有定义整数m_{ij}≥5）与任意Coxeter元素对应的对偶Artin群同构，通过Hurwitz词集Q的几何性质及Coxeter群词问题的解完成证明。

Angle-deformations in Coxeter groups

The isomorphism problem for Coxeter groups has been reduced to its 'reflection preserving version' by B. Howlett and the second author. Thus, in order to solve it, it suffices to determine for a given Coxeter system (W,R) all Coxeter generating sets S of W which are contained in R^W, the set of reflections of (W,R). In this paper, we provide a further reduction: it suffices to determine all Coxeter generating sets S in R^W which are sharp-angled with respect to R.

扭转猜想与考克斯特群的同构问题

The Twist Conjecture and the Isomorphism Problem for Coxeter groups

该研究证明了考克斯特群的扭转猜想，结合前期工作解决了考克斯特群的同构问题，还得出考克斯特群的自同构群有限生成的推论，未使用人工智能开展研究。

A decomposition theorem for higher rank Coxeter groups

In this paper, we show that any Coxeter graph which defines a higher rank Coxeter group must have disjoint induced subgraphs each of which defines a hyperbolic or higher rank Coxeter group. We then use this result to demonstrate several classes of Coxeter graphs which define hyperbolic Coxeter groups.

Matching theorems for systems of a finitely generated Coxeter group

In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.

Commensurations of the outer automorphism group of a universal Coxeter group

This paper studies the rigidity properties of the abstract commensurator of the outer automorphism group of a universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 5$ the natural map $\mathrm{Out}(W_n) \to \mathrm{Comm}(\mathrm{Out}(W_n))$ is an isomorphism and that every isomorphism between finite index subgroups of $\mathrm{Out}(W_n)$ is given by a conjugation by an element of $\mathrm{Out}(W_n)$.

Twist-rigid Coxeter groups

We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.

星形Coxeter系统对称性与刚性

Symmetry and Rigidity of Star-Shaped Coxeter Systems

本文研究了具有星形有限Coxeter图的Coxeter群的自同构群，证明了每个自同构可分解为内自同构、图自同构以及三种额外类型：转置和两个部分共轭家族，并探讨了自然的短正合列，利用Moussong的超几何性准则证明这些群具有R_∞性质，并利用已知技术建立了这些群的刚性性质，解决了星形Coxeter系统的同构问题。

Generalization of the basis theorem for the B-type Coxeter groups

The OGS for non-abelian groups is an interesting generalization of the basis of finite abelian groups. The definition of OGS states that every element of a group has a unique presentation as a product of some powers of specific generators of the group, in a specific given order. In case of the symmetric groups Sn there is a paper of R. Shwartz, which demonstrates a strong connection between the OGS and the standard Coxeter presentation of the symmetric group, which is called the standard OGS of Sn. In this paper we generalize the standard OGS of Sn to the finite classical Coxeter group Bn. We …

Generalization of the basis theorem for the D-type Coxeter groups

The OGS for non-abelian groups is an interesting generalization of the basis of finite abelian groups. The definition of OGS states that every element of a group has a unique presentation as a product of some powers of specific generators of the group, in a specific given order. In case of the symmetric groups Sn there is a paper of R. Shwartz, which demonstrates a strong connection between the OGS and the standard Coxeter presentation of the symmetric group, which is called the standard OGS of Sn. In this paper we generalize the standard OGS of Sn to the finite classical Coxeter group Dn. We …

自由积与标准 Artin 群和对偶 Artin 群之间的同构

Free Products and the Isomorphism between Standard and Dual Artin Groups

本文研究标准 Artin 群与对偶 Artin 群之间满同态 $Ψ$ 为同构的条件，利用非交叉划分偏序集上的 Hurwitz 作用传递性和稳定化子条件给出判定，并证明这些条件在自由积和直积下保持。

On finite factors of centralizers of parabolic subgroups in Coxeter groups

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.

On Irreducible, Infinite, Non-affine Coxeter Groups

The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed as a product of two nontrivial subgroups. These two theorems imply a unique decomposition theorem for a class of Coxeter groups. We also obtain that the orbit of each element other than the identity under the conjugation action in an irreducible, infinite, non-affine Coxeter group is an infinite set. This implies that an irreducible, infinite Coxeter group i…

Cyclically reduced elements in Coxeter groups

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.

Reflection centralizers in Coxeter groups

We refine Brink's theorem, that the non-reflection part of a reflection centralizer in a Coxeter group W is a free group. We give an explicit set of generators for centralizer, which is finitely generated when W is. And we give a method for computing the Coxeter diagram for its reflection subgroup. In many cases, our method allows one to compute centralizers in one's head.

Maximal order Abelian subgroups of Coxeter groups

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.

A vanishing theorem for the $p$-local homology of Coxeter groups

Given an odd prime number $p$ and a Coxeter group $W$ such that the order of the product $st$ is prime to $p$ for every Coxeter generators $s,t$ of $W$, we prove that the $p$-local homology groups $H_k(W,\mathbb{Z}_{(p)})$ vanish for $1\leq k\leq 2(p-2)$. This generalize a known vanishing result for symmetric groups due to Minoru Nakaoka.

On a theorem of Artin

We determine the epimorphisms $A \to W$ from the Artin group $A$ of type $Γ$ onto the Coxeter group $W$ of type $Γ$, in case $Γ$ is an irreducible Coxeter graph of spherical type, and we prove that the kernel of the standard epimorphism is a characteristic subgroup of $A$. This generalizes an over 50 years old result of Artin.

On the center of a Coxeter group

In this paper, we show that the center of every Coxeter group is finite and isomorphic to $(\Z_2)^n$ for some $n\ge 0$. Moreover, for a Coxeter system $(W,S)$, we prove that $Z(W)=Z(W_{S\setminus\tilde{S}})$ and $Z(W_{\tilde{S}})=1$, where $Z(W)$ is the center of the Coxeter group $W$ and $\tilde{S}$ is the subset of $S$ such that the parabolic subgroup $W_{\tilde{S}}$ is the {\it essential parabolic subgroup} of $(W,S)$ (i.e.\ $W_{\tilde{S}}$ is the minimum parabolic subgroup of finite index in $(W,S)$). The finiteness of the center of a Coxeter group implies that a splitting theorem holds fo…

Actions of Right-Angled Coxeter Groups on the Croke Kleiner Spaces

It is an open question whether right-angled Coxeter groups have unique group-equivariant visual boundaries. Croke and Kleiner present a right-angled Artin group with more than one visual boundary. In this paper we present a right-angled Coxeter group with non-unique equivariant visual boundary. The main theorem is that if right-angled Coxeter groups act geometrically on a Croke-Kleiner spaces, then the local angles in those spaces all have to be right angles. We present a specific right-angled Coxeter group with non-unique equivariant visual boundary. However, we conjecture that the right an- …

A generalization of Coxeter groups, root systems, and Matsumoto's theorem

The root systems appearing in the theory of Lie superalgebras and Nichols algebras admit a large symmetry extending properly the one coming from the Weyl group. Based on this observation we set up a general framework in which the symmetry object is a groupoid. We prove that in our context the groupoid is generated by reflections and Coxeter relations. This answers a question of Serganova. Our weak version of the exchange condition allows us to prove Matsumoto's theorem. Therefore the word problem is solved for the groupoid.

高维双曲Coxeter群的虚拟纤维化

High dimensional hyperbolic Coxeter groups that virtually fiber

本文提出一种迭代程序构造在$\mathbb{Z}$上虚拟纤维化的双曲Coxeter群，结合前人结果与单纯加厚过程，在每个vcd $n\geq 2$中生成无限多同构类，并证明每次迭代vcd恰好增加一，覆盖所有vcd。

Generalization of isomorphism theorems groups to Partial groups

In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.

复形上的群作用、Kozsul模型、展示与Coxeter的一个定理

Group actions on complexes, Kozsul models, presentations, and a theorem of Coxeter

本文基于Kozsul思想重新证明了Brown关于离散群在单连通复形上作用可构造模顶点稳定子展示的定理，并通过基本群、对称群及二十面体相关群等例子展示其简化过程。

Visual Decompositions of Coxeter Groups

A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter group is a subgroup of the fundamental group of a given graph of groups, then the Coxeter group is also the fundamental group of a graph of special subgroups, where each vertex and edge group is a subgroup …

A central limit theorem for the two-sided descent statistic on Coxeter groups

We study the asymptotic behaviour of the statistic (des+ides) which assigns to an element w of a finite Coxeter group W the number of descents of w plus the number of descents of its inverse. Our main result is a central limit theorem for the probability distributions associated to this statistic. This answers a question of Kahle-Stump and generalises work of Chatterjee-Diaconis, Özdemir and Röttger.

On growth types of quotients of Coxeter groups by parabolic subgroups

The principal objects studied in this note are Coxeter groups $W$ that are neither finite nor affine. A well known result of de la Harpe asserts that such groups have exponential growth. We consider quotients of $W$ by its parabolic subgroups and by a certain class of reflection subgroups. We show that these quotients have exponential growth as well. To achieve this, we use a theorem of Dyer to construct a reflection subgroup of $W$ that is isomorphic to the universal Coxeter group on three generators. The results are all proved under the restriction that the Coxeter diagram of $W$ is simply l…

Automorphisms and abstract commensurators of 2-dimensional Artin groups

In this paper we consider the class of 2-dimensional Artin groups with connected, large type, triangle-free defining graphs (type CLTTF). We classify these groups up to isomorphism, and describe a generating set for the automorphism group of each such Artin group. In the case where the defining graph has no separating edge or vertex we show that the Artin group is not abstractly commensurable to any other CLTTF Artin group. If, moreover, the defining graph satisfies a further `vertex rigidity' condition, then the abstract commensurator group of the Artin group is isomorphic to its automorphism…

Action of Coxeter groups on m-harmonic polynomials and KZ equations

The Matsuo-Cherednik correspondence is an isomorphism from solutions of Knizhnik-Zamolodchikov equations to eigenfunctions of generalized Calogero-Moser systems associated to Coxeter groups G and a multiplicity function m on their root systems. We apply this correspondence to the most degenerate case of zero spectral parameters. The space of eigenfunctions is then the space H_m of m-harmonic polynomials, recently introduced in math-ph/0105014. We compute the Poincare' polynomials for the space H_m and of its isotypical components corresponding to each irreducible representation of the group G.…

Isomorphism Theorems for Gyrogroups and L-Subgyrogroups

We extend well-known results in group theory to gyrogroups, especially the isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is obtained. Introducing the notion of L-subgyrogroups, we show that an L-subgyrogroup partitions $G$ into left cosets. Consequently, if $H$ is an L-subgyrogroup of a finite gyrogroup $G$, then the order of $H$ divides the order of $G$.

Geodesically Tracking Quasi-geodesic Paths for Coxeter Groups

The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order are tracked by geodesics.

Subregular $J$-rings of Coxeter systems via quiver path algebras

We study the subregular $J$-ring $J_C$ of a Coxeter system $(W,S)$, a subring of Lusztig's $J$-ring. We prove that $J_C$ is isomorphic to a quotient of the path algebra of the double quiver of $(W,S)$ by a suitable ideal that we associate to a family of Chebyshev polynomials. As applications, we use quiver representations to study the category mod-$A_K$ of finite dimensional right modules of the algebra $A_K=K\otimes_\Z J_C$ over an algebraically closed field $K$ of characteristic zero. Our results include classifications of Coxeter systems for which mod-$A_K$ is semisimple, has finitely many …

The low-dimensional homology of finite-rank Coxeter groups

We give formulas for the second and third integral homology of an arbitrary finitely generated Coxeter group, solely in terms of the corresponding Coxeter diagram. The first of these calculations refines a theorem of Howlett, while the second is entirely new and is the first explicit formula for the third homology of an arbitrary Coxeter group.

On the isomorphism problem for even Artin groups

An even Artin group is a group which has a presentation with relations of the form $(st)^n=(ts)^n$ with $n\ge 1$. With a group $G$ we associate a Lie $\mathbb Z$-algebra $\mathcal{TG}r(G)$. This is the usual Lie algebra defined from the lower central series, truncated at the third rank. For each even Artin group $G$ we determine a presentation for $\mathcal{TG}r(G)$. Then we prove a criterion to determine whether two Coxeter matrices are isomorphic. Let $c,d\in\mathbb N$ such that $c\ge1$, $d\ge2$ and $\gcd(c,d)=1$. We show that, if two even Artin groups $G$ and $G'$ having presentations with …

A Lattice Isomorphism Theorem for Cluster Groups of Mutation-Dynkin Type $A_{n}$

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_{n}$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups…

右角Coxeter群关联的李代数的交换子代数

The commutator subalgebra of the Lie algebra associated with a right-angled Coxeter group

研究右角Coxeter群的降中央系列关联的分层李代数，构造多项式环到其交换子代数的满同态，并推测其为同构。

A Perron theorem for matrices with negative entries and applications to Coxeter groups

Handelman (J. Operator Theory, 1981) proved that if the spectral radius of a matrix $A$ is a simple root of the characteristic polynomial and is strictly greater than the modulus of any other root, then $A$ is conjugate to a matrix $Z$ some power of which is positive. In this article, we provide an explicit conjugate matrix $Z$, and prove that the spectral radius of $A$ is a simple and dominant eigenvalue of $A$ if and only if $Z$ is eventually positive. For $n\times n$ real matrices with each row-sum equal to $1$, this criterion can be declined into checking that each entry of some power is s…

Walls in Milnor fiber complexes

For a real reflection group the reflecting hyperplanes cut out on the unit sphere a simplicial complex called the Coxeter complex. Abramenko showed that each reflecting hyperplane meets the Coxeter complex in another Coxeter complex if and only if the Coxeter diagram contains no subdiagram of type $D_4$, $F_4$, or $H_4$. The present paper extends Abramenko's result to a wider class of complex reflection groups. These groups have a Coxeter-like presentation and a Coxeter-like complex called the Milnor fiber complex. Our first main theorem classifies the groups whose reflecting hyperplanes meet …

Divergence of CAT(0) Cube Complexes and Coxeter Groups

We provide geometric conditions on a pair of hyperplanes of a CAT(0) cube complex that imply divergence bounds for the cube complex. As an application, we classify all right-angled Coxeter groups with quadratic divergence and show right-angled Coxeter groups cannot exhibit a divergence function between quadratic and cubic. This generalizes a theorem of Dani-Thomas that addressed the class of 2-dimensional right-angled Coxeter groups. As another application, we provide an inductive graph theoretic criteria on a right-angled Coxeter group's defining graph which allows us to recognize arbitrary i…

On convex hulls of orbits of Coxeter groups and Weyl groups

The notion of a linear Coxeter system introduced by Vinberg generalizes the geometric representation of a Coxeter group. Our main theorem asserts that if $v$ is an element of the Tits cone of a linear Coxeter system and $\cW$ is the corresponding Coxeter group, then $\cW v \subeq v - C_v,$ where $C_v$ is the convex cone generated by the coroots $\check α$, for which $α(v) > 0$. This implies that the convex hull of $\cW v$ is completely determined by the image of $v$ under the reflections in $\cW$. We also apply an analogous result for convex hulls of $\cW$-orbits in the dual space, although th…

Coxeter群中的规范连接表示与连接不可约元素

Canonical Join Representations and Join-irreducible elements of Garside shadows in Coxeter groups

本文研究了Coxeter群中元素的规范连接表示和连接不可约元素的性质，并提出了确定元素锥型的高效计算方法。

The Coxeter quotient of the fundamental group of a Galois cover of T \times T

Let $X$ be the surface $\T\times\T$ where $\T$ is the complex torus. This paper is the third in a series, studying the fundamental group of the Galois cover of $X$ \wrt a generic projection onto $\C¶^2$. Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quotient (obtained by identifying pairs of generators), prove it is a quotient of a Coxeter group related to the degeneration of $X$, and show that this quotient is virtually nilpotent.

Nonhyperbolic Coxeter groups with Menger curve boundary (with erratum)

A generic finite presentation defines a word hyperbolic group whose boundary is homeomorphic to the Menger curve. In this article, we produce the first known examples of non-hyperbolic $CAT(0)$ groups whose visual boundary is homeomorphic to the Menger curve. The examples in question are the Coxeter groups whose nerve is a complete graph on $n$ vertices for $n\geq 5$. The construction depends on a slight extension of Sierpiński's theorem on embedding $1$--dimensional planar compacta into the Sierpiński carpet. See the appendix for a brief erratum.

Isomorphism Theorems for Groupoids and Some Applications

Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids and normal subgroupoids. We also present the isomorphism theorems for groupoids and as an applications we obtain the corresponding version of Zassenhaus Lemma and Jordan-Hölder Theorem for groupoids. Finally inspired by the Ehresmann-Schein-Nambooripad Theorem we improve a result of R. Exel concerning a one to one correspondence between partial actions of gr…

Vanishing theorems and conjectures for the, $\ell ^2$--homology of right-angled Coxeter groups

Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a cubical complex Σ_L on which W_L acts properly and cocompactly. Its two most salient features are that (1) the link of each vertex of Σ_L is L and (2) Σ_L is contractible. It follows that if L is a triangulation of S^{n-1}, then Σ_L is a contractible n-manifold. We describe a program for proving the Singer Conjecture (on the vanishing of the reduced L^2-homology except in the middle dimension) in the case of Σ_L where L is a triangulation of S^{n-1}. The program succeeds when n < 5. This implies the Charney…

Coxeter group in Hilbert geometry

A theorem of Tits - Vinberg allows to build an action of a Coxeter group $Γ$ on a properly convex open set $Ω$ of the real projective space, thanks to the data $P$ of a polytope and reflection across its facets. We give sufficient conditions for such action to be of finite covolume, convex-cocompact or geometrically finite. We describe an hypothesis that make those conditions necessary. Under this hypothesis, we describe the Zariski closure of $Γ$, find the maximal $Γ$-invariant convex, when there is a unique $Γ$-invariant convex, when the convex $Ω$ is strictly convex, when we can find a $Γ$-…

Alternating quotients of right-angled Coxeter groups

Let $W$ be a right-angled Coxeter group corresponding to a finite non-discrete graph $\mathcal{G}$ with at least $3$ vertices. Our main theorem says that $\mathcal{G}^c$ is connected if and only if for any infinite index quasiconvex subgroup $H$ of $W$ and any finite subset $\{ γ_1, \ldots , γ_n \} \subset W \setminus H$ there is a surjection $f$ from $W$ to a finite alternating group such that $f (γ_i) \notin f (H)$. A corollary is that a right-angled Artin group splits as a direct product of cyclic groups and groups with many alternating quotients in the above sense. Similarly, finitely gene…

Weighted $L^2$-cohomology of Coxeter groups

Given a Coxeter system $(W,S)$ and a positive real multiparameter $\bq$, we study the "weighted $L^2$-cohomology groups," of a certain simplicial complex $Σ$ associated to $(W,S)$. These cohomology groups are Hilbert spaces, as well as modules over the Hecke algebra associated to $(W,S)$ and the multiparameter $q$. They have a "von Neumann dimension" with respect to the associated "Hecke - von Neumann algebra," $N_q$. The dimension of the $i^th$ cohomology group is denoted $b^i_q(Σ)$. It is a nonnegative real number which varies continuously with $q$. When $q$ is integral, the $b^i_q(Σ)$ are t…

The Cayley isomorphism property for Cayley maps

In this paper we study finite groups which have Cayley isomorphism property with respect to Cayley maps, CIM-groups for a brief. We show that the structure of the CIM-groups is very restricted. It is described in Theorem~\ref{111015a} where a short list of possible candidates for CIM-groups is given. Theorem~\ref{111015c} provides concrete examples of infinite series of CIM-groups.