## GROMOV POSITIVE SCALAR CURVATURE CONJECTURE AND RATIONALLY INESSENTIAL MACROSCOPICALLY LARGE MANIFOLDS

MICHA/suppress L MARCINKOWSKI

Abstract. We give the first examples of rationally inessential but macroscopically large manifolds. Our manifolds are counterexamples to the Dranishnikov rationality conjecture. For some of them we prove that they do not admit a metric of positive scalar curvature, thus satisfy the Gromov positive scalar curvature conjecture. Fundamental groups of our manifolds are finite index subgroups of right angled Coxeter groups. The construction uses small covers of convex polyhedrons (or alternatively Davis complexes) and surgery.

## 1. Introduction

Let X be a metric space and let Y be a topological space. We say that a map f : X → Y is uniformly cobounded if there exists a real number C such that diam f ( -1 ( y )) &lt; C for every y ∈ Y .

Definition 1. The macroscopic dimension of X , denoted dim mc ( X ) , is the smallest number k such that there exist a k -dimensional simplicial complex K and a continuous, uniformly cobounded map f : X → K .

Let M be a Riemannian manifold of topological dimension n , and let ˜ M be the universal cover of M with the pullback Riemannian metric. Note that since ˜ M can be given a structure of simplicial complex, dim mc ( ˜ M ) is never greater than the topological dimension.

Macroscopic dimension was defined by Gromov ([11]) in the search of topological obstructions for manifolds to admit a Riemannian metric with positive scalar curvature (briefly PSC). He conjectured that such manifolds tend to have deficiency of macroscopic dimension in the following sense

Gromov Conjecture. Let M be a closed n -dimensional manifold. If M admits a Riemannian metric of positive scalar curvature, then dim mc ( ˜ M ) ≤ n -2 .

We always assume that the metric on ˜ M is a pullback of some Riemannian metric on M . Macroscopic dimension of ˜ M does not depend on a metric chosen on M .

The n -2 in the conjecture comes from the following prototypical example: for any M n -2 , the manifold M ′ = M S × 2 admits a PSC metric. We have dim mc ( ˜ M ′ ) = dim mc ( ˜ M S × 2 ) = dim mc ( ˜ M ) ≤ n -2. Thus an inequality in the conjecture is sharp.

The work on this paper was conducted during the author's internship at the Warsaw Center of Mathematics and Computer Science. The author was supported by a scholarship of the Foundation for Polish Science and by the National Science Centre grant 2012/06/A/ST1/00259.

There is also a version of the Gromov Conjecture, called the weak Gromov conjecture, which asserts that if M admits a PSC metric, then dim mc ( ˜ M ) ≤ n -1.

The Gromov conjecture was proven for 3-dimensional manifolds ([10]) and for manifolds whose fundamental groups satisfy certain assumptions of analytical flavor ([2, 8]). In the present state of the art, the Gromov conjecture (and even its weak version) is considered to be out of reach. It implies other longstanding conjectures, e.g. the Gromov-Lawson conjecture, which asserts that no aspherical manifold admits a PSC metric.

An n -dimensional manifold M is called macroscopically large if dim mc ( ˜ M ) = n . Let us consider the following

Example 1. Let M be a closed oriented manifold, π = π 1 ( M ) , and let Bπ be a classifying space endowed with a structure of a simplicial complex. Denote by f : M → Bπ the map classifying the universal bundle. If f ∗ ([ M ]) = 0 ∈ H n ( Bπ ; Z ) , then there is a homotopy of f to some map g : M → Bπ [ n -1] . It follows, that there exist an equivariant homotopy of a lift ˜ f : ˜ M → Eπ to ˜ g : ˜ M → Eπ [ n -1] . Then ˜ g is a cobounded map, thus M cannot be macroscopically large.

One can ask if the property that a manifold M is large or not can be expressed in homological terms. To do that, let us introduce the following notions (we keep the notation from Example 1). We call M inessential if f ∗ ([ M ]) = 0 ∈ H n ( Bπ ; Z ) and rationally inessential if f ∗ ([ M ]) = 0 ∈ H n ( Bπ ; Q ). Note that M is rationally inessential if and only if f ∗ ([ M ]) ∈ H n ( Bπ ; Z ) is torsion. An example of rationally inessential but essential orientable manifold is RP 3 . Obviously dim mc ( ˜ RP 3 ) = 0, thus being essential is not enough to be macroscopically large. Gromov expected, that if M is rationally essential, then M is macroscopically large. A. Dranishnikov in [7] disproved this conjecture and found the right homology theory where one should place the fundamental class [ M ] to test if M is large just by checking if the class is non-trivial. Moreover, it is showed that [ M ] is large if and only if there exist a bounded homotopy from ˜ f : ˜ M → Eπ to some map which ranges in Eπ [ n -1] (these results are described in more details in 2.1). In [8] it is conjectured that

Rationality Conjecture. If M is rationally inessential, then it is macroscopically small.

It would imply the weak Gromov conjecture for rationally inessential manifolds. In the paper we give counterexamples to this conjecture. In terms of homotopy theory, they are rationally inessential manifolds such that ˜ f : ˜ M → Eπ can not be deformed by means of bounded homotopy to a map which ranges in Eπ [ n -1] . In the case when our manifolds are spin, we prove that they do not admit a PSC metrics. Thus they satisfy the Gromov Conjecture. If they are not spin, the conjecture is open.

Outline of the construction . Let K be an n -dimensional simple convex polyhedron, e.g. n -dimensional cube 1 . Assume that each maximal face of K is colored

1 By n -dimensional polyhedron we mean an intersection of finite number of half-spaces in the n -dimensional Euclidean space. A polyhedron K is simple if a neighborhood of every vertex of K looks like a neighborhood of a vertex in the n -dimensional symplex.

