Arxiv:1907.03135V4 [Math.DG] 12 May 2021 Enlargeable Length

arXiv:1907.03135v4 [math.DG] 12 May 2021 tutr.Then structure. and manifold X hoe B. Theorem hoe A. Theorem later. given be ygoercmaueter n iia ufcsmtosin methods surfaces minimal and theory measure geometric by edfie o eghmti pcsadtemp nyrqiet exis the require to positive only obstruction new and maps a [Gro18], the Theorem) Sp (SLB and Gromov’s Theorem spaces with length-structures metric enlargeable length Combining for defined be hyrlxdtesi supini iesosls hn8in 8 than manifold less the dimensions that showed in Yau and G assumption Schoen Recently, methods, spin index theory the on index relaxed based on they obstruction Based an as enlargeability project. c introduced ongoing non-simply closed an a is on ifold (PSC-metric) curvature scalar tive eda least at need saycoe retdsmooth oriented closed any is cikue conadYusrslst hwta lsdenl closed a that [CS21]. show in to PSC-metric results any Yau’s carry cannot and Schoen used Schick n ohelreblte etoe bv r endo Rieman on defined are above mentioned enlargeabilities Both are oPCmtisi t nagal length-structur enlargeable its in PSC-metrics no carries h erhfrosrcin oteeitneo Riemannian a of existence the to obstructions for search The rirr iesosbsdo h anrsl farcn pap recent a of result main the Yau. and on r based man the dimensions closed Moreover, arbitrary of length-structure. examples are Riemannian w metric enlargeable CAT(0)-metric Riemannian locally a a cu to with equivalent scalar manifolds positive smooth with closed metrics closed that Riemannian a no c of carries arbitrary sum an ifold with connected length-structure the Riemannian that largeable show then and clmnflsadso h opcl nagal length-s existence. enlargeable its compactly of the obstructions show and manifolds ical nagal eghsrcue n Scalar and Length-structures Enlargeable edfietepositive the define We edfieelrebelnt-tutrso lsdtopologi closed on length-structures enlargeable define We MV C M 1 sotns o h as eea nagal length-struc enlargeable an Here maps. the for -smoothness Let Let N n saa curvature -scalar n eacoe aiodwt nelrebeReana length- Riemannian enlargeable an with manifold closed a be # X N M n n n (2 (2 osntamtaPSC-metric. a admit not does ≤ .Introduction 1. ≤ n MV n n ≤ mnfl and -manifold Curvatures iln Deng Jialong ≤ saa uvtr ncoe retbetopolog- orientable closed on curvature -scalar Sc 8) Abstract 8) MV eacoe retbesot aiod then manifold, smooth orientable closed a be ea rirr lsdoine smooth oriented closed arbitrary an be 1 nacoe aiodi ie.Dtiswill Details given. is manifold closed a on T n satrs hn eciiand Cecchini Then, torus. a is N n # n mnfl iha en- an with -manifold T n hoyi G8] Later, [GL80]. in theory eia isht Bound Lipschitz herical oe mohman- smooth losed netdsot man- smooth onnected es. are oPSC-metrics no carries vtr.W show We rvature. sl scretin correct is esult rcue r the are tructures ec fPSC-metrics of tence ihi strongly is hich oo n Lawson and romov G8,scin12]. section [GL83, flswt an with ifolds a manifolds cal S1] where [SY17], rb Schoen by er rebemanifold argeable inmtisand metrics nian ercwt posi- with metric econtinuous. be o uewill ture N n n - Remark 1.1. In fact, N n#M n does not admit a complete uniformly PSC-metric for any oriented manifold N n (2 n 8). ≤ ≤ n n MV n Theorem C. If (X , d, d ) (n 8) satisfies Sc (X ) κ > 0, then d is not in any compactly enlargeableH length-structures≤ on the closed≥ oriented topological manifold X. Based on Schoen and Yau’s argument [SY17], Gromov proved the SLB Theorem [Gro18, Section 3] for any dimensions. Similarly, another consequence of [SY17] is that theorems A and B are also true in higher dimensions. n n Theorem B′. If N is an arbitrary closed oriented smooth n-manifold and X is a closed manifold with an enlargeable Riemannian length-structure, then N n#Xn carries no PSC-metrics. In particular, if M n is a closed manifold with an enlargeable Riemannian length- structure containing a locally CAT(0)-metric, then N n#M n does not admit a PSC- metric. Remark 1.2. Gromov also stated the result which said that a closed spin manifold with a locally CAT(0)-metric carries no PSC-metrics without proof in [Gro19, Section 4.1.2]. Theorem B′ supports Gromov’s assertion.

Remark 1.3. Though Theorem B′ is similar to Cecchini and Schick’s Theorem A [CS21] and the starting point of the proofs is Schoen and Yau’s new results [SY17], the techniques of the proofs are diﬀerent. Cecchini and Schick’s proof used the standard constructions from geometric measure theory, especially, no symmetrization and no manifolds with boundary, whereas the proof of Theorem B′ is an application of Gromov’s Spherical Lipschitz Bound Theorem that uses these two ingredients.

Historical remark. Theorem B′ is also inspired by an open conjecture that a closed aspherical manifold does not admit a PSC-metric. Kasparov and Skandalis [KS03] used KK-theory to prove the strong Novikov conjecture for CAT(0)-group, implying that any locally CAT(0)-manifold carries no PSC-metrics. The fact that a closed Riemannian manifold with non-positive sectional curvature is enlargeable is well-known since Gromov and Lawson first proposed the definition of enlargeable manifolds [GL80]. Riemannian metrics with non-positive sectional curvature (non-positive curvature metric) are locally CAT(0)-metrics. If a manifold of dimension 2 or 3 admits a locally CAT(0)-metric, then it also admits non-positive curvature metrics, according to the classic surface theory and the Thurston-Perelmann Geometrization Theorem [DJL12, Proposition 1]. But there is a difference between locally CAT(0)-metrics and non-positive curvature metrics in dimensions 4. Aravinda and Farrell [AF94] showed that the ≥ existence of non-positive curvature metric is not a homeomorphism invariant in general, but the existence of a locally CAT(0)-metric is homeomorphism invariant. The existence of a non-positive curvature metric depends on that of the smooth structure. Furthermore, locally CAT(0)-manifolds which do not support a smooth structure in dimensions 5 were constructed by Davis and Hausmann [DH89]. ≥ Aspherical n-manifolds (n 4) that are not covered by Euclidean space were first constructed by Davis [Dav83].≥ Davis, Januszkiewicz and Lafont [DJL12] constructed a closed smooth four-dimensional manifold M 4, which supports locally 4 4 CAT(0)-metrics and whose universal cover M is diffeomorphic to R , but π1 is not isomorphic to the fundamental group of any compact Riemannian manifold g

2 with non-positive curvature. In dimensions 5, Davis and Januszkiewicz [DJ91, (5b.1) Theorem] constructed a topological≥ locally CAT(0)-manifold, whose universal cover is not homeomorphic to Rn. They also constructed a smooth locally CAT(0)-manifold whose universal cover is homeomorphic to Rn, but the bound- n 1 ary at infinity is distinct from S − in (5c.1) Theorem. Furthermore, those locally CAT(0)-metrics in (5c.1) Theorem are strongly equivalent to the length metrics induced by Riemannian metrics since they come from simplicial metrics for the smooth triangulations of the smooth manifold and the hyperbolization of polyhedra. More examples of those kind of exotic aspherical manifolds can be found in [ADG97] and [DJL12, Section 3]. Therefore, the connect sum of a closed n-manifold and Davis’s exotic aspherical n-manifold for n 8, as new examples be detected by our methods, carries no PSC-metrics. ≤ Remark 1.4. Let M n (n 5) be the locally CAT(0)-manifold with center-free fundamental group, whose universal≥ cover is distinct from Rn, as above-mentioned, and N be an arbitrary closed locally CAT(0)-manifold with center-free fundamental group, then the product M n N is a locally CAT(0)-manifold, which does not × support any non-positive curvature metrics. Otherwise, if M n N carries a non- positive curvature metric, then, by Lawson-Yau’s splitting theorem× [LY72], M n N × is homeomorphic to M1 N1 such that M1 and N1 are endowed with non-positive × n curvature metrics and π1(M1) = π1(M ) and π1(N1) = π1(N). And then we use the proof of Borel conjecture for Riemannian manifold with non-positive sectional curvature by Farrell and Jones [FJ93] [FJ91] to show that M1 is homeomorphic to n M . Thus, M1 also admits the locally CAT(0)-metric such that the universal cover is distinct from Rn. That is a contradiction. More details of the proof can be found in [DJL12, Proposition 2]. Furthermore, using Davis’s construction, Sapir [Sap14, Corollary 1.2] firstly cre- ated closed aspherical topological n-manifolds (n 4) whose fundamental groups coarsely contain expanders and the aspherical n-manifold≥ can be smooth if n ≥ 5. Thus, Sapir’s aspherical manifolds have infinite asymptotic dimension, are not coarsely embeddable into a Hilbert space, do not satisfy G. Yu’s property A, do not satisfy the Baum-Connes conjecture with coefficients. Using Davis’s construction and Sapir’s techniques, Osajda constructed closed aspherical topological n-manifolds (n 4) whose fundamental groups contain coarsely embedded expanders in [Osa20, ≥ Corollary 3.5]. Therefore, Sapir’s and Osajda’s aspherical n-manifolds (n 8) do not admit PSC-metrics by our results. ≤ The paper is organized as follows: In Section 2, we define enlargeable length- structures and prove Theorems A and B′. In Section 3, we define the positive MV - scalar curvature on closed orientable topological manifolds and show the compactly enlargeable length-structures are the obstructions of its existence. Acknowledgment: The author thanks Thomas Schick for the stimulating con- versations, Simone Cecchini for his linguistic assistance during the preparation of this manuscript, the referee’s detailed comments, and China Scholarship Council for its funding. I learned F. Thomas Farrell and his coauthor’s results from his inspirational courses in Yau Center (in Tsinghua University). The note is dedicated to Professor F. Thomas Farrell’s 80th birthday.

3 2. Enlargeable length-structures, PSC-metrics and locally CAT(0)-metrics

A metric space (X,d) is a length metric space if the distance between each pair of points equals the infimum of the lengths of curves joining the points. A closed topological manifold admits length metrics [Bin53]. Metrics induced by smooth Riemannian metrics on a closed smooth manifold are length metrics and any two such length metrics are strongly equivalent, i.e. for any length metrics d and d′, there exists a c,C > 0 such that cd d′ Cd. Moreover, length metrics can be induced by continuous Riemannian metrics≤ ≤ on a closed smooth manifold [Bur15]. However, unlike Riemannian metrics on compact smooth manifolds, different length metrics may not be strongly equivalent to each other. For instance, two length metrics, among which one is induced by a Riemannian metric and the other by a Finsher metric, are topologically equivalent, i.e. they induce the same topology, but there may not be strongly equivalent in general. If π : Xˆ X is a covering map, then length metrics, being local, lift from X to → Xˆ. Furthermore, every length metric d on X lifts to a unique length metric dˆ for which the covering map is a local isometry. A topological manifold X endowed with a complete length metric is called ε- hyperspherical if it admits a continuous map f to Sn (n = dim(X)) which is constant at infinity, of non-zero degree and such that

d n (f(a), f(b)) Lip(f) := sup S < ε. a=b dX (a, b) a,b6 ∈X

Here constant at infinity means that there is a compact subset such that f maps the complement of the compact subset to a point in Sn and Sn is endowed with standard round metric. From now on, Sn is also a length metric space induced by the standard round metric dSn . Definition 2.1 (Enlargeable length-structures). A length metric d on a closed orientable n-dimensional topological manifold Xn is said to be enlargeable if for each ε> 0 there is an oriented covering manifold Xn endowed with the induced metric d that is ε-hyperspherical. An enlargeable length-structure on Xn isg a strongly equivalent class of an en-e largeable metric. An enlargeable Riemannian length-structure on a closed orientable smooth manifold is an enlargeable length-structure that contains a length metric induced by a Riemannian metric on the manifold. The length metric induced by a Riemannian flat metric on T n is an enlargeable metric and T n endowed with this enlargeable length-structure is an important example of the manifolds with an enlargeable length-structure. Enlargeable length- structures can also be defined on a closed non-orientable manifold by lifting the metric onto the orientation cover. Remark 2.2. The enlargeable length-structure may be used to deal with positive scalar curvature in the metric geometry setting. For instance, the definition of scalar curvature for length metrics was given in [Ver18].

4 Besides, the existence of a PSC-metric depends on the smooth structure. Trying to use length structure to study the PSC-metrics in Riemannian geometry, we deﬁne the enlargeable Riemannian length-structure. Question 2.3. Is there a closed topological manifold with two diﬀerent enlargeable length-structures? In particular, is there an enlargeable length-structure on closed smooth manifold such that the manifold does not carry an enlargeable Riemannian length-structure? Remark 2.4. The following Lemma 2.11 shows that a locally CAT(0)-metric is enlargeable only on the assumption that it is strongly equivalent to a Riemannian metric. Especially, the example from the introduction of a non-smoothable manifold with a locally CAT(0)-metric is not known to be enlargeable. Property 2.5 (Properties of the enlargeable metric).

(1) Let (X,dX ) and (Y,dY ) be closed orientable manifolds with length metrics and suppose there exists a Lipschitz continuous map F : (X,dX ) (Y,dY ) of → non-zero degree. If dY is an enlargeable metric on Y , then so is dX . (2) The product of two enlargeable metrics is an enlargeable metric. Proof. Suppose that Y Y is a covering space and Y is ε-hyperspherical, i.e. it → admits a continuous map f : Y Sn (n = dim(Y )) that is constant at infinity, of non-zero degree and suche that Lip(→ f) <ε. Let X Xebe the covering correspond- 1 e → ing to the subgroup F − (π1(Y )) and X be endowed with the induced metric dX , f then F can be lifted to∗ a proper map F : X Y , which is still a continuous map e f → f with Lipschitz constant Lip(F ). It implies the map f F is constant at infinity, e f e ◦ Lip(f F ) < Lip(F )ε and of non-zero degree. Thus dX is an enlargeable metric on ◦ e X. The facte that the composed map Sn Sm Sn Sm Sn+m × → ∧ → is Lipschitz continuity and non-zero degree implies (2). The following two corollaries are immediate consequences of Property 2.5. Corollary 2.6. If a closed manifold X carries an enlargeable length-structure, then X S1 still carries an enlargeable length-structure. × Corollary 2.7. Let (X,dX ) be a closed smooth manifold, where dX is induced by a Riemannnian metric, and (Y,dY ) be another manifold, where dY is in the enlargeable length-structure. Suppose there exists a Lipschitz continuous map F : (X,dX ) (Y,dY ) of non-zero degree, then X carries an enlargeable Riemannian → length-structure. Theorem 2.8 (SLB Theroem [Gro18]). If the scalar curvature of a (possibly in- complete) Riemannian n-manifold Xn (2 n 8) is bounded from below by n(n 1), then for all continuous maps f from Xn to≤ the≤ sphere Sn that are constant at infinity− C n and of non-zero degree, they hold that Lip(f) > √nπ . Here S is endowed with the 1 standard round metric and C > 3 . Question 2.9. Let (N n,g) be a complete Riemannian n-manifold (compact or non- compact) with scalar curvature bounded below by n(n 1). Let f be a continuous map from N n to the sphere Sn with standard round metric− of non-zero degree that is constant at infinity. Is Lip(f) bounded from blow by one?

5 Remark 2.10. A positive answer to Question 2.9 would allow us to also cover Llarull’s rigidity theorems [Lla98, Theorem A and B], Lohkamp’s results [Loh18], and their remarkable corollaries. Gromov aimed to improve the lower bound of the Lipschitz constant in [Gro18, Section 3] and discussed that the Lipschitz bound would be 1. Here, the existence of a uniformly positive lower bound of the Lipschitz constant is used as the main tool to detect the obstruction to the existence of PSC-metrics. Proof of Theorem A. Assume Xn carries an enlargeable length-structure, there exists a length metric d such that one orientable covering (Xn, d˜) is ε-hyperspherical (ε small enough). If Xn admits a PSC-metric g in the enlargeable length-structure, then the Lipschitz constant of all maps (maps are constantg at infinity and non-zero degree) from (Xn, g˜) to Sn has a uniformly positive lower bound C by the SLB The- orem. Besides, there are positive constants α1 and α2 such that α1d dg α2d by g ≤ ≤ the definition of enlargeable length-structure, where dg is the induced metric by g on Xn. Then the Lipschitz constant of the map from (Xn, d˜) to Sn has the uniformly lower bound α1C, which contradicts the ε-hypersphericity. g Let (X,dX ) be a length space. A geodesic triangle in X with geodesic segments as its sides is said to satisfy the CAT(0)-inequality△ if it is slimmer than the comparison triangle in the Euclidean plane, i.e. if there is a comparison triangle ′ △ in the Euclidean plane with sides of the same length as the sides of such that the distance between points on is less than or equal to the distance△ between corre- △ sponding points on ′. A length metric d on X is said to be a locally CAT(0)-metric △ if every point in X has a geodesically convex neighborhood, in which every geodesic triangle satisfies the CAT(0)-inequality. A locally CAT(0)-manifold is a topological manifold endowed with a locally CAT(0)-metric. Gromov generalized the classic Hadamard-Cartan theorem to locally CAT(0)-manifolds [BGS85]: the universal cover of a locally CAT(0)-manifold endowed with the induced metric is a globally CAT(0)-manifold, i.e. every two points can be connected by a unique geodesic line and every geodesic triangle on it satisfies the CAT(0)-inequality. Thus a locally CAT(0)-manifold is aspherical, i.e. its universal cover is contractible. Lemma 2.11. A locally CAT(0)-metric which is strongly equivalent to a Rieman- nian metric on a closed smooth manifold is an enlargeable metric. Proof. Let (M n,d) be the closed n-dimensional smooth locally CAT(0)-manifold, then its universal cover (M n, d˜) is a globally CAT(0)-manifold by Gromov’s Theo- rem. Consider the map g n n ft : M M x γx(td˜(x, x )), → → 0 g n g where x is a fixed point in M , t (0, 1] and γx is the unique geodesic segment 0 ∈ from x to x0. It is well-defined by the property of globally CAT(0)-manifolds and g is a proper map such that the degree of ft is non-zero. By the CAT(0)-inequality applied to the geodesic triangle with endpoints x, y and x0, one gets

d˜(ft(x), ft(y)) tdR2 (x, y)= td(x, y) ≤ n for x, y M . Therefore, Lip(ft) t. ∈ ≤ g 6 n ˜ n Let π : (M , d) S be a collapse map around x0. Then the degree of π is 1 and Lip(π) C by→ the smoothness of π, the fact that d is strongly equivalent g≤ n n n to a Riemannian metric and the compactness of M . Thus, π ft : M S ◦ → has non-zero degree and Lip(π ft) tC. For any small ε > 0, we can choose t such that (M n, d˜) is ε-hyperspherical.◦ ≤ That means that a manifold endowedg with a locally CAT(0)-metric is enlargeable. g Remark 2.12. The assumption that the locally CAT(0)-metric is strongly equivalent to a Riemannian metric is used in the argument of Lip(π) C. It is not clear if the condition can be dropped for Lemma 2.11. ≤

Proof of Theorem B′. Combining Lemma 2.11, Corollary 2.7, and the fact of the strong equivalence of all Riemannian metrics on a closed smooth manifold, we con- clude Theorem B′.

3. ScMV κ ≥ To generalize the notion of PSC-metrics to non-Riemannian metric space, for example to piecewise smooth polyhedral spaces, Gromov [Gro19, Section 5.3.1] defined the max-scalar curvature Scmax as follows: Definition 3.1 (Gromov). Given a metric space P which is locally compact and max locally contractible, and a homology class h Hn(P ) defines Sc (h) as the supre- mum of the numbers σ 0, such that there∈ exists a closed orientable Riemannian n-manifold X with Sc(X≥) σ and a 1-Lipschitz map f : X P , such that the ≥ → fundamental homology class [X] goes to h, f [X] = h. Here Sc(X) is the scalar ∗ curvature of X and 1-Lipschitz map f means Lip(f) 1. ≤ Remark 3.2. The definition makes sense without assuming σ 0. But if an h ≥ ∈ Hn(P )(n 3) can be represented by the fundamental homology class [X], then we ≥ always have Scmax(h) 0. Since a closed orientable smooth n-manifold (n 3) admits Riemnanian metrics≥ with constant negative scalar curvature by Kazdan-≥ Warner theorem [KW75], then one can scale the metric such that the Lipschitz constant is small and the scalar curvature is closed to 0. Though Scmax([X]) inf Sc(X, x) for all closed Riemannian manifold X as ≥ x observed by Gromov, the positivity of the max-scalar curvature cannot imply that it carries a PSC-metric in general. For instance, let Σ be the exotic sphere which does not admit PSC-metrics, whose existence was showed by Hitchin in [Hit74], and gΣ be a Riemanniam metric on it. Then one can scale the round metric on the standard sphere such that the Lipschitz constant of the identity map is smaller than 1. Thus one has Scmax([Σ]) > 0, but Σ does not admit PSC-metrics. Furthermore, let (N,gN ) be a closed oriented Riemannian manifold with a PSC- metric gN and M be a closed oriented smooth manifold. Assume that there exists a degree one smooth map f : N M, then one gets Scmax([M]) 0 with an arbitrary smooth Riemannian metric→ g on M. That means Scmax([M≥]) 0, even ≥ when the scalar curvature of (M,g) is 1. Therefore, the definition of the max-scalar− curvature on a metric space needs to be improved. Gromov also proposed the n-volumic scalar curvature on metric measure spaces in [Gro17, Section 26]. The n-volumic scalar curvature may be too

7 general to be useful, for more discussion see [Den21]. The following definition is trying to mix the max-scalar curvature and n-volumic scalar curvature on metric measure spaces. 2 Let (S (R),dS,volS) be a Riemannian 2-sphere endowed with the round metric 2 n 2 such that the scalar curvature equals to 2R− and that (R − ,dE,volE) is endowed 2 n 2 with Euclidean metric, then the product manifold S (R) R − can be endowed 2 2 × with the Pythagorean product metrics dS E := dS + dE and the volume volS E := × × volS volE. q ⊗ From now on, let Xn be a closed topological n-manifold and d be the length met- n n ric such that the Hausdorff dimension of (X ,d) is n, i.e dimH (X )= n. Therefore, there exists the n-dimension Hausdorff measure µn on it and then we normalize it n by d = nµn, where n is the n-dimensional volume (the Lebesgue measure) of a H W W n Euclidean ball of radius 1 in the n-dimensional Euclidean space, so that dE = volE n H for R with the Euclidean metric dE. Therefore, we have the metric measure space n n n n (X , d, d ) and will focus on this kind of metric measure space (X , d, d ) in this paper. H H Example 3.3 (Examples of metric measure spaces (Xn, d, n)). Hd

1. Smooth oriented Riemannian manifolds (M n,g) with the induced volume forms n (M ,dg,volg) are the fundamental examples.

2. A length metric that is strongly equivalent to a Riemannian metric satisﬁes the requirement, since the Hausdorﬀ dimension is bi-Lipschitz invariant.

3. Locally CAT(0)-manifolds with induced Hausdorﬀ measure are examples, as the Hausdorﬀ dimension of a closed topological n-manifold with a locally CAT(0)- metric is n.

n n 4. If X admits an length metric d′ such that (X ,d′) is a Alexandrov space with n curvature bounded from below, then dimH (X ) = n. Then the Alexandrov space is also an example.

Note that there is only one reasonable notion of volume for Riemannian manifolds. But one can define Finslerian volumes for Finsler metrics in different ways and obtain essentially different results [BBI01, Proposition 5.5.12]. We will define the positive of MV -scalar curvature ScMV on the metric measure space (Xn, d, n). Hd Definition 3.4 (ScMV κ). The MV -scalar curvature of Xn is bounded from n ≥ n n MV n below by κ> 0 for X =(X , d, d ), i.e. Sc (X ) κ> 0, if the closed oriented topological n-dimensional Xn satisfiesH the following two≥ conditions:

(1). The metric space (Xn,d) satisfies Scmax([Xn]) κ for the fundamental class n n ≥ [X ] Hn(X ; Z). ∈ (2). The metric measure space Xn is locally volume-wise smaller than S2(R) n 2 2 n 2 √2 √2 × R − =(S (R) R − ,dS E,volS E) for all R > , i.e. for R > , there × × × √κ √κ is an ǫR, which depends on R, such that all ǫR-balls in X are smaller than the 2 n 2 n ǫR-balls in S (R) R − , d (Bx(ǫR)) < volS E(Bx′ (ǫR)), for all x X and 2 n ×2 H × ∈ x′ S (R) R − . ∈ × 8 Since Scmax([Xn]) = Scmax( [Xn]), the definition is independent from the cho- sen of the orientation. And Sc−MV (Xn) κ is invariant under the isomorphic transformation. Here an isomorphic transformation≥ means there is f : (X,d,µ) → (X′,d′,µ′) such that f µ′ = µ and f is isometric between d and d′. Thus, the ∗ definition is well-defined. Proposition 3.5. Let g be a C2-smooth Riemannian metric on a closed oriented n n n-manifold M with induced metric measure space (M ,dg,volg), then the scalar curvature of g is bounded from below by κ> 0 if and only if ScMV (M n) κ. ≥ Proof. Assume the scalar curvature of g is bounded from below by κ> 0, then the volume formula of a small ball,

Scg(x) 2 4 volg(Bx(r)) = volE(Br) 1 r + O(r ) " − 6(n + 2) #

n n as r 0, where Bx(r) is an r-ball in M and Br is an r-ball in R , implying condition→ (2) in the definition of ScMV (M n) κ. And Scmax([M n]) inf Sc(M n, x) κ ≥ ≥ x ≥ implies condition (1). MV n On the other hand, if Sc (M ) κ, then Scg κ > 0. Otherwise, assume ≥ ≥ there exist small ǫ> 0 such that Scg κ ǫ> 0. That means there exists a point n ≥ n− x0 in M such that Scg(x0)= κ ǫ, as M is compact and the scalar curvature is a n − continuous function on M . Thus, we can find a small r-ball Br(x0) such that the 2 n 2 volume of Br(x0) is greater than the volume of the r-ball in the S (γ) R − for 2 × γ = ǫ , which is a contradiction. κ 2 r − Remark 3.6. The existence of length metrics on Xn with ScMV (Xn) κ is the ≥ invariant under homeomorphisms. However, the positivity of the ScMV cannot imply that it carries a PSC-metric in general. For instance, one can use the identity map between the exotic sphere Σn above and the standard sphere to pull back the length metric which is induced by the n n n n standard round metric to Σ , i.e. giving id : Σ (S ,dSn ) gets (Σ , id∗dSn ). Then MV n → n n Sc n n , id d n , ∗ one has (Σ ) ( 1) for the metric measure space (Σ ∗ S id dSn ). ≥ − 2 n H But id∗dSn is not induced by any C -smooth Riemannian metric on Σ . Remark 3.7. The example of the exotic sphere above shows that the condition (1) cannot imply the condition (2) in the definition of ScMV κ in general. The ≥ condition (2) also cannot imply the condition (1) in general. Since one can choose the length metric induced by a Finsler metric such that the induced Hausdorff measure 2 n 2 2 n 2 is locally volume-wise smaller than S (R) R − =(S (R) R − ,dS E,volS E) for √2 × × × × all R> √κ , and the Finsler metric is not bi-Lipshchitz equivalent to a Riemannian metric in general. Question 3.8. Let N n be a closed orientable aspherical n-manifold. Does there exist an orientable closed Riemannian n-manifold M n such that there exists a non- zero degree map f from M n to N n? Remark 3.9. Question 3.8 is inspired by the conjecture that a closed aspherical manifold does not carry PSC-metrics. It is natural to ask that whether a closed aspherical manifold admits a length metric with positive max-scalar curvature or positive of ScMV .

9 n n MV n Proposition 3.10 (Quadratic Scaling). Assume that (X , d, d ) satisfies Sc (X ) MV n 2 n H n n n ≥ κ> 0, then Sc (λX ) λ− κ for all λ> 0, where λX := (X ,λ d,λ ). ≥ · · Hd n n n Proof. If we scale d by λ = 0, then λd = λ d . Combining it with the fact that the 2 2 6 H H Sc(λ g)= λ− Sc(g) for a smooth Riemannian metric will complete the proof. Let π : Xˆ n Xn be a covering map, then the length metric d on Xn is lifted → to a unique length metric dˆ such that the covering map is a local isometry. Hence dimH (X,d) = dimH (X,ˆ dˆ) for a finite connected cover of X. Then we endow the lifting length metric on a finite cover of (Xn, d, n) such that (Xˆ n, d,ˆ n) is a metric Hd Hdˆ measure space. Proposition 3.11. Assume (Xn, d, n) satisfies ScMV (Xn) κ> 0 and Xˆ n is a Hd ≥ finite connected cover of Xn, then ScMV (Xˆ n) κ for (Xˆ n, d,ˆ n). ≥ Hdˆ Proof. As (Xˆ n, d,ˆ n) is locally isometric to (Xn, d, n) and ScMV (Xn) κ > 0, Hdˆ Hd ≥ ˆ n ˆ n 2 n 2 (X , d, dˆ) is also locally volume-wise smaller than S (R) R − . LetH (M n,g) be the closed orientable Riemannian manifold× with Sc(g) κ such n n n n n ≥ that f : M X is 1-Lipschitz map and f ([M ]) = [X ]. Then f ∗Xˆ is a finite n → n n∗ n cover of M and we denote it by Mˆ , i.e. Mˆ := f ∗Xˆ . Then the Lipshicht constant of fˆ : (Mˆ n, gˆ) (Xˆ n, dˆ) is 1, whereg ˆ is the lifting metric of g. Then we have the → following two commutative diagrams.

ˆ ˆ n f / n n f∗ / n Mˆ ❴❴❴ Xˆ Hn(Mˆ ; Z) ❴❴❴ Hn(Xˆ ; Z) ✤ ✤ ′ ✤ ′ π π π∗ ✤ π∗ ✤ ✤ / M n / Xn n / n f Hn(M ; Z) Hn(X ; Z) f∗

n n n Using the wrong-way map, we can map [X ] to Hn(Xˆ ; Z), denoting it by [Xˆ ] and then we choose [Xˆ n] as the fundamental class of Xˆ n. Again, we map [Xˆ n] to n n n n Hn(Mˆ ; Z), denoting it by [Mˆ ] and choose [Mˆ ] as the fundamental class of Mˆ , i.e. fˆ ([Mˆ n]) = [Xˆ n]. ∗ Thus, ScMV (Xˆ n) κ. ≥ Remark 3.12. One can also define ScMV κ> 0 for closed non-orientable topological manifolds by requiring that the double≥ cover with the induced metric satisfies ScMV κ> 0, since the Hausdorff dimensions are equal to each other in this case. ≥ n n Proposition 3.13 ( Weak SLB Theorem). Assume (X , d, d ) (n 8) satisfies ScMV (Xn) κ > 0, then for all continuous non-zero degreeH maps h≤from Xn to ≥n C√n 1 n the sphere S , it holds that Lip(h) > √κπ− . Here S is endowed with the standard 1 n round metric dS and C > 3 . Proof. Given a small ǫ> 0, there exists a closed orientable Riemannian n-manifold n n (M ,g) with Sc(g) κ ǫ> 0 and a 1-Lipschitz and degree one map f :(M ,dg) (Xn,d) by the definition≥ − of max-scalar curvature. Let h be a continuous non-zero→ n n degree map h :(X ,d) (S ,dSn ), then → Lip(h f) Lip(h) Lip(f) ◦ ≤ × induces Lip(h) Lip(h f). ≥ ◦ 10 2 If one scalars the metrics dg and d by a constant λ = 0, then one has Sc(λ g)= 2 6 n n λ− Sc(g), dλ2g = λdg. The new maps are denoted by h˜ :(X ,λd) (S ,dSn ) and n n → 1 f˜ :(M ,λdg) (X ,d), then one has Lip(f˜) = Lip(f), Lip(h˜ f˜)= λ− Lip(h f) → 1 ◦ ◦ and Lip(h˜)= λ− Lip(h). n(n 1) 2 Choose λ = κ −ǫ such that Sc(λ g) n(n 1), then SLB Theorem implies − ≥ − that Lip(h˜ f˜) >q C . That means ◦ √nπ

1 C λ− Lip(h) = Lip(h˜) Lip(h˜ f˜) > . ≥ ◦ √nπ

C√n 1 C√n 1 Thus, we have Lip(h) > √κ −ǫπ . Let ǫ go to 0, then one has Lip(h) > √κπ− . −

Gromov and Lawson define the enlargeability by allowing only finite coverings in [GL80] Hanke and Schick [HS06] showed that the Rosenberg index of this kind of enlargeable spin manifold does not vanish, which also implies that the manifold carries no PSC-metrics. Definition 3.14 (Compactly enlargeable length-structures). A length metric d on a closed orientable n-dimensional topological manifold Xn is said to be compactly enlargeable if for each ε> 0 there is a finite connected covering manifold Xˆ n endowed with the induced metric dˆ which is ε-hyperspherical. (This notion is defined at the beginninig of Section 2). A compactly enlargeable length-structure on Xn is the strongly equivalent class of an enlargeable metric. A compactly enlargeable Riemannian length-structure on a closed orientable smooth manifold is an enlargeable length-structure, which contains a length metric induced by a Riemannian metric on the manifold. Let us recall Theorem C and give a proof yo it. n n MV n Theorem C. If (X , d, d ) (n 8) satisfies Sc (X ) κ > 0, then d is not in any compactly enlargeableH length-structures≤ on the closed≥ oriented topological manifold X. Proof. The argument is the same in the proof of Theorem A . Assume d is in a compactly enlargeable length-structure, then there exists a compactly enlargeable n metric d′ on X such that α1d d′ α2d for some 0 < α1 α2. There exists a finite ˆ≤n ≤ ≤ ˆ connected covering manifold X such that the induced metric d′) is ε-hyperspherical C√n 1 for ε < √κα2−π by the definition of compactly enlargeable metric. That means it n C√n 1 exists the non-zero degree map h :(X,ˆ dˆ) S such that Lip(h) ˆ′ < − , where ′ → d √κα2π ˆ Lip(h)dˆ′ is the Lipschitz constant with respect the metric d′. On the other hand, we have

