arXiv 1602.045152016-02-14math.ATmath.GT

Coxeter Groups, Ruins, and Weighted $L^2$-cohomology

Wiktor Mogilski, Kevin Schreve

备注：: 19 pages, 1 figure

英文摘要：

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 well as the resolution of the Strong Atiyah Conjecture for hyperbolic Coxeter groups. We conclude by extending to the weighted setting the computations of Davis and Okun for the case where the nerve of a right-angled Coxeter group is the barycentric subdivision of a PL-cellulation of an $(n-1)$-manifold with $n=6,8$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Statements and Dilemmas Regarding the $\ell^2$-homology of Coxeter groups

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…

2012-12-18math.ATmath.GT

Vanishing ranges for the mod $p$ cohomology of alternating subgroups of Coxeter groups

We obtain vanishing ranges for the mod $p$ cohomology of alternating subgroups of finite $p$-free Coxeter groups. Here a Coxeter group $W$ is $p$-free if the order of the product $st$ is prime to $p$ for every pair of Coxeter generators $s,t$ of $W$. Our result generalizes those for alternating groups formerly proved by Kleshchev-Nakano and Burichenko. As a byproduct, we obtain vanishing ranges for the twisted cohomology of finite $p$-free Coxeter groups with coefficients in the sign representations. In addition, a weak version of the main result is proved for a certain class of infinite Coxet…

2016-04-28math.ATmath.GRmath.RT

不变性形式与右角Coxeter群子群的上同调

Equivariant formality and the cohomology of subgroups of right-angled Coxeter groups

Carleton University（卡尔顿大学）；University of Western Ontario（韦仕敦大学）

本文研究了右角Coxeter群的coabelian子群的分类空间模型，通过实moment-angle复形的同调轨道空间构造，并利用Borel等效上同调理论分析其上同调结构，提出图论判据判断coabelian子群的上同调自由性。

2026-04-23math.ATmath.GR

B型Coxeter群的交错子群的模2上同调环

The mod 2 cohomology rings of the alternating subgroups of the Coxeter groups of Type B

本研究证明B型Coxeter群的交错子群上同调群直和具殆Hopf环结构，运用Giusti和Sinha的技术算出模2系数下该结构的表示。

2023-12-19math.ATmath.GR

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…

2006-12-06math.ATmath.GRmath.GT

Nonvanishing cohomology classes on finite groups of Lie type with Coxeter number at most p

We prove that the degree $r(2p-3)$ cohomology of any finite group of Lie type over $\mathbb{F}_{p^r}$, with coefficients in characteristic $p$, is nonzero as long as its Coxeter number is at most $p$. We do this by providing a simple explicit construction of a nonzero element.

2015-02-21math.ATmath.GRmath.KT

更多相关论文收起更多论文

Cohomology of Coxeter groups with group ring coefficients: II

For any Coxeter group W, we define a filtration of H^*(W;ZW) by W-submodules and then compute the associated graded terms. More generally, if U is a CW complex on which W acts as a reflection group we compute the associated graded terms for H_*(U) and, in the case where the action is proper and cocompact, for H^*_c(U).

2009-04-23math.ATmath.GR

Coxeter Cochain Complexes

We define the Coxeter cochain complex of a Coxeter group (G,S) with coefficients in a Z[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.

2012-11-12math.ATmath.CO

作为殆Hopf环的B型和D型Coxeter群无限族的模2上同调

The mod 2 cohomology of the infinite families of Coxeter groups of type B and D as almost Hopf rings

该研究刻画了二元域系数下B型、D型Coxeter群无限族上同调直和的Hopf环与殆Hopf环结构，给出生成元关系表示、加法基与Steenrod代数作用，并从几何构造及子群限制两方面描述生成元。

2021-06-30math.AT

A method for integral cohomology of posets

We present a method to compute integral cohomology of posets. This toolbox is applicable as soon as the sub-posets under each object possess certain structure. This is the case for simplicial complexes and simplex-like posets. The method is based on homological algebra arguments in the category of functors and on a spectral sequence built upon the poset. We show its relation to discrete Morse theory. As application we give an alternative proof of Webb's conjecture for saturated fusion systems and we compute the cohomology of Coxeter complexes for finite and infinite Coxeter groups.

2007-06-14math.AT

Cohomology computations for Artin groups, Bestvina-Brady groups, and graph products

We compute: * the cohomology with group ring coefficients of Artin groups (or actually, of their associated Salvetti complexes), Bestvina-Brady groups, and graph products of groups, * the L^2-Betti numbers of Bestvina-Brady groups and of graph products of groups, * the weighted L^2-Betti numbers of graph products of Coxeter groups. In the case of arbitrary graph products there is an additional proviso: either all factors are infinite or all are finite.(However, for graph products of Coxeter groups this proviso is unnecessary.)

2010-02-12math.ATmath.GR

Some topological problems on the configuration spaces of Artin and Coxeter groups

In the first part we review some topological and algebraic aspects in the theory of Artin and Coxeter groups, both in the finite and infinite case (but still, finitely generated). In the following parts, among other things, we compute the Schwartz genus of the covering associated to the orbit space for all affine Artin groups. We also give a partial computation of the cohomology of the braid group with non-abelian coefficients coming from geometric representations. We introduce an interesting class of "sheaves over posets", which we call "weighted sheaves over posets", and use them for explici…

2015-04-01math.AT

Some cohomology of finite general linear groups

We prove that the degree $r(2p-3)$ cohomology of any (untwisted) finite group of Lie type over $\mathbb{F}_{p^r}$, with coefficients in characteristic $p$, is nonzero as long as its Coxeter number is at most $p$. We do this by providing a simple explicit construction of a nonzero element. Furthermore, for the groups $GL_n\mathbb{F}_{p^r}$, when $p=2$ or $r=1$, we calculate the cohomology in degree $r(2p-3)$, for all $n$.

2015-09-13math.ATmath.KT

On the cohomology of Artin groups in local systems and the associated Milnor fiber

Let W be a finite irreducible Coxeter group and let X_W be the classifying space for G_W, the associated Artin group. If A is a commutative unitary ring, we consider the two local systems L_q and L_q' over X_W, respectively over the modules A[q,q^{-1}] and A[[q,q^{-1}]], given by sending each standard generator of G_W into the automorphism given by the multiplication by q. We show that H^*(X_W,L_q') = H^{*+1}(X_W,L_q) and we generalize this relation to a particular class of algebraic complexes. We remark that H^*(X_W,L_q') is equal to the cohomology with trivial coefficients A of the Milnor fi…

2004-05-15math.AT

关于Weyl群表示不变量与toric簇上同调的不变量

On invariants of representations of Weyl groups associated with the cohomology of toric varieties

University of Western Ontario（韦仕敦大学）

本文研究了Weyl群表示不变量与toric簇上同调的关系，构造了显式的代数同构并推广到更一般的情况，回答了两个开放问题。

2026-02-27math.AGmath.ATmath.RT