by one of n colors such that every pair of different non-disjoint faces have different colors 2 . To construct a manifold N out of K we use 'the reflection trick'. That is, we glue up 2 n copies of K along maximal faces. The way of how we glue them depends of the coloring of faces. To obtain a counterexample M to the Dranishnikov conjecture we attaching a bunch of handles and 'fill up' some loops in the connected sum N # N . This is made such that M is rationally inessential and π M ( ) is a finite index, torsion free subgroup of a Coxeter group. These properties are crucial in proving that M is macroscopically large and, if M is spin, does not admit a PSC metric.

## 2. Preliminaries

- 2.1. Homological characterisation of macroscopically large manifolds. A. Dranishnikov gave ([7]) a homological criterion one can use to detect if M is macroscopically large. We briefly discuss his result in the form we are going to use it.
- Let X be a locally finite simplicial complex. Let C lf ∗ ( X ; Z ) be the module of Z -valued simplicial chains on X . Here chains need not to be finitely supported nor bounded. The chain complex ( C lf ∗ ( X ; Z ) , ∂ ) with the standard differencial defines the locally finite homology groups H lf ∗ ( X, Z ) (see [9, Ch.11] for an exhaustive treatment of the locally finite homology). If A &lt; X is a subcomplex of X , the notion of relative locally finite homology is defined as usual by the quotient chain complex C lf ∗ ( X ; Z ) /C lf ∗ ( A ; Z ). In [7] a more general definition (with an arbitrary coefficients) of coarsely equivariant homology is given. For Z coefficients, the coarsely equivariant homology is naturally isomorphic to the locally finite homology.
- Let ˜ X be the universal cover of X with the induced simplicial structure and let π = π 1 ( X ). Recall that H ∗ ( X ; Z ) = H π ∗ ( ˜ X ; Z ), where the last group is defined by means of π -equivariant chains C π ∗ ( ˜ X ; Z ). The inclusion i : C π ∗ ( ˜ X ; Z ) → C lf ∗ ( ˜ X ; Z ) induces the so called equivariant coarsening map ec ∗ : H ∗ ( X ; Z ) → H lf ∗ ( ˜ X ; Z ).
- Theorem 1. [7, Th.2.2 and Th.4.5] Let M be an n -dimensional, oriented, closed manifold and let Γ = π 1 ( M ) . Suppose that B Γ is realised by a finite simplicial complex. Let f : M → B Γ be a map classifying the universal cover.

/negationslash

- (2) We call a homotopy H M : ˜ × I → E Γ bounded, if for some number C and every x ∈ ˜ M we have diam H x ( [ × I ]) &lt; C . On E Γ we consider any proper geodesic metric. Then M is macroscopically large if and only if there is no bounded homotopy from f to a map g : ˜ M → E Γ [ n -1] .
- (1) Then M is macroscopically large if and only if ec n f ([ M ]) = 0 ∈ H lf n ( E , Γ Z ) , where E Γ = ˜ B Γ .
- Remark 1. There is another notion of macroscopically large manifolds given by Gong and Yu. It is expressed in terms of non-vanishing of the fundamental class in the coarse homology group HX M, ∗ ( ˜ Q ) ([12, Def.8.2.2]). As it is shown in [8, Th. 4.2], this definition is equivalent to ours provided that the coefficient module is taken to be Z .
- 2.2. Small covers. The idea of a small cover of a simplicial complex is the main ingredient of the construction. They were investigated in the seminal paper of M. Davis and T. Januszkiewicz ([6]). Here we discuss the notion of a small cover and collect some facts we use later.

2 Due to Lemma 1 this assumption is not restrictive at all.

2.2.1. Basic definitions. Let L be an n -dimensional simplicial complex. By L b we denote its barycentric subdivision. By definition, it is the geometric realisation of the poset of nonempty simplices of L . It means that every ( l -1)-dimensional simplex τ ∈ L b is given by a chain τ = ( σ 1 &lt; . . . &lt; σ l ), σ i ∈ L . Let σ &lt; L be a simplex. We define the face F σ to be the geometric realisation of the poset { σ ′ ∈ L | σ ≤ σ ′ &lt; L } .

Thus F σ is a subcomplex of L b . If σ is k -dimensional, then F σ is n -k dimensional. If σ = [ v , . . . , v 0 k ], then F σ = F v 0 ∩ . . . ∩ F v k . The set of faces introduces on L a so called mirror structure. We use the notation L ∗ if we refer to L with this mirror structure. Note that if L is not a manifold, then a face need not be homeomorphic to the disc.

