We give a proof of the Singer conjecture (on the vanishing of reduced $\ell^2$-homology except in the middle dimension) for the Davis Complex $Σ$ associated to a Coxeter system $(W,S)$ whose nerve $L$ is a triangulation of $\mathbb{S}^2$. We show that it follows from a theorem of Andreev, which gives the necessary and sufficient conditions for a classical reflection group to act on $\mathbb{H}^3$.
We generalize the methods in previous work to provide a program for proving Singer's Conjecture for Coxeter systems. Specifically, we consider even Coxeter systems with nerves that are flag triangulations of $\BS^{n-1}$, $n=2k$. We prove that Singer's Conjecture in dimensions $n-2$ and $n-1$, along with the vanishing of the $\ltwo$-homology of certain subspaces called "two-letter" ruins above dimension $k+1$, imply Singer's Conjecture in dimension $n$. This is, so far, an incomplete program. The author intends this paper to serve as a reference for those inquiring about Singer's Conjecture and…
Associated to any Coxeter system $(W,S)$, there is a labeled simplicial complex $L$ and a contractible CW-complex $Σ_L$ (the Davis complex) on which $W$ acts properly and cocompactly. $Σ_L$ admits a cellulation under which the nerve of each vertex is $L$. It follows that if $L$ is a triangulation of $\mathbb{S}^{n-1}$, then $Σ_L$ is a contractible $n$-manifold. In this case, the orbit space, $K_L:=Σ_L/W$, is a \emph{Coxeter orbifold}. We prove a result analogous to the JSJ-decomposition for 3-dimensional manifolds: Every 3-dimensional Coxeter orbifold splits along Euclidean suborbifolds into t…
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…
We study group actions on manifolds that admit hierarchies, which generalizes the idea of Haken n-manifolds introduced by Foozwell and Rubinstein. We show that these manifolds satisfy the Singer conjecture in dimensions $n \le 4$. Our main application is to Coxeter groups whose Davis complexes are manifolds; we show that the natural action of these groups on the Davis complex has a hierarchy. Our second result is that the Singer conjecture is equivalent to the cocompact action dimension conjecture, which is a statement about all groups, not just fundamental groups of closed aspherical manifold…
Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a contractible cubical complex Sigma_L (the Davis complex) on which W_L acts properly and cocompactly, and such that the link of each vertex is L. It follows that if L is a generalized homology sphere, then Sigma_L is a contractible homology manifold. We prove a generalized version of the Singer Conjecture (on the vanishing of the reduced weighted L^2_q-cohomology above the middle dimension) for the right-angled Coxeter groups based on barycentric subdivisions in even dimensions. We also prove this conjecture…
We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.
We find explicit maximal rank Coxeter quotients for the knot groups of 595,515 out of the 1,701,936 knots through 16 crossings. We thus calculate the bridge numbers and verify Cappell and Shaneson's Meridional Rank Conjecture for these knots. In addition, we provide a computational tool for establishing the conjecture for knots beyond 16 crossings whose meridional ranks can be detected via finite Coxeter quotients.
We study global fixed points for actions of Coxeter groups on nonpositively curved singular spaces. In particular, we consider property FA_n, an analogue of Serre's property FA for actions on CAT(0) complexes. Property FA_n has implications for irreducible representations and complex of groups decompositions. In this paper, we give a specific condition on Coxeter presentations that implies FA_n and show that this condition is in fact equivalent to FA_n for n=1 and 2. As part of the proof, we compute the Gersten-Stallings angles between special subgroups of Coxeter groups.
Given a Coxeter system $(W,S)$ and a multiparameter $\mathbf{q}$ of real numbers indexed by $S$, one can define the weighted $L^2$-cohomology groups and associate to them a nonnegative real number called the weighted $L^2$-Betti number. We show that for ranges of $\mathbf{q}$ depending on certain subgroups of $W$, the weighted $L^2$-cohomology groups of $W$ are concentrated in low dimensions. We then prove new vanishing results for the weighted $L^2$-cohomology of certain low-dimensional Coxeter groups. Our arguments rely on computing the $L^2$-cohomology of certain complexes called ruins, as …
In [6], Kellerhals and Perren conjectured that the growth rates of the reflection groups given by hyperbolic Coxeter polyhedra are always Perron numbers. We prove that this conjecture is always true for the case of ideal Coxeter polyhedra in $\mathbb{H}^3$. We also find out the ideal Coxeter polyhedron in $\mathbb{H}^3$ with the smallest growth rate. Finally, we show that there are correlations between the volumes and the growth rates of ideal Coxeter polyhedra in $\mathbb{H}^3$ in many cases.
Alternating-sign Hopf plumbing along a tree yields fibered alternating links whose homological monodromy is, up to a sign, conjugate to some alternating-sign Coxeter transformation. Exploiting this tie, we obtain results about the location of zeros of the Alexander polynomial of the fibered link complement implying a strong case of Hoste's conjecture, the trapezoidal conjecture, bi-orderability of the link group, and a sharp lower bound for the homological dilatation of the monodromy of the fibration. The results extend to more general hyperbolic fibered 3-manifolds associated to alternating-s…
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.
We prove the meridional rank conjecture for twisted links and arborescent links associated to bipartite trees with even weights. These links are substantial generalizations of pretzels and two-bridge links, respectively. Lower bounds on meridional rank are obtained via Coxeter quotients of the groups of link complements. Matching upper bounds on bridge number are found using the Wirtinger numbers of link diagrams, a combinatorial tool developed by the authors.
The reflection length of an element of a Coxeter group is the minimal number of conjugates of the standard generators whose product is equal to that element. In this paper we prove the conjecture of McCammond and Petersen that reflection length is unbounded in any non-affine Coxeter group. Among the tools used, the construction of word-hyperbolic quotients of all minimal non-affine Coxeter groups might be of independent interest.
We determine the factorial growth rate of the number of finite index subgroups of right-angled Artin groups as a function of the index. This turns out to depend solely on the independence number of the defining graph. We also make a conjecture for right-angled Coxeter groups and prove that it holds in a limited setting.
For Poincare series of binary polyhedral groups and Coxeter polynomials there are obtained statements close to the Euclid algorithm and orthogonal polynomials theory: generalized Ebeling formula, decompositions into ramified continued fractions, Christoffel-Darboux identity, combinatorial formula. Known results about the factorization of the Alexander-Conway polynomial permit to connect Poincare series and Coxeter polynomials with the Burau representation and Milnor invariants of string links. One uses reconstractions of A'Campo links and Coxeter links. There is formulated a conjecture connect…
We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associate…
We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.
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…
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 …
In this paper, we investigate an equivariant homeomorphism of the boundaries $\partial X$ and $\partial Y$ of two proper CAT(0) spaces $X$ and $Y$ on which a CAT(0) group $G$ acts geometrically. We provide a sufficient condition and an equivalent condition to obtain a $G$-equivariant homeomorphism of the boundaries $\partial X$ and $\partial Y$ as a continuous extension of the quasi-isometry $ϕ:Gx_0\rightarrow Gy_0$ defined by $ϕ(gx_0)=gy_0$, where $x_0\in X$ and $y_0\in Y$. In this paper, we say that a CAT(0) group $G$ is {\it equivariant (boundary) rigid}, if $G$ determines its ideal boundar…
