scientific article; zbMATH DE number 1028870
The present article gives an account of some recent results of the author whose proofs are given elsewhere [in [\(*\)]=Tokyo J. Math. 18, No. 1, 151-158 (1995; Zbl 0836.20075); On the cohomology of Coxeter groups and their finite parabolic subgroups. II (preprint); [\(**\)]=Euler characteristics of Coxeter groups, PL-triangulations of closed manifolds and the genus of a graph (preprint)]. These results concern two related topics. The first group of results relate the Euler characteristic of certain Coxeter groups to the Euler characteristic of the associated simplicial complex of finite parabolic subgroups. The second group relates the cohomology of a Coxeter group to the cohomology of its finite parabolic subgroups. For a Coxeter group, \(W\), let \({\mathcal F}(W)\) denote the poset of finite parabolic subgroups of \(W\), considered for the present as a simplicial complex. Since a Coxeter group is of type \(VFL\), it has a well-defined Euler characteristic, \(e(W)\). In general, the Euler characteristic of \(W\) is not determined by \({\mathcal F}(W)\). However, the author announces (proof in [\(*\)]) that if \({\mathcal F}(W)\) is a PL-triangulation of a \(2n\)-manifold, then \(e(W)=1-\chi({\mathcal F}(W))/2\), where \(\chi({\mathcal F}(W))\) is the Euler characteristic of \({\mathcal F}(W)\). This is a partial generalization of a result of \textit{M. Davis} [Ann. Math., II. Ser. 117, 293-324 (1983; Zbl 0531.57041)] which states if \({\mathcal F}(W)\) is a generalised homology \(2n\)-sphere then \(e(W)=0\). The following result is also announced (proof in [\(**\)]). If \({\mathcal F}(W)\) is a finite connected graph, then \(e(W)\geq\gamma({\mathcal F}(W))\), where \(\gamma(G)\) denotes the genus of the graph \(G\), i.e., the smallest number \(g\) such that \(G\) embeds in a closed orientable surface of genus \(g\). The main result on cohomology is the following [proof in [\(*\)]]: Let \(k\) be any commutative ring with identity considered as a trivial \(W\)-module. Let \({\mathcal H}^*(W,k)=\varprojlim H^*(V,k)\), where \(V\) ranges over the poset \({\mathcal F}(W)\), and let \(\rho\) be the natural homomorphism \(H^*(W,A)\to{\mathcal H}^*(W,A)\) induced by restriction maps. Then \(\rho\) is a ring homomorphism whose kernel consists of nilpotent elements.
- \(q\)-Eulerian polynomials arising from Coxeter groups
- On the cohomology of Coxeter groups and their finite parabolic subgroups
- The cohomology of a Coxeter group with group ring coefficients
- scientific article; zbMATH DE number 125567 (Why is no real title available?)
- Eulerian quasisymmetric functions for the type B Coxeter group and other wreath product groups
- scientific article; zbMATH DE number 1182197 (Why is no real title available?)
- Euler Characteristics of Coxeter Groups, PL-Triangulations of Closed Manifolds, and Cohomology of Subgroups of Artin Groups
- ^2-Betti numbers and the genus of a graph
- Calculations of the Euler characteristic of the Coxeter cohomology of symmetric groups
- On the existence of universal links in three-manifolds
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4342135)