Let G be a Z 2 -linear space and let λ : L [0] → G . The function λ is defined on the set of vertices of L ; equivalently, it is defined on the n -dimensional faces of L ∗ . Let F be an ( n -k )-dimensional face, then F = F v 0 ∩ . . . ∩ F v k (i.e. F is dual to [ v , . . . , v 0 k ], for the unique set of vertices v i . We define G F = Span G 〈 λ F ( v 0 ) , . . . , λ ( F v k ) . 〉 We call λ a characteristic function if for each ( n -k )-dimensional face, linear dimension of G F equals k +1.

Now we define a 'cover space' associated to L ∗ and a characteristic function λ . Let p ∈ L ∗ . By F p ( ) denote the minimal face which contains p . Let C L ( ∗ ) be the cone over L ∗ . Note that C L ( ∗ ) contains L ∗ as the base of the cone. Consider the space M L = C L ( ∗ ) × G / ∼ λ , where p × g ∼ λ p ′ × g ′ if and only if p = p ′ ∈ L ∗ and g ′ -g ∈ G F p ( ) .

In this construction the copies of C L ( ∗ ) are glued along some n -dimensional faces, according to function λ . Note that on M L we have a natural G -action, which induces a quotient map p L : M L → C L ( ∗ ). If the linear dimension of G is equal to n +1, we call M L a small cover of C L ( ∗ ). For examples we advise to consult [6, Example 1.19].

Now we introduce a simplicial structure on M L . First we put on C L ( ∗ ) a simplicial structure given by L b . Since each face is a subcomplex of L b , the gluings between copies of C L ( ∗ ) are made along subcomplexes of this triangulations. Thus the simplicial structures on C L ( ∗ )'s carry to M L .

In the sequel, we will need a particular case of this construction. Let λ : L [0] → G be a characteristic function and let dim ( G ) = n +1. Let e i , i = 0 . . . n , be a basis of G . Later we simply write G = Z n +1 2 . We call λ folding on a simplex if λ v ( ) = e i for some i and every v ∈ L [0] . The name comes from the fact that such a λ defines a map f λ : L → ∆ , where ∆ is the n n dimensional simplex. Indeed, if we think of ∆ as a simplex spanned by the standard vectors e i in R n +1 , then for every v ∈ L [0] we define f λ ( v ) = λ v ( ) and extend f linearly to the whole of L .

/negationslash

Note that in this case being characteristic means that λ v ( ) = λ w ( ) if v and w are incident.

We end this section with the following lemma.

Lemma 1. Let L be an n -dimensional complex. There exists a folding on a simplex characteristic function for L b . Thus, having an arbitrary complex, we can always construct a folding on a simplex characteristic function after passing to the barycentric subdivision.

Proof. Every vertex v ∈ L b is a chain of length 1. Assume that v = ( σ ) and σ is i -dimensional. We can put λ v ( ) = e i . Indeed, if v 1 = ( σ 1 ) and v 2 = ( σ 2 ) are

connected by an edge e , then e = ( σ 1 &lt; σ 2 ) or e = ( σ 2 &lt; σ 1 ). Thus σ 1 and σ 2 have different dimensions. /square

2.2.2. Properties. Let L be a simplicial complex. The right angled Coxeter group W L associated to L is given by the presentation

$$W _ { L } = \langle L ^ { [ 0 ] } | \, v ^ { 2 }, [ v, w ] \text{ for } v, w \in L ^ { [ 0 ] } \text{ and } ( v, w ) \in L ^ { [ 1 ] } \rangle.$$

For any Coxeter group W L there exist a simplicial complex Σ W L , called the Davis complex of W L , with a proper, cocompact action of W L . The fundamental domain of the W L -action on Σ W L is simplicialy isomorphic to C L ( ). For infinite W L , the complex Σ W is contractible (see [5, ch.7]).

If λ is any function from L [0] to G , then Λ uniquely extends to a homomorphism from W L to G .

Fact 1. Let M L be a cover associated to some characteristic function λ . Then

- (1) π 1 ( M L ) = ker (Λ) is a torsion free finite index subgroup of W L .
- (2) M L is aspherical and its universal cover is homeomorphic to Σ W L .
- (3) If M S is a small cover associated to a sphere S , then it is an oriented manifold.

Proof. (1) The fact that π 1 ( M L ) = ker (Λ) is proved in [6, Col. 4.5]. To prove that π 1 ( M L ) is torsion free, assume that g ∈ π 1 ( M L ) is a nontrivial element of finite order. For T ⊂ L [0] define W T to be the subgroup of W L generated by T . In [3, Lemma 1.3] it is showed that every finite subgroup of W L is conjugate to a subgroup of finite W T , for some T . Since W T is finite, it follows that T spans a simplex in L . Indeed, otherwise W T would contain infinite dihedral group generated by non adjacent vertices. The element g generates a finite subgroup of W L and, thus there exist a simplex σ ∈ L such that g , up to conjugation, can be written in generators corresponding to the vertices of σ . Since Λ( g ) = 0, each of the generators has to appear even number of times. All the generators we used to express g pairwise commutes. Thus g = , which e gives a contradiction.

- (2) This is [6, Lemma 4.4].
- (3) This is [6, Prop. 1.7].

/square

Lemma 2. Let h : L 1 → L 2 be a simplicial map such that k -simplices are mapped to k -simplices for all k . Let G 1 &lt; G 2 be a linear inclusion of Z 2 -linear spaces and let λ L i : L [0] i → G i be characteristic functions such that λ L 1 = λ L 2 h . Then G F p ( ) = G F h p ( ( )) for every p ∈ L 1 .

Proof. Let τ p be the minimal simplex in L b 1 containing p and let τ h p ( ) be the minimal simplex in L b 2 containing h p ( ). Notice that h τ ( p ) = τ h p ( ) . Let τ p = ( σ 1 &lt; . . . &lt; σ l ) and σ 1 = [ v , . . . , v 1 s ]. Since τ p is minimal, it is contained in each face F σ which contains p . Thus σ &lt; σ 1 and F σ 1 ⊂ F σ . It means that F σ 1 is the minimal face containing p and G F p ( ) = Span G 1 〈 λ L 1 ( v 1 ) , . . . , λ L 1 ( v s ) . 〉 The same is true in L 2 ; i.e.: τ h p ( ) = h τ ( p ) = ( h σ ( 1 ) &lt; .. . &lt; h σ ( l )), where h σ ( 1 ) = [ h v ( 1 ) , . . . , h ( v s )] and G F h p ( ( )) = Span G 2 〈 λ L 2 h v ( 1 ) , . . . , λ L 2 h v ( s ) . 〉 Since λ L 1 = λ L 2 h , we have that G F h p ( ( )) = G F p ( ) . /square

Let us introduce the following notation. Recall that C X ( ) = X × I/ ∼ X , where I is the closed interval and ( x, t ) ∼ X ( y, s ) if and only if t = s = 1. Given a map h : A → B , we define C h : C A ( ) → C B ( ) by the formula C h ( a × t/ ∼ A ) = h a ( ) × t/ ∼ B .

Corollary 1. We use the notation from Lemma 2. Let w ∈ G 2 and let C h : C L ( 1 ) → C L ( 2 ) be the map induced from h to the cones. The function M h,w : M L 1 → M L 2 given by M h,w ( p × v/ ∼ λ 1 ) = C h ( p ) × ( v + w / ) ∼ λ 2 is well defined. If h is injective, then M h,w is injective.

/negationslash

/negationslash

/negationslash

/negationslash

Proof. Since M h,w is the composition of the action of w and M h, 0 , it is enough to prove Corollary for M h, 0 . The fact that M h, 0 is well defined follows from Lemma 2. Assume that h is injective. Take two different points x , x 1 2 ∈ M L 1 , let x i = p i × g / i λ 1 . We may assume that p i ∈ L 1 &lt; C L ( 1 ), otherwise injectivity is trivial. If p 1 = p 2 , then h p ( 1 ) = h p ( 2 ) and M h, 0 ( x 1 ) = M h, 0 ( x 2 ). If p = p 1 = p 2 , then g g 1 -1 2 / G ∈ F p ( ) = G F h p ( ( )) and M h, 0 ( x 1 ) = M h, 0 ( x 2 ). /square

Let L n be a simplicial complex and M L its small cover associated to λ : L [0] → Z n +1 2 . If g ∈ Z n +1 2 , then by | g | we denote the number of nonzero coordinates of | g | . Let c be a simplicial chain in the barycentric subdivision L b , i.e. c is a formal sum of simplices of L b . Note that C c ( ), the cone over c , is itself a chain in C L ( b ). We define the lift of C c ( ) to M L by M c = ∑ g ∈ Z n +1 2 ( -1) | g | ( C c ( ) × g ).

Lemma 3. Let c be a chain in L b and let σ ∈ L b × g &lt; M L for some g ∈ Z n +1 2 . Then σ does not appear in ∂M c .

Proof. Note that ∂M c = ∑ g ∈ Z n +1 2 ( -1) | g | ( ∂C c ( ) × g ). So the Lemma is clear if σ does not appear in ∂C c ( ) × g . Assume on the other hand that it appears in ∂C c ( ) × g and F is the smallest face containing σ . By the construction Stab σ ( ) = λ F ( ) and σ is glued exactly with the copies of σ contained in ∂C c ( ) × g ′ , where g ′ = g + x and x ∈ λ F ( ). Thus in M c , σ appears | λ F ( ) | = 2 k times (for some k ), the same number of times with the sign plus and minus. /square

2.3. Surgery. Let M be an ( n &gt; 3)-dimensional manifold. The boundaries of H i = S i × D n -i and H n - -i 1 = D i +1 × S n - -i 1 are homeomorphic and equal to S i × S n - -i 1 . Thus every embedding (called framing) f : H i → M defines also an embedding ∂f : ∂H n - -i 1 → M . We consider a manifold M ′ = M f H \ ( i ) ∪ ∂f H n - -i 1 where ∂H n - -i 1 is glued to ∂ M f H ( \ ( i )) by ∂f . This procedure is called a surgery of index i +1. We present sketch of a proof of the following classical lemma.

Lemma 4. Let X be a topological space and let M be a compact, oriented, n -dimensional manifold, n &gt; 3 . Assume that Γ X = π 1 ( X ) is finitely generated. Then for every map f M : M → X there exists a sequence of surgeries of index 1 and 2 , which results in a manifold M ′ such that: a) there exist a map f M ′ : M ′ → X such that π 1 ( f M ′ ) is an isomorphism, b) f M ([ M ]) = f M ′ ([ M ′ ]) .