1 1 α− Lip(h) ˆ Lip(h) ˆ′ α− Lip(h) ˆ. 2 d ≤ d ≤ 1 d But Proposition 3.11 shows that ScMV (Xˆ n, dˆ) κ and then Weak SLB Theorem C√n 1 ≥ 3.13 shows that Lip(h)dˆ > √κπ− , which is a contradiction. One can also prove the proposition by Corollary 2.7 and the deﬁnition of max- scalar curvature. If d is in a compactly enlargeable length-structure and f :(M n,g) → (Xn,d) is a degree 1 map and Lip(f) 1, then g is in an enlargeable Riemannian ≤ 11 length-metric structure by Corollary 2.7. That means M n carries no PSC-metrics. Thus, Scmax([Xn]) = 0, which is a contradiction. The scalar curvature of Riemannian metrics are additivity under Pythagorean- Riemannian products, however, ScMV may not be additivity under Pythagorean products in general. Note that for the Pythagorean product of two metric spaces (X,d) and (Y,d ), (X Y,d ) with d := d2 + d2 , we have 1 × 2 2 1 q dimH (X) + dimH (Y ) dimH (X Y ) dimH (X) + dimB(Y ), ≤ × ≤ where dimB(Y ) is the upper box counting dimension of Y , and the inequality may be strict. If Y is a smooth Riemannian manifold, then dimH (Y ) = dimB(Y ). Fur- thermore, we have

