Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By the Chern–Gauss–Bonnet theorem, an even dimensional hyperbolic manifold always has non-zero Euler characteristic. One geometric consequence of this is that such manifolds cannot fiber over the circle. On the other hand, all odd-dimensional manifolds have vanishing Euler characteristic, so, at least in principle, odd-dimensional hyperbolic manifolds can fiber. A remarkable discovery of the last few decades is that the later possibility is actually realized in dimension three: All closed, hyperbolic 3-manifolds have a finite cover that fibers over a circle [Ago13]. There has been some recent progress towards determining whether or not some analogue of this phenomenon persists in higher dimensions. In a geometric direction, Italiano, Martelli, and Migliorini constructed the first finite volume hyperbolic 5-manifolds that fiber over a circle [IMM22]. These examples are non-compact and no closed 5-dimensional hyperbolic manifolds are known to fiber, see however [Fuj21] for an example which is closed nonpositively curved with isolated flats. In a more algebraic direction, Kielak [Kie20] and Fisher [Fis21] showed that for a large class of groups, the existence of a virtual \(\mathbb{F} \)-homological fibering is controlled by vanishing of certain skew field Betti numbers. For \(\mathbb{F} =\mathbb{Q}\) these Betti numbers are the L2-Betti numbers, and for general fields they have an interpretation as a measure of \(\mathbb{F} \)-homology growth of finite covers. But, there is a curiousFootnote 1 dearth of closed, odd dimensional examples that do not virtually fiber, even if one passes from the hyperbolic to the more flexible Gromov hyperbolic setting. The goal of the present paper is to address this. We use \(\mathbb{F} _{p}\)-homology growth (for odd p) to prove:
Theorem A
There exists a closed, odd-dimensional, aspherical manifold \(\mathcal {M}\) with word hyperbolic fundamental group that does not virtually fiber over a circle.
It is generally difficult to construct exotic, high dimensional, closed aspherical manifolds with word hyperbolic fundamental group and this paper is no exception; we can’t produce any examples above dimension 7. We have two (very similar) constructions of such \(\mathcal {M}\). The first is conceptually simpler, but has the downside of not producing anything explicit (we don’t know if the non-fibering example is in dimension 5 or 7). The second uses a few more tools, but has the advantage of producing explicit 7-dimensional examples.
We will refer to closed, aspherical manifolds with word hyperbolic fundamental groups as Gromov hyperbolic manifolds, and from now on will say such groups are hyperbolic. In dimension three they are precisely the closed manifolds that can be given a hyperbolic structure, while in higher dimensions they form a larger class that includes all the locally CAT(−1) manifolds. Whether every Gromov hyperbolic manifold has a locally CAT(−1) metric seems to be an interesting open question. We do not know the answer for our examples.
1.1 Relation to previous non-fibering results
Higher rank, irreducible, locally symmetric spaces do not virtually fiber over a circle because their fundamental groups do not surject onto \(\mathbb{Z}\) by the Margulis normal subgroup theorem. This gives many nonpositively curved (but no negatively curved) examples of closed aspherical manifolds that do not fiber (e.g. the 5-manifolds obtained as finite volume quotients of \(SL(3,\mathbb{R})/SO(3)\)).
Another way to see that many of these groups do not surject onto \(\mathbb{Z}\) is to observe that they have Kazhdan’s Property (T). The fundamental groups of some even (but not odd) dimensional, negatively curved, locally symmetric spaces also have this property. Moreover, there are additional random constructions of hyperbolic groups with Property (T) [Zuk03] and also less random ones [LMW19], but we are not aware of any that produce fundamental groups of odd dimensional, closed, aspherical manifolds.
In a more combinatorial direction (more relevant for the present paper), in [AOS21] we constructed closed, locally CAT(0) n-manifolds M0 that do not virtually fiber in all odd dimensions n≥7. The fundamental groups of these manifolds are finite index subgroups of right-angled Coxeter groups and the fibering obstruction is fast \(\mathbb{F} _{p}\)-homology growth. The manifolds M0 are not Gromov hyperbolic because their fundamental groups contain \(\mathbb{Z}^{2}\).
Theorem A provides the first examples of odd dimensional, Gromov hyperbolic manifolds that do not virtually fiber. Moreover, we can arrange \(\pi _{1}(\mathcal {M})\) to be special in Haglund and Wise’s sense [HW08, Sect. 3]. In particular, this implies \(\pi _{1}(\mathcal {M})\) is residually finite, does not have Property (T), and in fact has finite index subgroups with arbitrarily large first Betti number.
1.2 Homology growth and virtual fibering
In the examples we produce for Theorem A the mechanism obstructing virtual fibering is, again, fast homology growth. To keep track of it, fix a field \(\mathbb{F} \), look at the infimum of normalized \(\mathbb{F} \)-Betti numbers of all finite covers of \(\mathcal {M}' \to \mathcal {M}\) (normalized by the degree \({\lvert }\mathcal {M}'\to \mathcal {M}{\rvert }\) of the cover)
and note that virtually fibering \(\mathcal {M}\) over a circle would give covers \(\mathcal {M}'\to \mathcal {M}\) of arbitrarily large degree whose \(\mathbb{F} \)-Betti numbers \(b_{k}(\mathcal {M}';\mathbb{F} )\) are bounded by a uniform constant (the sum of the \(\mathbb{F} \)-Betti numbers of the fiber), which would imply \(\beta _{k}^{\inf}(\mathcal {M};\mathbb{F} )=0\). So, positivity of this number obstructs virtual fibering.
1.3 Relation to L 2-Betti numbers
For a finite complex X with residually finite fundamental group and coefficient field \(\mathbb{F} =\mathbb{Q}\), the numbers \(\beta ^{\inf}_{k}(X;\mathbb{Q})\) are closely related to the analytically defined L2-Betti numbers \(b_{k}^{(2)}(X)\). In that situation, the proof of Lück’s approximation theorem implies (see Theorem 2.4)
where the supremum is taken over all finite covers.
1.4 Pinching homology growth
For other fields \(\mathbb{F} \), we replace \(\mathbb{Q}\) by \(\mathbb{F} \) on the right hand side, take the resulting quantity
where the sup is over finite covers X′→X and the inf is over further finite covers X″→X′, and call it the lower \(\mathbb{F} \)-homology growth. It follows directly from this max-min definition that the quantity \(\underline {\beta }\) is multiplicative in finite covers, and that it obstructs virtual fibering. One also has the multiplicative quantity \(\overline {\beta }\) obtained by interchanging the roles of inf and sup in the definition, which we call the upper \(\mathbb{F} \)-homology growth. For \(\mathbb{F} =\mathbb{Q}\) it gives the same answer (by Theorem 2.4) but in general we only know that \(\beta ^{\inf}\leq \underline {\beta }\leq \overline {\beta }\), although we are not aware of any examples in which the second inequality is strict.
Question 1.1
Is there a finite complex X with \(\underline {\beta }_{k}(X;\mathbb{F} _{p}) \neq \overline {\beta }_{k}(X;\mathbb{F} _{p})\) for some prime p?
1.5 Special fundamental groups
In [AOS21] we used specific properties of right-angled Coxeter groups to help compute \(\mathbb{F} _{p}\)-homology growth for the manifolds M0. The fundamental groups of the manifolds \(\mathcal {M}\) we produce for Theorem A are not commensurable to right-angled Coxeter groups, but they are special, hence embed in right-angled Artin groups, and this turns out to be good enough to estimate the homology of covers of \(\mathcal {M}\). For such groups, the numbers βinf have another, more algebraic, “skew field” interpretation that is convenient for doing Mayer–Vietoris computations and, in particular, shows that they are integers. Namely, the group ring \(\mathbb{F} \pi _{1} (\mathcal {M})\) embeds in a niceFootnote 2 skew field \(D_{\mathbb{F} \pi _{1} (\mathcal {M})}\), one can do all the Mayer–Vietoris arguments for homology with coefficients in that skew field, and the Betti numbers \(b_{k}(\mathcal {M};D_{\mathbb{F} \pi _{1}(\mathcal {M})})\) obtained from this homology coincide with the infimum of the normalized \(\mathbb{F} \)-Betti numbers. Moreover, these algebraically defined skew field Betti numbers are multiplicative in finite covers, which implies for subgroups of right-angled Artin groups that we don’t need to take the sup in the definition of \(\underline {\beta }\), i.e.
So, the quantity \(\underline {\beta }\) can be thought of as a multiplicative extension of the skew field Betti number from this special setting to situations where (nice enough) skew fields do not exist. Using skew fields to study L2-Betti numbers (and vice-versa) originated in work of Linnell [Lin93] and has been recently developed by Henneke–Kielak [HK21], Jaikin-Zapirain [Jai19, Jai21], and others. Though we haven’t seen the above equality before in the literature, we prove it by combining a number of previously known results, see Sect. 3 for more details.
Remark 1
In more general situations, the inequality \(\beta ^{\inf}_{k}(X;\mathbb{F} ) \leq \underline {\beta }_{k}(X;\mathbb{F} )\) is often strict. For instance, a wedge sum X of two hyperbolic homology 3-spheres has \(\underline {\beta }_{1}(X;\mathbb{Q})=b^{(2)}_{1}(X) =1\) but \(b_{1}(X;\mathbb{Q}) = 0\), and hence \(\beta ^{\inf}_{1}(X;\mathbb{Q}) = 0\).
1.6 Homology growth without chains
Previous works on homology growth of a space X usually consider descending chains of subgroups π1(X)=G>G1>G2>⋯ and the homology of the corresponding covers Xi. Typically, additional assumptions are placed on the subgroups Gi, such as normality, ⋂iGi=1, or [G:Gi] being some prime power. It was surprising to us that \(\underline {\beta }_{k}(X)\) and \(\overline {\beta }_{k}(X)\) worked just as well while avoiding many of the headaches that come with using chains; with \(\mathbb{F} _{p}\)-coefficients it is generally unknown whether the normalized homology growth of such a chain has a limit, or depends on the choice of chain, etc. Even if G is a subgroup of a right-angled Artin group, the identification \(\beta ^{\inf}_{k}(X;\mathbb{F} )=b_{k}(X;D_{\mathbb{F} \pi _{1}(X)})\) has no analogue for residual chains of normal finite index subgroups, though some approximation results are known, see e.g. [B+14, Theorem 4.3].
1.7 The only \(\mathbb{F} \)-homological, virtual fibering obstructions in a special setting
A special case of a result of Fisher [Fis21], building on work of Kielak [Kie20], shows—for a finite aspherical complex X whose fundamental group embeds in a right-angled Artin group—that if the lower \(\mathbb{F} \)-homology growth (he uses the skew field definition) in dimensions ≤k vanishes then X has a finite cover X′ which maps to a circle with \(FP_{k}(\mathbb{F} )\) homotopy fiber. So, non-vanishing of the lower \(\mathbb{F} \)-homology growth is the only \(\mathbb{F} \)-homological obstruction in dimensions ≤k to virtual fibering in this setting. We observe that non-vanishing of the upper \(\mathbb{F} \)-homology growth is also an \(\mathbb{F} \)-homological virtual fibering obstruction and hence Fisher’s result leads to
Theorem B
If X is a finite, aspherical complex whose fundamental group embeds in a right-angled Artin group, then \(\underline {\beta }_{\leq k}(X;\mathbb{F} )=0\) if and only if \(\overline {\beta }_{\leq k}(X;\mathbb{F} )=0\).
This theorem may seem quite formal, but it is useful in practice because it relates two numbers \(\underline {\beta }\) and \(\overline {\beta }\) that have very different advantages.
-
If the fundamental group embeds in a right-angled Artin group, then \(\underline {\beta }_{k}(X;\mathbb{F} _{p})\) are integers, and as a consequence of this integrality differ from the L2-Betti numbers \(b^{(2)}_{k}(X)=\underline {\beta }_{k}(X;\mathbb{Q})\) at only finitely many exceptional primes, while
-
vanishing of \(\overline {\beta }_{k}(X;\mathbb{F} )\) controls homology of virtually all finite covers: it says that for any δ>0 there is a “δ-good” finite cover X′→X such that all further finite covers X″→X′→X have normalized Betti number \(\frac{b_{k}(X'';\mathbb{F} )}{{\lvert }X''\to X{\rvert }}\) bounded by δ.
Remark 2
It is tempting to wonder if some of these phenomena hold for more general fundamental groups: Higher rank, irreducible locally symmetric spaces do not fiber. Do they have fast \(\mathbb{F} _{p}\)-homology growth (in either the \(\underline {\beta }\) or the \(\overline {\beta }\) sense) for some prime p?
1.8 The Singer conjecture and the \(\mathbb{F} \)-Singer property
For closed aspherical n-manifolds Mn, the Singer conjecture predicts that the L2-Betti numbers b(2)(M) vanish outside the middle (=n/2) dimension, and in particular that all the L2-Betti numbers of a closed, odd-dimensional, aspherical manifold vanish. This conjecture suggests that rational homology growth shouldn’t give virtual fibering obstructions in odd dimensions. But, the situation is different for \(\mathbb{F} _{p}\)-homology growth. Let us single out the following homology growth vanishing property for n-manifolds
-
upper \(\mathbb{F} \)-Singer property: \(\overline {\beta }_{k}(M^{n};\mathbb{F} )=0\) for k>n/2,
and similarly define the lower \(\mathbb{F} \)-Singer property using lower homology growth. For closed manifolds these properties imply by Poincaré duality that upper (or lower) homology growth is concentrated in the middle dimension. If M is a closed aspherical manifold with special fundamental group then, by Theorem B and Poincaré duality, the upper and lower properties are equivalent and in this situation we will refer to both as the \(\mathbb{F} \)-Singer property.
In [AOS21] we built—for every odd prime p—closed, locally CAT(0) manifolds with special fundamental groups that do not satisfy the \(\mathbb{F} _{p}\)-Singer property in all odd dimensions ≥7 (and all even dimensions ≥14). Much of the mathematical content of the present paper amounts to producing Gromov hyperbolic ones. Our main result is
Theorem C
-
(1)
For any odd prime p, there is a closed, aspherical, n-manifold \(\mathcal {M}^{n}\) of dimension either n=5 or n=7 with special hyperbolic fundamental group such that \(\underline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})>0\) for some k.
-
(2)
For large primes, such 7-manifolds definitively exist.
Proving it turned out to be more subtle (and interesting) than we initially expected, because applying strict hyperbolization procedures (e.g. the Charney–Davis strict hyperbolization) directly to our previous examples kills the golden goose: the homology cycles responsible for fast growth get hyperbolized in the process and, as a result, instead of getting a linear number of homology cycles in covers one gets a sublinear number of more complicated cycles. To get an idea of how hyperbolization can destroy L2-Betti numbers, note that strict hyperbolization applied to a 2-dimensional cube complex (e.g. the complex 8×8) amounts to connect-summing each square with a higher genus surface. A Mayer–Vietoris argument shows that this process has the same effect on the second L2-Betti number as removing the squares, leaving a 1-dimensional complex with vanishing second L2-Betti number. There are a number of elements that go into our construction of \(\mathcal {M}\), which we now describe. We shall see how ensuring that \(\mathcal {M}\) is Gromov hyperbolic prevents us from making examples in dimensions >7.
1.9 Graph products
In the construction, the starring role is played by graph products GL of groups modeled on a flag complex L. For each vertex v of L, pick a group Gv and define
Graph products of \(\mathbb{Z}/2\)’s are right-angled Coxeter groups WL, graph products of \(\mathbb{Z}\)’s are right-angled Artin groups AL, but what we use are graph products of \(\mathbb{Z}/m\)’s for large m. They virtually embed in the corresponding right-angled Artin group AL, and can either be thought of as deformations of WL whose homology growth can be estimated, or deformations of AL that have a chance of being hyperbolic.
1.10 Hyperbolicity
A graph product of finite groups GL acts properly, cocompactly on a CAT(0) cubical complex of dimension dimL+1. If the triangulation of L has no empty squares, then this complex can be given a GL-invariant CAT(−1) metric, so in that case GL is CAT(−1) and hence hyperbolic.
1.11 Homology
In [AOS21] we computed the \(\mathbb{F} \)-homology growth of right-angled Artin groups. The computation given there works identically for \(\underline {\beta }\) and \(\overline {\beta }\) and shows
where \(\tilde{b}\) denotes the reduced Betti number of L. In particular, \(\underline {\beta }\) and \(\overline {\beta }\) agree for right-angled Artin groups and differ from the usual L2-Betti number at finitely many primes determined by the topology of the underlying complex L.
A graph product GL of large \(\mathbb{Z}/m\)’s has approximately the same homology growth as the corresponding right-angled Artin group AL, i.e.
where the error is on the order of |L|/m (Corollary 5.2.)
Somewhat surprisingly, the argument in this paper is conceptually simpler; our computation relies on cell counting, whereas in [AOS21] we needed to compute some homology. Of course, in this paper we don’t get (or need) an exact computation of \(\underline {\beta }_{k}(G_{L};\mathbb{F} )\).
1.12 Embedding theory
One can construct non-compact aspherical n-manifolds that have a specified fundamental group by embedding that group in a right-angled Coxeter group of the form \(W_{S^{n-1}}\), as the groups \(W_{S^{n-1}}\) all act properly on (topological) \(\mathbb{R}^{n}\).
This method works well for graph products of finite groups GL because by commensurability results of [JS01] they virtually embed in the right-angled Coxeter group WOL, where OL is a more complicated flag complex called the octahedralization of L, obtained from L by doubling the set of vertices and replacing each k-simplex v0∗⋯∗vk by 2k+1 k-simplices \(v_{0}^{\pm}*\cdots *v_{k}^{\pm}\). With Davis, in [A+16] we determined, for a d-dimensional (d≠2) flag complex L, that OL embeds as a full subcomplex of some flag triangulation of S2d if and only if \(H_{d}(L;\mathbb{F} _{2})=0\). This implies that WOL is a subgroup of \(W_{S^{2d}}\). In summary, if d≠2 and \(b_{d}(L;\mathbb{F} _{2})=0\), then GL virtually embeds in some \(W_{S^{2d}}\).
1.13 Construction of a 7-manifold with boundary
We now exploit the fact that embedding theory for OL only depends on \(\mathbb{F} _{2}\)-homology of L while \(\mathbb{F} _{p}\)-homology growth of GL is sensitive to the prime p. The 3-dimensional Moore space L=D3∪pS2, (p odd) has a flag no-square triangulation by [PS09], and for any such triangulation it follows from what we have said that the graph product GL of large \(\mathbb{Z}/m\)’s
-
is hyperbolic,
-
has \(\underline {\beta }_{4}(G_{L};\mathbb{F} _{p})>0\),
-
virtually embeds in some \(W_{S^{6}}\), and hence
-
has a finite index subgroup Γ that acts properly and freely on \(\mathbb{R}^{7}\).
The quotient manifold \(\mathbb{R}^{7}/\Gamma \) has finite type but is not compact. What saves us is that the construction of the manifold also produces, as a byproduct, a codimension three spine. This codimension three lets us compactify a regular neighborhood of this spine using a π-π version of Siebenmann’s thesis (Theorem 6.6.) The upshot is a compact aspherical 7-manifold (N,∂N) with hyperbolic fundamental group and \(\mathbb{F} _{p}\)-homology growth in dimension four. It remains to produce a closed aspherical 7-manifold with these properties.
1.14 On dimensions
Why did we start with a 3-complex? On one hand, Nguyễn Phan and the first author recently constructed examples [AP21] showing that the assumption d≠2 in the embedding theory cannot, in general, be avoided: there are flag 2-complexes L with \(b_{2}(L;\mathbb{F} _{2})=0\) whose octahedralizations do not PL embed in S4. On the other hand, flag no-square triangulations of arbitrary polyhedra are only known to exist in dimensions at most three [PS09]. While there are constructions [JS03, Osa13] of flag no-square d-complexes L in all dimensions d, we do not know how to arrange these to have \(b_{d}(L;\mathbb{F} _{2})=0\) and \(b_{d}(L;\mathbb{F} _{p})\neq 0\). So, we only know how to make the method work in one dimension!
Question 1.2
Are there flag no-square d-complexes L for d>3 which have \(b_{d}(L;\mathbb{F} _{2})=0\) and \(b_{d}(L;\mathbb{F} _{p})\neq 0\)?
1.15 A hyperbolic reflection group trick
To obtain a closed manifold we do a combination of the Davis reflection group trick and the Charney–Davis strict hyperbolization. This hyperbolic reflection group trick works in any dimension, and may be of independent interest, because it preserves hyperbolicity, residual finiteness and other pleasant features. The input to this trick is a compact n-manifold (N,∂N) with a flag triangulation ∂ of the boundary ∂N, and a choice of Charney–Davis hyperbolized n-cube CDn. The output is a closed manifold \(hP_{\partial }^{N}\), which we will sometimes simply denote by \(\mathcal {M}\), obtained as follows. First, build the right-angled Coxeter group corresponding to the flag triangulation ∂, and take the commutator quotient of the corresponding Davis complex. This results in a finite cube complex, which is a manifold except at finitely many singular points, which have links isomorphic to ∂. Now replace the cubes of this cube complex by CDn, and then replace small neighborhoods of the singular points by copies of N.
We summarize some of the properties of the hyperbolic reflection group trick:
Theorem D
Given a compact n-manifold (N,∂N) with a flag triangulation ∂ of the boundary, the hyperbolic reflection group trick produces a closed n-manifold \(\mathcal {M}=hP^{N}_{\partial }\) satisfying:
-
(1)
N is a retract of \(\mathcal {M}\),
-
(2)
If N is aspherical then \(\mathcal {M}\) is aspherical,
-
(3)
If N is \(\mathbb{F} \)-asphericalFootnote 3then \(\mathcal {M}\) is \(\mathbb{F} \)-aspherical,
-
(4)
If π1(N) is hyperbolic then \(\pi _{1}(\mathcal {M})\) is hyperbolic,
-
(5)
If π1(N) is virtually special hyperbolic then \(\pi _{1}(\mathcal {M})\) is virtually special hyperbolic,
-
(6)
If π1(N) is residually finite then \(\pi _{1}(\mathcal {M})\) is residually finite.
Note that for n>5 any flag triangulation of ∂N always has empty squares, so the usual reflection group trick never produces a Gromov hyperbolic manifold.
The first part of Theorem C follows by applying the hyperbolic reflection group trick to our seed manifold N7 with hyperbolic fundamental group and \(\underline {\beta }_{4}(N; \mathbb{F} _{p}) \ne 0\). The resulting manifold \(\mathcal {M}\) can be cut along walls down to Charney–Davis pieces and copies of N. The walls have virtually special fundamental groups which lets us relate their homology growth in all finite covers to homology growth in the restricted class of finite covers induced from \(\mathcal {M}\). This lets us do a Mayer–Vietoris type argument and show that either \(\mathcal {M}\) has non-vanishing \(\underline {\beta }\) or a lower odd-dimensional closed, locally CAT(−1) manifold appearing as an intersection of walls in the construction has non-vanishing \(\overline {\beta }\) (and hence \(\underline {\beta }\) by Theorem B). In either case, we get a non-fibering example.
For the second part of Theorem C we need better control on homology growth of the walls. We can achieve it by restricting our triangulation ∂ to be a barycentric subdivision of a triangulation of the boundary. This lets us arrange so that our walls are themselves Charney–Davis hyperbolizations from a finite set of cubical complexes that depends only on the dimension n. Then choosing an appropriate CDn and applying recent work of Ontaneda shows that these walls admit Riemannian metrics of sufficiently pinched negative curvature, which by a result of Donnelly–Xavier implies that L2-Betti numbers of the walls vanish outside of the two middle dimensions. Since the fundamental groups of these walls are virtually special, their \(\underline {\beta }\) differs from b(2) at only finitely many primes, and the cutting argument proves the following theorem.
Theorem E
For each dimension n there is a choice of Charney–Davis piece CDn and a corresponding finite collection of exceptional primes Sn, such that for any compact n-manifold with boundary (N,∂N) and any triangulation ∂ which is a barycentric subdivision of a triangulation of the boundary, the result of the hyperbolic reflection group trick \(\mathcal {M}=hP_{\partial }^{N}\) satisfies the following inequalities for k>n/2:
-
(1)
\(b_{k}^{(2)}(N)\leq b_{k}^{(2)}(\mathcal {M})\),
-
(2)
\(\underline {\beta }_{k}(N;\mathbb{Q})\leq \underline {\beta }_{k}(\mathcal {M};\mathbb{Q})\) and \(\overline {\beta }_{k}(N;\mathbb{Q})\leq \overline {\beta }_{k}(\mathcal {M};\mathbb{Q})\),
-
(3)
\(\underline {\beta }_{k}(N;\mathbb{F} _{p})\leq \underline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})\) and \(\overline {\beta }_{k}(N;\mathbb{F} _{p})\leq \overline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})\) for p∉Sn.
The second part of Theorem C follows from Theorem E applied to our seed manifold N7.
Remark 3
When the fundamental group of the input π1(N) is virtually special hyperbolic, then the fundamental group of the output \(\pi _{1}(\mathcal {M})\) is, as well, so we have access to the skew field \(D_{\mathbb{F} \pi _{1} (\mathcal {M})}\). Then, the entire cutting argument can be carried out using this ambient skew field (and its sub-skew fields corresponding to subgroups of \(\pi _{1}(\mathcal {M})\)) and leads to an alternate proof of the first inequality in Theorem E(3).
As explained in [OS16], the (usual) reflection group trick implies that the Singer conjecture is equivalent to the statement that L2-Betti numbers of a compact aspherical manifold, possibly with boundary, vanish above the middle dimension. The hyperbolic reflection group trick recovers this and also shows that the Singer conjecture for Gromov hyperbolic manifolds is equivalent to the statement that L2-Betti numbers of compact aspherical manifolds with hyperbolic fundamental groups vanish above the middle dimension.
1.16 Rationally aspherical manifolds
When L is a flag triangulation of the 3-sphere the graph product of large finite groups \(G_{S^{3}}\) has \(b_{4}^{(2)}(G_{S^{3}})>0\). In this case, the van Kampen embedding theory method does not produce a 7-dimensional thickening since \(b_{3}(S^{3};\mathbb{F} _{2})\neq 0\), and we suspect that no such thickening exists. However, since finite index torsion free subgroups Γ of \(G_{S^{3}}\) are duality groups [DM02, D+10], we can use the rational homotopy method from [Avr18] to at least produce a rational thickening, i.e. a rationally aspherical, compact 7-manifold with boundary (N,∂N), non-vanishing \(b_{4}^{(2)}\) and fundamental group Γ.
Moreover, if we start with a flag no-square triangulation of S3 (which do exist) then the resulting group will be hyperbolic. Feeding this seed manifold N7 into the hyperbolic reflection group trick (with barycentrically subdivided boundary) gives
Theorem F
There is a closed, rationally aspherical 7-manifold \(\mathcal {M}\) with special hyperbolic fundamental group and \(b_{4}^{(2)}(\mathcal {M})\neq 0\).
Theorems C and F are quite different both in the input used to obtain the examples and in their conclusions. The first produces genuinely aspherical manifolds, while the second produces examples in which the actual L2-Betti numbers are not concentrated in the middle dimension. Nonetheless, forgetting some of the information they provide, we can put them in a single context. We have obtained for \(\mathbb{F} =\mathbb{Q}\) or \(\mathbb{F} _{p}\) for odd primes p an example of a closed, \(\mathbb{F} \)-aspherical manifold that does not satisfy the \(\mathbb{F} \)-Singer property. The remaining case is p=2.
Question 1.3
Does every \(\mathbb{F} _{2}\)-aspherical manifold with residually finite fundamental group satisfy the (upper or lower) \(\mathbb{F} _{2}\)-Singer property?
1.17 Plan of the paper
Section 2 assembles some basic facts on homology growth. Section 3 sets up the skew field theory we need and Sect. 4 gives consequences of this theory for homology growth and proves Theorem B. We estimate homology growth of graph products in Sect. 5, thicken their classifying spaces to manifolds in Sect. 6, construct closed aspherical manifolds via a hyperbolic reflection group trick in Sect. 7 (proving Theorem D(1)–(4)), and show the results have virtually special fundamental groups (Theorem D(5)) in Sect. 8. In Sect. 9, we derive the Mayer–Vietoris inequalities needed for our induction arguments. Section 10 carries out the basic inductive cutting argument and proves Theorem A and Theorem C(1). Section 11 deals with the barycentric version of the hyperbolic reflection group trick, proves Theorem E and uses it to establish Theorems C(2) and F. The appendices discuss residual finiteness of the hyperbolic (and the usual) reflection group trick (proving Theorem D(6)), the relation between L2-Betti numbers and rational homology growth, and the embedding theory for octahedralizations.
2 Upper and lower homology growth
Our first goal is to understand the normalized Betti numbers of finite covers of a complex X and how they vary as we pass to further covers. Somewhat surprisingly, a number of basic but useful properties of this can be established by thinking of the normalized Betti numbers as a function on the partially orderedFootnote 4 set of all finite covers, looking at upper and lower limits over this set, and using the fact that any two finite covers have a further finite cover lying above both of them. In this section we record the basic properties of such limits.
2.1 Limits over directed posets
Let (C,<) be a partially ordered set. Suppose it is directed (for any x,y∈C there exists z∈C such that x<z and y<z). A subset D is cofinal if for any x∈C there exists y∈D such that x≤y. We want to define various notions of limits of bounded real-valued functions on C. The basic building blocks are taking inf or sup over a subset. There are two basic observations: smaller subsets produce smaller sup, and if the function is decreasing, then inf can be computed over any cofinal subset.
Applying sup to tails (subsets of the form C≥x={y∈C∣y≥x}) defines an operation on bounded functions f↦fsup:
This converts any function to a decreasing one.
Define finf:=−(−f)sup. The following is immediate from the observations:
Lemma 2.1
\(\overline{f}:= (f^{\sup})^{\inf } \) and \(\underline{f} := (f^{\inf})^{\sup}\) are constant functions.
We will call \(\overline{f}\) and \(\underline{f}\) the upper and lower limits of f.
We collect in the following lemma all the properties of upper and lower limits that we need. They will be primarily used in obtaining the Mayer–Vietoris inequalities in Sect. 9.
Lemma 2.2
Let f,g be bounded functions.
-
(1)
If f≤g, then \(\underline{f}\leq \underline{g}\) and \(\overline{f} \leq \overline{g}\).
-
(2)
(Almost additivity)
$$ \underline{f}+\underline{g}\leq \underline{f+g} \leq \underline{f}+ \overline{g}\leq \overline {f+g} \leq \overline{f} +\overline{g}. $$ -
(3)
(Restriction) Let D be a cofinal subset of C. Then
$$ \underline{f}\leq \underline{f|_{D}}\leq \overline{f|_{D}}\leq \overline{f}. $$ -
(4)
Let T be a tail of C. Then
$$ \underline{f}=\underline{f|_{T}}\leq \overline{f|_{T}}= \overline{f}. $$
Proof
(1) is immediate. The last inequality in (2) follows from general subadditivity of sup and additivity of inf for decreasing functions. Using \(\underline{f}=-\overline{(-f)}\) the following trick then proves the third inequality in (2):
Note that setting g=0 in this inequality gives \(\underline{f}\leq \overline{f}\), which justifies the upper and lower notation and proves the middle inequalities in (3) and (4).
Since for a subset D of C, D≥x=C≥x∩D, the basic observations give the last inequality in (3). If T is itself a tail of C, then its tails are tails of C, hence
and we obtain the last equality in (4). The remaining (in)equalities are obtained from these by flipping signs. □
2.2 Normalized Betti numbers as a function on a set of covers
For a complex X, let CX denote the poset of finite covers of X. The normalized k-th \(\mathbb{F} \)-Betti numbers of such covers define a function on this poset, which we will denote by \(\beta _{k}(X; \mathbb{F} )\), i.e. if X′→X is a finite cover, then
For much of this section, k and \(\mathbb{F} \) will be unimportant, and then we will omit one (or both) of them from the notation. The function \(\beta _{k}( X; \mathbb{F} )\) is bounded by the number of k-cells in X.
The upper and lower \(\mathbb{F} \)-homology growth, \(\overline {\beta }_{k}(X; \mathbb{F} )\) and \(\underline {\beta }_{k}(X; \mathbb{F} )\) are the upper and lower limits over CX of this function, more explicitly:
More generally, given a map h:X→Y, and a finite cover π:Y′→Y, the pullback
is a finite cover of X of the same degree. We define the restricted homology growths of X, \(\overline {\beta }_{k}^{Y}(X; \mathbb{F} )\) and \(\underline {\beta }_{k}^{Y}(X; \mathbb{F} )\), by taking the above limits over the subset of covers pulled back from Y. Note that for Y=X, \(\overline {\beta }^{X}(X)=\overline {\beta }(X)\) and \(\underline {\beta }^{X}(X)=\underline {\beta }(X)\).
2.3 Rational homology growth and δ-good covers
We next describe a δ-pinching theorem for normalized rational Betti numbers. It is a consequence of the proof of Lück’s approximation theorem in [Luc94a] and can be thought of as a quantitative variant of that theorem. Other quantitative versions of Lück approximation also appear in [CW03] and [LU22].
We need the following basic linear algebraic lemma.
Lemma 2.3
[Luc94a, Theorem 3.4(1)]
Suppose Δ is an N×N matrix with integer entries. Let Nϵ be the number of eigenvalues λ with |λ|∈(0,ϵ], counted with multiplicity. If ϵ<1 then
Proof
Look at the characteristic polynomial det(t−Δ)=tbq(t) where \(q(t)=\prod _{0<\mu _{i}\leq \epsilon } (t-\mu _{i})\prod _{\epsilon <\mu _{i} \leq {\lvert }\Delta {\rvert }}(t-\mu _{i})\). Since Δ has integer entries, the number q(0) is a non-zero integer, hence
Rearranging to \((\epsilon ^{-1})^{N_{\epsilon }}\leq {\lvert }\Delta {\lvert }^{N}\) and taking logs gives Nϵlog(ϵ−1)≤Nlog|Δ|. □
Theorem 2.4
δ-pinching \(\mathbb{Q}\)-homology growth
Let X be a finite complex. Given δ>0 there is a finite cover Xδ such that the function \(\beta _{k}(X;\mathbb{Q})\) is δ-pinched above Xδ. More explicitly, if X′ and X″ are finite covers of Xδ then
Proof
Let N be the number of k-cells of X. There is a finite constant D such that the norm of the combinatorial Laplacian Δ′ acting on \(C_{k}(X';\mathbb{Q})\) of finite covers of X is uniformly bounded by D (see [Luc94a, Lemma 2.5]) independent of the cover. Choose 0<ϵ<1 satisfying
Next choose r so that polynomial f(x)=(1−x/D)r satisfies
Then, since f is monotone decreasing on [0,D],
So, for any finite cover X′→X we have
where N′ is the number of k-cells of X′, and \(N'_{\epsilon }\) is the number of eigenvalues in the interval (0,ϵ] of the Laplacian Δ′ acting on \(C_{k}(X';\mathbb{Q})\). Since this combinatorial Laplacian has integer entries, Lemma 2.3 implies
Hence,
Since f is a polynomial, there is a radius R such that the support of f(Δ′)e is in the R-neighborhood of e for each cell e in X′.
Let \(\hat{X}\to X\) denote the universal residually finite cover and choose its finite quotient Xδ, so that \(\hat{X}\to X_{\delta }\) is injective on R-balls. Then any finite cover X′→Xδ is also injective on R-balls, hence
Combining this with the above inequality shows that for any such cover X′ the normalized Betti numbers lie in the δ-interval \(\left [ \frac {\operatorname{tr}(f(\Delta _{\delta }))}{{\lvert }X_{\delta }\to X{\rvert } } -\delta , \frac{ \operatorname{tr}(f(\Delta _{\delta }))}{{\lvert }X_{\delta }\to X{\rvert }} \right ]\), which proves the claim. □
Corollary 2.5
For any finite complex X we have \(\underline {\beta }_{*}(X;\mathbb{Q}) = \overline {\beta }_{*}(X;\mathbb{Q})\).
If we fix lifts \(\hat{e}\) in \(\hat{X}\) of k-cells e in X, then the injectivity on R-balls implies that \(\operatorname{tr}(f(\Delta _{\delta }))/{\lvert }X_{\delta } \to X{\rvert }= \sum _{e \in X^{(k)}} \langle f(\hat {\Delta })\hat{e},\hat{e}\rangle \). As we vary the polynomial f, letting r→∞, the quantity on the right of this equation converges to the von Neumann dimension of the space of L2-harmonic k-cycles on \(\hat{X}\) (see [Luc94a, Lemma 2.7]). Therefore the k-th rational homology growth can be identified with the von Neumann dimension of this space. In particular, if π1(X) is residually finite, then \(\hat{X}\) is the universal cover, and we have
Corollary 2.6
For any finite complex X with residually finite fundamental group we have
For other coefficients, we only have the inequality \(\underline {\beta }_{*}(X;\mathbb{F} )\leq \overline {\beta }_{*}(X;\mathbb{F} )\). It follows directly from the definitions that the interval \([\underline {\beta }(X;\mathbb{F} ),\overline {\beta }(X;\mathbb{F} )]\) has the following interpretation: It is the smallest closed interval [a,b] such that for every δ>0 there is a finite cover X′→X such that for any further finite cover X″→X′ the normalized Betti numbers \(b(X'';\mathbb{F} )/{\lvert }X''\to X{\rvert }\) lie in the interval [a−δ,b+δ].
2.4 Connectedness
If X is disconnected, then its homology growth is the sum of the homology growth of its components, as the following lemma shows.
Lemma 2.7
If X=Y∐Z, then
Proof
Clearly, the normalized Betti numbers of a finite cover of X is the sum of the normalized Betti numbers of its restrictions to Y and Z. The issue is that in general finite covers Y′→Y and Z′→Z do not combine to a cover of X unless they have same degree, as our definition requires the degree to be constant. However, we can equalize degrees by replacing Y′ with |Z′→Z| disjoint copies of Y′ and replacing Z′ with |Y′→Y| disjoint copies of Z′. This replacement does not change the normalized Betti numbers, and the Lemma follows. □
It is sometimes useful to keep in mind that we can compute homology growth of a connected finite complex either using all covers, or just the connected ones. We record this observation here as a lemma.
Lemma 2.8
For a connected finite complex X, the upper and lower homology growth can be computed using connected covers.
Proof
We give the proof for upper homology growth. Suppose X is a connected complex, let X′→X be a finite cover and denote by \(X_{i}'\) its components. Then the normalized Betti numbers of this cover are a convex combination
of the normalized Betti numbers of the components. Since the coefficients sum to one, we conclude that \(\beta (X)(X')\leq \beta (X)(X'_{i})\) for some i. So β(X)sup can be computed over connected covers of X. Since β(X)sup is decreasing, its inf can be computed over any cofinal subset. In particular, it can be computed over covers that have identical components. Clearly, the answer of this computation is the same as that for any of the components. Therefore \(\overline {\beta }(X)\) of a connected complex can be computed using only connected covers. □
Remark 4
The regular covers of X form a cofinal subset of CX, so Lemma 2.2(3) provides bounds for homology growth in terms of the limits over regular covers. We don’t know whether regular covers give an exact computation.
2.5 Finiteness
Since connected covers correspond to subgroups of the fundamental group, we can relax finiteness assumptions on X. Recall that a connected complex X is of type \(FP_{n}(\mathbb{F} )\) if the chain complex of the universal cover \(C_{*}(\widetilde{X}; \mathbb{F} )\) is \(\mathbb{F} \pi _{1}X\)-chain homotopy equivalent to a complex P∗ of free \(\mathbb{F} \pi _{1}X\)-modules which have finite rank in degrees ≤n. The following lemma shows that homology growth is well defined and finite in degrees ≤n for such complexes.
Lemma 2.9
Let X be a connected complex so that the chain complex of the universal cover \(C_{*}(\widetilde{X}; \mathbb{F} )\) is \(\mathbb{F} \pi _{1}X\)-chain homotopy equivalent to a complex P∗ of \(\mathbb{F} \pi _{1}X\) modules, where Pk is a free module of finite rank. Then the normalized Betti function \(\beta _{k}(X; \mathbb{F} )\) is bounded:
Proof
By the proof of the previous Lemma it is enough to check the inequality for connected covers. Denote G:=π1X. Let X′→X be a finite connected cover, and let G′<G be the corresponding subgroup. Then we have
□
2.6 Multiplicativity
If X′→X is a finite cover, then CX′ is naturally identified with the tail (CX)≥X′ of CX, and on this tail we have β(X)|X′→X|=β(X′). Therefore, since by Lemma 2.2(4) the limits can be computed over tails, the homology growth is multiplicative in covers of X:
2.7 Homology growth as a fibering obstruction
Multiplicativity implies a variant of Lück’s mapping torus theorem [Luc94b] for homology growth.
Theorem 2.10
\(\mathbb{F} \)-homology mapping torus theorem for \(\overline {\beta }\)
Let X be a complex of type \(FP_{n}(\mathbb{F} )\), f:X→X a self-homotopy equivalence and Tf its mapping torus. Then for k≤n
Proof
We can assume that f is a cellular map. Let K=π1(X) and let \(G=\pi _{1}(T_{f})=K\rtimes \mathbb{Z}\). The assumption means that the chain complex \(C:=C_{*}(\widetilde{X};\mathbb{F} )\) is \(\mathbb{F} K\)-chain homotopy equivalent to a complex of free \(\mathbb{F} K\)-modules P which have finite rank in degrees ≤n. Let h:C→P and l:P→C be the chain homotopy equivalence and its inverse. Consider the map g=fm for some positive integer m. The map g induces a chain map which we will also call g:C→C.
Let \(\hat{g}=h f l: P\to P\). The algebraic mapping telescope \(\widetilde{T}_{\hat{g}}\) of \(\hat{g}\) is \(\mathbb{F} G\)-chain homotopy equivalent to \(C_{*}(\widetilde{T}_{g};\mathbb{F} )\). Thus, by Lemma 2.9
The mapping torus Tg is homotopy equivalent to a degree m cover T′→Tf, so by multiplicativity
Since m can be picked arbitrarily large, we are done. □
3 β inf via skew fields
In this section we will give a skew field description of βinf for complexes with residually torsion-free nilpotent fundamental group. The proof goes by first approximating the residually torsion-free nilpotent group by torsion-free nilpotent groups, and then approximating those by finite groups. Since groups are central to this argument, we will use equivariant notation to highlight the role of the groups involved, rather than relegating it to a subscript in a coefficient module.
3.1 Skew field Betti numbers
Let G be a group, let Y be a free cocompact G-CW complex, and suppose we have a homomorphism \(\phi : \mathbb{Z}G \to D\) to a skew field. The homomorphism makes D into a \(\mathbb{Z}G\)-bimodule, so we can take equivariant homology of Y with coefficients in D
and define the equivariant Betti numbers with coefficients in D of Y by taking its dimension over D:
More explicitly,
where ϕ(∂i) denotes the image of the matrix of the differential in D and |Y(i)| is the number of G-orbits of i-cells in Y.
Remark 5
When Y is the universal cover of a connected finite complex Y/G with fundamental group G, then this definition coincides with the usual (unequivariant) homology of Y/G with local coefficients in the \(\mathbb{Z}G\)-module D,
On the level of skew field Betti numbers, \(b_{*}^{G}(Y;D)=b_{*}(Y/G;D)\).
3.2 Local homomorphisms
A nontrivial homomorphism between skew fields is necessarily injective, however there is a more general notion of morphisms between skew fields. It leads to an inequality between Betti numbers.
A local homomorphism (or subhomomorphism) between two skew fields D and D′ is a homomorphism from a subring L of D to D′, f:L→D′ whose kernel is precisely the set of non-units of L. It follows that L is a local ring, J:=kerf is its unique maximal ideal, and J∖L is a sub-skew field of D′. If M is a finitely generated L-module, then by Nakayama’s lemma, cf. [FD93, Corollary 2.13], any lift of a basis of J∖L⊗LM=JM∖M to M is a generating set for M, therefore dimD′D′⊗LM≥dimDD⊗LM. In terms of ranks we have an opposite inequality, for any L-matrix A, \(\operatorname{rk}_{D'} f(A) \leq \operatorname{rk}_{D} A\).
Thus we have the following: suppose \(\mathbb{Z}G \to D'\) extends to a local homomorphism from D to D′, then
If D is a sub-skew field of D′, then we have obvious local homomorphisms from D to D′ and vice versa extending the map \(\mathbb{Z}G \to D\), which gives us
Change of coefficients 1
If D is contained in another skew field D′, then
where the latter is computed using the composition \(\mathbb{Z}G \to D \hookrightarrow D'\). (This is also a consequence of \(C_{*}(Y)\otimes _{\mathbb{F} G}D'=(C_{*}(Y)\otimes _{\mathbb{F} G}D)\otimes _{D}D'\).)
In particular, if \(\phi :\mathbb{Z}G \to D\), we can always replace D with the skew field generated by the \(\phi (\mathbb{Z}G)\), i.e. the division closure of \(\phi (\mathbb{Z}G)\), without changing Betti numbers.
3.3 Epic \(\mathbb{F} G\) fields
There are two classical constructions (for certain amenable groups, and for bi-orderable groups) of \(\mathbb{Z}G\) skew fields. Both constructions depend on the choice of a base field \(\mathbb{F} \) (we will be mostly concerned with \(\mathbb{F} =\mathbb{Q}\) or \(\mathbb{F} =\mathbb{F} _{p}\)) and produce canonical epic embeddings \(\mathbb{F} G \hookrightarrow D_{\mathbb{F} G}\). (A homomorphism of \(\mathbb{F} G\) into a skew field D is epic if the image of \(\mathbb{F} G\) generates D.) Moreover, both constructions behave nicely with respect to subgroups. If H<G then the division closure of \(\mathbb{F} H\) in \(D_{\mathbb{F} G}\) coincides with \(D_{\mathbb{F} H}\). If H happens to be finite index in G, then in both cases \(D_{\mathbb{F} G} \cong \oplus _{[G:H]} D_{\mathbb{F} H}\), which implies a multiplicativity formula for the corresponding Betti numbers. We shall use the same notation for both constructions, and let the context distinguish them. This does not lead to confusion, as the constructions agree when both are defined.
Of course the existence of such an embedding requires \(\mathbb{F} G\) to have no zero divisors. Conjecturally, \(\mathbb{F} G\) has no zero divisors for any torsion-free group. It is known for many classes of groups, in particular for left-orderable groups and for torsion-free elementary amenable groups [KLM88, Theorem 1.4].
We now discuss both constructions.
3.4 Amenable groups
Suppose R is a ring without zero divisors, and S is a multiplicatively closed subset of nonzero elements. The pair (R,S) satisfies the (right) Ore condition if for each r∈R and s∈S there are r′∈R and s′∈S with
If the pair (R,S) satisfies the Ore condition, then one can form a ring called the Ore localization RS−1. The elements of RS−1 are equivalence classes of fractions r/s, r∈R, s∈S; the Ore condition allows one to add and multiply these expressions. There is a natural injection R→RS−1, given by r↦r/1. If S is the set of all nonzero elements of R, then RS−1 is a skew field, and we get an epic embedding R↪RS−1. This embedding is a unique epic embedding, since any other embedding factors through it.
For a group ring, \(R = \mathbb{F} G\) without zero divisors, the pair \((\mathbb{F} G ; \mathbb{F} G- \{0\} )\) satisfies the Ore condition if and only if G is amenable [Bar19, Theorem A.1]. In this case we shall denote the localization by \(D_{\mathbb{F} G}\). So, to summarize, for amenable G with \(\mathbb{F} G\) having no zero divisors we have a unique epic embedding \(\mathbb{F} G \hookrightarrow D_{\mathbb{F} G}\). If G is amenable and \(\mathbb{F} G\) has no zero divisors, then this also holds for all subgroups of G and their group rings. Furthermore, if H<G then we can identify \(D_{\mathbb{F} H}\) with the division closure of \(\mathbb{F} H\) inside of \(D_{\mathbb{F} G}\). If G is in addition residually finite, then we also have a version of Lück’s Approximation theorem, which is the main result of Linnell, Lück, and Sauer [LLS11, Theorem 0.2].
Theorem 3.1
[LLS11, Theorem 0.2]
Suppose G is amenable and \(\mathbb{F} G\) has no zero divisors. Let Gi◁G be a residual sequence of finite index normal subgroups of G. Then for any cocompact free G-CW complex Y
3.5 Bi-orderable groups
As another example, suppose the group G is bi–orderable, and fix a particular bi-invariant total order on G. The Malcev–Neumann series are infinite linear combinations of elements in G with \(\mathbb{F} \) coefficients, whose support is well ordered in the induced order. They form a skew field, into which the group ring \(\mathbb{F} G\) naturally embeds. Let \(D_{\mathbb{F} G}\) denote the division closure of \(\mathbb{F} G\) in this skew field.
One can easily see from the construction of inverses that if a is a non-zero Malcev–Neumann series then the support of a−1 is contained in the subgroup generated by the support of a.
Therefore, for a subgroup H the set of elements of \(D_{\mathbb{F} G}\) supported on H is a sub-skew field, and it follows that the division closure of \(\mathbb{F} H\) in \(D_{\mathbb{F} G}\) is naturally identified with \(D_{\mathbb{F} H}\), coming from the induced order on H.
Since the action of G on cosets preserves the induced order, a similar picture holds for the set of elements of \(D_{\mathbb{F} G}\) supported on a single coset, it has a natural structure of a vector space over \(D_{\mathbb{F} H}\). This gives an injective homomorphism of \(D_{\mathbb{F} H}\)-vector spaces: \(\bigoplus _{G/H} D_{\mathbb{F} H} \to D_{\mathbb{F} G} \).
The injectivity of this homomorphism is a (very strong) form of the so called Hughes-free condition, so the embedding \(\mathbb{F} G \hookrightarrow D_{\mathbb{F} G}\) is Hughes-free. Hughes [Hug70] proved that for a given \(\mathbb{F} \), Hughes-free epic embeddings are unique up to an isomorphism over \(\mathbb{F} G\), thus \(D_{\mathbb{F} G}\) does not depend on the choice of the order, and we obtain well-defined Betti numbers \(b^{G}_{*}(Y;D_{\mathbb{F} G})\).
We also have an approximation theorem of a different flavor.
Theorem 3.2
Let Ki be a nested residual sequence of normal subgroups in a group G. Suppose we have bi-invariant orderings on G and on the quotients Gi=G/Ki such that each quotient map pi:G→Gi is order-preserving. Then for any cocompact free G-complex Y there exist i0 such that for any i≥i0,
Proof
Following [EL87, Lic00] define a sequence of subrings {Si} of \(D_{\mathbb{F} G}\) with Si⊂Si+1 consisting of elements whose support has finite intersection with Ki-cosets. A slight generalization of the Malcev–Neumann argument, cf. [Lic00, Proposition 7.1], shows that ⋃Si is a skew field. Since each Si contains \(\mathbb{F} G\), we have \(\bigcup S_{i}=D_{\mathbb{F} G}\). Note that the maps pi obviously extend to maps \(p_{i}: S_{i} \to D_{\mathbb{F} G_{i}}\).
Given a matrix A over \(\mathbb{F} G\), we can diagonalize A over \(D_{\mathbb{F} G}\) by performing column and row operations: there exist \(D_{\mathbb{F} G}\)-matrices C and C′, such that \(CAC'=I_{\operatorname{rk}_{D_{\mathbb{F} G}} A}\). The entries of C and C′ are a finite collection of elements of \(D_{\mathbb{F} G}\), so they are all contained in \(S_{i_{0}}\) for some i0. Then for i≥i0, applying pi to the above diagonalization shows that \(\operatorname{rk}_{D_{\mathbb{F} G}} A = \operatorname{rk}_{D_{\mathbb{F} G_{i}}} p_{i}(A)\). Choosing i0 so that the above works for all differentials in Y finishes the proof. □
Remark 6
The skew field ⋃Si has been recently used by Sikorav in [Sik23] to give a new fibering criterion for closed aspherical 3-manifolds.
3.6 Finite index subgroups
It turns out that in both cases the equivariant Betti numbers have an additional nice property satisfied by the usual L2-Betti numbers, namely multiplicativity for finite index subgroups.
Lemma 3.3
Suppose G is bi-orderable or amenable with \(\mathbb{F} G\) having no zero-divisors, and H<G is a finite index subgroup. Then for any G-complex Y
Proof
For bi-orderable groups, if H<G has finite index, then the full Malcev–Neumann skew field of G is a vector space of dimension [G:H] over the full Malcev–Neumann skew field of H, and these skew fields give the same Betti numbers as \(D_{\mathbb{F} H}\) and \(D_{\mathbb{F} G}\). In particular, it follows that \(D_{\mathbb{F} G} \cong D_{\mathbb{F} H}^{[G:H]}\) as \(D_{\mathbb{F} H}\)-vector spaces.
This also holds in the amenable case, see e.g. [LLS11, Equation 5.2] for a more general statement. For convenience, we give the argument here assuming that there are no zero-divisors. It is enough to consider normal subgroups. The main point is that the pair \((\mathbb{F} G, S = \mathbb{F} H - \{0\})\) satisfies the Ore condition [Pas77, Lemma 13.3.5 (ii)], so we can form the localization \((\mathbb{F} G) S^{-1}\). This is a \(D_{\mathbb{F} H}\)-vector space of dimension [G:H] which naturally injects into \(D_{\mathbb{F} G}\). We claim that this is onto; it suffices to show that each nonzero t in \(\mathbb{F} G\) is invertible in \((\mathbb{F} G) S^{-1}\). Since t is not a zero divisor in \(D_{\mathbb{F} G}\), it is not a zero divisor in \((\mathbb{F} G) S^{-1}\), hence the left multiplication by t induces an injective linear self-map of \((\mathbb{F} G) S^{-1}\). Therefore, this multiplication is an isomorphism, and the preimage of 1 is the inverse of t. □
3.7 Finite generation
Note that we did not assume that the group G is finitely generated. We now show that in both constructions we can always reduce the computation of \(b_{k}^{G}(Y;D_{\mathbb{F} G})\) to the case of finitely generated G.
First, we need the following observation.
Induced representation 1
If H<G is a subgroup and Y0 is an H-complex, then for Y=G×HY0 we have
where the latter is computed using the composition \(\mathbb{Z}H \hookrightarrow \mathbb{Z}G \to D\), since the chain complexes used to compute the two homologies are identical:
Lemma 3.4
Suppose G is a bi-orderable or amenable group with \(\mathbb{F} G\) having no zero-divisors, and Y is a cocompact, free G-complex. For each connected component of Y/G choose its lift Yi to Y, and let Gi denote the stabilizer of Yi in G. Then each Gi is finitely generated and
Proof
Since each Yi is a connected cocompact free Gi-complex, each Gi is finitely generated. Y is a disjoint union of G-orbits of Yi, i.e. \(Y=\coprod _{i=1}^{n} G\times _{G_{i}} Y_{i}\). In both constructions the division closure of each \(\mathbb{F} G_{i}\) in \(D_{\mathbb{F} G}\) is \(D_{\mathbb{F} G_{i}}\). Therefore
□
3.8 Torsion-free nilpotent groups
Let N be a torsion-free nilpotent group. Then N is both bi-orderable and amenable, and both constructions produce the same skew field \(D_{\mathbb{F} N}\). It will be most useful here to think of \(D_{\mathbb{F} N}\) as an Ore localization.
Lemma 3.5
Let N be a torsion-free nilpotent group. Then for any free, cocompact N-CW complex Y
Proof
By Lemma 3.4 we can assume that N is finitely generated. Let C=〈t〉 be a normal, infinite cyclic subgroup of N with H=N/C torsion-free nilpotent. The existence of such a subgroup follows from the fact that the center Z(N) of N is infinite and N/Z(N) is torsion-free nilpotent [Pas77, Lemma 11.1.3, p. 470].
The quotient map N→H induces a map \(p: \mathbb{F} N \to \mathbb{F} H\) and kerp is the two-sided principal ideal generated by (1−t). We claim that p extends to a local homomorphism \(D_{\mathbb{F} N} \to D_{\mathbb{F} H}\) where the domain consists of elements which have a representation with denominator not in kerp. The only nontrivial part of this claim is that the domain is a subring of \(D_{\mathbb{F} N}\), or equivalently, that \((\mathbb{F} N,S:=\mathbb{F} N-\ker p)\) satisfies the Ore condition.
To see this, take \(r \in \mathbb{F} N\) and s∈S. Since \((\mathbb{F} N; \mathbb{F} N - \{0\} )\) satisfies the Ore condition, there are \(r', s' \in \mathbb{F} N\) with rs′=sr′, and we need to show that s′ can be chosen in S.
The key point is that there is a bound on the powers of (1−t) that divide s′. Indeed, take a coset of C which intersects the support of s′ nontrivially; for a suitable choice of g∈N the restriction of s′ to this coset has the form gP(t) where P(t) is a polynomial in t. The right multiplication by (1−t) preserves the coset decomposition, hence the power of (1−t) dividing s′ on the right is bounded above by the degree of P(t).
Now, if s′∈kerp, then s′r=sr′∈kerp, and hence r′∈kerp as \(\mathbb{F} H\) has no zero divisors. Therefore, both s′ and r′ are divisible on the right by (1−t), and we can cancel to get a new s′ and r′. So, we can keep cancelling powers of (1−t) until s′∈S.
Applying the same procedure to the quotient group H in place of N and composing local homomorphisms eventually produces a trivial quotient and therefore a local homomorphism \(D_{\mathbb{F} N} \to \mathbb{F} \) extending the augmentation map. □
3.9 Residually torsion-free nilpotent groups
From now on, we suppose that the group G is residually torsion-free nilpotent. Then G is bi-orderable, and in fact as explained in [EL87, Corollary to Lemma 4.1], any torsion-free nilpotent approximation can be made into an bi-orderable one by a suitable choice of orders. Then the equivariant Betti numbers of a G-complex Y are approximated by the equivariant Betti numbers of the torsion-free nilpotent quotients, which in turn are approximated by normalized usual Betti numbers of finite quotients. This leads to equivalence between the skew field definition and the infimum definition for simply connected Y.
Theorem 3.6
Let G be a residually torsion-free nilpotent group and let Y be a free cocompact G-complex. Then
Proof
Let H<G be a finite index subgroup of G. Choose a torsion free nilpotent approximation Ki◁H↠Ni. Then, using Theorem 3.2 and Lemma 3.5, for sufficiently large i we have,
The multiplicativity now implies ≤ inequality in the desired formula.
For the opposite inequality we first find, similar to the above, a torsion free nilpotent quotient K◁G↠N with \(b^{G}_{*}(Y; D_{\mathbb{F} G}) = b^{N}_{*}(Y/K; D_{\mathbb{F} N})\) and then apply Theorem 3.1 to the N-complex Y/K to find a further finite quotient so that \(b^{N}_{*}(Y/K; D_{\mathbb{F} N}) \) is approximated within any given ϵ by the normalized usual Betti numbers. □
3.10 Simply connected components
When the components of the G-complex Y are simply connected, then we can use Theorem 3.6 to relate skew field Betti numbers to homology growth of the quotient Y/G (note that if Y is not simply connected then the right-hand term in Theorem 3.6 is generally not equal to \(\beta ^{\inf}_{\ast}(Y/G)\)).
Corollary 3.7
Suppose G is a residually torsion-free nilpotent group and Y is a cocompact, free G-complex with simply connected components. Then
Proof
By Lemma 3.4
where each Yi is a connected component of Y and Gi is its stabilizer. By assumption each Yi is simply connected, so finite connected covers of Yi/Gi correspond to finite index subgroups of Gi.
Therefore, Theorem 3.6 and Lemma 2.8 imply that right hand side equals \(\sum _{i}\beta ^{\inf}_{k}(Y_{i}/G_{i};\mathbb{F} )\). Finally, additivity of βinf in disjoint unions identifies this with \(\beta ^{\inf}_{k}(Y/G;\mathbb{F} )\). □
Remark 7
Droms [Dro83] and Duchamp–Krob [DK92] independently showed that RAAG’s are residually torsion-free nilpotent. Since this property passes to subgroups, the fundamental group of any compact special cube complex in Haglund and Wise’s sense is residually torsion-free nilpotent.
Remarks 1
Many of the results in this section (and stronger versions) were previously known. The fact that for a torsion-free nilpotent group N there is a local homomorphism \(D_{\mathbb{F} N} \to \mathbb{F} \) extending the augmentation map follows from [Smi71, Theorem 2.2], which implies that the complement of the augmentation ideal in \(\mathbb{F} N\) satisfies the Ore condition. The local ring in this case then consists of fractions with representatives f/g where g is not in the augmentation ideal.
More generally, a skew field D containing and generated by \(\mathbb{F} G\) is called universal if any homomorphism \(\alpha : \mathbb{F} G \to D'\) can be extended to a local homomorphism α:D→D′. Of course, if D is universal, there is a local homomorphism \(D \to \mathbb{F} \) extending the augmentation map, so we obtain the same statement as in Lemma 3.5. For instance, Passman [Pas82] showed that if G is poly-\(\mathbb{Z}\), then \(D_{\mathbb{F} G}\) is a universal division ring for \(\mathbb{F} G\).
Jaikin-Zapirain [Jai21, Corollary 1.3] proved that a residually (amenable locally indicable) group has a Hughes-free epic embedding, and this embedding is universal. The core of his construction is a very general form of the approximation theorem by locally indicable quotients. He also observed [Jai21, Proposition 2.2] that a recent result of Gräter [Gra20, Corollary 8.3] that Hughes-free embeddings are strongly Hughes-free implies multiplicativity of the equivariant Betti numbers, see also [Fis21, Lemma 6.3] for more details. Since the Linnell–Lück–Sauer theorem applies to amenable locally indicable groups, it follows that Theorem 3.6 holds for residually (amenable locally indicable) groups. For these groups, Fisher, Hughes and Leary in a recent paper independently proved one inequality in Theorem 3.6 in [FHL23, Theorem D], and applied this to show non-vanishing homology growth of non-virtually fibered groups in [FHL23, Theorem 5.1].
For \(\mathbb{F} = \mathbb{Q}\), there is another canonical construction due to Linnell of \(D_{\mathbb{Q}G}\) that (conjecturally) works for all torsion-free groups G. The von Neumann algebra \(\mathcal {N}(G)\) is known to satisfy the Ore condition with respect to the set of non-zero divisors, and \(D_{\mathbb{Q}G}\) is the division closure of \(\mathbb{Z}G\) inside of \(\operatorname{Ore}(\mathcal {N}(G))\). The ring \(\operatorname{Ore}(\mathcal {N}(G))\) can be identified with the ring \(\mathcal {U}(G)\) of affiliated operators on ℓ2(G). Since \(\mathcal {N}(G)\) has zero-divisors, \(\operatorname{Ore}(\mathcal {N}(G))\) is not a skew field, so it is not obvious that \(D_{\mathbb{Q}G}\) is one. On the other hand, Linnell showed that \(D_{\mathbb{Q}G}\) being a skew field is equivalent to Atiyah’s conjecture on integrality of L2-Betti numbers for torsion-free groups, and this is known for many classes of groups. If H<G and the Atiyah conjecture holds for G, then it also holds for H, \(D_{\mathbb{Q}H}\) naturally embeds as a sub-skew field of \(D_{\mathbb{Q}G}\), and \(D_{\mathbb{Q}G}\) is strongly Hughes-free. For general fields \(\mathbb{F} \), Jaikin-Zapirain and Linton have conjectured that for any torsion-free group G there is an epic, strongly Hughes-free, skew field \(D_{\mathbb{F} G}\) containing \(\mathbb{F} G\) which is unique up to \(\mathbb{F} G\)-isomorphism [JL23, Conjecture 1, p.7].
4 Applications of the skew field theory
Let us collect some consequences of the skew field theory from the last section.
4.1 Lower homology growth as skew field Betti number
Corollary 4.1
If X is a finite complex with residually torsion-free nilpotent fundamental group G, then
Proof
First, note that \(b^{G}_{*}(\widetilde{X};D_{\mathbb{F} G})\) is a dimension of a vector space over a skew field, so it is an integer. Second, this dimension is equal to \(\beta _{*}^{\inf}(X;\mathbb{F} )\) by Theorem 3.6. Third, since \(b^{G}_{*}(\widetilde{X};D_{\mathbb{F} G})\) is multiplicative by Lemma 3.3, the normalized \(\beta _{*}^{\inf}\) of finite covers of X are all equal to each other. Therefore \(\underline {\beta }_{*}=\beta _{*}^{\inf}\). This finishes the proof. □
So, since the lower homology growth \(\underline {\beta }\) is multiplicative, it can be thought of as a multiplicative extension of the skew field Betti number from residually torsion-free nilpotent fundamental groups to more general settings where there is no nice skew field around.
4.2 Relation between \(\mathbb{Q}\) and \(\mathbb{F} _{p}\)
For a finite complex X let
denote the normalized log of the cardinality of the torsion of the integral homology as a function on the poset of covers. By a lemma of Gabber ([A+21, Proposition 9.1]) τk(X) is a bounded function.
The universal coefficient theorem implies that
The integrality of the skew field Betti number leads to the following corollary.
Corollary 4.2
Suppose X is a finite complex with virtually residually torsion-free nilpotent fundamental group G. Then for sufficiently large primes p we have
Proof
This follows immediately from inequalities (1) and the fact that \(\underline {\beta }_{k} \in \frac{1}{[G:G']}\mathbb{Z}\) for some finite index residually torsion-free nilpotent subgroup G′. □
4.3 Relation between \(\underline {\beta }\) and \(\overline {\beta }\)
We now explain how to use a result of Fisher [Fis21] to reconcile vanishing of upper and lower \(\mathbb{F} \)-homology growth for finite aspherical complexes whose fundamental groups embed in right-angled Artin groups. More precisely, Fisher needs the groups to be residually finite rationally solvable (RFRS), a condition used in Agol’s fibering criterion for 3-manifolds, see [Ago08, Definition 2.1].
The main result in Fisher’s paper [Fis21] is:
Theorem 4.3
[Fis21, Theorem 6.6]
Suppose X is a finite aspherical complex whose fundamental group G is RFRS. Then there is a finite cover X′→X and a map X′→S1 with homotopy fibreFootnote 5of type \(FP_{n}(\mathbb{F} )\) if and only if \(b^{G}_{k}(\widetilde{X}; D_{\mathbb{F} G})=0\) for all k≤n.
In other words, the numbers \(b^{G}_{k}(\widetilde{X};D_{\mathbb{F} G})\) are the only \(\mathbb{F} \)-homological virtual fibering obstructions for a finite aspherical complex X in this setting. By Corollary 2.3 of [Ago08], RAAGs are RFRS and it is not hard to see that the RFRS property passes to subgroups. This along with Theorem 2.10 implies:
Theorem B 1
Suppose X is a finite aspherical complex whose fundamental group G embeds in a right-angled Artin group. Then \(\underline {\beta }_{k}(X;\mathbb{F} )=0\) for all k≤n if and only if \(\overline {\beta }_{k}(X;\mathbb{F} )=0\) for all k≤n.
Proof
By Corollary 4.1 we have \(b^{G}_{k}(\widetilde{X};D_{\mathbb{F} G})=\underline {\beta }_{k}(X;\mathbb{F} )\leq \overline {\beta }_{k}(X;\mathbb{F} )\). Suppose that \(b^{G}_{k}(\widetilde{X};D_{\mathbb{F} G})=0\) for all k≤n. Then, by Fisher’s theorem there is a finite cover X′→X and a further regular infinite cyclic cover \(\hat{X}'\to X'\) such that \(\hat{X}'\) is of type \(FP_{n}(\mathbb{F} )\). In other words, X′ is homotopy equivalent to the mapping torus Tg of the covering translation \(g:\hat{X}' \to \hat{X}'\). Therefore for k≤n we have, by Theorem 2.10, \(0=\overline {\beta }_{k}(T_{g};\mathbb{F} )=\overline {\beta }_{k}(X';\mathbb{F} )\), and by multiplicativity of \(\overline {\beta }\) we conclude that \(\overline {\beta }_{k}(X;\mathbb{F} )=0\). □
Poincaré duality implies:
Corollary 4.4
If M is a closed aspherical manifold whose fundamental group embeds in a right-angled Artin group, then \(\overline {\beta }_{>k}(M;\mathbb{F} )=0\) if and only if \(\underline {\beta }_{>k}(M;\mathbb{F} )=0\).
Remark 8
It follows from Jaikin-Zapirain’s work in [Jai21] that Theorem B holds more generally for finite aspherical complexes X with RFRS fundamental group, as RFRS groups are residually (amenable locally indicable).
5 Graph products
In this section, we estimate the homology growth of graph products of finite groups. In low dimensions, this will give us many examples of hyperbolic groups where we have good control over the homology growth; in particular we can construct hyperbolic groups where the homological growth depends on the coefficient field.
5.1 Graph products of finite groups
Let L be a flag complex with vertex set S, and suppose {Gs}s∈S is a collection of nontrivial groups indexed by S. Let GL be the corresponding graph product. Given a simplex σ in L, we let Gσ=∏s∈σGs denote the corresponding special subgroup of GL. Any graph product GL acts naturally on a right-angled building of type (WL,S), which we now describe.
Let KL be the geometric realization of the poset of simplices of L. Then KL is isomorphic to the cone on the barycentric subdivision of L, with the empty simplex corresponding to the cone point. Let ∂KL be the geometric realization of the poset of nonempty simplices of L, which corresponds to simplices in KL not containing the cone point. Recall that a mirrored complex consists merely of a complex X and a collection of subcomplexes {Xs}s∈S for some index set S. There is a canonical mirror structure on KL with mirrors {Ks}s∈S; the s-mirror Ks is the geometric realization of the subposet of simplices containing the vertex s. This is isomorphic to the star of s in the barycentric subdivision of L, see Figure 1.
Let x be a point in KL, and let τ be a simplex containing x. Then τ corresponds to a chain of simplices in L; let σ(x) be the smallest element in this chain. We define
where (g,x)∼(g′,x′) if and only if x=x′ and gGσ(x)=g′Gσ(x).
If W≅GL is a right-angled Coxeter group, then \(\mathcal {U}(G_{L}, K_{{L}})\) is the Davis complex [Dav08, Chap. 7], which we denote by ΣL. If GL is any graph product, then \(\mathcal {U}(G_{L}, K_{{L}})\) is a right-angled building with apartments isomorphic to ΣL. In general, GL acts on \(\mathcal {U}(G_{L}, K_{{L}})\) with strict fundamental domain KL. The stabilizers of simplices are conjugates of Gσ for σ⊂L.
From now on, we assume that the groups Gs are all finite. Then the right-angled building admits the structure of a locally finite CAT(0) cube complex, which we now describe. Firstly, KL can be naturally identified with a CAT(0) cubical subcomplex of [0,1]S; KL is precisely the union of subcubes of [0,1]S containing (0,0,…,0) corresponding to the collections of vertices which span simplices in L. Note that the link of the vertex (0,0,…,0) is isomorphic to L, and the vertices of each cube can be identified with vertices of the barycentric subdivision of L.
For a vertex s the mirror Ks is the intersection of KL with the hyperplane xs=1. It is naturally isomorphic to the cubical complex \(K_{{\operatorname{Lk}(s)}}\). There is another parallel embedding of \(K_{{\operatorname{Lk}(s)}}\) into KL as a subchamber, given by the intersection with the coordinate hyperplane xs=0. We will use both embeddings in the paper.
This cubical structure extends to \(\mathcal {U}(G_{L}, K_{{L}})\). The link of any vertex in \(\mathcal {U}(G_{L}, K_{{L}})\) is isomorphic to the multiple join \(\operatorname{Lk}(\sigma ) * F_{1} * \cdots * F_{\dim \sigma +1}\) of a link of some simplex σ in L with finite discrete sets Fi (it suffices to consider vertices in KL, in which case the vertex is the barycentre of σ and the sets Fi come from translates of KL by the local group Gσ=∏s∈σGs). These are all flag complexes since L is flag. By [Dav08, Theorem 18.3.1], \(\mathcal {U}(G_{L},K_{{L}})\) is simply connected, hence \(\mathcal {U}(G_{L}, K_{{L}})\) is CAT(0) by Gromov’s criterion.
5.2 Estimating homology growth of graph products
Theorem 5.1
Let GL be a graph product of finite groups. Suppose Γ<GL is a torsion free finite index subgroup and let n denote its index. Then
where |∂KL| is the number of cubes in ∂KL and \(\tilde{b}_{*}\) are the reduced Betti numbers. Furthermore, if i=dimL+1, then
Proof
Since all GL stabilizers are finite, Γ acts freely on \(\mathcal {U}\), so we want to estimate the homology of \(X=\mathcal {U}/\Gamma \). Let p:X→KL denote the projection and let Y=p−1(∂KL). X is tiled by copies of KL intersecting along Y.
For a cube σ in KL the number of preimages |p−1(σ)| is n/|Gminσ|, where minσ is the smallest element in the chain corresponding to σ, and Gminσ is the corresponding special subgroup. In particular, the cubes in KL−∂KL have n preimages, and the cubes in ∂KL have at most n/min|Gs| preimages. Thus in the long exact sequence
the dimensions of the first and the last terms are bounded by |Y|≤n|∂KL|/min|Gs| and the relative term is isomorphic to \(\oplus _{n} H_{i}(K_{{L}}, \partial K_{{L}}; \mathbb{F} )\), so its dimension is \(n \tilde{b}_{i-1}(L; \mathbb{F} )\). Therefore,
If i=dimL+1, then \(H_{i}(Y;\mathbb{F} ) = 0\) so we get \(b_{i}(\Gamma ; \mathbb{F} )/n \leq b_{i-1}(L; \mathbb{F} )\). □
Corollary 5.2
If GL is a graph product of finite groups, then
Remarks 2
A similar estimate in terms of thickness holds for torsion free uniform lattices in chamber transitive buildings. For sufficiently large thickness L2-Betti numbers of such buildings were computed in [D+07, Theorems 10.4(ii) and 13.8]. The exact formula there has extra terms involving homology of certain subcomplexes of ∂KL, however their contribution is of order 1/thickness.
For right-angled Artin groups AL, [AOS21] gives the exact computation \(\underline {\beta }_{i}(A_{L}; \mathbb{F} )=\tilde{b}_{i-1}(L;\mathbb{F} )\), so \(|\underline {\beta }_{i}(G_{L};\mathbb{F} )-\underline {\beta }_{i}(A_{L};\mathbb{F} )|\leq 2|\partial K_{{L}}|/\min |G_{s}|\). We conclude that the homology growth of a graph product of finite groups converges to the homology growth of the corresponding right-angled Artin group as the minimum orders of the groups go to infinity.
5.3 Flag no-square triangulations
A flag simplicial complex L is no-square if each simplicial cycle of length four has a diagonal. If L is equipped with a piecewise spherical metric with all edge lengths = π/2 (i.e. L is all right), then the flag no-square condition is equivalent to L not having any closed geodesics of length ≤2π. Suppose L is a flag no-square simplicial complex, and GL is a graph product of finite groups based on L. In this case, the right-angled building \(\mathcal {U}(G_{L}, K_{{L}})\) admits a GL-equivariant CAT(−1) metric, and in particular, GL is a hyperbolic group [Mei96], see also [Dav08, Corollary 18.3.10]. Note that any graph product of nontrivial groups based on a 4-cycle contains free abelian subgroups of rank 2, hence if L is not no-square then GL is not hyperbolic. The construction of the flag no-square triangulations we require is due to Przytycki and Świątkowski.
Theorem 5.3
[PS09, Corollary 2.14]
Let L be a simplicial complex of dimension ≤3. Then there is a subdivision L′ of L which is flag no-square.
Remark 9
Theorem 5.3 only holds in dimensions ≤3, for instance there is no flag no-square triangulation of any 4-dimensional homology sphere [Dav08, Proposition I.6.6]. In this generality, this is due to Moussong. Vinberg had earlier shown the non-existence of compact right-angled convex polytopes in hyperbolic n-space for n>4 (the dual of the boundary would be a flag no-square triangulation of Sn for n>3).
5.4 Dependence on the coefficient field
Note that combining Theorem 5.1 with Theorem 5.3 immediately gives some low-dimensional hyperbolic groups with \(\underline {\beta }_{i}(G; \mathbb{F} _{p}) > \underline {\beta }_{i}(G; \mathbb{Q})\) (for example for p=2, we can take GL to be a graph product of large finite groups over a flag no-square triangulation of \(\mathbb{R}P^{2}\)). In fact, a construction of flag no-square triangulations due to Osajda [Osa13] gives examples in all dimensions:
Theorem 5.4
For any prime p and i≥2 there is a hyperbolic right-angled Coxeter group W with
Proof
Suppose that we have a flag no-square L with \(b_{i}(L; \mathbb{F} _{p}) > b_{i}(L; \mathbb{Q})\). If GL is a graph product of \((\mathbb{Z}/2)^{N}\) over L, then for N≫0 we have \(\underline {\beta }_{i+1}(G_{L}; \mathbb{F} _{p}) > \underline {\beta }_{i+1}(G_{L}; \mathbb{Q})\) by Theorem 5.1. The group GL is also a right-angled Coxeter group with flag no-square nerve L′ (obtained from L by replacing each vertex with an (N−1)-simplex). The commutator subgroup of GL is the fundamental group of a locally CAT(−1) cube complex XL′ where the links are all isomorphic to L′. By Theorem 5.1 we have that \(b_{i+1}(X_{L'}; \mathbb{F} _{p}) > b_{i+1}(X_{L'}; \mathbb{Q})\).
Now, the “simplicial thickening” of a cube complex C is a simplicial complex \(\operatorname{Th}(C)\) with the same vertex set, where vertices span a simplex if and only if they are contained in the same cube. It is easy to see that \(\operatorname{Th}(C)\) is homotopy equivalent to C. Osajda showed that if the link of each vertex in C is flag no-square, then the link of each vertex in \(\operatorname{Th}(C)\) is flag no-square [Osa13, Lemma 3.2]. Therefore, the thickening \(\operatorname{Th}(X_{L'})\) has flag no-square links. By passing to a further finite cover, we can assume that the injectivity radius is large, which implies it is flag no-square. Therefore, we can use \(\operatorname{Th}(X_{L'})\) as our next nerve to get dependence on field coefficients in one higher dimension. □
Remark 10
Theorem 5.3 only holds in dimensions ≤3, for instance there is no flag no-square triangulation of any 4-dimensional homology sphere [Dav08, Proposition I.6.6]. In this generality, this is due to Moussong. Vinberg had earlier shown the non-existence of compact right-angled convex polytopes in hyperbolic n-space for n>4 (the dual of the boundary would be a flag no-square triangulation of Sn for n>3).
This is a barrier to producing higher dimensional hyperbolic examples without the \(\mathbb{F} _{p}\)-Singer property. On the other hand, in [JS03], Januszkiewicz and Świątkowski constructed flag no-square triangulations of n-dimensional pseudomanifolds for any degree n. A corollary is the existence of word-hyperbolic right-angled Coxeter groups of arbitrarily high cohomological dimension.
The top-dimensional homology of the examples in [JS03] does not depend on the coefficient field. It would be interesting if one could construct d-dimensional, flag no-square L with \(H_{d}(L; \mathbb{F} _{p}) \ne 0\) and \(H_{d}(L, \mathbb{Q}) = 0\). Osajda [Osa13] describes a simple construction of flag no-square L with Hk(L)≠0 for any given k, however this homology does not occur in the top dimension of L.
5.5 Virtual duality groups
We also recall the criterion for a graph product of finite groups to be a virtual duality group. This will be used in the proof of Theorem F.
Theorem 5.5
[DM02, Corollary 6.4]
A graph product GL of finite groups over a flag complex L is a virtual duality group of dimension n if and only if for every simplex σ of L (including the empty simplex), \(\overline{H}_{*}(L-\sigma ;\mathbb{Z})\) is torsion-free and concentrated in dimension n−1.
In particular, for any flag triangulation of S3, a graph product of finite groups \(G_{S^{3}}\) is a virtual duality group of dimension 4.
6 Thickenings
In this section we construct our seed manifold N by building a manifold model for the classifying space of a sufficiently deep torsion free finite index subgroup in an appropriately chosen graph product. We begin with a general statement, which tells us when we can thicken these classifying spaces to manifolds of less than twice their dimension.
Theorem 6.1
Let GL be a graph product of finite groups based on a (d−1)-dimensional flag complex L. If d>3 and \(H_{d-1}(L; \mathbb{F} _{2}) = 0\) then GL has a finite index subgroup ΓL which is the fundamental group of a compact aspherical (2d−1)-manifold with boundary.
Before proving this theorem, we need to recall a number of previous results and constructions. We will construct aspherical manifolds using the reflection group method. To that end, the first step is to embed a finite index subgroup of the graph product GL into a right-angled Coxeter group based on a flag complex OL, the octahedralization of L as in the Introduction. This leads to the first key ingredient in our construction, which is commensurability between different graph products over the same flag complex. Recall that two groups G and H are commensurable if they have isomorphic finite index subgroups. They are strongly commensurable if these finite index subgroups have the same index in G and H. Januszkiewicz and Świątkowski proved the following:
Theorem 6.2
[JS01, Theorem 1]
Suppose that GL and \(G_{L}'\) are two graph products of groups over the same flag complex L. Suppose that for all v∈S, the group Gv is strongly commensurable to \(G_{v}'\). Then GL is strongly commensurable to \(G_{L}'\).
We shall also need the following lemma, which follows immediately from the normal form for graph products.
Lemma 6.3
Suppose that GL is a graph product of groups over a flag complex L, with vertex set S. For each s∈S, choose a subgroup Hs of Gs. Then the graph product HL corresponding to the Hs embeds as a subgroup of GL.
These imply the following corollary.
Corollary 6.4
A graph product GL of finite groups over a flag complex L has a torsion free finite index subgroup ΓL which embeds into WOL.
Proof
By Lemma 6.3GL embeds into the graph product over L of direct products Gv×D∞, which by Theorem 6.2 is strongly commensurable to the graph product over L of D∞ of infinite dihedral groups, since both Gv×D∞ and D∞ contain \(\mathbb{Z}\) as a subgroup of index 2|Gv|. The graph product of D∞ has a natural structure of a right-angled Coxeter group WOL, hence its commutator subgroup has finite index and torsion-free. Therefore intersecting a common finite index subgroup of the latter two graph products with this commutator subgroup and then further intersecting with GL produces the desired ΓL. □
In order to construct a contractible n-manifold on which the reflection group WOL (and hence ΓL) acts, we embed this group into the reflection group of a flag triangulation of an (n−1)-sphere \(W_{S^{n-1}}\). This brings us to the second key ingredient, which is a van Kampen style embedding theory for octahedralizations. To construct “low-dimensional” manifold models for BΓL, we use the “if” direction of the following embedding theorem for octahedralizations that we proved with Davis in [A+16]:
Theorem 6.5
[A+16]
Let L be a (d−1)-dimensional flag complex. If d≠3, OL embeds as a full subcomplex of a flag triangulation of S2d−2 if and only if \(H_{d-1}(L; \mathbb{F} _{2}) = 0\).
Note that this theorem implies an embedding in one less dimension than general position guarantees. Since the group ΓL will have infinite index in the Coxeter groups used to build the contractible manifold, the construction naturally leads to non-compact aspherical manifolds. To perform the reflection trick in the next section, we need to compactify such manifolds by adding a boundary. A complete obstruction for doing so was developed by Siebenmann in his thesis [Sie65]. Fortunately, when d>3, one arrives at a manifold whose end has the same fundamental group as its interior and the following theorem shows that the obstruction vanishes.
Theorem 6.6
π–π compactification theorem
Suppose Nn is a one-ended PL manifold, n>5. Also suppose π1 of the end ϵ is stable and the natural map π1(ϵ)→π1(N) is an isomorphism. Then Nn is PL homeomorphic to the interior of a compact PL manifold with boundary if and only if it has finite homotopy type.
The π–π theorem follows directly from the results in [Sie65] but is not explicitly stated there, so we give the derivation below.
Proof of Theorem 6.6
The only if direction is clear, so we suppose that N has finite homotopy type. Then our isomorphism assumption implies that π1(ϵ) is finitely presented, and by [Sie65, Theorem 3.10] the end has arbitrarily small 1-neighborhoods. This means that we have an arbitrarily small connected submanifold (V,∂V) with connected boundary and compact complement of the interior, and the inclusions induce isomorphisms
Since π1(ϵ)≅π1(N) by our assumption, the van Kampen theorem applied to the decomposition shows that also . Then [Sie65, Complement 6.6(b)] implies that V is finitely dominated, and [Sie65, The Sum Theorem 6.5] implies that the finiteness obstruction for V vanishes, and the claim follows from the Main Theorem of [Sie65]. □
Remark 11
We want to emphasize that in the π–π situation one does not need to assume that the end is finitely dominated, but gets it for free when the interior is finitely dominated.
We are now ready for the proof of the thickening theorem.
Proof of Theorem 6.1
By Corollary 6.4, we have a torsion free finite index subgroup ΓL of GL which is also a subgroup of WOL. Theorem 6.5 gives us an embedding of OL as a full subcomplex of a flag triangulated sphere S2d−2. Since OL is a full subcomplex, WOL is a subgroup of \(W_{S^{2d-2}}\) and on the level of Davis complexes \(\Sigma _{OL} \subset \Sigma _{S^{2d-2}} \) is a WOL-stable subspace.
The quotient \(N:=\Sigma _{S^{2d-2}}/\Gamma _{L}\) is an aspherical (2d−1)-manifold with fundamental group ΓL. This manifold has finite type since it is homotopy equivalent to the finite complex \(\mathcal {U}(G_{L},K_{{L}})/\Gamma _{L}\), but the manifold is not itself compact. To fix this, we will use the fact that N has another d-dimensional classifying space for ΓL embedded inside of it, namely the d-complex Y:=ΣOL/ΓL.
Pick an exhaustion Ci of Y by finite subcomplexes. For each Ci pick a closed PL regular neighborhood Ui in N such that Ui is contained in the interior of Ui+1. Then N′=⋃Ui is an open (2d−1)-manifold containing Y and the embedding Y↪N′ is a homotopy equivalence. Since d>3, Ci has codimension ≥3 in N′, so the map (N′−Ci)→N′ is an isomorphism on π1, and the same is true for the map from the complement of the regular neighborhood (N′−Ui)→N′. Therefore π1 of the end ϵ of N′ is stable and the natural map π1(ϵ)→π1(N′) is an isomorphism. Moreover the dimension 2d−1 is greater than five, and N′ is homotopy equivalent to Y and hence to N, so it has finite type. Therefore, it follows from Theorem 6.6 that N′ is PL homeomorphic to the interior of a compact PL manifold with boundary. This finishes the proof. □
The last paragraph of the proof only uses the fact that Y has finite type and has codimension three inside a manifold of dimension greater than five. So, it gives the following result which may be of independent interest.
Proposition 6.7
Fix n>5. Let Yd be a complex of dimension d≤n−3. If Y has finite type and PL embeds in an n-manifold, then Y is homotopy equivalent to a compact PL n-manifold with boundary.
6.1 Construction of the 7-dimensional seed manifold
Finally, combining Corollary 5.2, Theorem 5.3, and Theorem 6.1 gives the following:
Theorem 6.8
For any odd prime p, there is a compact, aspherical 7-manifold with boundary (N,∂N) such that π1(N) is special hyperbolic and \(\underline {\beta }_{4}(\pi _{1}(N); \mathbb{F} _{p}) \ne 0\).
Proof
Let L be a flag no-square triangulation of the complex S2∪pD3, where D3 is glued onto S2 by a degree p map. This triangulation exists by Theorem 5.3. Let GL be a graph product of large finite groups over this L. Then GL is virtually special hyperbolic and for any finite index subgroup ΓL we have \(\underline {\beta }_{4}(\Gamma _{L};\mathbb{F} _{p})=\underline {\beta }_{4}(G_{L}; \mathbb{F} _{p})|G_{L}/\Gamma _{L}| \ne 0\) by Corollary 5.2. We can pick ΓL to be special and, by Theorem 6.1, to be π1 of a compact aspherical 7-manifold N7. □
7 A hyperbolic reflection group trick
In this section, we describe how to build a closed, aspherical manifold \(\mathcal {M}\) out of copies of a compact aspherical manifold with boundary N. The idea is to combine the Davis reflection group trick with the strict hyperbolization procedure of Charney–Davis [CD95]; it has the advantage of preserving hyperbolicity (and as we shall see, a host of other properties including virtual specialness). The output is very similar to the relative strict hyperbolization procedure of Belegradek [Bel06, Bel07], which combines the relative hyperbolization of Davis–Januszkiewicz–Weinberger [DJW01] with strict hyperbolization. Our hyperbolic reflection group trick has one major difference with Belegradek’s procedure: our output has many disjoint copies of the input N, whereas his output has only one. This makes our construction easier to work with, but doesn’t give all of the applications in [Bel06, Bel07].
7.1 Strict hyperbolization
Charney and Davis define a hyperbolization procedure that converts any piecewise Euclidean, locally CAT(0), cube complex K of dimension ≤n into a piecewise hyperbolic, locally CAT(−1), polyhedron hK (the output hK depends on n). Roughly speaking, this replaces every n-cube with a hyperbolic n-manifold with boundary so that k-cubes are replaced by totally geodesic k-dimensional submanifolds. Charney and Davis construct the hyperbolized n-cube CDn by cutting a closed arithmetic hyperbolic n-manifold An along a suitable collection of codimension-one totally geodesic submanifolds. Let Bn denote the finite Coxeter group of type Bn—the symmetry group of the cube [0,1]n. More precisely, Charney and Davis prove:
Theorem 7.1
[CD95, Theorem 6.1]
For each n>0, there is a closed connected hyperbolic n-manifold An, a collection W1,…,Wn of codimension-one closed connected submanifolds, and an isometric action of Bn on An satisfying:
-
(1)
Wi is a component of the fixed set of a standard generator of Bn.
-
(2)
Each Wi is totally geodesic.
-
(3)
The Wi’s intersect orthogonally.
-
(4)
An and Wi are orientable.
-
(5)
W1∩⋯∩Wn is a single point {y}.
-
(6)
Bn fixes y and the representation on TyAn is equivalent to the standard representation.
Cutting An along the {Wi} leaves a compact, connected, orientable hyperbolic n-manifold with corners CDn with isometric Bn action. Each Wi is itself cut by other Wj’s, the boundary of CDn contains two disjoint copies of each cut-open Wi and is covered by these copies. A codimension k face of CDn is a nonempty k-fold intersection of these cut-open copies.
Theorem 7.2
[CD95, Corollary 6.2]
The manifold CDn has the following properties:
-
(1)
There is a degree one map f:CDn→[0,1]n which induces a Bn-equivariant isomorphism between the face posets of CDn and [0,1]n.
-
(2)
Each codimension-one face of CDn is connected and totally geodesic, and the faces intersect orthogonally.
-
(3)
Each 0-dimensional face is a single point.
Note that although Wi are totally geodesic and connected, they are not necessarily convex because the geodesics between points in An are not unique. So lower-dimensional faces of CDn are totally geodesic submanifolds, which however are generally not connected.
Given a cube complex K of dimension ≤n, thought of as a collection of cubes glued via isometries between faces, Charney and Davis define the n-dimensional hyperbolization hK of K by gluing via isometries copies of faces of CDn in the same combinatorial pattern. In general this relies on the Bn isometric action and the equivariance of the face posets isomorphism. If K is foldable, i.e. K admits a cellular map p:K→[0,1]n such that the restriction to any cell is a combinatorial isomorphism, then hK is the same piecewise hyperbolic polyhedron as the fiber product
Of course, there is a choice of CDn, but for any such choice the hyperbolization procedure satisfies the following:
Theorem 7.3
Charney–Davis [CD95, Corollary 7.1.]
Let K be a locally CAT(0) cube complex of dimension ≤n. Then there is a piecewise hyperbolic, locally CAT(−1) space hK, and a map q:hK→K such that:
-
(1)
For each k-cube Ck in K, q−1(Ck) is isometric to a k-dimensional face of CDn. If J is a subcomplex of K, then q−1(J) is isometric to hJ.
-
(2)
The link of q−1(Ck) is isometric to the link of Ck in K.
-
(3)
h(a point) = a point.
-
(4)
If J is a totally geodesic subcomplex of K, then hJ is totally geodesic in hK.
Recall that if K is a locally CAT(0) cube complex and J a subcomplex, then there is an easy to verify link condition to check that J is totally geodesic. In particular, J is totally geodesic if for each vertex v∈K, \(\operatorname{Lk}_{J}(v)\) is a full subcomplex of \(\operatorname{Lk}_{K}(v)\); i.e. if the vertices of a simplex are contained in \(\operatorname{Lk}_{J}(v)\), then that simplex is contained in \(\operatorname{Lk}_{J}(v)\).
7.2 A hyperbolic reflection group trick
Suppose (N,∂N) is a manifold with boundary, and ∂N is triangulated as a flag simplicial complex (this can always be ensured by taking a barycentric subdivision). For the moment, we forget about the manifold N, and concentrate on the flag triangulation of the boundary, which we will denote by ∂. It determines a right-angled Coxeter group W∂, and hence a locally CAT(0) cube complex P∂ whose fundamental group is the commutator subgroup of W∂. The complex P∂ can be also described as the basic construction \(\mathcal {U}( (\mathbb{Z}/2)^{{\lvert }\partial ^{0}{\rvert }}, K_{{\partial }})\), so it folds onto the Davis chamber K∂.
If we remove a neighborhood of each cone vertex and replace with a copy of N, this is precisely the output of a right-angled Davis reflection group trick. However, the fundamental group will generally not be hyperbolic.
Instead, we first apply the Charney–Davis strict hyperbolization procedure to P∂. This produces a piecewise hyperbolic locally CAT(−1) polyhedron hP∂. Since the strict hyperbolization preserves vertices and links it has the same number of singular vertices as P∂ and the link of each one is still isomorphic to ∂.
We now choose ϵ small enough so that in CDn the ϵ-ball around a vertex is isometric to the intersection of the ϵ-ball in \(\mathbb{H}^{n}\) with an octant. We resolve the singularities by removing ϵ-neighborhoods of each vertex in hP∂ and replacing them with copies of N.
This produces a closed manifold \(\mathcal {M}\) equipped with a map to hP∂, see Figure 2. When we want to emphasize the building blocks involved in the construction of \(\mathcal {M}\), we will also denote it by \(hP^{N}_{\partial }\).
In some sense, the rest of the paper is concerned with showing that, for an appropriate choice of Charney–Davis piece CDn and triangulation ∂, the ambient manifold \(\mathcal {M}\) inherits many properties from its seed N.
7.3 Resolved chambers
We let \(h K_{{\partial }}^{N}\) denote the hyperbolized Davis chamber hK∂ with a ϵ-neighborhood of the cone point replaced with a copy of N, and similarly we denote by \(K^{N}_{\partial }\) the same procedure applied to the original Davis chamber. We will refer to these as resolved (hyperbolized) Davis chambers.
The symmetry of P∂ lifts to \(\mathcal {M}\), so \(\mathcal {M}\) can be described as a basic construction obtained by reflecting around \(h K_{{\partial }}^{N}\) using \((\mathbb{Z}/2)^{{\lvert }\partial ^{0}{\rvert }}\). The mirrors are hyperbolizations of the mirrors Kv of the Davis chamber for v∈∂, and we will denote them by h(Kv). They are isomorphic to \(hK_{{\operatorname{Lk}(v)}}\).
7.4 Universal cover of \(\mathcal {M}\)
Since \(\mathcal {M}\) is a basic construction \(\mathcal {U}( (\mathbb{Z}/2)^{{\lvert }\partial ^{0}{\rvert }}, h K_{{\partial }}^{N} )\), its universal cover \(\widetilde {\mathcal {M}}\) is itself a basic construction, where the base space is the universal cover of \(h K_{{\partial }}^{N}\) and the mirror structure is lifted from the mirror structure downstairs. This is a general fact about basic constructions, and we review the general statement. Let (X,{Xs}s∈S) be a mirrored space, W the corresponding RACG, and \(\mathcal {U}(W,X)\) the associated basic construction. Let \(\pi : \widetilde{X} \to X\) be the universal cover of X, and let \(\widetilde{S}\) be the set of components of preimages of Xs over all s∈S. We will denote such a component of π−1(Xs) by \(\tilde{s}\). The map π induces a natural map \(\widetilde{S} \to S\) sending each \(\tilde{s}\) to s. We define a RACG \(\widetilde{W}\) with generating set \(\widetilde{S}\) as follows: for \(\tilde{s} \ne \tilde{t}\), set \(m_{\tilde{s} \tilde{t}} = 2\) if the lifts \(\tilde{s}\) and \(\tilde{t}\) intersect, and set \(m_{\tilde{s} \tilde{t}} = \infty \) otherwise; it is clear that π determines a group homomorphism \(\widetilde{W} \to W\). Let \(\widetilde {\mathcal {U}}= \mathcal {U}(\widetilde{W}, \widetilde{X})\) be the corresponding basic construction.
By [Dav08, Theorem 9.1.3], \(\widetilde {\mathcal {U}}\) is simply connected, and the map \((\pi ,\pi ): \widetilde {\mathcal {U}}\to \mathcal {U}(W,X)\) is the universal covering map.
The π1(X)-action on \(\widetilde{X}\) induces an action of π1(X) on \(\widetilde{W}\) by automorphisms, so we can form the semidirect product \(\widetilde{W} \rtimes \pi _{1}(X)\). This semidirect product acts on \(\widetilde {\mathcal {U}}\) by setting
In fact, the semidirect product is precisely the group of lifts of the W-action to \(\widetilde {\mathcal {U}}\). Therefore, there is an exact sequence
Note that for \(\mathcal {M}\), the group W is finite, so \(\pi _{1}(\mathcal {M})\) is finite index in \(\widetilde{W} \rtimes \pi _{1}( h K_{{\partial }}^{N})\).
7.5 Basic properties of the hyperbolic reflection group trick (Proof of Theorem D(1)–(4))
We collect some basic properties of the hyperbolic reflection group trick in the theorem below. It follows from previous work of Davis–Januszkiewicz–Weinberger [DJW01] and Belegradek [Bel07], but since our construction is slightly different, we provide a sketch of the proof.
Theorem D(1)–(4) 1
The manifold \(\mathcal {M}\) satisfies the following properties:
-
(1)
\(\mathcal {M}\) retracts onto N, hence π1(N) injects into \(\pi _{1}(\mathcal {M})\).
-
(2)
If N is aspherical, then \(\mathcal {M}\) is aspherical.
-
(3)
If N is \(\mathbb{F} \)-aspherical, then \(\mathcal {M}\) is \(\mathbb{F} \)-aspherical.
-
(4)
\(\pi _{1}(\mathcal {M})\) is relatively hyperbolic relative to the collection of subgroups corresponding to the \(2^{{\lvert }\partial ^{0}{\rvert }}\) copies of N. Therefore, if π1(N) is hyperbolic, then \(\pi _{1}(\mathcal {M})\) is hyperbolic.
Proof
The manifold \(\mathcal {M}\) folds onto \(h K_{{\partial }}^{N}\), which maps onto \(K^{N}_{\partial }\) fixing N, which in turn deformation retracts onto N. This induces a retraction of \(\mathcal {M}\) onto N, and hence an injection π1(N)→π1(M).
Thus, in the universal cover \(\widetilde {\mathcal {M}}\) of \(\mathcal {M}\), N lifts to copies of its universal cover \(\widetilde{N}\). If we replace each copy of \(\widetilde{N}\) with a cone on its boundary \(\partial \widetilde{N}\), we obtain a branched cover \(\overline{hP}_{\partial }\) of hP∂, and \(\pi _{1}(\mathcal {M})\) now acts with cone vertex stabilizers equal to conjugates of π1(N). Since \(\widetilde{N}\) is simply connected, the map \(\widetilde {\mathcal {M}}\to \overline{hP}_{\partial }\) collapsing copies of \(\widetilde{N}\) to cone points is a π1-isomorphism, so \(\overline{hP}_{\partial }\) is simply connected.
Lifting the metric from hP∂ gives \(\overline{hP}_{\partial }\) the structure of a piecewise hyperbolic space. The links of the cone vertices are disjoint copies of \(\partial \widetilde{N}\), which covers ∂N, and hence are flag complexes. Therefore, \(\overline{hP}_{\partial }\) is locally CAT(−1) as away from the cone points \(\overline{hP}_{\partial }\) is locally isometric to hP∂. Since \(\overline{hP}_{\partial }\) it is simply connected it is CAT(−1) and therefore contractible. Now, if N is aspherical, then each \(\widetilde{N}\) is contractible and the collapse map is a homotopy equivalence, so \(\widetilde {\mathcal {M}}\) is contractible, and therefore \(\mathcal {M}\) is aspherical.
Similarly, if N is \(\mathbb{F} \)-aspherical, then each \(\widetilde{N}\) is \(\mathbb{F} \)-acyclic and the collapse map is an \(\mathbb{F} \)-homology equivalence, so \(\widetilde {\mathcal {M}}\) is \(\mathbb{F} \)-acyclic, which means that \(\mathcal {M}\) is \(\mathbb{F} \)-aspherical.
Next, since the 1-skeleton of \(\overline{hP}_{\partial }\) of quasi-isometric to \(\overline{hP}_{\partial }\), it is a δ-hyperbolic graph. To prove relative hyperbolicity we need to show that this graph is fine in the sense of Bowditch [Bow12]. This amounts to showing that for each cone, if we delete the cone point from the graph, then in the metric of the deleted graph any bounded subset of the vertices in the link \(\overline{hP}_{\partial }\) is finite. Since the cones are convex in \(\overline{hP}_{\partial }\) (they are ϵ-balls), and since the nearest point projection onto a convex subset of a CAT(−1) space is distance decreasing, the distance in the deleted graph is bounded from below by the inner metric on \(\partial \widetilde{N}\). The claim now follows from the fact that π1(N) acts properly and cocompactly on \(\partial \widetilde{N}\).
Finally, if π1(N) is hyperbolic, and \(\pi _{1}(\mathcal {M})\) is hyperbolic relative to π1(N), it follows [Far98, p. 822] that \(\pi _{1}(\mathcal {M})\) is hyperbolic. □
8 Virtual specialness of \(\pi _{1}(\mathcal {M})\)
A group G is cocompact special if it is the fundamental group of a compact special cube complex in Haglund and Wise’s sense [HW08]. All our special cube complexes will be compact, so following [GM18] we will drop the word ‘cocompact’. We will be mostly concerned with virtually special hyperbolic groups. By Agol’s theorem [Ago13], these are precisely the hyperbolic groups which admit cocompact proper actions on CAT(0) cube complexes. For example, the hyperbolic graph products of finite groups considered in Sect. 5 are virtually special.
In this section, we will show that the fundamental groups of strict hyperbolizations hPL are virtually special. We also show that if a seed manifold N has virtually special hyperbolic fundamental group then so does the manifold \(\mathcal {M}\) obtained via the hyperbolic reflection group trick. One utility of this is that a virtually special hyperbolic group G virtually retracts onto any quasi-convex subgroup H<G. This will let us do cutting arguments and estimate the homology growth of \(\mathcal {M}\) from that of its constituent pieces in Sect. 9.
8.1 Virtual specialness of Charney–Davis pieces
We start by recalling that the arithmetic manifold An, and hence CDn, has virtually special fundamental group. The manifold An is constructed via arithmetic methods, and involves some number of choices. We can take it to be the quotient of the hyperbolic space \(\mathbb{H}^{n}\) by a congruence subgroup of the orthogonal group of the quadratic form
over the ring \(\mathbb{Z}\left [\frac{1+\sqrt{5}}{2} \right ]\). This is a uniform arithmetic lattice of simplest type (we give a definition and discuss some properties of such lattices in Sect. 10.)
Moreover, as pointed out in [Bug84], for n≤7 the orthogonal group is virtually a Coxeter group. The manifolds Wi that we cut An along are images under the covering projection of hyperplanes in \(\mathbb{H}^{n}\) given by setting xi=0 for 1≤i≤n. Charney and Davis showed that if Γ is any torsion-free congruence subgroup of the orthogonal group, then all the conditions of Theorem 7.1 hold. In [HW12], Haglund and Wise showed virtual specialness for such lattices, see also [BHW11] for an alternative approach.
Theorem 8.1
Uniform arithmetic lattices in \(\mathbb{H}^{n}\) of simplest type are virtually special.
The group π1(CDn) acts on a right-angled convex polyhedron in \(\mathbb{H}^{n}\) with infinitely many sides, precisely the intersection of halfspaces bounded by certain translates of the hyperplanes xi=0. This implies that π1(CDn) is a quasiconvex subgroup of π1(An), see also [LR22, Lemma 5.8]. Since quasiconvex subgroups of hyperbolic virtually special groups are virtually special, we have
Corollary 8.2
The fundamental group of a Charney–Davis piece is virtually special.
8.2 Virtual specialness of hyperbolized cones
Our manifold \(\mathcal {M}\) is constructed by reflecting \(h K_{{\partial }}^{N}\); so we first show that \(\pi _{1}( h K_{{\partial }}^{N})\) is virtually special. We begin by showing that the fundamental groups of strictly hyperbolized cones are virtually special, and then do the resolved case.
Let L be a flag complex, and let hKL be the corresponding hyperbolized cone. If A⊂L is a full subcomplex, then by the Link Condition, KA is a totally geodesic cubical subcomplex of KL. Hence, by Theorem 7.3(4), hKA is a totally geodesic subspace of hKL, and even though KA and KL are contractible, the hyperbolizations hKA and hKL have quite complicated topology.
Note that if v is a vertex of L, then the above subcomplex \(hK_{{\operatorname{Lk}(v)}}\) is different than the mirror h(Kv) used to reflect the hyperbolized Davis chamber around in the previous section. Indeed, that subcomplex was a hyperbolization of the cubical star of the vertex [v] in ∂KL, whereas this is the hyperbolization of the subcomplex of cubes containing the cone point and corresponding to simplices in \(\operatorname{Lk}(v)\).
Theorem 8.3
Let L be a finite (k−1)-dimensional flag complex, and suppose that hKL is obtained by applying the n-hyperbolization procedure to KL with n≥k. Then the connected components of hKL have virtually special fundamental group.
To prove this, we use the following result of Groves and Manning, which generalizes Wise’s notion of a quasiconvex hierarchy for virtually special groups.
Theorem 8.4
Groves–Manning [GM18, Theorems A and D]
Suppose that G is a hyperbolic group acting cocompactly on a CAT(0) cube complex X so that vertex stabilizers are quasi-convex and virtually special. Then G is virtually special.
Proof of Theorem 8.3
We induct on the number of vertices of L. If L is a simplex, then KL is a single cube. Therefore, the fundamental group of each component of hKL is a Charney–Davis piece (or face of such), and so by assumption is virtually special. Otherwise, we can find a vertex s such that \(\operatorname{St}(s)\) is not equal to L, which gives us a decomposition of L into proper full subcomplexes:
This decomposition induces a decomposition of KL into totally geodesic cubical subcomplexes
and hence a decomposition of hKL into totally geodesic subcomplexes
Now, take a connected component of hKL. This is a union of components of \(hK_{{\operatorname{St}(s)}}\) and hKL−s meeting along components of \(hK_{{\operatorname{Lk}(s)}}\). This union gives us a graph of groups decomposition with vertex groups the fundamental groups of components of \(hK_{{\operatorname{St}(s)}}\) and components of hKL−s, and edge groups the fundamental groups of components of \(hK_{{\operatorname{Lk}(s)}}\). By induction on the number of vertices, these fundamental groups are virtually special, and they are all quasiconvex as they correspond to totally geodesic subcomplexes of hKL. The action on the associated Bass–Serre tree and Theorem 8.4 imply that each component of hKL has virtually special fundamental group. □
8.3 Unnatural embeddings
We now adapt the argument in the previous subsection to the resolved case. The idea is exactly the same; we inductively cut along hyperbolized walls \(hK_{{\operatorname{Lk}(v)}}\) for v a vertex of ∂.
In general, there is no canonical way of embedding \(hK_{{\operatorname{Lk}(v)}}\) into \(h K_{{\partial }}^{N}\). However, given any vertex v of ∂, there is an “unnatural” embedding \(hK_{{\operatorname{Lk}(v)}} \to h K_{{\partial }}^{N}\) which sends the cone point of \(hK_{{\operatorname{Lk}(v)}}\) to v (and a neighborhood of the cone point to the star of v in ∂), see Figure 3.
To describe the result of the cutting we need to consider a more general situation. Each full subcomplex A of ∂ determines a subspace \(hK_{{A}}^{N}\) of \(h K_{{\partial }}^{N}\), obtained by replacing an ϵ-neighborhood of the cone point in hKA with a copy of N glued along A.
As before, given any vertex v of A, there is again an unnatural embedding of \(hK_{{\operatorname{Lk}_{A}(v)}}\) into \(hK_{{A}}^{N}\) (and hence into \(h K_{{\partial }}^{N}\)) sending the cone point of \(hK_{{\operatorname{Lk}_{A}(v)}}\) to v.
Lemma 8.5
For any full subcomplex A of ∂ and any vertex v∈A, the components of the unnaturally embedded walls \(hK_{{\operatorname{Lk}_{A}(v)}}\) are π1-injective in \(h K_{{\partial }}^{N}\), and the corresponding subgroups are quasiconvex.
Proof
A priori \(hK_{{\operatorname{Lk}_{A}(v)}}\) may be disconnected, and hence the image of the unnatural embedding into \(h K_{{\partial }}^{N}\) may be disconnected as well. However there is a distinguished component of the image containing v. This component is unnaturally embedded, and the embeddings of the other components are unchanged, i.e. including these into \(h K_{{\partial }}^{N}\) and composing with the collapse map \(q: h K_{{\partial }}^{N} \to h K_{{\partial }}\) agrees with the natural embedding into hK∂. The intersection of the distinguished component with N is the subcomplex \(\operatorname{St}(v)\), which is contractible, and therefore the composition with the collapse map is homotopic to the natural embedding into hK∂. Therefore, the restriction of \(q_{\ast}: \pi _{1}( h K_{{\partial }}^{N}) \to \pi _{1}(h K_{{\partial }})\) to \(\pi _{1}(hK_{{\operatorname{Lk}_{A}(v)}})\) is an isomorphism for each component of \(hK_{{\operatorname{Lk}_{A}(v)}}\).
Since the groups \(\pi _{1}( h K_{{\partial }}^{N})\) and π1(hK∂) are hyperbolic and \(hK_{{\operatorname{Lk}_{A}(v)}}\) is totally geodesic in hKd, the quasiconvexity claim follows from the following general lemma: □
Lemma 8.6
Let G and H be hyperbolic groups, ϕ:G→H a homomorphism, and K a subgroup of G. If ϕ(K) is quasiconvex in H and ϕ|K is an isomorphism, then K is quasiconvex in G.
Proof
Note that K≅ϕ(K) which is quasiconvex in H and hence finitely generated. Given any subgroup K of G, the inclusion map is Lipschitz with respect to the word metrics, so we only have to check lower bounds. Let k and k′ be elements in K. Then dG(k,k′) is linearly bounded from below by dH(ϕ(k),ϕ(k′)). Since ϕ(K) is quasiconvex, dH(ϕ(k),ϕ(k′)) is bounded from below by a linear function in dϕ(K)(ϕ(k),ϕ(k′)). Since ϕ|K is an isomorphism it induces a quasi-isometry between K and ϕ(K). These combine to give a lower bound for dG(k,k′) by a linear function in dϕ(K)(ϕ(k),ϕ(k′)). □
8.4 Virtual specialness of resolved hyperbolic cones
To extend Theorem 8.3 to the resolved case, we need the following well-known lemma:
Lemma 8.7
[Bow98, Proposition 1.2]
Let G be a hyperbolic group which splits as a finite graph of groups. If each edge group is quasiconvex, then each vertex group is quasiconvex.
Theorem 8.8
If π1(N) is a virtually special hyperbolic group, then \(\pi _{1}( h K_{{\partial }}^{N})\) is virtually special hyperbolic.
Proof
We inductively cut along these unnaturally embedded walls in \(h K_{{\partial }}^{N}\). At each inductive step, we are cutting \(hK_{{A}}^{N}\) along an unnaturally embedded \(hK_{{\operatorname{Lk}_{A}(v)}}\) for some full subcomplex A. Let XA denote the component of \(hK_{{A}}^{N}\) containing N. The components of \(hK_{{A}}^{N}\) other than XA are the same as components of hKA, and hence have virtually special fundamental group by Theorem 8.3. Therefore, we focus on the cutting’s effect on XA.
Removing \(hK_{{\operatorname{Lk}_{A}(v)}}\) decomposes XA into a graph of spaces where the edge spaces are components of \(hK_{{\operatorname{Lk}_{A}(v)}}\), and the vertex spaces are either components of \(hK_{{\operatorname{St}_{A}(v)}}\) or XA−v. The components of \(hK_{{\operatorname{Lk}_{A}(v)}}\) and \(hK_{{\operatorname{St}_{A}(v)}}\) again have virtually special π1 by Theorem 8.3, and π1(XA−v) is virtually special by induction on the number of vertices; the base case here is when A is a disjoint union of simplices, so π1(XA) is a free product of π1(N) and fundamental groups of Charney–Davis pieces, and hence is hyperbolic and virtually special. By Lemma 8.5 the edge groups are quasiconvex, and hence by Lemma 8.7 so are the vertex groups. Again, by Theorem 8.4 we are done. □
8.5 Hyperbolic reflection group trick preserves virtual specialness (Proof of Theorem D(5))
We now extend this to our hyperbolic reflection group trick \(\mathcal {M}\).
Theorem D(5) 1
If π1(N) is virtually special hyperbolic, then \(\pi _{1}(\mathcal {M})\) is virtually special hyperbolic.
Proof
We have that \(\mathcal {M}\) is obtained by reflecting around \(h K_{{\partial }}^{N}\) using \((\mathbb{Z}/2)^{{\lvert }\partial N^{0}{\rvert }}\). We saw in Sect. 7 that \(\widetilde {\mathcal {M}}\) is a basic construction obtained by reflecting around the universal cover of \(h K_{{\partial }}^{N}\), where the RACG \(\widetilde{W}\) has generators corresponding to components of preimages of mirrors in \(h K_{{\partial }}^{N}\). There is a natural action of \(\pi _{1}( h K_{{\partial }}^{N})\) on \(\widetilde{W}\) induced by the action on the universal cover of \(h K_{{\partial }}^{N}\), and \(\pi _{1}(\mathcal {M})\) is a finite index subgroup of \(\widetilde{W} \rtimes \pi _{1}( h K_{{\partial }}^{N})\).
Now, let \(\widetilde {\Sigma }\) denote the corresponding Davis complex for \(\widetilde{W}\), equipped with its Coxeter cellulation (in particular, the 1-skeleton of \(\widetilde {\Sigma }\) is identified with the Cayley graph of \(\widetilde{W}\)). This gives \(\widetilde {\Sigma }\) the structure of a finite dimensional, locally infinite, CAT(0) cube complex.
The group \(\pi _{1}( h K_{{\partial }}^{N})\) acts on \(\widetilde {\Sigma }\) via its action permuting the generators of \(\widetilde{W}\), and this extends to an action of \(\widetilde{W} \rtimes \pi _{1}( h K_{{\partial }}^{N})\) on \(\widetilde {\Sigma }\). There is one orbit of vertices, and a finite number of orbits of edges since there are a finite number of \(\pi _{1}( h K_{{\partial }}^{N})\)-orbits of mirrors upstairs. Since \(\widetilde {\Sigma }\) is finite dimensional this implies the action is cocompact. The stabilizer of a vertex is conjugate to \(\pi _{1}( h K_{{\partial }}^{N})\). We have shown that this is virtually special, and since \(\widetilde{W} \rtimes \pi _{1}( h K_{{\partial }}^{N})\) retracts onto \(\pi _{1}( h K_{{\partial }}^{N})\), it is quasiconvex. Therefore, we are done by Theorem 8.4. □
8.6 Virtual retractions
The same argument applied to hKL in place of \(h K_{{\partial }}^{N}\) shows that the fundamental group of each hPL is hyperbolic and virtually special. We record a corollary of the fact that the hPL have virtually special fundamental groups and work of Haglund–Wise [HW08, Sects. 6 and 7] that we will use in the next section in order to prove Mayer–Vietoris inequalities for homology growth of manifolds obtained by the hyperbolic reflection group trick.
We need a few simple observations, which are true for general complexes. Given a map f:Z→X we say that Z is a virtual retract of X if there exist a finite cover p:Xr→X, an injective lift g:Z↪Xr of f, and a retraction r:Xr→Z such that rg=idZ.
Lemma 8.9
Suppose f:Z→X and Z consists of finitely many components Zi. If each Zi is a virtual retract of X, then Z is a virtual retract of X.
Proof
By assumption, there are finite covers Xi→X, lifts gi:Zi↪Xi and retractions ri:Xi→Zi. These assemble to a lift Z=∐Zi↪∐Xi=:Xr and a retraction Xr→Z. □
Lemma 8.10
Suppose f:Z→X is a virtual retract. Then, in the notation of the above definition:
-
(1)
If q:X′→X is a finite cover of X, then the pullback q∗(Z)=f∗(X′) is a virtual retract of X′.
-
(2)
If t:Z′→Z is a finite cover of Z, then Z′ is a virtual retract of Xr.
-
(3)
f∗(CX) is a cofinal subset of CZ.
-
(4)
If f:Z↪X is a retract of X, then f∗(CX)=CZ.
Proof
Under the assumptions of (1), the pullback q∗(Xr)=p∗(X′) is a cover of X′ which retracts onto q∗(Z) via q∗(r). This proves (1).
Under the assumptions of (2), the pullback t∗(Xr)=r∗(Z′) is a finite cover of Xr which retracts onto Z′ via t∗(r). This proves (2).
Starting with a finite cover Z′ of Z, we can think of r∗(Z′) as a finite cover of X. Let X′ be a further regular cover of X. Since X′ is regular and covers Xr, p∗(X′) is a disjoint union of copies of X′ covering Xr. Since g∗(r∗(Z′))=Z′, regarding X′ as a cover of Xr, g∗(X′) is a cover of Z which covers Z′. Therefore, f∗(X′)=g∗p∗(X′)=∐g∗(X′) covers Z′ as well. This proves (3).
If Z is a retract of X, then Z′=f∗r∗(Z′) for any finite cover Z′ of Z, hence (4). □
The following lemma is a direct consequence of the homotopy extension property.
Lemma 8.11
A subcomplex i:Z↪X is a retract if and only if the inclusion i has a left homotopy inverse r:X→Z.
Our source of virtual retracts is provided by work of Haglund–Wise.
Theorem 8.12
[HW08, Theorem 7.3]
Let G be a hyperbolic virtually special group and H<G a quasiconvex subgroup. Then there is a finite index subgroup of G which retracts onto H.
Corollary 8.13
If A⊂L is a full subcomplex, then hPA is a virtual retract of hPL.
Proof
By Lemma 8.9, it is enough to show that each component of hPA is a virtual retract, and since the components of all the spaces involved are aspherical, Lemma 8.11 implies that it is enough to construct a virtual retract on the level of fundamental groups. Since each component hPA is a totally geodesic subspace of hPL, its fundamental group H is a quasiconvex subgroup of the fundamental group G of hPL. So, we are done by Theorem 8.12. □
Corollary 8.14
For a full subcomplex A of a link in ∂, let \(hP_{A}\hookrightarrow hP^{N}_{\partial }\) be the unnatural embedding. Then hPA is a virtual retract of \(hP^{N}_{\partial }\).
Proof
Pull back the virtual retraction produced in the previous corollary by the collapse map \(hP^{N}_{\partial }\to hP_{\partial }\). □
Remark 12
A recent result [LR22] of Lafont and Ruffoni also shows that the manifolds \(hP_{S^{r}}\) have virtually special fundamental groups. In fact, since any flag complex L embeds as a full subcomplex of some flag SN, the components of hPL are totally geodesic inside of \(hP_{S^{N}}\), and hence their results show these have virtually special fundamental groups. More generally, they show that if X is an n-dimensional locally CAT(0) cube complex with each cube contained in an n-cube, and every (n−1)-cube contained in at least two n-cubes, then hX is virtually special. To do this, they show that the fundamental group of the hyperbolization hX acts on a certain cube complex with stabilizers that are quasi-convex subgroups in the arithmetic hyperbolic n-manifolds An, prove that cube complex is CAT(0), and apply Theorem 8.4. Our argument does not construct such a complex. Instead, we observe that (since the initial complex has the form PL) the fundamental group of hPL acts on a Davis complex (which is definitely a CAT(0) cube complex) with vertex stabilizers that are retracts (hence quasi-convex) and isomorphic to fundamental groups of hyperbolized cones hKL (which may not embed in arithmetic hyperbolic n-manifolds), show these stabilizers are virtually special by the cutting argument in Theorem 8.3, and then apply Theorem 8.4.
9 Mayer–Vietoris arguments
Our goal in this section is to control the homology growth of a space X in terms of the homology growth of simpler pieces the space can be cut into. This will be used to compute the homology growth of the manifold \(\mathcal {M}\) that we constructed in Sect. 7 in terms of the seed manifold N.
9.1 Mayer–Vietoris inequalities for homology growth
Lemma 9.1
Restricted Mayer–Vietoris inequalities
Suppose X=A1∪BA2.
-
(1)
If \(\overline {\beta }_{k-1}^{X}(B)=0\) then
$$ \overline {\beta }_{k}(X) \leq \overline {\beta }_{k}^{X}(A_{1})+\overline {\beta }_{k}^{X}(A_{2}). $$ -
(2)
If \(\overline {\beta }_{k}^{X}(B)=0\) then
$$\begin{aligned} \underline {\beta }_{k}^{X}(A_{i}) &\leq \underline {\beta }_{k}(X) , \\ \overline {\beta }_{k}^{X}(A_{i}) &\leq \overline {\beta }_{k}(X). \end{aligned}$$
Proof
For any cover X′→X denote the induced covers by ′. The Mayer–Vietoris sequence
implies that on the poset CX the normalized Betti functions satisfy
Taking the upper limit of this inequality over CX and noting that \(\overline {\beta }_{k-1}^{X}(B )=0\) proves part (1) of the lemma. The same Mayer–Vietoris sequence implies that on CX
Taking the upper or lower limit of this inequality over CX and using \(\overline {\beta }_{k}^{X}(B)=0\) and subadditivity Lemma 2.2(2) proves (2). □
Applying the second part of the above Lemma repeatedly gives the following.
Corollary 9.2
Suppose X has a filtration A0=X0⊂X1⊂⋯⊂Xm=X with \(X_{i}=X_{i-1}\cup _{B_{i}} A_{i}\). If \(\overline {\beta }^{X}_{k}(B_{i})=0\) for all i, then
These inequalities are only useful when we can get rid of restriction on the covers, and this is one thing the virtual retractions from Sect. 8 are good for. Parts (3) and (4) of Lemma 8.10 together with Lemma 2.2(3) imply:
Corollary 9.3
Virtual retractions
Suppose A is a virtual retract of X. Then
If A is a retract of X, then the left and right inequalities are equalities.
Applying Corollary 9.3 to Lemma 9.1 and Corollary 9.2 results in the following two corollaries about homology growth that we will use later in the paper.
Corollary 9.4
Absolute Mayer–Vietoris inequalities
Suppose X=A1∪BA2. Suppose further that A1,A2 and B are virtual retracts of X. Let d be the degree of a cover of X which retracts to A1.
-
(1)
If \(\overline {\beta }_{k-1}(B)=0\), then
$$ \overline {\beta }_{k}(X)\leq \overline {\beta }_{k}(A_{1})+\overline {\beta }_{k}(A_{2}). $$ -
(2)
If \(\overline {\beta }_{k}(B)=0\), then
$$ \underline {\beta }_{k}(A_{i}) \leq \underline {\beta }_{k}(X), $$and
$$ \overline {\beta }_{k}(A_{1}) \leq d\cdot \overline {\beta }_{k}(X). $$
Proof
(1) and the first inequality in (2) follows immediately from the restricted version and Corollary 9.3 applied to Ai and B.
For the second part of (2), pass to a finite cover Xr→X which retracts onto A1. Then the induced cover \(A'_{1} \to A_{1}\) has a section. In other words, \(A'_{1}\) contains a copy of A1, so
Since A1 is a retract of Xr, \(\overline {\beta }_{k}^{X^{r}}(A_{1}) = \overline {\beta }_{k}(A_{1})\). Now apply restricted version to decomposition \(X^{r}=A'_{1}\cup _{B'} A'_{2}\) and use multiplicativity to get
□
Corollary 9.5
Cutting down to a virtual retract
Suppose that X has a filtration A0=X0⊂X1⊂⋯⊂Xm=X with \(X_{i}=X_{i-1}\cup _{B_{i}} A_{i} \), and that A0 and each Bi are virtual retracts of X. Let d be the degree of a cover of X which retracts to A0. If \(\overline {\beta }_{k}(B_{i})=0\) for all i, then
In particular, if \(\overline {\beta }_{k}(A_{0}) \ne 0\) then \(\overline {\beta }_{k}(X) \ne 0\).
9.2 Mayer–Vietoris inequalities via skew fields
One of the nice features of the skew field \(D_{\mathbb{F} G}\) described in Sect. 3 is that—in situations when it is available—it provides a simple, alternate framework for doing Mayer–Vietoris cutting arguments. We record this here. (It is not needed in the proofs below, but can be used as an alternative to the inequalities above in special cases.)
Suppose X has residually torsion-free nilpotent fundamental group G and let \(D=D_{\mathbb{F} G}\) be the skew field from Sect. 3. If X=A1∪BA2 then (only in this subsection) use \(\hat{}\) to denote the induced G-covers. Then we have a Mayer–Vietoris sequence
for homology with coefficients in D. If B↪X is π1-injective, then the Ai are as well, and then we can identify the D-dimensions of the D-vector spaces appearing in this sequence with lower homology growth by Corollary 3.7:
Therefore, the Mayer–Vietoris sequence gives the usual inequalities ((1) and (2) below) for lower homology growth. Using multiplicativity of \(\underline {\beta }\) extends these inequalities to complexes X with virtually residually torsion-free nilpotent fundamental groups. In summary, we get
Lemma 9.6
Suppose a finite complex X with virtually residually torsion-free nilpotent fundamental group decomposes as a union X=A1∪BA2 with π1-injective intersection.
-
(1)
If \(\underline {\beta }_{k-1}(B;\mathbb{F} )=0\), then \(\underline {\beta }_{k}(X;\mathbb{F} )\leq \underline {\beta }_{k}(A_{1};\mathbb{F} )+\underline {\beta }_{k}(A_{2};\mathbb{F} )\).
-
(2)
If \(\underline {\beta }_{k}(B; \mathbb{F} ) =0\), then \(\underline {\beta }_{k}(X; \mathbb{F} ) \geq \underline {\beta }_{k}(A_{1}; \mathbb{F} )+\underline {\beta }_{k}(A_{2};\mathbb{F} )\).
Iterating the second part of the lemma gives
Corollary 9.7
Suppose a finite complex X with virtually residually torsion-free nilpotent fundamental group has a filtration A0=X0⊂X1⊂⋯⊂Xm=X with \(X_{i}=X_{i-1}\cup _{B_{i}} A_{i} \), and that each Bi↪X is π1-injective. If \(\underline {\beta }_{k}(B_{i};\mathbb{F} )=0\) for all i, then
9.3 A spectral sequence in even dimensions
If we have a large collection of subcomplexes, it is more convenient to use a spectral sequence rather than inductively cutting and using Mayer–Vietoris. We record the spectral sequence we will use below, in our setting we only need to consider an ambient manifold and a collection of codimension-one submanifolds.
Suppose M is a closed manifold, and {Xs} is a finite collection of closed codimension-one submanifolds, such that the pair (M,⋃Xs) looks locally like a hyperplane arrangement in \(\mathbb{R}^{n}\).
Removing a regular neighborhood of ⋃Xs from M produces a manifold with boundary (Z,∂Z), the cut-open M. We call the collection {Xs} tractable if, in addition, the inclusions of Z and of each intersection XJ of the walls into M are virtual retractions. Note that by Lemma 8.9 this is equivalent to the disjoint union of Z and all XJ being a virtual retract.
Lemma 9.8
Even chopping
Let (M2n,{Xs}) be a tractable collection of codimension one submanifolds and (Z,∂Z) the resulting cut-open manifold. Suppose all intersections of walls have the upper \(\mathbb{F} \)-Singer property, and that Z is a retract of a d-fold cover of M. Then for k>n,
and
In particular, M2n has the upper \(\mathbb{F} \)-Singer property if and only if Z2n has.
Proof
Let X:=⋃Xs and XJ:=⋂s∈JXs. First we claim that \(\overline {\beta }_{k}^{M} ( X) =0 \) in degrees k<n.
To see this, consider the spectral sequence for the homology of the union X=⋃Xs. Then the k-th Betti number of X is bounded from above by the sum of dimensions of the terms \(E_{i, j}^{1} = \bigoplus _{{\lvert }J{\rvert }=j+1} H_{i}(X_{J}; \mathbb{F} ) \) with i+j=k. Taking covers, normalizing and taking the upper limit over CM gives
Since all XJ are virtual retracts of M, we have
Since all Xs are odd-dimensional and have the upper \(\mathbb{F} \)-Singer property, all the terms in this sum with j=0 are 0. Similarly, since the components of a (j+1)-fold intersection XJ are manifolds of dimension ≥2n−(j+1) and have the upper \(\mathbb{F} \)-Singer property, for j≥1, \(\overline {\beta }_{i}(X_{J})=0\) for i<(2n−(j+1))/2. This inequality is equivalent to i+j<n+(j−1)/2, and the claim follows.
Next, let N(X) denote a closed regular neighborhood of X and note that the pair (M,N(X)) excises to (Z,∂Z), so by Lemma 2.2 and the long exact sequence
we have
and
By the above claim the terms with X vanish for k<n. Thus, for k<n,
Therefore by Poincaré duality, for k>n,
Since Z is a virtual retract of M, Corollary 9.3 implies \(\overline {\beta }_{k}(M) \leq \overline {\beta }_{k}(Z)\) and \(\underline {\beta }_{k}(Z) \leq \underline {\beta }_{k}(M)\) for k>n.
For the remaining inequality, we first pass to a degree d cover Mr which retracts onto Z. By Lemma 8.10(1) the preimage of {Xs} is a tractable collection in Mr. It cuts down Mr to the preimage Z′ of Z, which consists of Z and other components. A similar argument as above shows that for k>n,
□
9.4 A \(\overline {\beta }\)-acyclic covering lemma
There is a class of spaces, generalizing Salvetti complexes of right-angled Artin groups, for which a Mayer–Vietoris argument gives a complete computation of both upper and lower homology growth, and shows that these computations agree. We record this here. The proof is essentially the one given in [AOS21].
Lemma 9.9
Suppose X is a complex covered by finitely many subcomplexes {Ui} and let \(\mathcal {N}\) be the nerve of this cover. Suppose each non-empty intersection Uσ:=⋂i∈σUi is either \(\overline {\beta }^{X}\)-acyclic or a point. Let \(\mathcal {L}\) be the subcomplex of the nerve consisting of simplices σ with \(\overline {\beta }^{X}\)-acyclic Uσ. Then
Proof
It is enough to consider connected covers. Let X′→X be a finite connected cover of X. The Mayer–Vietoris spectral sequence for the finite covering \(\{U_{i}'\}\) of X′ by preimages of the Ui converges to \(H_{*}(X';\mathbb{F} )\) and the assumptions imply that its E1 page
is concentrated on the \(E^{1}_{j,0}\) line up to an error that is sublinear in the degree |X′→X|. Set
The chain map \(C_{j}(\mathcal {N};H_{0}(U'_{\sigma };\mathbb{F} ))\to C_{j}(\mathcal {N};V'_{\sigma })\) which collapses the \(\overline {\beta }^{X}\)-acyclic part of the coefficients is onto and has kernel of dimension that is sublinear in |X′→X|. Putting these two observations together shows that \(\overline {\beta }(X;\mathbb{F} )\) and \(\underline {\beta }(X;\mathbb{F} )\) are the upper and lower limits of the normalized Betti numbers \(b_{*}(\mathcal {N};V'_{\sigma })/|X'\to X|\). Finally, the chain complex \(C_{*}(\mathcal {N};V'_{\sigma })\) can be identified with \(C_{*}(\mathcal {N},\mathcal {L};\mathbb{F} )\otimes _{\mathbb{F} }\mathbb{F} [\pi _{1}(X)/\pi _{1}(X')]\), so these normalized Betti numbers are all equal to \(b_{*}(\mathcal {N},\mathcal {L};\mathbb{F} )\) independent of the choice of X′→X. This implies the equations in the statement of the lemma. □
If the Uσ are virtual retracts of X then Corollary 9.3 implies that we can replace \(\overline {\beta }^{X}\)-acyclic by \(\overline {\beta }\)-acyclic. The basic example to which this Lemma applies is the cover of the Salvetti complex of a right angled Artin group AL by maximal tori. In that case all intersections are retracts, either non-trivial tori (hence \(\overline {\beta }\)-acyclic) or points, the nerve is contractible, and the subcomplex \(\mathcal {L}\) is homotopy equivalent to L. This gives the computation from [AOS21] mentioned in the introduction:
If one only has \(\overline {\beta }^{X}\)-acyclicity up to an error δ, then the equalities in Lemma 9.9 hold up to an error on the order of \(|\mathcal {N}|\delta \). Applying this to the classifying space of a graph product GL of finite groups \(\mathbb{Z}/m\) (and noting that each of the vertex groups \(G_{v}\cong \mathbb{Z}/m\) is a retract of GL and \(\overline {\beta }\)-acyclic up to error 1/m) gives an alternative way of obtaining estimates for homology growth of these graph products similar to the ones we got in Sect. 5.
10 Inductive structure of \(\mathbb{F} \)-Singer
Suppose that (N,∂N) is a compact n-manifold with boundary, ∂ is a flag triangulation of the boundary and \(\mathcal {M}=hP^{N}_{\partial }\) is the closed n-manifold constructed from this data via the hyperbolic reflection group trick.
Proposition 10.1
Either \(\underline {\beta }_{k}(N;\mathbb{F} )\leq \underline {\beta }_{k}(\mathcal {M};\mathbb{F} )\) or there is a full subcomplex L of a flag triangulated Sn−2 such that \(\overline {\beta }_{k}(hP_{L};\mathbb{F} )\neq 0\).
Proof
Removing vertices of ∂ one at time (and using the unnatural embedding of \(hP_{\operatorname{Lk}(v)}\) to cut) shows, by Corollary 9.5, that \(\underline {\beta }_{k}(\mathcal {M};\mathbb{F} )\geq \underline {\beta }_{k}(N;\mathbb{F} )>0\) as long as \(\overline {\beta }_{k}(hP_{L};\mathbb{F} )=0\) for all full subcomplexes L of links of vertices \(\operatorname{Lk}(v)=S^{n-2}\) in ∂. □
So, to prove Theorem C(1), we need to understand the upper homology growth of the hyperbolizations hPL. That is one of the main subjects of this section. But, before we get there, we first analyze some special hyperbolic manifolds.
10.1 On \(\mathbb{F} \)-Singer for hyperbolic manifolds of simplest type
Let us start by showing for the class of closed arithmetic hyperbolic manifolds of simplest type that if there is a counterexample to upper \(\mathbb{F} \)-Singer property, the smallest one occurs in odd dimension.
We recall the definition. Let \(k < \mathbb{R}\) be a totally real algebraic number field, let \(\mathcal {O}\) denote its ring of integers. Suppose (V,Q) a quadratic vector space over k of dimension (n+1), such that \((V \otimes _{k^{\sigma }} \mathbb{R}, Q^{\sigma })\) is positive definite for each nontrivial place σ, and have signature (n,1) for the trivial one. Let L be a \(\mathbb{Z}\)-lattice in V, i.e. L is a free abelian subgroup V such that \(L\otimes \mathbb{Q}= V\). Following [Vin93, p. 217] we will call a group Γ an arithmetic group of simplest typeFootnote 6 if Γ is commensurable to the stabilizer \(\operatorname{Stab}_{O(Q)}(L)\). In fact, this definition is independent of the choice of the lattice L as the following lemma shows.
Lemma 10.2
If L and L′ are \(\mathbb{Z}\)-lattices in V, then \(\operatorname{Stab}_{O(Q)}(L)\) is commensurable to \(\operatorname{Stab}_{O(Q)}(L')\).
Proof
By taking intersections, it is enough to consider the case when L′<L. Then a finite index subgroup of \(\operatorname{Stab}_{O(Q)}(L)\) stabilizes L′. Since there exists \(m \in \mathbb{N}\) such that mL<L′, and \(\operatorname{Stab}_{O(Q)}(L)=\operatorname{Stab}_{O(Q)}(mL)\), a finite index subgroup of \(\operatorname{Stab}_{O(Q)}(L')\) stabilizes L, and the claim follows. □
We also need the following.
Lemma 10.3
Let Γ<O(Q) be an arithmetic group of simplest type. If U is a k-subspace of V such that \(Q|_{U^{\perp}}\) is positive definite, then \(\operatorname{Stab}_{\Gamma }(U)\) is an arithmetic group of simplest type.
Proof
Let L′<U and L″<U⊥ be \(\mathbb{Z}\)-lattices. Then L=L′⊕L″ is a \(\mathbb{Z}\)-lattice in V. Therefore \(\Gamma ':=\operatorname{Stab}_{O(Q)}(L)\) is commensurable with Γ. We have \(\operatorname{Stab}_{\Gamma '}(U)=\operatorname{Stab}_{O(Q|_{U} ) }(L') \times \operatorname{Stab}_{O( Q|_{U^{ \perp}} ) }(L'') \). Since \(Q|_{U^{\perp}}\) is positive definite, the second factor is finite, and we are done. □
In particular, if we identify V with kn+1, scale the form Q so that it has coefficients in \(\mathcal {O}\) and take \(L=\mathcal {O}^{n+1}\), the stabilizer \(\operatorname{Stab}_{O(Q)}(\mathcal {O}^{n+1})\) gets identified with the orthogonal group \(O(Q,\mathcal {O})\) of matrices preserving the form with entries in \(\mathcal {O}\). Thus, up to commensurability, we recover the definition in [HW12].
Note that, by taking the trivial place, O(Q)<O(n,1), and \(\operatorname{Stab}_{O(Q)}(L)\) is a lattice in O(n,1). A standard application of Mahler’s compactness criterion, cf. [Mor15, Proposition 5.3.4], shows that this lattice is uniform if and only if 0 is the only solution in \(\mathcal {O}^{n+1}\) to the equation Q(x)=0.
We will say that a hyperbolic manifold \(H =\mathbb{H}^{n}/\Gamma \) is of simplest type if Γ is an arithmetic group of simplest type.
Lemma 10.4
Let H be a compact hyperbolic manifold of simplest type. Then there is a finite cover of H with a tractable collection of codimension-one submanifolds of simplest type whose complement is a disjoint union of open discs, and each intersection in this collection is also a manifold of simplest type.
Proof
Suppose Γ=π1(H) is associated to a quadratic space (V,Q) over a field k. Choose v∈V with Q(v)<0, and identify \(\mathbb{H}^{n}\) with the sheet of the hyperboloid Q(x)=Q(v) in \(V \otimes _{k} \mathbb{R}\) containing v. Consider the Dirichlet domain corresponding to the orbit Γv which contains v. The bounding hyperplanes of this domain come from linear hyperplanes in \(V \otimes _{k} \mathbb{R}\) whose normal vectors has the form γv−v. Therefore these linear hyperplanes are k-rational subspaces (have the form \(U \otimes _{k} \mathbb{R}\) for U a subspace of V). Hence the Γ-stabilizers of the bounding hyperplanes are cocompact arithmetic groups of simplest type and the bounding hyperplanes project to immersed compact submanifolds of H. Hence, taking the full preimage i.e. all Γ-translates of these bounding hyperplanes, gives a locally finite Γ-invariant collection of k-rational hyperplanes.
Since the stabilizers of hyperplanes are quasiconvex subgroups, by Theorem 8.12 each is a virtual retract of Γ′. This implies that by passing to a further finite cover H′, we can arrange that each hyperplane from this collection maps to an embedded submanifold and is a virtual retract. Note that the components of the complement of this collection in \(\mathbb{H}^{n}\) are all disks as they are finite intersections of halfspaces. Since each component is contained in a translate of the Dirichlet domain, it is bounded, and hence each component of the complement downstairs in H′ is also a disk. Thus we obtain a tractable collection in H′. Finally, we note that the intersection of k-rational hyperplanes is k-rational, so all intersections in this collection are hyperbolic manifolds of simplest type. □
Remark 13
As explained in [B+21], in general not all totally geodesic closed submanfolds of H arise from k-rational subspaces. Such submanifolds are still of simplest type, but the field of definition of the restricted quadratic form may increase.
Applying Lemma 9.8 and noting that vanishing of \(\overline{\beta}\) is a commensurability invariant gives
Corollary 10.5
If there is a closed arithmetic hyperbolic manifold of simplest type that does not have the upper \(\mathbb{F} \)-Singer property, then there is such a manifold of odd dimension.
By Agol’s fibering theorem for closed hyperbolic 3-manifolds, the dimension of a potential counterexample is at least 5. Now we are ready to discuss hyperbolizations.
10.2 On \(\mathbb{F} \)-Singer property for hyperbolizations
If L is a full subcomplex of a flag triangulated sphere Sm−1, then hPL has a natural thickening in \(hP_{S^{m-1}}\), which is an m-manifold with boundary. We do not know whether or not there are hyperbolizations hPL that do not have upper \(\mathbb{F} \)-Singer property, but we will show that if there are such examples then the lowest dimensional ones can be realized by closed manifolds of the form \(hP_{S^{n-1}}\). Moreover, if the lowest dimension n is even, then \(hP_{O\Delta ^{n-1}}\) does not have upper \(\mathbb{F} \)-Singer property. To that end fix an initial Charney–Davis piece of some large dimension N, a field \(\mathbb{F} \), and for n≤N consider the progressively stronger statements
- (1n):
-
\(\overline {\beta }_{k}(hP_{O\Delta ^{n-1}};\mathbb{F} )=0\) for k>n/2,
- (2n):
-
\(\overline {\beta }_{k}(hP_{S^{n-1}};\mathbb{F} )=0\) for k>n/2, for flag triangulated spheres Sn−1,
- (3n):
-
\(\overline {\beta }_{k}(hP_{L};\mathbb{F} )=0\) for k>n/2, for full subcomplexes L in flag Sn−1.
Statement 2n is the upper \(\mathbb{F} \)-Singer property for the closed manifolds \(hP_{S^{n-1}}\), while 3n is the upper \(\mathbb{F} \)-Singer property for a thickening of hPL inside of \(hP_{S^{n-1}}\).
Finally, since \(hP_{O\Delta ^{n-1}}\) is just a finite cover of the initial Charney–Davis manifold An, statement 1n is the \(\mathbb{F} \)-Singer property for a particular arithmetic hyperbolic n-manifold of simplest type.
As a consequence of the Mayer–Vietoris inequalities given in Corollary 9.4 we get the following proposition.
Proposition 10.6
In all dimensions n we have
and in even dimensions we have
Proof
First, note that for a full subcomplex L of Sn−1, removing the vertices of Sn−1 that are not contained in L one at a time and applying Corollary 9.4(2) at each step shows that
-
if \(hP_{S^{n-1}}\) satisfies upper \(\mathbb{F} \)-Singer, and
-
for full subcomplexes L′ of links in Sn−1, hPL′ satisfies upper \(\mathbb{F} \)-Singer,
then hPL does as well. In other words,
Inductively, starting with the fact that 31 is true, this shows
The other direction is clear. This proves the first part of the proposition.
Now, look in even dimensions n=2d. Suppose 3<2d is true, and observe two things.
First, if there is a counterexample L⊂S2d−1 to 32d then there is a counterexample to 32d that is a (2d−1)-simplex: If L is not a simplex, then it contains a vertex v∈L such that \(\operatorname{St}(v)\) is a proper subcomplex of L. Now, 3<2d and Corollary 9.4(1) implies that either \(\operatorname{St}(v)\) or L−v is a counterexample to 32d with fewer vertices. Repeating this, we obtain a counterexample that is a simplex. Since 3<2d is true, the simplex must have dimension 2d−1. Second, removing vertices from OΔ2d−1 that are not contained in Δ2d−1 one at a time and applying Corollary 9.4(2) using 3<2d at each step, we conclude that \(hP_{\Delta ^{2d-1}}\) satisfies upper \(\mathbb{F} \)-Singer if \(hP_{O\Delta ^{2d-1}}\) does. Thus,
The converse is clear. □
Since \(hP_{O\Delta ^{2d-1}}\) is an arithmetic hyperbolic (2d)-manifold of simplest type, Corollary 10.5 implies that if 12d does not hold, then there is an odd-dimensional arithmetic hyperbolic manifold of simplest type that does not satisfy upper \(\mathbb{F} \)-Singer. Together with Agol’s fibering theorem this implies:
Corollary 10.7
If there is a full subcomplex L in a flag triangulated sphere Sm−1 such that \(\overline {\beta }_{k}(hP_{L};\mathbb{F} )>0\) for some k>m/2, then there is a closed n-manifold either of the form \(hP_{S^{n-1}}\), or arithmetic hyperbolic of simplest type, that does not satisfy the upper \(\mathbb{F} \)-Singer property, for some odd n in the interval [5,m].
10.3 Proofs of Theorems C(1) and A
Now we can prove the first part of our main theorem:
Theorem C(1) 1
For any odd prime p, there is a closed, aspherical, n-manifold \(\mathcal {M}^{n}\) of dimension either n=5 or n=7 with special hyperbolic fundamental group such that \(\underline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})>0\) for some k.
Proof
Fix an odd prime p. Let (N,∂N) be the compact aspherical 7-manifold with boundary provided by Theorem 6.8. It has special hyperbolic fundamental group and \(\underline {\beta }_{4}(N;\mathbb{F} _{p})>0\). Pick a flag triangulation of the boundary ∂ and let \(\mathcal {M}=hP^{N}_{\partial }\) be the result of applying the hyperbolic reflection group trick using this triangulation. We showed that this is a closed aspherical 7-manifold with virtually special hyperbolic fundamental group.
By Proposition 10.1, either this manifold has \(\underline {\beta }_{4}(\mathcal {M};\mathbb{F} _{p})\geq \underline {\beta }_{4}(N;\mathbb{F} _{p})>0\), or there is a full subcomplex L of a flag triangulation of S5, such that \(\overline {\beta }_{4}(hP_{L}; \mathbb{F} _{p})>0\). In the latter case, by Corollary 10.7, there is a closed aspherical 5-manifold H5 with virtually special hyperbolic fundamental group, which doesn’t have upper \(\mathbb{F} _{p}\)-Singer property. So, in summary, after passing to a special finite cover, we obtain a closed aspherical manifold of dimension 7 (if it is \(\mathcal {M}\)) or 5 (if it is H5) with special hyperbolic fundamental group and non-vanishing lower \(\mathbb{F} _{p}\) homology growth (if it is \(\mathcal {M}\)) or upper \(\mathbb{F} _{p}\)-homology growth (if it is H5). Therefore, Corollaries 4.1 and 4.4 imply Theorem C(1). □
Theorem 2.10 then immediately implies:
Theorem A 1
There exists a closed, odd-dimensional, aspherical manifold \(\mathcal {M}\) with special hyperbolic fundamental group that does not virtually fiber over a circle.
One somewhat unsatisfying aspect of this line of argument is that it does not say a given odd dimensional manifold does not virtually fiber, but only that there is a such a manifold of a potentially lower odd dimension. The last section of the paper is occupied with addressing this problem.
11 Hyperbolic reflection group trick via barycentric subdivisions
We have enough information from the skew field approach to give—for large primes p—explicit 7-dimensional, aspherical examples that do not satisfy \(\mathbb{F} _{p}\)-Singer, and also 7-dimensional \(\mathbb{Q}\)-aspherical examples that do not satisfy \(\mathbb{Q}\)-Singer.
The tool for doing this is a version of the hyperbolic reflection group trick that preserves \(\mathbb{Q}\)-homology growth above the middle dimension, and also \(\mathbb{F} _{p}\)-homology growth above the middle dimension for large primes.
Theorem E 1
Better hyperbolic reflection group trick
For each dimension n there is a choice of Charney–Davis piece CDn and a corresponding finite collection of exceptional primes Sn, such that for any compact n-manifold with boundary (N,∂N) and any triangulation ∂ which is a barycentric subdivision of a triangulation of the boundary, the hyperbolic reflection group trick \(\mathcal {M}=hP_{\partial }^{N}\) satisfies the following inequalities for k>n/2:
-
(1)
\(b_{k}^{(2)}(N)\leq b_{k}^{(2)}(\mathcal {M})\),
-
(2)
\(\underline {\beta }_{k}(N;\mathbb{Q})\leq \underline {\beta }_{k}(\mathcal {M};\mathbb{Q})\) and \(\overline {\beta }_{k}(N;\mathbb{Q})\leq \overline {\beta }_{k}(\mathcal {M};\mathbb{Q})\),
-
(3)
\(\underline {\beta }_{k}(N;\mathbb{F} _{p})\leq \underline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})\) and \(\overline {\beta }_{k}(N;\mathbb{F} _{p})\leq \overline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})\) for p∉Sn.
Proof
When the triangulation of ∂N is a barycentric subdivision of another triangulation, i.e. ∂=bT, then the vertex removal process in Proposition 10.1 can be carried out by removing centers vσ of simplices σ of T, starting by removing barycenters of all n−1 simplices of T, then barycenters of all n−2 simplices of T, and so on. The links that appear in this process are precisely the barycentric subdivisions of the boundaries of these simplices σ embedded as full subcomplexes in the link of the vertex vσ in the ambient manifold ∂ i.e.
where T(i) is the i-skeleton of the triangulation T, and bT(i) is its barycentric subdivision, and σi is some i-simplex.
Note that the hPb∂σ are hyperbolizations of a particular finite collection of manifolds (they are called Tomei manifolds) of dimension ≤n−1. It follows from the smooth hyperbolization technology of Ontaneda [Ont20, Main Theorem] that for any ϵ>0 we can pick an appropriateFootnote 7 initial Charney–Davis piece CDn for which all these manifolds will have smooth Riemannian metrics whose sectional curvature is pinched between −1 and −1−ϵ. When ϵ is sufficiently small, a result of Donnelly–Xavier [DX84] implies that the even dimensional hPb∂σ satisfy the Singer conjecture while the odd dimensional hPb∂σ satisfy it except possibly in the middle two dimensions. Consequently for all these manifolds of dimension ≤n−1, we have
We conclude by Corollaries 4.2 and 4.4 and virtual specialness of the π1(hPb∂σ) that for large primes p,
After cutting along the hPb∂σ, we are left with copies of N and copies of hPbσ. Each copy of N is a retract of \(\mathcal {M}\) by Theorem D, and hPb∂σ and hPbσ are quasiconvex in \(\mathcal {M}\) by Lemma 8.6. Hence the end result of the cutting procedure and the components of hPb∂σ are virtual retracts of \(\mathcal {M}\) by Corollary 8.14. We apply Corollary 9.5 to finish the proof of (2) and (3).
For (1) we use an L2-version of Corollary 9.7, which works for any fundamental group. □
Theorem C(2) 1
For large primes, there is a closed, aspherical, 7-manifold \(\mathcal {M}^{7}\) with special hyperbolic fundamental group such that \(\underline {\beta }_{k}(\mathcal {M};\mathbb{F} _{p})>0\) for some k.
Proof
Let N7 be the seed manifold obtained form Theorem 6.8 for a prime p∉S7. It has special hyperbolic fundamental group and \(\underline {\beta }_{4}(N;\mathbb{F} _{p})\neq 0\), so applying the hyperbolic reflection group trick with barycentrically subdivided boundary gives a closed, aspherical 7-manifold \(\mathcal {M}\) with virtually special hyperbolic fundamental group and \(\underline {\beta }_{4}(\mathcal {M}; \mathbb{F} _{p}) \neq 0\). Passing to a finite cover, if necessary, gives such a manifold \(\mathcal {M}'\) with special fundamental group and with \(\underline {\beta }_{4}(\mathcal {M}';\mathbb{F} _{p})\neq 0\). □
Note that this proof avoids the inductive arguments of Sect. 10. We now prove Theorem F.
Theorem F 1
There is a closed, rationally aspherical 7-manifold \(\mathcal {M}\) with virtually special hyperbolic fundamental group and \(b_{4}^{(2)}(\mathcal {M})\neq 0\).
Proof
By Theorem 5.3 there is a flag no-square triangulation of the 3-sphere. Denote it by S3. By Corollary 5.2, if the finite groups used to define the graph product \(G_{S^{3}}\) are large enough then \(\underline {\beta }_{4}(G_{S^{3}};\mathbb{Q})>0\). Fix such a graph product \(G_{S^{3}}\). Note that it is virtually of finite type, and a virtual 4-dimensional duality group by Theorem 5.5. Therefore, [Avr18, Theorem 18] implies that there is a compact \(\mathbb{Q}\)-aspherical 7-manifold with boundary (N7,∂) whose fundamental group is a finite index torsion-free subgroup \(\Gamma < G_{S^{3}}\). Let \(\mathcal {M}^{7}=hP^{N}_{\partial }\) be the result of applying the hyperbolic reflection group trick (with barycentric subdivisions) to this manifold. Then
where the first inequality is Theorem E(1) and the first equality follows because the rational homology of Γ can be computed from the action on a \(\mathbb{Q}\)-acyclic instead of contractible complex. Finally, since the triangulation we picked was no-square, the group \(G_{S^{3}}\) (and hence Γ) is hyperbolic and virtually special. So by Theorem 8.5, the fundamental group of \(\mathcal {M}\) is hyperbolic and virtually special. In particular, it is residually finite, so Lück approximation implies \(b^{(2)}_{4}(\mathcal {M})=\underline {\beta }_{4}(\mathcal {M};\mathbb{Q})>0\). Replacing \(\mathcal {M}\) by a finite cover if necessary, we obtain such a manifold with special fundamental group. □
Notes
Curious, because the fiber of a hypothetical fibration would be a closed, aspherical manifold with infinite \(\operatorname{Out}(\pi _{1})\) and no \(\mathbb{Z}^{2}\)-subgroups. There are no known examples of such manifolds (note that the fibers in [Fuj21] have \(\mathbb{Z}^{2}\)-subgroups).
Obtained by picking a bi-invariant order on the group and taking the division closure of the group ring in the Malcev–Neumann skew field of formal power series with well-ordered support.
A space is \(\mathbb{F} \)-aspherical if its universal cover has the same \(\mathbb{F} \)-homology as a point.
The partial order on covers of X is defined by X″>X′ whenever X″ is a cover of X′.
In this case, this is just the infinite cyclic cover of X′ induced by the map to S1.
Also called of simple type, Type I, or standard.
The normal injectivity radius of all walls needs to be large, the existence of such a CDn is in [Ont20, Theorem 9.1].
The universal injectivity radius is the smallest R such that the map from the universal cover \(\widetilde{X}\to X\) is injective on R-balls.
For an annotated English translation, see https://sites.google.com/site/tutamnguyenphan/home-1.
The reason is that the collection of edges disjoint from a given edge σ form a cycle.
One first picks an ordering < on L and then an ordering < on OL for which the projection π:OL→L is an order-preserving map. The moment map immersion \(OL \to \mathbb{R}^{2d}\) is then defined on vertices by sending the i-th vertex in this ordering to (i,i2,…,i2d) and extending linearly to all of OL.
To see why, pick \(\sigma _{1}'\neq \sigma _{1}\) with \(\pi (\sigma _{1}')=\pi (\sigma _{1})\) and look at a simplex σ disjoint from both σ1 and \(\sigma _{1}'\). Then \(\widetilde{f}(\sigma )\cap \widetilde{f}(\sigma _{1})=0\) while \(\widetilde{f}(\sigma )\cap \widetilde{f}(\sigma _{1}')=f(\sigma )\cap f(\sigma _{1}')=f( \sigma )\cap f(\sigma _{1})\) may not be.
References
Abert, M., Bergeron, N., Fraczyk, M., Gaboriau, D.: On homology torsion growth. J. Eur. Math. Soc. (2024, in press). https://arxiv.org/pdf/2106.13051.pdf
Agol, I.: Criteria for virtual fibering. J. Topol. 1(2), 269–284 (2008)
Agol, I.: The virtual Haken conjecture. Doc. Math. 18, 1045–1087 (2013). With an appendix by Agol, Daniel Groves, and Jason Manning
Akin, E.: Manifold phenomena in the theory of polyhedra. Trans. Am. Math. Soc. 143, 413–473 (1969)
Avramidi, G.: Rational manifold models for duality groups. Geom. Funct. Anal. 28(4), 965–994 (2018)
Avramidi, G., Davis, M.W., Okun, B., Schreve, K.: The action dimension of right-angled Artin groups. Bull. Lond. Math. Soc. 48(1), 115–126 (2016)
Avramidi, G., Okun, B., Schreve, K.: Mod p and torsion homology growth in nonpositive curvature. Invent. Math. 226(3), 711–723 (2021)
Avramidi, G., Phan, T.T.N.: Fungible Obstructions to Embedding 2-Complexes (2021). https://arxiv.org/pdf/2105.10984.pdf
Bartholdi, L.: Amenability of groups is characterized by Myhill’s theorem. J. Eur. Math. Soc. 21(10), 3191–3197 (2019). With an appendix by Dawid Kielak
Belegradek, I.: Aspherical manifolds, relative hyperbolicity, simplicial volume and assembly maps. Algebraic Geom. Topol. 6, 1341–1354 (2006)
Belegradek, I.: Aspherical manifolds with relatively hyperbolic fundamental groups. Geom. Dedic. 129, 119–144 (2007)
Belolipetsky, M., Bogachev, N., Kolpakov, A., Slavich, L.: Subspace stabilisers in hyperbolic lattices (2021). https://arxiv.org/pdf/2105.06897.pdf
Bergeron, N., Haglund, F., Wise, D.T.: Hyperplane sections in arithmetic hyperbolic manifolds. J. Lond. Math. Soc. (2) 83(2), 431–448 (2011)
Bergeron, N., Linnell, P., Lück, W., Sauer, R.: On the growth of Betti numbers in p-adic analytic towers. Groups Geom. Dyn. 8(2), 311–329 (2014)
Bowditch, B.H.: Relatively hyperbolic groups. Int. J. Algebra Comput. 22(3), 1250016 (2012)
Bowditch, B.H.: Cut points and canonical splittings of hyperbolic groups. Acta Math. 180(2), 145–186 (1998)
Bugaenko, V.O.: Groups of automorphisms of unimodular hyperbolic quadratic forms over the ring Vestnik Moskov. Univ. Ser. I Mat. Mekh. 5, 6–12 (1984)
Charney, R.M., Davis, M.W.: Strict hyperbolization. Topology 34(2), 329–350 (1995)
Clair, B., Whyte, K.: Growth of Betti numbers. Topology 42(5), 1125–1142 (2003)
Davis, M.W.: The Geometry and Topology of Coxeter Groups. London Mathematical Society Monographs Series, vol. 32. Princeton University Press, Princeton (2008)
Davis, M.W., Dymara, J., Januszkiewicz, T., Meier, J., Okun, B.: Compactly supported cohomology of buildings. Comment. Math. Helv. 85(3), 551–582 (2010)
Davis, M.W., Dymara, J., Januszkiewicz, T., Okun, B.: Weighted L2-cohomology of Coxeter groups. Geom. Topol. 11, 47–138 (2007)
Davis, M.W., Januszkiewicz, T., Weinberger, S.: Relative hyperbolization and aspherical bordisms: an addendum to “Hyperbolization of polyhedra”. J. Differ. Geom. 58(3), 535–541 (2001)
Davis, M.W., Meier, J.: The topology at infinity of Coxeter groups and buildings. Comment. Math. Helv. 77(4), 746–766 (2002)
Donnelly, H., Xavier, F.: On the differential form spectrum of negatively curved Riemannian manifolds. Am. J. Math. 106(1), 169–185 (1984)
Droms, C.G.A.: Graph groups. Ph.D. Thesis, Thesis (Ph.D.)–Syracuse University (1983)
Duchamp, G., Krob, D.: The lower central series of the free partially commutative group. Semigroup Forum 45(3), 385–394 (1992)
Eizenbud, A., Lichtman, A.I.: On embedding of group rings of residually torsion free nilpotent groups into skew fields. Trans. Am. Math. Soc. 299(1), 373–386 (1987)
Farb, B.: Relatively hyperbolic groups. Geom. Funct. Anal. 8(5), 810–840 (1998)
Farb, B., Dennis, R.K.: Noncommutative Algebra. Graduate Texts in Mathematics, vol. 144. Springer, New York (1993)
Fisher, S.P.: Improved Algebraic Fibrings (2021). https://arxiv.org/pdf/2112.00397.pdf
Fisher, S.P., Hughes, S., Leary, I.J.: Homological growth of Artin kernels in positive characteristic. Math. Ann. (2023)
Freedman, M.H., Krushkal, V.S., Teichner, P.: van Kampen’s embedding obstruction is incomplete for 2-complexes in R4. Math. Res. Lett. 1(2), 167–176 (1994)
Fujiwara, K.: An example of a closed 5-manifold of nonpositive curvature that fibers over a circle (2021). https://arxiv.org/pdf/2106.08549.pdf
Gräter, J.: Free division rings of fractions of crossed products of groups with Conradian left-orders. Forum Math. 32(3), 739–772 (2020)
Groves, D., Manning, J.F.: Hyperbolic groups acting improperly. Geom. Topol. (2024, in press). https://arxiv.org/pdf/1808.02325.pdf
Haglund, F., Wise, D.T.: Special cube complexes. Geom. Funct. Anal. 17(5), 1551–1620 (2008)
Haglund, F., Wise, D.T.: A combination theorem for special cube complexes. Ann. Math. (2) 176(3), 1427–1482 (2012)
Henneke, F., Kielak, D.: Agrarian and L2-invariants. Fundam. Math. 255(3), 255–287 (2021)
Hughes, I.: Division rings of fractions for group rings. Commun. Pure Appl. Math. 23, 181–188 (1970)
Italiano, G., Martelli, B., Migliorini, M.: Hyperbolic 5-manifolds that fiber over S1. Invent. Math. (2022)
Gitik, R.: On quasiconvex subgroups of negatively curved groups. J. Pure Appl. Algebra 119(2), 155–169 (1997)
Jaikin-Zapirain, A.: L2-Betti numbers and their analogues in positive characteristic, Groups St Andrews 2017 in Birmingham, pp. 346–405. (2019)
Jaikin-Zapirain, A.: The universality of Hughes-free division rings. Sel. Math. New Ser. 27(4), 74 (2021)
Jaikin-Zapirain, A., Linton, M.: On the coherence of one-relator groups and their group algebras (2023). https://arxiv.org/pdf/2303.05976.pdf
Januszkiewicz, T., Świątkowski, J.: Commensurability of graph products. Algebraic Geom. Topol. 1, 587–603 (2001). (electronic)
Januszkiewicz, T., Świątkowski, J.: Hyperbolic Coxeter groups of large dimension. Comment. Math. Helv. 78(3), 555–583 (2003)
Kajdan, D.A.: On arithmetic varieties. In: Lie groups and Their Representations (Proc. Summer School, Bolyai János Math. Soc., Budapest, 1971), pp. 151–217. (1975)
van Kampen, E.R.: Komplexe in euklidischen Räumen. Abh. Math. Semin. Univ. Hamb. 9(1), 72–78 (1933a)
van Kampen, E.R.: Berichtigung. Abh. Math. Semin. Univ. Hamb. 9(1), 152–153 (1933b)
Kielak, D.: Residually finite rationally solvable groups and virtual fibring. J. Am. Math. Soc. 33(2), 451–486 (2020)
Kropholler, P.H., Linnell, P.A., Moody, J.A.: Applications of a new K-theoretic theorem to soluble group rings. Proc. Am. Math. Soc. 104(3), 675–684 (1988)
Lafont, J.-F., Ruffoni, L.: Special Cubulation of Strict Hyperbolization (2022). https://arxiv.org/pdf/2206.03620.pdf
Lichtman, A.I.: On universal fields of fractions for free algebras. J. Algebra 231(2), 652–676 (2000)
Linnell, P., Lück, W., Sauer, R.: The limit of \(\mathbb{F}_{p}\)-Betti numbers of a tower of finite covers with amenable fundamental groups. Proc. Am. Math. Soc. 139(2), 421–434 (2011)
Linnell, P.A.: Division rings and group von Neumann algebras. Forum Math. 5(6), 561–576 (1993)
Loeh, C., Uschold, M.: l2-betti numbers and computability of reals (2022). https://arxiv.org/pdf/2202.03159.pdf
Lubotzky, A., Manning, J.F., Wilton, H.: Generalized triangle groups, expanders, and a problem of Agol and Wise. Comment. Math. Helv. 94(1), 53–66 (2019)
Lück, W.: Approximating L2-invariants by their finite-dimensional analogues. Geom. Funct. Anal. 4(4), 455–481 (1994a)
Lück, W.: L2-Betti numbers of mapping tori and groups. Topology 33(2), 203–214 (1994b)
Meier, J.: When is the graph product of hyperbolic groups hyperbolic? Geom. Dedic. 61(1), 29–41 (1996)
Minasyan, A.: Separable subsets of GFERF negatively curved groups. J. Algebra 304(2), 1090–1100 (2006)
Okun, B., Schreve, K.: The L2-(co)homology of groups with hierarchies. Algebraic Geom. Topol. 16(5), 2549–2569 (2016)
Morris, D.W.: Introduction to Arithmetic Groups (2015). https://arxiv.org/pdf/math/0106063.pdf
Ontaneda, P.: Riemannian hyperbolization. Publ. Math. Inst. Hautes Études Sci. 131, 1–72 (2020)
Osajda, D.: A construction of hyperbolic Coxeter groups. Comment. Math. Helv. 88(2), 353–367 (2013)
Passman, D.S.: Universal fields of fractions for polycyclic group algebras. Glasg. Math. J. 23(2), 103–113 (1982)
Passman, D.S.: The Algebraic Structure of Group Rings. Pure and Applied Mathematics. Wiley-Interscience, New York (1977)
Przytycki, P., Świątkowski, J.: Flag-no-square triangulations and Gromov boundaries in dimension 3. Groups Geom. Dyn. 3(3), 453–468 (2009)
Siebenmann, L.C.: The obstruction to finding a boundary for an open manifold of dimension greater than five. Ph.D. Thesis (1965)
Sikorav, J.-C.: Fibered cohomology classes in dimension three, twisted Alexander polynomials and Novikov homology. Ann. Inst. Fourier (Grenoble) 73(1), 279–306 (2023)
Smith, P.F.: Localization and the AR property. Proc. Lond. Math. Soc. (3) 22, 39–68 (1971)
Vinberg, È.B. (ed.): Geometry. II. Encyclopaedia of Mathematical Sciences, vol. 29. Springer, Berlin (1993)
Żuk, A.: Property (T) and Kazhdan constants for discrete groups. Geom. Funct. Anal. 13(3), 643–670 (2003)
Acknowledgements
We thank the referee for a very detailed report and useful comments which improved the paper, in particular they found a gap in our arguments in Sect. 10 which has now been fixed. We thank Andrei Jaikin-Zapirain for answering multiple questions of ours concerning the skew field approach to homological growth. Most of Sect. 3 came from trying to understand his answers. The first author thanks Tâm Nguyễn Phan for explaining van Kampen’s approach to embedding theory and asking for an interpretation of embedding theory for octahedralizations in terms of it, which lead to Appendix III. We thank Sam Fisher and Igor Belegradek for helpful comments on an earlier draft, and Andrei Jaikin-Zapirain and Clara Löh for providing useful references.
Funding
Open Access funding enabled and organized by Projekt DEAL. The first and second authors thank the Max Planck Institut für Mathematik for its support and excellent working conditions. The third author was supported by the NSF grant DMS-2203325.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix I: Rational homology growth and L 2, qualitatively
The connection between \(\mathbb{Q}\)-Betti number growth and L2 rests on two pillars. The first is Kazhdan’s crucial observation that if the \(\mathbb{Q}\)-Betti numbers grow fast in a chain of regular finite covers converging to the universal cover, then the universal cover has a non-vanishing L2-harmonic cycle. The second is Lück’s converse to Kazhdan’s criterion. Lück showed, by an ingenious approximation argument, that L2-harmonic cycles in the universal cover lead to fast \(\mathbb{Q}\)-Betti number growth in any chain of regular finite covers converging to it. He also obtained a quantitative statement, showing that the analytically defined L2-Betti numbers agree with the limit of the normalized \(\mathbb{Q}\)-Betti numbers of any such chain [Luc94a].
In this appendix we sketch qualitative versions of these two arguments, in order to highlight the basic ideas behind them. The natural setting for these arguments are not chains of regular finite covers, but covers of sufficiently large universalFootnote 8 injectivity radius.
1.1 I.1 Kazhdan’s criterion
We start with the following (obvious) linear algebraic lemma.
Lemma I.1
Any n-dimensional subspace of \(\mathbb{R}^{N}\) has a unit vector with a coordinate of size ≥n/N.
Proof
Let vi be an orthonormal basis for \(\mathbb{R}^{N}\) and P be the orthogonal projection to the n-dimensional subspace. Its trace is \(n=\sum _{i=1}^{N}\langle Pv_{i},v_{i}\rangle \), so at least one of vectors Pvi has a coordinate of size ≥n/N. The unit vector Pvi/||Pvi|| has a bigger coordinate. □
The Lemma implies that if the dimensions of spaces of harmonic cycles grow linearly in the degree of the cover, then in each cover we can find such cycles of unit norm and uniformly bounded away from zero on some cell.
Now, suppose we have a sequence of finite covers Xk→X, each with a unit norm harmonic cycle zk and a cell ek such that 〈zk,ek〉≥c>0. Pick a subsequence so that all the cells ek lie over the same cell e in X. Suppose, in addition, that the covering map \(\widetilde{X}\to X_{k}\) is injective on balls of radius k. Then, we have an isometry of k-neighborhoods \(\phi :B_{k}(\widetilde{e})\cong B_{k}(\widetilde{e}_{k})\cong B_{k}(e_{k})\), where the first map is a covering translation and the second map is the projection \(\widetilde{X}\to X_{k}\). Using this isometry we pick lifts \(\widetilde{z}_{k}=\phi ^{-1}(z_{k})\). They have L2-norm =1 and satisfy \(\langle \widetilde{z}_{k},\widetilde{e}\rangle =\langle z_{k},e_{k} \rangle \geq c\). The \(\widetilde{z}_{k}\) may not be harmonic (in fact, they are just chains, not cycles), but since zk is harmonic, this failure happens outside the (k−1)-neighborhood of \(\widetilde{e}\). So, we can pick a subsequence of \(\widetilde{z}_{k}\) that converges to a harmonic cycle of L2-norm ≤1 and non-vanishing at \(\widetilde{e}\). We have proved
Theorem I.2
Kazhdan’s criterion [Kaj75]
Let X be a finite complex and Xk→X a sequence of finite covers whose universal injectivity radius goes to infinity. If the ith-Betti number grows linearly, i.e.
then the universal cover \(\widetilde{X}\) has an non-zero L2 harmonic i-cycle.
1.2 I.2 Lück approximation
Lück proved a converse to Kazhdan’s criterion:
-
L2 harmonic cycles on the universal cover produce linear Betti number growth.
The goal is to bound below the trace of the orthogonal projection to the kernel of the Laplacian in covers, and Lück’s idea is to approximate the orthogonal projection by polynomials in the combinatorial Laplacian, and exploit that this Laplacian is a bounded operator with integer entries.
Let X be a finite complex with fundamental group G=π1(X) and Xk→X a finite cover for which \(\pi :\widetilde{X}\to X_{k}\) is injective on k-balls. Running our earlier argument backwards, if there are L2-harmonic cycles, then there is a i-cell \(\widetilde{e}\) such that, for the orthogonal projection \(\widetilde{P}\) to the space of harmonic L2 chains we have \(\langle \widetilde{P}\widetilde{e},\widetilde{e}\rangle > c>0\). Approximate \(\widetilde{P}\) by a polynomial \(f(\widetilde {\Delta })\) in the combinatorial Laplacian \(\widetilde {\Delta }\). Since it is a bounded operator, we can do this with f(0)=1 and f≥0 on the spectrum of \(\widetilde{\Delta }\), so we also get \(\langle f(\widetilde {\Delta })\widetilde{e},\widetilde{e}\rangle \geq c\). The advantage of polynomials in \(\widetilde{\Delta }\) over the orthogonal projection \(\widetilde{P}\) is that \(f(\widetilde{\Delta })\widetilde{e}\) is a finite chain, so if the injectivity radius k of Xk is greater than the diameter of \(f(\widetilde{\Delta })\widetilde{e}\), then all the translates \(f(\widetilde{\Delta })\gamma \widetilde{e}\) embed isometrically in Xk. This implies \(\langle f(\Delta _{k})\pi (\gamma \widetilde{e}),\pi (\gamma \widetilde{e})\rangle \geq c\) for all γ∈G. There are |Xk→X| different i-cells of the form \(\pi (\gamma \widetilde{e})\) in Xk. Summing over all of them, we get a lower bound for the normalized trace
We are almost done. We just need to get back to the orthogonal projection Pk in the finite cover. For this, one needs an estimate the number Nϵ,k of small but nonzero eigenvalues (≤ϵ) of Δk compared to the number of i-cells Nk in the cover. This is given by another linear algebraic lemma, namely Lemma 2.3 in Sect. 2. The final important point is that—for a finite complex X—the norms of both the combinatorial Laplacian in the universal cover and the combinatorial Laplacians in all the finite covers are bounded by a single finite constant D (see [Luc94a, Lemma 2.5]). Therefore, the upper bound on the normalized number of ϵ-small, nonzero eigenvalues coming from Lemma 2.3 does not depend on the cover. From here it is easy to see that the normalized trace of f(Δk) is close to the normalized trace of the orthogonal projection Pk once f is close enough to the characteristic function χ0 on the spectrum of Δk.
Appendix II: Residual finiteness
In this appendix, we show that if our seed manifold (N,∂N) has residually finite fundamental group then the output \(\mathcal {M}\) of our hyperbolic reflection group trick has residually finite fundamental group as well. In particular, we don’t need to assume that π1(N) is hyperbolic and virtually special. Along the way, we give a general criterion for basic constructions of mirrored spaces to be residually finite.
2.1 II.1 Profinite topology
The profinite topology on a group G has as a basis the collection of cosets of finite index normal subgroups of G. Multiplication by a group element and taking inverses induce continuous maps with this topology.
A subset C of G is called separable if it is closed in the profinite topology, i.e. for any g∈G−C there is a finite index normal subgroup N such that Cg−1∩N=∅. We will express this by saying g can be separated from C.
If H is a subgroup of G then separability is equivalent to the statement that H is an intersection of finite index subgroups of G, i.e. for any g∈G−H there is a finite index subgroup N such that H⊂N and g∉N. In particular, G is residually finite if and only if {1} is separable (or, equivalently, the profinite topology is Hausdorff.)
We shall need the following theorem, which combines work of Haglund–Wise [HW08] and Minasyan [Min06].
Theorem II.1
If G is a hyperbolic, virtually special group, then every quasiconvex subgroup is separable. Furthermore, if H and K are two quasiconvex subgroups, then the double coset HK is separable.
Note that, since conjugation preserves quasiconvexity in hyperbolic groups [Git97, Lemma 1.9], this theorem implies that the double cosets HgK are also separable for each g∈G.
We shall also need the following easy lemma.
Lemma II.2
Suppose that G is a residually finite group, and H is a closed subset of G in the profinite topology. Let Φ be a finite subset of G−H. Then there is a finite index normal subgroup Γ◁G such that Φ∩HΓ=∅.
Proof
Since H is closed, for each φ∈Φ the translate Hφ−1 is closed and does not contain the identity. Therefore, there is a finite index normal subgroup Γφ such that Hφ−1∩Γφ=∅. Since Γφ is normal, ΓφH=HΓφ, hence φ∉HΓφ. Taking Γ=⋂ΦΓφ works. □
2.2 II.2 On residual finiteness of basic constructions
Recall from Sect. 7 that if X is a mirrored complex, then the universal cover of X is also a mirrored complex. The mirrors in the universal cover are precisely the path components of preimages of mirrors in X. Let (W,S) be the RACG corresponding to the mirrored complex X, and \((\widetilde{W}, \widetilde{S})\) the RACG corresponding to the universal cover.
Theorem II.3
Let X be a finite mirrored complex and W the associated right-angled Coxeter group. Let \(\widetilde{S}\) and \(\widetilde{W}\) as above. Suppose G=π1(X) is residually finite, and that all the double cosets \(\operatorname{Stab}(\tilde{s})\operatorname{Stab}(\tilde{t})\) for \(\tilde{s}, \tilde{t} \in \widetilde{S}\) are separable in G. Then \(\widetilde{W} \rtimes G\) is residually finite.
Proof
Let \(g \in \widetilde{W} \rtimes G\). If g maps nontrivially to G, then since G is residually finite we can find a finite quotient of G where g survives. So, we can assume that \(g \in \widetilde{W}\). Write g as a product of generators of \(\widetilde{W}\), and let \(\widetilde{T} \subset \widetilde{S}\) denote the finite set of generators appearing in the product. Hence g is contained in the finitely generated special subgroup \(W_{\widetilde{T}}\).
We claim that there is a finite index subgroup Γ of G which preserves disjointness of the mirrors in this collection, i.e. if \(\tilde{s}, \tilde{t} \in \widetilde{T}\) and \(\tilde{s} \cap \tilde{t} = \emptyset \) then \(\tilde{s} \cap \gamma \tilde{t} = \emptyset \) for all γ∈Γ.
Since \(\widetilde{T}\) is finite, it is enough to find such a subgroup for each pair \(\tilde{s}, \tilde{t} \in \widetilde{T}\), then we can take Γ to be the intersection of all these subgroups.
So, suppose we have two disjoint mirrors \(\tilde{s}\) and \(\tilde{t}\). Since the stabilizer \(\operatorname{Stab}(\tilde{s})\) acts cocompactly on \(\tilde{s}\), up to \(\operatorname{Stab}(\tilde{s})\)-action there are at most finitely many G-translates of \(\tilde{t}\) which intersect \(\tilde{s}\). Choose a finite set Φ⊂G of group elements representing these translates.
Note that \(\Phi \cap \operatorname{Stab}(\tilde{s})\operatorname{Stab}(\tilde{t}) = \emptyset \), since if \(\varphi = g_{\tilde{s}}g_{\tilde{t}}\) where \(g_{\tilde{s}} \in \operatorname{Stab}(\tilde{s})\) and \(g_{\tilde{t}} \in \operatorname{Stab}(\tilde{t})\), then \(\varphi \tilde{t} = g_{\tilde{s}}\tilde{t}\), and \(g_{\tilde{s}}\) preserves disjointness between \(\tilde{s}\) and \(\tilde{t}\).
Since the double coset \(\operatorname{Stab}(\tilde{s})\operatorname{Stab}(\tilde{t})\) is separable by assumption, Lemma II.2 implies that we can find a finite index Γ◁G so that
Since Γ is normal, \(\operatorname{Stab}(\tilde{s}) \operatorname{Stab}(\tilde{t}) \Gamma = \operatorname{Stab}(\tilde{s}) \Gamma \operatorname{Stab}( \tilde{t}) \), and hence
We claim that \(\tilde{s} \cap \gamma \tilde{t} = \emptyset \) for each γ∈Γ. Indeed, if \(\gamma \tilde{t}\) intersects \(\tilde{s}\), then \(\gamma \tilde{t} = g \varphi \tilde{t}\) for some φ∈Φ, and \(g \in \operatorname{Stab}(\tilde{s})\). Therefore, \(\varphi ^{-1}g^{-1} \gamma \in \operatorname{Stab}(\tilde{t})\), so γ is contained in the double coset \(\operatorname{Stab}(\tilde{s}) \varphi \operatorname{Stab}(\tilde{t})\).
So, now we have a finite index normal subgroup Γ of G which preserves disjointness of mirrors corresponding to generators in the finitely generated Coxeter subgroup \(W_{\widetilde{T}}\). Let \(\overline{S}\) be the set of Γ-orbits of elements of \(\widetilde{S}\). For \(\bar{s}\neq \bar{t} \in \overline{S}\) define \(m_{\bar{s} \bar{t}} = 2\) if there exist representatives of \(\bar{s}\) and \(\bar{t}\) which intersect, and set \(m_{\bar{s} \bar{t}} = \infty \) otherwise. Let \(\overline{W}\) be the corresponding finitely generated RACG.
The natural quotient homomorphism \(\widetilde{W} \to \overline{W}\) is Γ-equivariant with respect to the left action of Γ on \(\widetilde{W}\) and the trivial action on \(\overline{W}\). Therefore, it induces a map \(\widetilde{W} \rtimes \Gamma \to \overline{W} \times \Gamma \). Composing with the projection onto the first factor gives a map \(\widetilde{W} \rtimes \Gamma \to \overline{W}\), which by construction is injective on \(W_{\widetilde{T}}\), and in particular maps g nontrivially. Since \(\overline{W}\) is a finitely generated RACG, it is residually finite, hence we can detect the image of g in a finite quotient. This induces a finite quotient of \(\widetilde{W} \rtimes \Gamma \) where g survives. Since \(\widetilde{W} \rtimes \Gamma \) is a finite index subgroup of \(\widetilde{W} \rtimes G\), this induces a finite quotient of \(\widetilde{W} \rtimes G\) where g survives, so we are done. □
Remark 1
If X has only one mirror Xs, then \(\mathcal {U}(W, X)\) is the double of X over Xs. Therefore, this theorem can be seen as a generalization of the classical fact that the double G∗HG of a residually finite group over a separable subgroup is residually finite.
2.3 II.3 Davis trick preserves residual finiteness
If W is infinite, then \(\pi _{1}(\mathcal {U}(W,X))\) is infinitely generated if X is not simply connected. In this case, a finite index torsion-free subgroup Γ of W still acts properly and cocompactly on \(\mathcal {U}(W,X)\), and we can form the quotient \(Y = \mathcal {U}(W,X)/\Gamma \). If X is a compact aspherical manifold with boundary and the Xs are dual cells to a flag PL triangulation of ∂X, then Y is a closed aspherical manifold. This construction of Y is called the Davis reflection group trick applied to X. In any case, π1(Y) is finite index in \(\widetilde{W} \rtimes \pi _{1}(X)\). Explicitly, let \(\pi : \widetilde{W} \to W\) as above, and set \(\widetilde {\Gamma }= \pi ^{-1}(\Gamma )\). Then \(\widetilde {\Gamma }\) is torsion-free, finite index in \(\widetilde{W}\), and stable under the action of π1(X). It turns out that π1(Y) is precisely the semi-direct product \(\widetilde {\Gamma }\rtimes \pi _{1}(X)\).
Note that for the usual reflection group trick, the mirrors Xs are contractible, so we get an immediate corollary:
Corollary II.4
Let X be a compact aspherical manifold with boundary with π1(X) residually finite. Then the fundamental group of any Davis reflection trick Y applied to X is residually finite.
2.4 II.4 Hyperbolic reflection group trick preserves residual finiteness
Let L be a flag complex. We know from Theorem 8.3 that hKL has hyperbolic and virtually special fundamental group (we’ll assume that hKL is connected, otherwise take the component containing the cone vertex).
Now, let N be a simplicial complex containing L. Similarly to Sect. 8, let \(hK_{L}^{N}\) be obtained from the hyperbolized cone hKL by removing a small enough ϵ-ball centered at the cone vertex o and gluing in N. As in the proof of Theorem D(1), \(hK_{L}^{N}\) retracts onto N, so its fundamental group splits as a semidirect product:
where \(\widetilde{N}\to N\) is the universal cover of N and \(\widehat{L}\to L\) is the induced cover of L. Note that \(\pi _{1}(hK_{{\widehat{L}}}^{\widetilde{N}})=\pi _{1}(hK_{\widehat{L}})\), since \(\widetilde{N}\) is simply connected.
The space \(hK_{\widehat{L}}^{\widetilde{N}}\) looks like a bunch of hyperbolic row-houses sitting on \(\widehat{L}\) in \(\widetilde{N}\), see Fig. 4. Note that a cover N′→N induces a cover \(hK^{N'}_{L'}\to hK^{N}_{L}\) of the same degree.
Proposition II.5
Let N be a finite complex with residually finite fundamental group and L⊂N a flag subcomplex. Let s,t be vertices of L, and let Hs and Ht denote any conjugates of the fundamental groups of components of the hyperbolized mirrors h(Ks) and h(Kt) respectively. Then we have:
-
(1)
\(\pi _{1}(hK_{{L}}^{N})\) is residually finite.
-
(2)
Hs,Ht and HsHt are separable subsets in \(\pi _{1}(hK_{{L}}^{N})\).
Proof
We first prove statement (1). Let \(\gamma \in \pi _{1}(h K_{{L}}^{N})\), γ≠1. We want to separate γ from 1 by a finite index subgroup. Let \(p: \pi _{1}(h K_{{L}}^{N}) \to \pi _{1}(N)\) denote the retraction. We have two cases:
Case 1. γ∉kerp. Then we can separate p(γ) from 1 in π1(N), which is residually finite, and take preimages.
Case 2. γ∈kerp.
Then γ lifts to a nontrivial loop \(\widehat{\gamma }\) in \(\pi _{1}(hK_{{\widehat{L}}}^{\widetilde{N}})=\pi _{1}(hK_{\widehat{L}})\), which is contained in a finite union of row houses. We think of this union as hKQ for a finite full subcomplex Q of \(\widehat{L}\). Since π1(N) is residually finite, we can choose a finite cover N′→N, so that Q projects injectively onto a full subcomplex of the induced cover L′→L.
Let γ″ denote the image of \(\widehat{\gamma }\) in \(\pi _{1}(hK_{{ L'}}^{N'})\). Then we have a commutative diagram:
By construction of Q the element \(\widehat{\gamma }\) is in the image of the top left vertical map, let \(\overline{\gamma }\) denote its preimage. The top horizontal map is injective since Q maps injectively to a full subcomplex of L′, therefore \(\overline{\gamma }\) maps to a non-trivial element γ′ in π1(hKL′). By Theorem 8.3π1(hKL′) is virtually special, hence residually finite, so we can separate γ′ from 1. Since the diagram commutes, γ′ is also the image of γ″ under the right vertical map, so taking preimages we get a finite index subgroup of \(\pi _{1}(hK_{{ L'}}^{N'})\) separating γ″ from 1. Finally, since \(\pi _{1}(hK_{{ L'}}^{N'})\) is a finite index subgroup of \(\pi _{1}(hK_{{ L}}^{N})\) and γ″ maps to γ under the bottom map, the same subgroup separates γ from 1 in \(\pi _{1}(hK_{{ L}}^{N})\).
For statement (2), we will only prove the statement for Hs, as the double coset argument is identical. We have that Hs is contained in kerp and \(\gamma \in \pi _{1}(hK_{{L}}^{N}) - H_{s}\). Again, we have two cases:
If γ∉kerp, then γ is separated from Hs by kerqp, where q is a finite quotient of π1(N) such that q(p(γ))≠1.
So, we assume that γ∈kerp. Since Hs is generated by finitely many loops, by the same argument as above we have that Hs and γ are contained in π1(hKQ) for some finite, full subcomplex Q of \(\widehat{L}\), Hence, Hs and γ map injectively with distinct images to π1(hKL′) for a certain finite cover L′ of L. The image of h(Ks) is totally geodesic in hKL′, hence the image \(H_{s}'\) of Hs is a quasiconvex subgroup of π1(hKL′). By Theorem II.1 the image γ′ can be separated from \(H_{s}'\) (or from the image of a double coset) by a finite index subgroup of π1(hKL′). This pulls back to a finite index subgroup of \(\pi _{1}(hK_{{L'}}^{N'})\) which separates γ and Hs, and the same subgroup separates γ from Hs in \(\pi _{1}(hK_{{L}}^{N})\). □
2.5 II.5 Proof of Theorem D(6)
We now prove
Theorem D(6) 1
Suppose N is a compact aspherical manifold with a flag triangulation ∂ of the boundary, and π1(N) is residually finite. Let \(\mathcal {M}\) be the result of applying the hyperbolic reflection group trick. Then \(\pi _{1}(\mathcal {M})\) is residually finite.
Proof
The manifold \(\mathcal {M}\) is a basic construction, where the seed manifold is \(h K_{{\partial }}^{N}\), the Coxeter group is \((\mathbb{Z}/2)^{{\lvert }\partial ^{(0)}{\rvert }}\), and for each s∈∂(0), the s-mirror is \(hK_{{\operatorname{Lk}s}}\). By Proposition II.5\(h K_{{\partial }}^{N}\) has residually finite fundamental group, and each component of the mirrors has separable fundamental group inside of \(\pi _{1}( h K_{{\partial }}^{N})\). The stabilizers of components of lifts of mirrors in the universal cover of \(h K_{{\partial }}^{N}\) are conjugates of these subgroups; therefore we can apply Theorem II.3 to conclude that \(\pi _{1}(\mathcal {M})\) is residually finite. □
Appendix III: Embedding octahedralizations
Recall that the octahedralization OL of a flag complex L is the complex which has 2k+1 k-simplices \(v_{0}^{\pm}*\cdots *v_{k}^{\pm}\) for each k-simplex v0∗⋯∗vk of L. Alternatively, it is the link of the special vertex in the Salvetti complex \(\bigcup _{v_{0}*\cdots *v_{k}\subset L} S^{1}_{v_{0}}\times \cdots \times S^{1}_{v_{k}}\) of the right-angled Artin group AL. In this appendix, we will sketch an alternate proof of the following result from [A+16], which is the main step in constructing low dimensional thickenings of Salvetti complexes.
Theorem III.1
[A+16]
If d≠2 and L is a d-dimensional flag complex with \(b_{d}(L;\mathbb{F} _{2})=0\), then OL piecewise linearly embeds in S2d.
From here, a “codimension three local unknotting” result of Akin [Aki69] shows that the triangulation of OL can be extended to a triangulation of the S2d, and then partially subdivided to obtain OL embedded inside a flag triangulation of S2d as a full subcomplex. That is precisely the “if” direction of Theorem 6.5.
The proof given here avoids configuration spaces in favor of van Kampen’s earlier (equivalent) approach to embedding obstructions, and clarifies the role that the moment map immersion plays in [A+16], replacing it with a special class of immersions of OL that are obtained from a generic, linear immersion of the underlying complex L by a small linear perturbation.
3.1 III.1 Classical embedding theory (van Kampen + Whitney trick)
Everywhere in this section all maps are piecewise linear and we assume that d≠2. (When d=2 things are more subtle.)
Let L be a d-dimensional complex. We want to determine whether it embeds in \(\mathbb{R}^{2d}\). To that end, start with a generic immersion \(f:L\to \mathbb{R}^{2d}\), pick orientations on all the d-simplices in L and look at the (signed) intersection numbers of images of disjoint d-simplices σ and τ in L:
This is called the intersection vector of f. The intersection vector is symmetric when d is even and anti-symmetric when d is odd, i.e. Vf,σ,τ=(−1)dVf,τ,σ.
Proposition III.2
If Vf=0 then there is an embedding of L in \(\mathbb{R}^{2d}\).
Proof idea
For disjoint d-simplices σ and τ, one cancels pairs of intersections with opposite intersection numbers using the Whitney trick (this requires d≠2). At the end, one is only left with self intersections of f(σ) and intersections between adjacent simplices. It turns out that these can be cancelled as well (but this requires extra arguments, see [vK33a] and the erratum [vK33b]Footnote 9or [FKT94]). □
So, we need ways to modify an immersion f so as to make the intersection vector equal to zero.
3.2 III.2 Finger moves
We can push a d-simplex σ with a finger to make it go around a (d−1)-simplex e. In fact, we can do this to several (d−1)-simplices or do it several times to the same simplex. In general, a function assigning an integer to every (d−1)-simplex \(\rho :C_{d-1}(L) \to \mathbb{Z}\) specifies a way to modify an immersion f on a given d-simplex σ (while keeping it fixed on all other simplices). Call the resulting immersion \(\widetilde{f}\). The effect the modification has on the intersection vector is given by the following formula
If we interchange σ and τ then (anti)-symmetry of intersection vectors gives
Finally, for a pair of simplices τ and τ′ that are both different from σ, the intersection vector is unaffected by a finger move applied to σ:
Note that ρ(∂τ)=(δρ)(τ) where δ is the coboundary operator in cohomology. So, the above formulas hint at a close connection between embedding theory and cohomology. In fact, a quick consequence is the following.
Proposition III.3
If Hd(L)=0 then L embeds in \(\mathbb{R}^{2d}\).
Proof
Fix a d-simplex σ1 in L and look at the function given by intersections with the image of the simplex \(f(\sigma _{1})\cap f(-):C_{d}(L) \to \mathbb{Z}\). Since Hd(L)=0 this function is a coboundary, i.e. f(σ1)∩f(−)=δρ for some ρ. Now, do the finger move specified by −ρ to σ1 to get a new immersion \(\widetilde{f}\) with
Now repeat for all d-simplices of L to obtain an immersion with zero intersection vector and apply the previous proposition. □
The next proposition says that on the level of intersection vectors we can get from any immersion to any other one via finger moves.
Proposition III.4
[vK33a]
For two immersions f and g there is a sequence of finger moves which changes f to an immersion with the same intersection vector as g.
Proof idea
By general position, we can assume that f and g agree on the (d−1)-skeleton of L. Since we can move between any two such immersions by modifying them one d-simplex at a time, it is enough to prove the proposition when f and g only differ on a single d-simplex σ. In that situation, there is a homotopy \(F:L\times I \to \mathbb{R}^{2d}\) with F|L×0=f and F|L×1=g and F(p,t) a constant function of t for any point p not in the interior of σ. Now, the finger move we need to do to σ is given by looking at the intersection number \(F(\sigma \times I)\cap f(-):C_{d-1}(L) \to \mathbb{Z}\). □
Example 1
The utilities graph K3,3 does not embed in the plane: Pick an immersion \(f:K_{3,3} \to \mathbb{R}^{2}\) for which ∑f(σ)∩f(τ)=1 (mod 2), where the sum is taken over all unordered, disjoint pairs of edges {σ,τ}. Note that this expression does not change if we apply finger moves to f.Footnote 10 Therefore, there is no immersion with vanishing intersection vector.
3.3 III.3 An odd fact.
The reason \(\mathbb{F} _{2}\) is special in embedding theory is because we can replace the immersion f by another immersion f′ whose intersection vector is any odd multiple of the original intersection vector:
Proposition III.5
(2k+1)Vf=Vf′ for some immersion f′.
Proof
Let \(r:\mathbb{R}^{2d}\to \mathbb{R}^{2d}\) be a reflection. The immersion r∘f has intersection vector Vr∘f=−Vf since changing the orientation of the ambient space changes the sign of the intersection number. On the other hand, there is a sequence of finger moves that takes the immersion r∘f to one with the same intersection vector as f. Algebraically this sequence of finger moves takes −Vf to Vf. Applying this sequence of finger moves to f produces an immersion with intersection vector 3Vf. Applying it to f k-times produces an immersion f′ with intersection vector (2k+1)Vf. □
Corollary III.6
If Hd(L) is finite and of odd order, then L embeds in \(\mathbb{R}^{2d}\).
Proof
Let 2k+1=|Hd(L)| be the order of the cohomology group. By the odd fact, we can choose an initial immersion f whose intersection vector is divisible by 2k+1. Then we have f(σ1)∩f(−)=(2k+1)ϕ for some cocycle \(\phi :C_{d}(L) \to \mathbb{Z}\), which implies that f(σ1)∩f(−) is a coboundary, and we can proceed as in the proof of Proposition III.3. □
3.4 III.4 Some special generic immersions for octahedralizations
All this embedding theory is very classical. It doesn’t directly help embed the octahedralization OL because Hd(OL) is never finite: The octahedralizations of top dimensional simplices give infinite order homology, and thus also cohomology, in the top dimension. The extra idea we used in [A+16] was to start with an initial immersion f:OL→S2d that is amenable to computation, namely the moment map specified by a particularFootnote 11 ordering on OL. Re-examining the proof in [A+16], we discovered that all we used was that it is a generic immersion with the following invariance property: Let π:OL→L be the projection map. Then, for any d-simplices σ,τ, and τ′ such that σ is disjoint from both τ and τ′
Given any such generic immersion, we can prove the first main result of this Appendix.
3.5 III.5 Proof of Theorem III.1
The assumption \(b_{d}(L;\mathbb{F} _{2})=0\) implies that the top cohomology of L is odd torsion, i.e. |Hd(L)|=2k+1. Let π:OL→L be the projection map. Start with an immersion of L in S2d whose intersection vector is divisible by 2k+1 and perturb it to get an immersion f:OL→S2d. Its intersection vector is divisible by 2k+1 and has the additional property (4).
Look at a d-simplex σ1 of OL. Property (4) implies that
factors through the projection to L as \(C_{d}(OL)\stackrel{\pi}{\to}C_{d}(L)\stackrel{\varphi}{\to} \mathbb{Z}\). The map φ is divisible by 2k+1 so, since |Hd(L)|=2k+1, it is a coboundary (i.e ϕ=δρ), and thus f(σ1)∪f(−)=π∗φ is a coboundary, as well. Applying the finger move −π∗ρ to σ1 we obtain a new immersion \(\widetilde{f}\) whose intersection vector is given by (2). The new immersion \(\widetilde{f}\) no longer satisfies property (4) for all σ in OL,Footnote 12 but it does so for all d-simplices σ projecting to π(σ1). (The key point here is that there is only one d-simplex lying over π1(σ1) and disjoint from σ1.) So, we can repeat the same argument for all the d-simplices projecting to π(σ1) to obtain a new immersion \(\hat{f}\) with intersection vector
The immersion \(\hat{f}\) does satisfy (4) for all d-simplices σ in OL, so we can repeat the argument for all simplices of OL, obtain an immersion with zero intersection vector and finally apply Proposition III.2 to get an embedding. This finishes the proof of Theorem III.1.
3.6 III.6 2-dimensional octahedralizations
One might wonder if there is a more natural way to embed OL in S2d. Recently Tâm Nguyễn Phan and the first author showed that the d≠2 restriction in Theorem III.1 cannot be removed.
Theorem III.7
[AP21]
For a sufficiently fine flag triangulation of the 2-complex D2∪3S1, the octahedralization O(D2∪3S1) does not PL embed in S4.
This seems to be evidence against the existence of a more natural or canonical embedding of OL in higher dimensions.
3.7 III.7 Immersions of OL via perturbation
The goal of the remainder of this appendix is to show that we don’t really need orderings or the moment map to obtain a generic immersion satisfying the invariance property (4). A small, generic, linear perturbation of a generic linear immersion of L will do!
Suppose L is linearly immersed in \(\mathbb{R}^{2d}\). For each vertex v pick a vector Xv in \(\mathbb{R}^{2d}\). For a simplex σ and subset of its vertices A, we will denote by σϵA the linear simplex in \(\mathbb{R}^{2d}\) obtained from the image of σ by moving each vertex v in A by the vector ϵXv. Denote by \(\overline{\sigma _{\epsilon A}}\) the plane spanned by this simplex.
The collection of vectors {Xv} is a generic linear perturbation of \(L \to \mathbb{R}^{2d}\) if for every pair of d-simplices σ and τ in L and partition containing their common vertices
there is an ϵ′>0 such that for each 0<ϵ≤ϵ′ the following two conditions hold.
-
\(\overline{\sigma _{\epsilon A}}\) and \(\overline{\tau _{\epsilon B}}\) are d-planes that intersect in a single point pϵ, and
-
pϵ does not lie on the boundaries of the simplicies: pϵ∉∂σϵA∪∂τϵB.
In particular, for a pair of simplices σ and τ that are disjoint in L, this is saying that their intersection in \(\mathbb{R}^{2d}\) is transverse.
It is easy to see that generic linear perturbations of generic immersions exist, and in fact form an open dense subset of all possible choices of vectors {Xv}.
Genericity has several important consequences.
-
(1)
The intersections form a half-open linear interval p[ϵ′,0) (because everything defining it is linear) converging to a point \(p_{s}\to p_{0}\in \mathbb{R}^{2d}\). In other words, there is a vector W in \(\mathbb{R}^{2d}\) such that for 0<ϵ≤ϵ′ we have pϵ=p0+ϵW. Next, pick a vertex v of τ that is not contained in A∐B and look at what happens to the intersection as we vary τϵB by moving the vertex v in the direction tXv. This varies the vector W linearly in t, i.e. we have for small enough t that
$$ \overline{\sigma _{\epsilon A}}\cap \overline{\tau _{tv\cup \epsilon B}}=p_{0}+ \epsilon (W+tV)=p_{\epsilon }+\epsilon tV $$for some vector V which can be expressed infinitesimally as
$$ V:=\frac{1}{\epsilon } \frac{d(\overline {\sigma _{\epsilon A}}\cap \overline{\tau _{tv\cup \epsilon B}})}{dt} \big\rvert _{t=0}. $$In particular, for small enough ϵ, the intersection between the planes spanned by σϵA and τϵ(v∪B) occurs at pϵ+ϵ2V.
-
(2)
There is linear isomorphism \(\pi :\overline{\sigma _{\epsilon A}}\cong \overline{\sigma }\) that identifies σϵA with σ and is bilipschitz, with bilipschitz constant tending to one as ϵ→0. The image π(p[ϵ′,0)) is a linear family in \(\overline{\sigma }\) that does not meet ∂σ, which implies there is a constant C′ such that d(π(pϵ),∂σ)>C′ϵ for all 0<ϵ≤ϵ′. The same statement holds with σϵA and σ replaced by τϵB and τ. Therefore, there is a positive constant C such that
$$ d(p_{\epsilon },\partial \sigma _{\epsilon A}\cup \partial \tau _{\epsilon B})>C\epsilon . $$(4)
Now, let P:=Pd+1 be the (d+1)-plane spanned by τϵB and τϵ(v∪B), (or, equivalently, by τϵB and Xv). Parametrize \(P\cap \overline{\sigma _{\epsilon A}}\) as a line L(s) with L(0)=pϵ and L(1)=pϵ+ϵ2V. Note that
-
for small enough ϵ it follows from (4) that L(0)∈σϵA if and only if L(1)∈σϵA.
We will need an analogous statement involving τϵB and τϵ(v∪B). To that end, note that P has linear retractions
whose Lipschitz constants are uniformly bounded as ϵ→0 and which restrict to inverse isomorphisms \(r_{2}|_{\overline{\tau _{\epsilon B}}}=r_{1}^{-1}|_{ \overline{\tau _{\epsilon (v\cup B)}}}\) identifying τϵB with τϵ(v∪B).
Lemma III.8
For small enough ϵ>0, we have L(0)∈τϵB if and only if L(1)∈τϵ(v∪B).
Proof
Note that pϵ=L(0)=r1(L(0)) and that d(r1(L(0)),r1(L(1)))≤|r1||V|ϵ2. Since |r1||V| is uniformly bounded independent of ϵ, (4) implies for small enough ϵ that pϵ is in τϵB if and only if r1(L(1)) is in τϵB. This happens if and only if r2r1(L(1))=L(1) is in τϵ(v∪B). So, we are done. □
Corollary III.9
For small enough ϵ>0, σϵA intersects τϵB if and only if σϵA intersects τϵ(B∪v). Moreover, the signs of the intersections are the same.
Proof
The bullet point and lemma above imply that for small enough ϵ we have L(0)∈σϵA∩τϵB if and only if L(1)∈σϵA∩τϵ(v∪B), which proves the first part. The second statement is clear because (for small enough ϵ and 0≤t≤ϵ) the signed intersection number \(\overline{\sigma _{\epsilon A}}\cap \overline{\tau _{tv\cup \epsilon B}}\) is defined and independent of t. □
Proposition III.10
Invariance property
Suppose \(f:L\to \mathbb{R}^{2d}\) is a generic linear immersion. Then for any generic linear perturbation {Xv} there is an ε>0 such that the linear immersion \(f_{\varepsilon}:OL \to \mathbb{R}^{2d}\) defined on vertices by v+↦f(v),v−↦f(v)+ϵXv is generic and its signed intersection numbers satisfy
whenever σ,τ and τ′ are d-simplices, τ and τ′ are disjoint from σ and π(τ)=π(τ′).
Proof
Given σ, τ and τ′ as in the statement of the proposition, fϵ(σ)=σϵA, fϵ(τ)=τϵB and fϵ(τ′)=τϵB′ for some A∐B⊃(σ∩τ)(0)⊂A∐B′. Repeatedly using the Corollary we conclude that for small enough ϵ there are equalities of signed intersection numbers
which proves the proposition. □
Remark 2
The embedding OL↪S2d produced by the methods of this appendix appears quite exotic from a metric perspective, because it starts with an immersion of OL obtained by perturbing an immersion of L. In this immersion, two vertices v+ and v− that correspond to the positive and negative directions of the loop \(S^{1}_{v}\) are put very close together, as opposed to being antipodal in the sphere S2d.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Avramidi, G., Okun, B. & Schreve, K. Homology Growth, Hyperbolization, and Fibering. Geom. Funct. Anal. 34, 303–376 (2024). https://doi.org/10.1007/s00039-024-00667-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-024-00667-w