Proof. First we modify the map f M to be an epimorphism. For this we use surgery of index 1, that is we attach handles. Let γ i be a set of loops in X which represents generators of Γ X . For each γ i we attach a handle to M . We call the new manifold M 0 . We can extend f M to f M 0 such that if we take a path which goes along the handle and connects its ends, it is mapped to γ i . The homology class of the image does not change and f M 0 is an epimorphism. Now we need to fill up some loops which are in N = ker π ( 1 ( f M 0 )). The subgroup N is normally finitely generated.

Let η i be a set of normal generators of N . Then we can perform a surgery of index 2 on M 0 along these loops, obtaining a manifold M ′ . Since images of loops are contractible in X , the map f M 0 can be extended to a map f M ′ . Moreover, the homology class does not change and f M ′ is an isomoprhism.

/square

## 3. Counterexamples

3.1. The construction. In this section we define manifolds M n k . It is done in three steps.

3.1.1. Step 1: The complex L n k . Let D 0 be an oriented ( n &gt; 3)-dimensional closed disk. Let D ,. . . , D 1 k -1 ⊂ D 0 be a collection of pairwise disjoint subspaces of D 0 homeomorphic to closed n -discs. We define a complex L = L n k to be the following space: start with D 0 \ ( intD 1 ∪ . . . ∪ intD k -1 ) and glue each boundary ∂D i , i &gt; 0, with ∂D 0 by orientation preserving homeomorphisms. Note that we have an inclusion i : ∂D 0 → L n k . The space L n k is a manifold except the singular sphere S = ( i ∂D 0 ) where we have a ramification of degree k . On S we have the orientation induced from ∂D 0 .

3.1.2. Step 2: Small covers. We pick a triangulation on L = L n k and assume that it admits a folding on a simplex characteristic function λ : L [0] → Z n +1 2 . By L ∗ we denote the complex dual to L . Moreover, assume that the restriction of λ to vertices of S is again a folding on a simplex characteristic function for the complex S , which ranges in the subspace spanned by the first n generators of Z n +1 2 . Such a triangulation exists. Indeed, having any triangulation on L we can pass to the barycentric subdivision and use the characteristic function defined in the proof of Lemma 1. It satisfies the above assumptions.

Let p L : M L → C L ( ∗ ) be the small cover defined by λ . Let p S : M S → C S ( ∗ ) be the small cover defined by λ S , where λ S is the restriction of λ to the vertices of S . Note that M S is an oriented manifold. By Corollary 1, in the complex M L we see two copies of M S . Namely they are