n+m C(n, m) n m Hd2 ≥ Hd × Hd1 where C(n, m) is a constant dependent only on n and m and C(n, m) 1. C(n, m) ≥ may be greater than 1, but if X and Y are rectiﬁable Borel subsets of Euclidean space, then C(n, m) = 1 was showed by Federer in [Fed69, 3.2.23 Theorem]. Proposition 3.15. Assume (Xn Y m,d ) is the Pythagorean product of (Xn, d, n) × 2 Hd m n 2 2 n m and (Y ,d , ), where d := d + d , satisﬁes that dimH (X Y )= n+m and 1 Hd1 2 1 × n+m n qm MV n MV m the measure d2 := d d1 . Then if Sc (X ) κ1 > 0 and Sc (Y ) κ > 0, then HScMV (XnH Y⊗m H) κ + κ . ≥ ≥ 2 × ≥ 1 2 n m 2 n 2 Proof. Since (X Y ,d ) is locally volume-wise smaller than (S (R ) R − ) × 2 1 × × S2 R m 2 R > √2 R > √2 n+m n m ( ( 2) R − ) for 1 √κ1 and 2 √κ2 , since d2 := d d1 . And 2 × n 2 2 m 2 H H ⊗ H 2 (S (R1) R − ) (S (R2) R − ) is locally volume-wise smaller than S (R1 + ×n+m 2 × × √2 n m R ) R − for R + R > . Thus, we have (X Y ,d ) is locally 2 × 1 2 √κ1+κ2 × 2 S2 R R n+m 2 R R > √2 volume-wise smaller than ( 1 + 2) R − for 1 + 2 √κ1+κ2 . And one has ×

