SearcharxivSearch

arXiv subjects

Boris Okun

Publications and source records attributed to Boris Okun.

At least 19 recordsLinked to original sources

Edge subdivisions and the $L^2$-homology of right-angled Coxeter groups

If $L$ is a flag triangulation of $S^{n-1}$, then the Davis complex $\Sigma_L$ for the associated right-angled Coxeter group $W_L$ is a contractible $n$-manifold. A special case of a conjecture of Singer predicts that the $L^2$-homology of such $\Sigma_L$ vanishes outside the middle dimension. We give conditions which guarantee this vanishing is preserved under edge subdivision of $L$. In particular, we verify Singer's conjecture when $L$ is the barycentric subdivision of the boundary of an $n$-simplex, and for general barycentric subdivisions of triangulations of $S^{2n-1}$. Using this, we construct explicit counterexamples to a torsion growth analogue of Singer's conjecture.

math.GT

Orders and Fibering

In 2018, Kielak gave a virtual fibering criterion for RFRS groups. In this paper, we present a simpler proof of this.

math.GR

Coarse cohomology of the complement

In this paper we define the coarse (co)homology of the complement of a subspace in a metric space, generalizing the coarse (co)homology of Roe. We give a model space which encodes coarse geometric structure of the complement. We also introduce a new approach to coarse Poincar\'e duality spaces. We prove a version of coarse Alexander duality for these spaces and give a homological criterion for a space to be a coarse PD($n$) space. Our approach is inspired by the work of Kapovich and Kleiner, but is somewhat different, and we believe, simpler.

math.GT

Homology growth, hyperbolization, and fibering

We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and -- for almost all primes $p$ -- $\mathbb{F}_p$-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic $7$-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.

math.GT

Torsion invariants of complexes of groups

Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$ with nontrivial stabilizers. Our main result is a computation of the homology torsion growth of a chain of finite index normal subgroups of $G$. We show that independent of the chain, the normalized torsion limits to the torsion of $\partial Q$, shifted a degree. Under milder assumptions of acyclicity of nontrivial stabilizers, we show similar formulas for the mod p-homology growth. We also obtain formulas for the universal and the usual $L^2$-torsion of $G$ in terms of the torsion of stabilizers and topology of $\partial Q$. In particular, we get complete answers for right-angled Artin groups, which shows they satisfy a torsion analogue of the L\"uck approximation theorem.

math.GR

Mod $p$ and torsion homology growth in nonpositive curvature

We compute the mod $p$ homology growth of residual sequences of finite index normal subgroups of right-angled Artin groups. We find examples where this differs from the rational homology growth, which implies the homology of subgroups in the sequence has lots of torsion. More precisely, the homology torsion grows exponentially in the index of the subgroup. For odd primes $p$, we construct closed locally CAT(0) manifolds with nonzero mod $p$ homology growth outside the middle dimension. These examples show that Singer's conjecture on rational homology growth and L\"uck's conjecture on torsion homology growth are incompatible with each other, so at least one of them must be wrong.

math.GR

Growth series of CAT(0) cubical complexes

Let $X$ be a CAT(0) cubical complex. The growth series of $X$ at $x$ is $G_{x}(t)=\sum_{y \in Vert(X)} t^{d(x,y)}$, where $d(x,y)$ denotes $\ell_{1}$-distance between $x$ and $y$. If $X$ is cocompact, then $G_{x}$ is a rational function of $t$. In the case when $X$ is the Davis complex of a right-angled Coxeter group it is a well-known that $G_{x}(t)=1/f_{L}(-t/(1+t))$, where $f_{L}$ denotes the $f$-polynomial of the link $L$ of a vertex of $X$. We obtain a similar formula for general cocompact $X$. We also obtain a simple relation between the growth series of individual orbits and the $f$-polynomials of various links. In particular, we get a simple proof of reciprocity of these series ($G_{x}(t)=\pm G_{x}(t^{-1})$) for an Eulerian manifold $X$.

math.GR

The action dimension of right-angled Artin groups

The action dimension of a discrete group $Γ$ is the smallest dimension of a contractible manifold which admits a proper action of $Γ$. Associated to any flag complex $L$ there is a right-angled Artin group, $A_L$. We compute the action dimension of $A_L$ for many $L$. Our calculations come close to confirming the conjecture that if an $\ell^2$-Betti number of $A_L$ in degree $l$ is nonzero, then the action dimension of $A_L$ is $\ge 2l$.

math.GT

The $L^2$-(co)homology of groups with hierarchies

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 manifolds.

math.GT

Cohomology of hyperplane complements with group ring coefficients

We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement.

math.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.)

math.GR

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).

math.GR

Exotic smooth structures on nonpositively curved symmetric spaces

We construct series of examples of exotic smooth structures on compact locally symmetric spaces of noncompact type. In particular, we obtain higher rank examples, which do not support Riemannian metric of nonpositive curvature. The examples are obtained by taking the connected sum with an exotic sphere. To detect the change of the smooth structure we use a tangential map from the locally symmetric space its dual compact type twin.

math.DG

Nonzero degree tangential maps between dual symmetric spaces

We construct a tangential map from a locally symmetric space of noncompact type to its dual compact type twin. By comparing the induced map in cohomology to a map defined by Matsushima, we conclude that in the equal rank case the map has a nonzero degree.

math.DG