$$M _ { S } ^ { 0 } = C ( S ^ { * } ) \times ( \mathbf Z _ { 2 } ^ { n } \times 0 ) / _ { \sim _ { 0 } } < M _ { L } = C ( L ^ { * } ) \times \mathbf Z _ { 2 } ^ { n + 1 } / _ { \sim _ { \lambda } }$$

$$M _ { S } ^ { 1 } = C ( S ^ { * } ) \times ( \mathbf Z _ { 2 } ^ { n } \times 1 ) / _ { \sim _ { 1 } } < M _ { L } = C ( L ^ { * } ) \times \mathbf Z _ { 2 } ^ { n + 1 } / _ { \sim _ { \lambda } }.$$

By the relation ∼ i we mean the relation ∼ λ restricted to M i S . It coincides with ∼ λ S under the obvious identification with M S . The chain M 01 S = M 0 S -M 1 S is an n -dimensional cycle, thus defines a class [ M 01 S ] ∈ H n ( M L ; Z ). The signs were chosen so that M 01 S is the lift of C S ( b ) by p L , as described in the discussion before Lemma 3. We define an oriented manifold N = M 0 S #( -M 1 S ). Since M L is connected, there exists a map f N : N → M L such that the pushforward of the fundamental class equals [ M 01 S ].

3.1.3. Step 3: Surgery. Let M n k and f M n k : M n k → M L be an n -dimensional manifold and a map obtained by the procedure described in Lemma 4 applied to N and f N . From Fact 1(2) we know that M L is aspherical, thus f M n k classifies the universal cover. Moreover we have that the pushforward of the fundamental class of M n k equals [ M 01 S ].

## 3.2. M n k is a counterexample to the Dranishnikov rationality conjecture.

Lemma 5. Let S be as in the construction (Step 1). Then H n -1 ( L n k ; Z ) = Z k and [ S ] is a generator.

Proof. It follows from the Mayer-Vietors exact sequence. Let D = D 0 \ ( intD 1 ∪ . . . ∪ intD k -1 ). We have a quotient map

$$q \colon D \rightarrow L,$$

which glues the boundaries of ∂D i with ∂D 0 as in the construction. Let D k be another n -disk embedded in the interior of D . Let L · = L q intD \ ( k ). To use the Mayer-Vietoris sequence we decompose L as follows: L = L · ∪ q D ( k ).

Note that L · ∩ q D ( k ) = q ∂D ( k ) ∼ = S n -1 . The Mayer-Vietoris exact sequence reads:

We claim that L · is homotopy equivalent to the wedge of S n -1 and k -1 circles. Indeed, let γ i , i = 1 , . . . , k -1, be a collection of disjoint arcs in D intD \ k . Assume that each γ i connects a point on ∂D i with a point on ∂D 0 . The subspace X = ∂D 0 ∪ ( ∂D 1 ∪ γ 1 ) ∪ . . . ∪ ( ∂D k -1 ∪ γ k -1 ) is a deformation retract of D intD \ k . We can imagine that we start to inflate the disk D k such that at the end it fills up all the space between X . It is easy to see that the space q X ( ) is homotopy equivalent to the wedge of S n -1 and k -1 circles. Moreover, the retraction of D intD \ k to X carries down to a retraction of L · to q X ( ). This proves the claim.

$$H _ { n - 1 } ( q ( \partial D _ { k } ) ) \stackrel { i } { \longrightarrow } H _ { n - 1 } ( q ( D _ { k } ) ) \oplus H _ { n - 1 } ( L _ { \bullet } ) \stackrel { s } { \longrightarrow } H _ { n - 1 } ( L ) \\ \Big \downarrow _ { \begin{subarray} { c } H _ { n - 2 } ( q ( \partial D _ { k } ) ) \end{subarray} }$$

Thus s is an epimorphism. Let us take a closer look at i . Since L · ∼ = S n -1 ∨ S 1 ∨ . . . ∨ S 1 , we have that H n -1 ( q D ( k )) ⊕ H n -1 ( L · ) = Z . This group is generated by [ S ] = q ∗ [ ∂D 0 ]. Note that we can choose an orientation of D k such that the following holds:

$$\partial ( D \, \L D _ { k } ) = \partial D _ { 0 } + \partial D _ { 1 } + \dots + \partial D _ { k - 1 } - \partial D _ { k }.$$

After applying q to this equation we have that k S [ ] -q ∗ [ ∂D k ] = 0 in H n -1 ( L · ). To finish, we note that i ([ ∂D k ]) = q ∗ [ ∂D k ]. It follows that i is the multiplication by k , thus the Lemma.

/square

Now we are ready to prove the crucial lemma. The equivariant coarsening map ec ∗ : H ∗ ( X ; Z ) → H lf ∗ ( ˜ X ; Z ) and the locally finite homology H lf were defined in section 2.1.

Lemma 6. Let [ M 01 ] ∈ H n ( M L ; Z ) be as in the construction (Step 2). Then

S

- (1) k M [ 01 S ] = 0 ∈ H n ( M L ; Z ) .

/negationslash

- (2) ec n ([ M 01 S ]) = 0 ∈ H lf n ( ˜ M L ; Z ) .

Proof. (1) In Lemma 5 we defined D = D 0 \ ( intD 1 ∪ . . . ∪ intD k -1 ) and the quotient map

$$q \colon D \rightarrow L.$$

On D we consider the pullback simplicial structure. Let λ D be a folding on a simplex characteristic function for D defined by λ D = λq . Let p D : M D → C D ( ∗ ) be the small cover associated to λ D . By Corollary 1, the map q lifts to

$$M _ { q } \colon M _ { D } \rightarrow M _ { L }.$$