Scmax([Xn] [Y m]) Scmax([Xn]) + Scmax([Y m]) ⊗ ≥ Hence Scmax([Xn] [M m]) κ + κ . ⊗ ≥ 1 2 Question 3.16. Assume that d is a length metric on the closed topological n- manifold Xn such that (Xn,d) is an Alexandrov space with curvature κ > 0. Do we have ScMV ([Xn]) n(n 1)κ? ≥ ≥ − Note that an Alexandrov space with curvature κ > 0 satisﬁes the Bishop- inequality [BBI01, Theorem 10.6.8] and then it implies≥ the condition (2) of the deﬁnition of ScMV κ. ≥ References

[ADG97] F. D. Ancel, M. W. Davis, and C. R. Guilbault. CAT(0) reﬂection manifolds. In Geometric topology (Athens, GA, 1993), volume 2 of AMS/IP Stud. Adv. Math., pages 441–445. Amer. Math. Soc., Providence, RI, 1997.

12 [AF94] C. S. Aravinda and F. T. Farrell. Rank 1 aspherical manifolds which do not support any nonpositively curved metric. Comm. Anal. Geom., 2(1):65–78, 1994.

[BBI01] Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry, volume 33 of Graduate Studies in Mathematics. American Mathemat- ical Society, Providence, RI, 2001.

