Let $C(T)$ be a generalized Coxeter group, which has a natural map onto one of the classical Coxeter groups, either $B_n$ or $D_n$. Let $C_Y(T)$ be a natural quotient of $C(T)$, and if $C(T)$ is simply-laced (which means all the relations between the generators has order 2 or 3), $C_Y(T)$ is a generalized Coxeter group, too . Let $A_{t,n}$ be a group which contains $t$ Abelian groups generated by $n$ elements. The main result in this paper is that $C_Y(T)$ is isomorphic to $A_{t,n} \semidirect B_n$ or $A_{t,n} \semidirect D_n$, depends on whether the signed graph $T$ contains loops or not, or in other words C(T) is simply-laced or not, and $t$ is the number of the cycles in $T$. This result extends the results of Rowen, Teicher and Vishne to generalized Coxeter groups which have a natural map onto one of the classical Coxeter groups.
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.
We study Coxeter groups from which there is a natural map onto a symmetric group. Such groups have natural quotient groups related to presentations of the symmetric group on an arbitrary set $T$ of transpositions. These quotients, denoted here by C_Y(T), are a special type of the generalized Coxeter groups defined in \cite{CST}, and also arise in the computation of certain invariants of surfaces. We use a surprising action of $S_n$ on the kernel of the surjection $C_Y(T) \ra S_n$ to show that this kernel embeds in the direct product of $n$ copies of the free group $π_1(T)$ (with the exception …
A Coxeter group of classical type $A_n$, $B_n$ or $D_n$ contains a chain of subgroups of the same type. We show that intersections of conjugates of these subgroups are again of the same type, and make precise in which sense and to what extent this property is exclusive to the classical types of Coxeter groups. As the main tool for the proof we use Solomon's descent algebra. Using Stirling numbers, we express certain basis elements of the descent algebra as polynomials and derive explicit multiplication formulas for a commutative subalgebra of the descent algebra.
Several classical formulae for the growth series of a Coxeter group are proved in a new way, using the structure of the Coxeter complex, the Davis complex, or the Tits non-complex.
Let $G$ be a discrete Coxeter group, $G^+$ its alternating subgroup and $\tilde{G}^+$ the spinor cover of $G^+$. A presentation of the groups $G^+$ and $\tilde{G}^+$ is proved for an arbitrary Coxeter system $(G,S)$; the generators are related to edges of the Coxeter graph. Results of the Coxeter--Todd algorithm - with this presentation - for the chains of alternating groups of types A, B and D are given.
A Coxeter group acts properly and cocompactly by isometries on the Davis complex for the group; we call the quotient of the Davis complex under this action the Davis orbicomplex for the group. We prove the set of finite covers of the Davis orbicomplexes for the set of one-ended Coxeter groups is not topologically rigid. We exhibit a quotient of a Davis complex by a one-ended right-angled Coxeter group which has two finite covers that are homotopy equivalent but not homeomorphic. We discuss consequences for the abstract commensurability classification of Coxeter groups.
We derive presentations of the interval groups related to all quasi-Coxeter elements in the Coxeter group of type $D_n$. Type $D_n$ is the only infinite family of finite Coxeter groups that admits proper quasi-Coxeter elements. The presentations we obtain are over a set of generators in bijection with what we call a Carter generating set, and the relations are those defined by the related Carter diagram together with a twisted or a cycle commutator relator, depending on whether the quasi-Coxeter element is a Coxeter element or not. The proof is based on the description of two combinatorial tec…
Commuting involution graphs have been studied for finite Coxeter groups and for affine groups of classical type. The purpose of this short note is to establish some general results for commuting involution graphs in affine Coxeter groups, and to deal with types $\tilde F_4$ and $\tilde G_2$. Types $\tilde E_6$ $\tilde E_7$ and $\tilde E_8$ are more substantial and we will address these in a forthcoming paper.
We consider the notion of discrete Ricci curvature for graphs defined by Schmuckenschl{ä}ger \cite{shmuck} and compute its value for Bruhat graphs associated to finite Coxeter groups. To do so we work with the geometric realization of a finite Coxeter group and a classical result obtained by Dyer in \cite{Dyer}. As an application we obtain a bound for the spectral gap of the Bruhat graph of any finite Coxeter group and an isoperimetric inequality for them. Our proofs are case-free.
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 …
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 …
We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, and geometric amalgams of free groups whose JSJ graphs are trees of diameter at most 4. We also show that if a geometric amalgam of free groups has JSJ graph a tree, then it is commensurable to a right-angled Coxeter group, and give an example of a geometric amalgam of free groups which is not quasi-isometric (hence not commensurable) to any group w…
In Artin-Tits groups attached to Coxeter groups of spherical type, we give a combinatorial formula to express the simple elements of the dual braid monoids in the classical Artin generators. Every simple dual braid is obtained by lifting an $S$-reduced expression of its image in the Coxeter group, in a way which involves Reading's $c$-sortable elements. It has as an immediate consequence that simple dual braids are Mikado braids (the known proofs of this result either require topological realizations of the Artin groups or categorification techniques), and hence that their images in the Iwahor…
Let $(W,S)$ be an arbitrary Coxeter system. For each word $ω$ in the generators we define a partial order--called the {\sf $ω$-sorting order}--on the set of group elements $W_ω\subseteq W$ that occur as subwords of $ω$. We show that the $ω$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the $ω$-sorting order is a "maximal lattice" in the sense that the addition of any collection of Bruhat covers results in a nonlattice. Along the way we define a class of structures called {\sf supersolvable antimatro…
A right-angled Coxeter group is a group with a given set of generators of order two, subject only to the relations that certain pairs of the generators commute. Various papers have shown how homological properties of the Coxeter group are related to homological properties of the simplicial complex whose simplices are the sets of commuting generators. Using these techniques, we construct torsion-free groups which are Poincare duality groups over some rings but not over others, and a group whose integral cohomological dimension is finite but strictly greater than its cohomological dimension over…
Extended Weak Order for the Rank 3 Universal Coxeter Group
University of Michigan（密歇根大学）；Harvard University（哈佛大学）；University of Oregon（俄勒冈大学）；University of California, Santa Barbara（加州大学圣塔芭芭拉分校）；Kennesaw State University（肯尼索州立大学）
In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique …
We say a permutation $π=π_1π_2\cdotsπ_n$ in the symmetric group $\mathfrak{S}_n$ has a peak at index $i$ if $π_{i-1}<π_i>π_{i+1}$ and we let $P(π)=\{i \in \{1, 2, \ldots, n\} \, \vert \, \mbox{$i$ is a peak of $π$}\}$. Given a set $S$ of positive integers, we let $P (S; n)$ denote the subset of $\mathfrak{S}_n$ consisting of all permutations $π$, where $P(π) =S$. In 2013, Billey, Burdzy, and Sagan proved $|P(S;n)| = p(n)2^{n-\lvert S\rvert-1}$, where $p(n)$ is a polynomial of degree $\max(S)- 1$. In 2014, Castro-Velez et al. considered the Coxeter group of type $B_n$ as the group of signed per…
We study the Hurwitz action of the classical braid group on factorisations of a Coxeter element c in a well-generated complex reflection group W. It is well-known that the Hurwitz action is transitive on the set of reduced decompositions of c in reflections. Our main result is a similar property for the primitive factorisations of c, i.e. factorisations with only one factor which is not a reflection. The motivation is the search for a geometric proof of Chapoton's formula for the number of chains of given length in the non-crossing partitions lattice NCP_W. Our proof uses the properties of the…
We construct a new monoid structure for Artin groups associated with finite Coxeter systems. This monoid shares with the classical positive braid monoid a crucial algebraic property: it is a Garside monoid. The analogy with the classical construction indicates there is a ``dual'' way of studying Coxeter systems, where the pair (W,S) is replaced by (W,T), with T the set of all reflections. In the type A case, we recover the monoid constructed by Birman-Ko-Lee
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
Given a graph $Γ$, its auxiliary \emph{square-graph} $\square(Γ)$ is the graph whose vertices are the non-edges of $Γ$ and whose edges are the pairs of non-edges which induce a square (i.e., a $4$-cycle) in $Γ$. We determine the threshold edge-probability $p=p_c(n)$ at which the Erd{\H o}s--Rényi random graph $Γ=Γ_{n,p}$ begins to asymptotically almost surely have a square-graph with a connected component whose squares together cover all the vertices of $Γ_{n,p}$. We show $p_c(n)=\sqrt{\sqrt{6}-2}/\sqrt{n}$, a polylogarithmic improvement on earlier bounds on $p_c(n)$ due to Hagen and the autho…
When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the …
The notion of limit roots of a Coxeter group W was recently introduced (see arXiv:1112.5415 and arXiv:1303.6710): they are the accumulation points of directions of roots of a root system for W. In the case where the root system lives in a Lorentzian space W admits a faithful representation as a discrete reflection group of isometries on a hyperbolic space; the accumulation set of any of its orbits is then classically called the limit set of W. In this article we show that the limit roots of a Coxeter group W acting on a Lorentzian space is equal to the limit set of W seen as a discrete reflect…
Let $A_L$ be the right-angled Artin group associated to a finite flag complex $L$. We show that the amenable category of $A_L$ equals the virtual cohomological dimension of the right-angled Coxeter group $W_L$. In particular, right-angled Artin groups satisfy a question of Capovilla--Löh--Moraschini proposing an inequality between the amenable category and Farber's topological complexity.
In this paper, we make the case that Clifford algebra is the natural framework for root systems and reflection groups, as well as related groups such as the conformal and modular groups: The metric that exists on these spaces can always be used to construct the corresponding Clifford algebra. Via the Cartan-Dieudonné theorem all the transformations of interest can be written as products of reflections and thus via `sandwiching' with Clifford algebra multivectors. These multivector groups can be used to perform concrete calculations in different groups, e.g. the various types of polyhedral grou…
This memoir constitutes the author's PhD thesis at Cornell University. It serves both as an expository work and as a description of new research. At the heart of the memoir, we introduce and study a poset $NC^{(k)}(W)$ for each finite Coxeter group $W$ and for each positive integer $k$. When $k=1$, our definition coincides with the generalized noncrossing partitions introduced by Brady-Watt and Bessis. When $W$ is the symmetric group, we obtain the poset of classical $k$-divisible noncrossing partitions, first studied by Edelman. Along the way, we include a comprehensive introduction to relate…
In this paper we consider a function $L(\vec{x})=L(a,b,c,d;e;f,g)$, which can be written as a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series or as a very-well-poised ${}_7F_6(1)$ hypergeometric series. We explore two-term and three-term relations satisfied by the $L$ function and put them in the framework of group theory. We prove a fundamental two-term relation satisfied by the $L$ function and show that this relation implies that the Coxeter group $W(D_5)$, which has 1920 elements, is an invariance group for $L(\vec{x})$. The invariance relations for $L(\vec{x})$ …
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank. For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellati…
A generalization of the Kauffman tangle algebra is given for Coxeter type Dn. The tangles involve a pole or order 2. The algebra is shown to be isomorphic to the Birman-Murakami-Wenzl algebra of the same type. This result extends the isomorphism between the two algebras in the classical case, which in our set-up, occurs when the Coxeter type is of type A with index n-1. The proof involves a diagrammatic version of the Brauer algebra of type Dn in which the Temperley-Lieb algebra of type Dn is a subalgebra.
Recently, Lusztig constructed for each reductive group a partition by unions of sheets of conjugacy classes, which is indexed by a subset of the set of conjugacy classes in the associated Weyl group. Sevostyanov subsequently used certain elements in each of these Weyl group conjugacy classes to construct strictly transverse slices to the conjugacy classes in these strata, generalising the classical Steinberg slice, and similar cross sections were built out of different Weyl group elements by He-Lusztig. In this paper we observe that He-Lusztig's and Sevostyanov's Weyl group elements share a ce…
Given a prime, alternating link diagram, we build a special cover of the link complement whose degree is bounded by a factorial function of the crossing number. It follows that a subgroup of the link group of that index embeds into right-angled Artin and Coxeter groups. Corollaries of this result include a quantification of residual finiteness, control of the growth of Betti numbers in covers, and an explicit bound on the rank of a Z-module on which the link group acts faithfully.
Let $Σ$ be the Davis complex for a Coxeter system (W,S). The automorphism group G of $Σ$ is naturally a locally compact group, and a simple combinatorial condition due to Haglund--Paulin determines when G is nondiscrete. The Coxeter group W may be regarded as a uniform lattice in G. We show that many such G also admit a nonuniform lattice $Γ$, and an infinite family of uniform lattices with covolumes converging to that of $Γ$. It follows that the set of covolumes of lattices in G is nondiscrete. We also show that the nonuniform lattice $Γ$ is not finitely generated. Examples of $Σ$ to which ou…
We introduce structures which model quotients of buildings by type-preserving group actions. These structures, which we call W-groupoids for W a Coxeter group, generalize Bruhat decompositions, chambers systems of type M, Tits amalgams, and buildings themselves. We define the fundamental group of a W-groupoid, and characterize buildings as connected simply connected W-groupoids. We give a brief outline of covering theory of W-groupoids, which produces buildings as universal covers equipped with an action of the fundamental group. The local-to-global theorem of Tits concerning spherical 3-resid…
We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here curvature bounds are expressed in terms of the CAT(k) inequality. We prove a general CAT(k) extension theorem, giving sufficient conditions on and near the boundary of a locally CAT(k) metric space for the completion to be CAT(k). We use this to prove that a branched cover of a complete Riemannian manifold is locally CAT(k) if and only if all tangent spaces are CAT(0) and the base has sectional curvature bounded above by k. We also show that the branch…
In this paper we show how to obtain representations of Coxeter groups acting on H^n to certain classical groups. We determine when the kernel of such a representation is torsion-free and thus the quotient a hyperbolic n-manifold.
Normalisers of parabolic subgroups of Artin--Tits groups and Tits cone intersections
Departamento de Álgebra e Instituto de Matemáticas de la Universidad de Sevilla（塞维利亚大学代数系与数学研究所）；School of Mathematics and Statistics, University of Sydney（悉尼大学数学与统计学院）；CNRS-ANU International Research Laboratory FAMSI and Mathematical Sciences Institute, The Australian National University（法国国家科学研究中心-澳大利亚国立大学FAMSI国际研究实验室与澳大利亚国立大学数学科学研究所）
A group is properly 3-realizable if it is the fundamental group of a compact polyhedron whose universal covering is proper homotopically equivalent to some 3-manifold. We prove that when such a group is also quasi-simply filtered then it has {\em pro-(finitely generated free) fundamental group at infinity} and {\em semi-stable ends}. Conjecturally the quasi-simply filtration assumption is superfluous. Using these restrictions we provide the first examples of finitely presented groups which are not properly 3-realizable, for instance large families of Coxeter groups.
Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some integer power of each generator. These include usual nil-Coxeter algebras, nil-Temperley-Lieb algebras, and their variants, and lead to symmetric semigroup module categories which necessarily cannot be monoidal. Motivated by classical work of Coxeter (1957) and the Broue-Malle-Rouquier freeness conjecture [Crelle 1998], and continuing beyond work of the sec…