We recall the definition of this map: M p q ( × x/ ∼ λ D ) = C q ( p ) × x/ ∼ λ , for p ∈ C D ,x ( ) ∈ Z n +1 2 and C q : C D ( ) → C L ( ) is the map of cones induced by q . The complex D is oriented. The orientation defines an n -dimensional chain representing the relative to the boundary fundamental class of D . Abusing notation we call it D as well. Note that q ∗ ( ∂D ) = kS . Let M D be the lift of the chain D (for the definition see the discussion before Lemma 3).

To simplify the notation we write C D ( ) for C D ( ) × 0. Thus g.C D ( ) = C D ( ) × g , where by g.C D ( ) we denote the action of g ∈ Z n +1 2 on C D ( ). We have

$$\lambda \times \Delta / \cdots \varepsilon, \cdots \varepsilon \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \alpha \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Lambda \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \beta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta
\lambda \times \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Lambda \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \alpha \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \delta \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \D / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta /\Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta / \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \partial \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Dep \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Per \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Log \colon$$

The last equality follows from the following: the class M 01 S is the lift of C S ( ) by λ S , thus equals ∑ ( -1) | g | g.C S ( ). Hence, if we show that ∑ ( -1) | g | g.D = 0, we are done. Note that D = ∂C D ( ) -C ∂D ( ). If we sum over Z n +1 2 action, we have

$$\sum _ { g \in \mathbf Z _ { 2 } ^ { n + 1 } } ( - 1 ) ^ { | g | } g. D = \partial M _ { D } - \sum _ { g \in \mathbf Z _ { 2 } ^ { n + 1 } } ( - 1 ) ^ { | g | } g. C ( \partial D ) = 0. \\. \quad \, \quad \, \quad \, - \cdot \quad \cdot \,,$$

Indeed, if σ &lt; g.D for some g , then σ does not appear in ∑ ( -1) | g | g.C ∂D ( ) (every simplex of g.C ∂D ( ) lies inside the cone g.C D ( )) nor in ∂M D (Lemma 3). On the other hand, if σ ≮ g.D for every g , then it does not appear in ∑ ( -1) | g | g.D .

## (2) Consider the map

$$H _ { * } ( M _ { L } ; \mathbf Z ) \stackrel { e c _ { * } } { \longrightarrow } H _ { * } ^ { l f } ( \widetilde { M _ { L } } ; \mathbf Z ).$$

Let ˜ C be a lift of C L ( ) × 0 &lt; M L to the universal cover ˜ M L . By ˜ L we denote the base of the cone ˜ C . We remark that ˜ M L is the Davis complex for W L and ˜ C is a fundamental domain of the W L action. Let intC ˜ = ˜ C -˜ L .

Let ρ be the homomorphism induced by the quotient map

$$\rho _ { * } \colon H _ { * } ^ { l f } ( \widetilde { M _ { L } } ; \mathbf Z ) \to H _ { * } ^ { l f } ( \widetilde { M _ { L } }, ( i n t \widetilde { C } ) ^ { c } ; \mathbf Z ).$$

Since ˜ C is a finite complex, it is straight-forward to prove that the locally finite homology of a pair ( ˜ M , intC L ( ˜ ) c ) is isomorphic to the standard homology.

The following equality holds by the excision theorem

$$H _ { * } ( \widetilde { M _ { L } }, ( i n t \widetilde { C } ) ^ { c } ; \mathbf Z ) = H _ { * } ( \widetilde { C }, \widetilde { L } ; \mathbf Z ).$$

Of course

$$H _ { * } ( \widetilde { C }, \widetilde { L } ; \mathbf Z ) = H _ { * } ( C ( L ), L ; \mathbf Z ). \quad \cdots \cdots \cdots. \quad \cdots$$

Thus we can write that (compare with [4], where such maps were used to compute the locally finite homology of Coxeter groups)

$$\rho _ { * } \colon H _ { * } ^ { l f } ( \widetilde { M _ { L } } ; \mathbf Z ) \to H _ { * } ( C ( L ), L ; \mathbf Z ).$$

From the definition of the comparision maps we see that ρ n ec n [ M 01 S ] = [ C S ( )] ∈ H n ( C L , L ( ) ; Z ). By the long exact sequence of the pair, the boundary map δ : H n ( C L , L ( ) ; Z ) → H n -1 ( L ; Z ) is an isomorphism. Moreover, δ ([ C S ( )]) = [ S ]. By Lemma 5, the class [ S ] is nonzero in H n -1 ( L ; Z ). Thus the class ec n ([ M 01 S ]) is nonzero.

/square

Remark 2. Let H ae ∗ ( M L ; Z ) be the almost equivariant homology defined in [7]. Let ae ∗ : H ∗ ( M L ; Z ) → H ae ∗ ( M L ; Z ). For Z coefficients, ae homology is isomorphic to the Block-Weinberger uniformly finite homology of π 1 ( M L ), defined in [1]. The map ec ∗ factors through H ae ∗ ( M L ; Z ), hence ae n ( M 01 S ) is nontrivial and torsion. To our knowledge, it is the first example of torsion class in the uniformly finite homology of a group.

Now we can prove that M n k are counterexamples to the Rationality Conjecture.

Theorem 2. Manifolds M n k are macroscopically large and rationally inessential.

Proof. By Step 3 of the construction, we have that ( f M n k ) ∗ [ M n k ] = [ M 01 S ]. From Lemma 6(2), ec ∗ ([ M 01 S ]) does not vanish and f M n k classifies the universal cover. We can apply Theorem 1. Thus M n k is macroscopically large. By Lemma 6(1) we have that M n k is rationally inessential.

/square

3.3. M n k and PSC metrics. Motivating by the Gromov conjecture, we address the following question: does M n k admit a PSC metric? In this section we make a small step towards answering this question. Namely, we prove using a result of Bolotov and Dranishnikov, that if M n k is spin, then it does not admit a PSC metric. Thus we support the Gromov conjecture in this case. We show as well, that our construction provides us with many examples of such manifolds.