[BGS85] Werner Ballmann, Mikhael Gromov, and Viktor Schroeder. Manifolds of nonpositive curvature, volume 61 of Progress in Mathematics. Birkh¨auser Boston, Inc., Boston, MA, 1985.

[Bin53] R. H. Bing. A convex metric with unique segments. Proc. Amer. Math. Soc., 4:167–174, 1953.

[Bur15] Annegret Y. Burtscher. Length structures on manifolds with continuous Riemannian metrics. New York J. Math., 21:273–296, 2015.

[CS21] Simone Cecchini and Thomas Schick. Enlargeable metrics on nonspin manifolds. Proc. Amer. Math. Soc., 149(5):2199–2211, 2021.

[Dav83] Michael W. Davis. Groups generated by reﬂections and aspherical manifolds not covered by Euclidean space. Ann. of Math. (2), 117(2):293–324, 1983.

[Den21] Jialong Deng. Curvature-dimension condition meets Gromov’s n-volumic scalar curvature. SIGMA Symmetry Integrability Geom. Methods Appl., 17:013, 20 pages, 2021.

[DH89] Michael W. Davis and Jean-Claude Hausmann. Aspherical manifolds without smooth or PL structure. In Algebraic topology (Arcata, CA, 1986), volume 1370 of Lecture Notes in Math., pages 135–142. Springer, Berlin, 1989.

[DJ91] Michael W. Davis and Tadeusz Januszkiewicz. Hyperbolization of polyhedra. J. Diﬀerential Geom., 34(2):347–388, 1991.

[DJL12] M. Davis, T. Januszkiewicz, and J.-F. Lafont. 4-dimensional locally CAT(0)-manifolds with no Riemannian smoothings. Duke Math. J., 161(1):1–28, 2012.

[Fed69] Herbert Federer. Geometric measure theory. Die Grundlehren der mathe- matischen Wissenschaften, Band 153. Springer-Verlag New York Inc., New York, 1969.

[FJ91] F. Thomas Farrell and Lowell E. Jones. Rigidity in geometry and topology. In Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), pages 653–663. Math. Soc. Japan, Tokyo, 1991.

[FJ93] F. T. Farrell and L. E. Jones. Topological rigidity for compact non-positively curved manifolds. In Diﬀerential geometry: Riemannian geometry (Los Angeles, CA, 1990), volume 54 of Proc. Sympos. Pure Math., pages 229– 274. Amer. Math. Soc., Providence, RI, 1993.

13 [GL80] Mikhael Gromov and H. Blaine Lawson, Jr. Spin and scalar curvature in the presence of a fundamental group. I. Ann. of Math. (2), 111(2):209–230, 1980. [GL83] Mikhael Gromov and H. Blaine Lawson, Jr. Positive scalar curvature and the Dirac operator on complete Riemannian manifolds. Inst. Hautes Etudes´ Sci. Publ. Math., (58):83–196 (1984), 1983. [Gro17] Misha Gromov. 101 Questions, Problems and Conjectures around Scalar Curvature, 2017. https://www.ihes.fr/˜gromov/wp-content/uploads/2018/08/101-problemsOct1-2017.pdf. [Gro18] Misha Gromov. Metric inequalities with scalar curvature. Geom. Funct. Anal., 28(3):645–726, 2018. [Gro19] Misha Gromov. Four Lectures on Scalar Curvature. arXiv e-prints, page arXiv:1908.10612, Aug 2019. [Hit74] Nigel Hitchin. Harmonic spinors. Advances in Math., 14:1–55, 1974. [HS06] B. Hanke and T. Schick. Enlargeability and index theory. J. Differential Geom., 74(2):293–320, 2006. [KS03] Gennadi Kasparov and Georges Skandalis. Groups acting properly on “bolic” spaces and the Novikov conjecture. Ann. of Math. (2), 158(1):165– 206, 2003. [KW75] Jerry L. Kazdan and F. W. Warner. Scalar curvature and conformal de- formation of Riemannian structure. J. Differential Geometry, 10:113–134, 1975. [Lla98] Marcelo Llarull. Sharp estimates and the Dirac operator. Math. Ann., 310(1):55–71, 1998. [Loh18] Joachim Lohkamp. Contracting Maps and Scalar Curvature. arXiv e-prints, page arXiv:1812.11839, Dec 2018. [LY72] H. Blaine Lawson, Jr. and Shing Tung Yau. Compact manifolds of nonpositive curvature. J. Differential Geometry, 7:211–228, 1972. [Osa20] Damian Osajda. Small cancellation labellings of some infinite graphs and applications. Acta Math., 225(1):159–191, 2020. [Sap14] Mark Sapir. A Higman embedding preserving asphericity. J. Amer. Math. Soc., 27(1):1–42, 2014. [SY17] Richard Schoen and Shing-Tung Yau. Positive Scalar Curvature and Mini- mal Hypersurface Singularities. arXiv e-prints, page arXiv:1704.05490, Apr 2017. [Ver18] Giona Veronelli. Scalar curvature via local extent. Anal. Geom. Metr. Spaces, 6(1):146–164, 2018.

Mathematisches Institut, Georg-August-Universitat,¨ Gottingen,¨ Germany E-mail address: [email protected]