3.3.1. Some remarks on spin structures. Let M be an oriented n -dimensional manifold. Let P SO ( TM ) be the principal SO n bundle associated to the tangent bundle of M . A spin structure on M is a two sheeted covering of P SO ( TM ) which is connected over a fiber of P SO ( TM ). There may be many spin structures on M . Such a structure exists if and only if the second Stiefel-Whitney class w 2 ( M ) vanishes. Let f : S i × D n -i → M be an embedding. One can always pick a framing f such that a given spin structure on M extends uniquely from M f S \ ( i × D n -i ) to the result of the surgery with respect to f . Since S i × D n -i admits an unique spin structure for i = 1, the choice of f is important only if i = 1.

/negationslash

Lemma 7. Let S be a triangulated n -dimensional sphere and λ : S [0] → Z n +1 2 be a folding on a simplex characteristic function. Let p : M S → C S ( ∗ ) be the small cover associated to λ . Then w i ( M S ) = 0 for i &gt; 0 . In particular, M S is orientable and spin.

Proof. By [6, Cor. 6.10, Lemma 1.14] (compare as well [3, Prop. 1.4]) M S is stably parallelizable, i.e.: TM S ⊕ /epsilon1 r = /epsilon1 s for some r, s ≥ 0, where TM S is the tangent bundle of M S and /epsilon1 is the trivial bundle. Let w = ∑ i ≥ 0 w i be the total StiefelWhitney class. In the following we use the Whitney product formula and the fact that w /epsilon1 ( s ) = 1 ∈ H 0 ( M S ; Z 2 ):

$$w ( \epsilon ^ { r } ) = w ( T M _ { S } \oplus \epsilon ^ { s } ) = w ( T M _ { S } ) \cup w ( \epsilon ^ { s } ) = w ( T M _ { S } ).$$

By definition w M ( S ) = w TM ( S ), thus w i ( M S ) = w i ( /epsilon1 r ) = 0 for i &gt; 0. /square

Corollary 2. Assume that the surgery we use in Step 3 of the construction allows us to extend spin structures. Then M n k is spin.

Proof. From Lemma 7 follows that M S is spin. A manifold N = M 0 S #( -M 1 S ) is spin as a connected sum of spin manifolds (surgery of index 1). The manifold M n k is the result of the surgery on N , which was arranged such that M n k is spin. /square

3.3.2. Positive scalar curvature. The crucial result which we use here is a theorem due to D. Bolotov and A. Dranishnikov

Theorem 3. [2, Col.4.4] The Gromov Conjecture holds for spin n-manifolds M , having the cohomological dimension cd π ( 1 ( M )) ≤ n +3 , and satisfying the Strong Novikov Conjecture.

Theorem 4. If M n k is spin, then it does not admit a Riemannian metric of positive scalar curvature.

Proof. We check that the assumptions of Theorem 3 are satisfied. It is well known that subgroups of Coxeter groups satisfy the Baum-Connes conjecture, which implies the Strong Novikov Conjecture. The inequality for cd π ( ) follows from the fact that M L is a classifying space of π , so cd π ( ) ≤ dim M ( L ) = n +1. We already know that M n k is macroscopically large, thus by Theorem 3, M n k can not admit a metric of positive scalar curvature. /square

## 4. Further examples

In this section we describe a construction of rationally inessential macroscopically large manifolds which generalizes that from Section 3.1. Instead of working with small covers, we start with a Davis complex. Then we find an appropriate subgroups of right angled Coxeter groups and pass to quotients.

Let X be a simplicial complex. By W X we denote the right angled Coxeter group associated to X (as in 2.2.2) and by Σ X its Davis complex. By g ∈ W X , l ( g ) we denote the minimal number of generators one needs to express g . Let W + X &lt; W X be the subgroup of elements whose Coxeter length is even. We assume all complexes to be flag and associated Coxeter groups to be infinite. The usual fundamental domain of the action of W X on Σ X is homeomorphic to C X ( ) and is called the Davis cell.

Let S &lt; L be a pair of compact simplicial complexes. We assume that S is an oriented null-bordant manifold such that [ S ] ∈ H L ( ; Z ) is a nontrivial k -torsion

class. Moreover, S can be of codimension bigger than one in L , but we assume that S is at least 3-dimensional. Let D be a simplicial chain in L such that ∂D = kS .

The inclusion S &lt; L induces an inclusion on the level of Davis complexes: Σ S &lt; Σ . L Let Γ S and Γ L be finite index torsion-free subgroups of W + S and W + L such that Γ S &lt; Γ L and Γ L ∩ W S = Γ . S E.g. Γ S and Γ L can be taken to be the derived subgroups of W S and W L , respectively (the derived subgroup of a right angled Coxeter group is torsion free, the proof is analogous to that of Fact 1(1)). Then Γ S and Γ L act freely, orientation preserving and cocompactly on Σ S and Σ L , respectively. The group Γ L in this construction plays the role of π 1 ( M L ).

Notice that Σ L considered as a Γ S space, is a classifying bundle of Γ S . Since Σ S &lt; Σ L is Γ -invariant (here we use the assumption that Γ S S &lt; W + S ), it defines a class [Σ S / Γ ] S ∈ H ∗ (Σ L / Γ ; S Z ) = H ∗ (Γ S ; Z ).

Lemma 8. The class [Σ S / Γ ] S ∈ H ∗ (Γ S ; Z ) can be represented as a pushforward of the fundamental class of a manifold.

Proof. First, we consider the Davis cell C S ( ). By the assumption S is null-bordant, thus there exists a manifold B such that S = ∂B . The link of the apex of the cone C S ( ) is S , thus we can truncate the apex and glue in the manifold B , getting rid of the singularity. Now we take care of Σ S . The only points of Σ S which have noneuclidean neighborhoods are apexes of translates of the Davis cell. The group Γ S acts on Σ S freely and cocompactly. Thus the quotient Σ S / Γ S &lt; Σ L / Γ S is compact and is a manifold except apexes of cones. We can do the above surgery for every apex of Σ S / Γ . S We obtain a manifold, denote it by M S , together with a map g : M S → Σ L / Γ , which collapses just glued copies of S B again to apexes of appropriate cones. We have that g ∗ ([ M S ]) = [Σ S / Γ ] S ∈ H ∗ (Γ S ; Z ). /square

Define a chain α = Σ g ∈ W L ( -1) l ( g ) g. Σ . S It is a Γ L -equivariant chain because Γ L &lt; W + L . Thus it defines a class β = [ α/ Γ ] L ∈ H ∗ (Γ L ; Z ). Since Γ L ∩ W S = Γ S , the class β is a finite disjoint sum of ± Σ S / Γ S and it plays the role of M 01 S . The number of components in this sum equals [ W L : Γ ] L / W [ S : Γ ]. S Indeed, Σ S / Γ S consists of [ W S : Γ ] cones S C S ( ) and α/ Γ L consists of [ W L : Γ ] cones (in Section L 3.1 it was 2 = 2 n +1 / 2 n ). By Lemma 8, β is represented by a connected sum of manifolds ± M S . Denote this connected sum by N . The rest of the construction is the surgery procedure described in Step 3 of 3.1. We call the resulting manifold M L,S ( ).

Theorem 5. The manifold M L,S ( ) is rationally inessential and macroscopically large.

Proof. The proof of Lemma 6 goes through essentially without changes. Namely, the assumption that kS is the boundary of D allows to carry out the computations as in Lemma 6(1). The only difference is that we replace q ∗ ( M D ) with the lift of D to Σ L / Γ . That is, with L ∑ r ∈ R ( -1) l ( r ) r.C D ( ), where R is a set of representatives of the cosets of Γ L in W L . As well, Lemma 3 admits a straightforward generalisation to the situation when we lift a chain to a cover of C L ( ) of the form Σ L / Γ . L In Lemma 6(2) we really work with the universal cover of M L , which is the Davis complex for L . /square

Remark 3. The advantage of using small covers to construct our examples, except their intrinsic beauty, gives us a better insight into the (co)homology ring of M n k and possible spin structures. They are the simplest possible examples to deal with.

This paper leaves the following question open.

Question. Does M L,S ( ) admit a PSC metric? In particular, does M n k with no additional assumptions on Step 3, see 3.3.1, admit a PSC metric?

Acknowledgements. I wish to thank Tadeusz Januszkiewicz for his constant help and guidance throughout this project and Alexander N. Dranishnikov for helpful discussions and comments. I am also indebted to ´ wiatos/suppress law Gal and /suppress Lukasz GarS ncarek for their help in improving the presentation of the paper, and the anonymous referee for pointing out simpler proof of Lemma 7.

## References

- [1] Block, J., and Weinberger, S. Aperiodic tilings, positive scalar curvature and amenability of spaces. J. Amer. Math. Soc. 5 , 4 (1992), 907-918.
- [2] Bolotov, D. V., and Dranishnikov, A. N. On Gromov's scalar curvature conjecture. Proc. Amer. Math. Soc. 138 , 4 (2010), 1517-1524.
- [3] Davis, M. W. Some aspherical manifolds. Duke Math. J. 55 , 1 (1987), 105-139.
- [4] Davis, M. W. The cohomology of a Coxeter group with group ring coefficients. Duke Math. J. 91 , 2 (1998), 297-314.
- [5] Davis, M. W. The geometry and topology of Coxeter groups , vol. 32 of London Mathematical Society Monographs Series . Princeton University Press, Princeton, NJ, 2008.
- [6] Davis, M. W., and Januszkiewicz, T. L. Convex polytopes, Coxeter orbifolds and torus actions. Duke Math. J. 62 , 2 (1991), 417-451.
- [7] Dranishnikov, A. N. On macroscopic dimension of universal covering of closed manifolds. Tr. Mosk. Mat. Obs. 74:2 (2013), 279-296.
- [8] Dranishnikov, A. N. On Gromov's positive scalar curvature conjecture for duality groups. J. Topol. Anal. 6 , 3 (2014), 397-419.
- [9] Geoghegan, R. Topological methods in group theory , vol. 243 of Graduate Texts in Mathematics . Springer, New York, 2008.
- [10] Gromov, M., and Lawson, Jr., H. B. Positive scalar curvature and the Dirac operator on complete Riemannian manifolds. Inst. Hautes Etudes Sci. Publ. Math. ´ , 58 (1983), 83-196 (1984).
- [11] Gromov, M. L. Positive curvature, macroscopic dimension, spectral gaps and higher signatures. In Functional analysis on the eve of the 21st century, Vol. II (New Brunswick, NJ, 1993) , vol. 132 of Progr. Math. Birkh¨user Boston, Boston, MA, 1996, pp. 1-213. a
- [12] Nowak, P. W., and Yu, G. Large scale geometry . EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z¨rich, 2012. u

Uniwersytet Wroc/suppress lawski &amp; Instytut Matematyczny Polskiej Akademii Nauk, Warszawa E-mail address : marcinkow@math.uni.wroc.pl
Michał Marcinkowski
Gromov positive scalar curvature conjecture and rationally inessential macroscopically large manifolds
We give the first examples of rationally inessential but macroscopically
large manifolds. Our manifolds are counterexamples to the Dranishnikov
rationality conjecture. For some of them we prove that they do not admit a
metric of positive scalar curvature, thus satisfy the Gromov positive scalar
curvature conjecture. Fundamental groups of our manifolds are finite index
subgroups of right angled Coxeter groups. The construction uses small covers of
convex polyhedrons (or alternatively Davis complexes) and surgery.