Bochner-type theorems for distributional category

Ekansh Jauhari; John Oprea

REVIEW 2 major objections 4 minor 38 references

Bochner-type theorems for distributional category

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A probabilistic version of LS-category obeys Bochner-type rigidity under non-negative Ricci curvature.

desk verdict Solid dcat adaptation of Bochner-type bounds with one false corollary as stated; worth refereeing after a small fix. read the letter →

arxiv 2505.21763 v2 pith:H4NHZMWV submitted 2025-05-27 math.AT math.GRmath.GT

Ekansh Jauhari , John Oprea This is my paper

classification math.ATmath.GRmath.GT MSC 57N6555M3020J0653C23

keywords distributionalcategoryLS-categorynon-negativeRiccicurvatureBochner-typetheoremsc-symplecticmanifoldsGottliebgroupmacroscopicdimensionfirstBettinumber

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper extends a classical Bochner principle to the distributional category, a probabilistic relative of Lusternik-Schnirelmann category. On closed manifolds with non-negative Ricci curvature and infinite fundamental group, the distributional category is shown to bound the first Betti number from above, with equality characterizing tori. It also bounds the rank of the Gottlieb group, and equality forces strong restrictions on the fundamental group. In the special class of c-symplectic manifolds, the paper proves that the distributional category equals the classical LS-category under torsion-free fundamental group, giving exact computations. A final Bochner-type result identifies those non-negatively curved manifolds for which macroscopic dimension equals the distributional category: they are precisely the flat manifolds.

What carries the argument

The central object is dcat(X), the smallest n for which there is a continuous assignment sending each point of X to a probability measure supported on at most n+1 paths from that point to the basepoint; it always satisfies cup(X) ≤ dcat(X) ≤ cat(X). The arguments run through three mechanisms: the splitting of a non-negatively Ricci curved manifold into a finite cover T^r × W with W simply connected; the covering-space inequalities dcat(X') ≤ dcat(X) and cup(X') ≤ dcat(X'), which turn the torus factor's cup-length into a lower bound; and, for the equality results, the upper bound cat(M) ≤ (dim(M) + cd(π1(M)))/2, which matches the lower bound n+k after the cohomological dimension of the finite cover is computed using the standard theorem that finite-index subgroups of torsion-free groups have the same cohomological dimension. The macroscopic dimension result uses the fact that the covering M' carries the inequality dim_mc \tilde{M} = r ≤ r + cup(W) ≤ dcat(M').

What would settle it

Exhibit a closed 2n-manifold with non-negative Ricci curvature, torsion-free infinite fundamental group, and a splitting M' ≅ $T^{{2k}}$ × W with W simply connected c-symplectic, such that cat(M) > n+k; by Theorem 5.4 this cannot happen. Alternatively, find a closed non-negatively curved manifold with infinite fundamental group and b1(M) > dcat(M) − cup(W), which would violate Theorem 4.1.

Watch

Extended reading notes

Core claim

The paper's central claim is that distributional category obeys Bochner-type rigidity once a geometric hypothesis is present. Theorem 4.1: if M is a closed n-manifold with non-negative Ricci curvature, infinite fundamental group, and a splitting of a finite cover M' as T^r × W with W simply connected, then b1(M) ≤ dcat(M) − cup(W), and b1(M) = dcat(M) holds exactly when M is a torus. Theorem 4.2: for any finitely generated free abelian subgroup A of the Gottlieb group, rank(A) ≤ dcat(X); equality yields rationality and homotopy constraints, and for closed manifolds with finite-index Gottlieb group it forces X ≃ T^n. In the c-symplectic setting, Theorems 5.4 and 5.9 prove dcat(M) = cat(M) = n+k under torsion-free fundamental group, using an upper bound on LS-category in terms of dimension and the cohomological dimension of the fundamental group. Theorem 6.2: for closed non-negatively curved M with infinite fundamental group, the macroscopic dimension of the universal cover is at most dcat(M), with equality if and only if M is flat.

Load-bearing premise

The equality dcat(M) = cat(M) for c-symplectic manifolds rests on an imported upper bound for LS-category in terms of the manifold's dimension and the cohomological dimension of its fundamental group; if that cited bound needs hypotheses beyond torsion-freeness, the equality conclusions would need to be re-checked.

Editorial extensions

If this is right

For closed manifolds with non-negative Ricci curvature and infinite fundamental group, the first Betti number is bounded by dcat(M) minus the cup-length of the simply connected factor in the splitting; equality singles out tori.
For any space, the rank of a finitely generated free abelian Gottlieb subgroup is at most dcat(X); when equality holds, compact X has fundamental group acting freely on a Q-acyclic space, and closed manifolds with finite-index Gottlieb group become tori.
In the c-symplectic setting with torsion-free fundamental group, dcat(M) = cat(M), so upper bounds and computations known for LS-category transfer directly to distributional category.
A non-negatively curved closed manifold whose universal cover has macroscopic dimension equal to dcat(M) must be flat; the gap between macroscopic dimension and dcat can be arbitrarily large.
For flat manifolds, b1(M) ≤ dcat(M), with equality only for tori, and non-toral flat Kähler manifolds provide non-trivial examples where dcat is computed.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the equality dcat(M) = cat(M) holds broadly for non-negatively curved c-symplectic manifolds, then distributional category inherits the full force of LS-category as a critical-point estimator, despite being defined without open covers.
The equality case b1(M) = dcat(M) suggests a possible dcat-level analogue of the splitting theorem: equality might force the torus factor to contribute to every efficient measure-valued contraction of the manifold.
One could test whether the macroscopic dimension bound dim_mc \tilde{M} ≤ dcat(M) remains valid under weaker curvature hypotheses, such as almost non-negative Ricci curvature, where the splitting theorem no longer applies.
The role of the finite-index Gottlieb subgroup points toward a distributional analogue of injective toral actions; if such an analogue exists, equality cases might characterize mapping tori rather than tori.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

I want you to know this is a useful, careful paper that carries the Bochner program over to distributional category. Theorem 4.1 (b1 bound and torus rigidity), Theorem 4.2 (Gottlieb rank), and Theorem 6.2 (macroscopic dimension with flatness equality) are new, and the proofs are clean. The c-symplectic section (5.4, 5.9) produces dcat=cat computations not in the prior literature, and the paper is honest about what is borrowed and what is new.

The central arguments hold together. They assemble known machinery -- Cheeger-Gromoll splitting, Gottlieb splitting via covering spaces, transfer in cohomology, Serre's theorem -- and do so correctly. I checked the key step in 5.4 and 5.9 that uses Dranishnikov's bound cat(M) ≤ (dim M + cd(pi1(M)))/2. That is the main theorem of [Dra19] for closed manifolds with torsion-free fundamental group, which is exactly the hypothesis in play. The stress-test worry about hidden extra conditions does not, on my reading, land. The paper would be better for stating the precise theorem, but that is an exposition gap, not a mathematical hole.

The one actual flaw is Corollary 4.4. As stated it allows Y to be a point. Take Y={pt} and L=T^k; then M=T^k, G(M)=Z^k has finite index in pi1(M), and dcat(M)=k=rank(pi1(L)), so the conclusion dcat(M)>rank(pi1(L)) is false. The proof uses the contrapositive of Theorem 4.2(3), which only gives strict inequality when M is not a torus, and that is not guaranteed. The fix is to require Y to be non-contractible, or pi1(Y) nontrivial, or L x Y not a torus. This is minor and does not touch the main theorems.

Citation pattern is clean: self-citations are contextual, and the main claims do not depend on them in any circular way. The examples are useful, and the paper does not overclaim its novelty.

This is for people working on LS-category, distributional category, and geometric constraints on manifolds. It is not a breakthrough, but it is a solid contribution that deserves referee time. I would send it out, ask for a one-line fix to Corollary 4.4, and ask the authors to quote the exact version of Dranishnikov's theorem they rely on. After that, acceptance is reasonable.

Referee Report

2 major / 4 minor

Summary. The paper proves Bochner-type inequalities for the distributional category dcat of closed manifolds under geometric hypotheses. Theorem 4.1 states that for a closed n-manifold M with non-negative Ricci curvature and infinite fundamental group, b1(M) ≤ dcat(M) − cup(W) in a Cheeger–Gromoll splitting M′ ≅ T^r × W, with equality b1(M) = dcat(M) if and only if M is a torus. Theorem 4.2 bounds the rank of a finitely generated free abelian subgroup A ⊂ G(X) by dcat(X), with rigidity conclusions in three cases. For c-symplectic manifolds, Theorems 5.4 and 5.9 use non-negative Ricci or a finite-index free abelian Gottlieb subgroup, together with a cited upper bound of Dranishnikov, to conclude dcat(M) = cat(M) = n + k. Theorem 6.2 bounds the macroscopic dimension of the universal cover by dcat(M) and characterizes equality by flatness. The paper also contains examples showing sharpness and necessity of the hypotheses.

Significance. If the central results hold, the paper gives a meaningful extension of classical Bochner-type rigidity to the distributional category, an invariant introduced only recently. The main novelty is the interaction of dcat with geometric input: non-negative Ricci curvature, c-symplectic structures, and covering-space arguments yield both inequalities and rigidity statements. The paper is careful in attributing external inputs and supplies examples (4.6, 4.7, 5.2, 6.6) that test sharpness, which is a genuine strength. The proofs are mostly transparent and the reliance on Cheeger–Gromoll, Dranishnikov's bound, and surgery rigidity is clearly signposted, although one of these inputs is quoted without its precise hypotheses. The false statement in Corollary 4.4 is a local defect rather than a flaw in the main rigidity arguments.

major comments (2)

[Section 4, Corollary 4.4] Corollary 4.4 is false as stated because the hypotheses allow Y = {pt}: with L = T^k and Y = {pt}, the manifold M = T^k is a torus and dcat(M) = k, contradicting the asserted strict inequality dcat(M) > rank(pi_1(L)). The proof uses Theorem 4.2(3) in contrapositive form, but that theorem has an exceptional case M ≃ T^n. To repair the statement, add the hypothesis that Y has positive dimension (or, equivalently, that M is not a torus), or weaken the conclusion to dcat(M) ≥ rank(pi_1(L)) with equality only in the torus case.
[Section 5, Theorems 5.4 and 5.9] The equality dcat(M) = cat(M) = n + k in Theorems 5.4 and 5.9 depends entirely on the upper bound cat(M) ≤ (dim(M) + cd(pi_1(M)))/2, attributed to 'the main result of [Dra19]'. The precise statement and hypotheses of that theorem are never quoted. Because this is the only step capping cat(M) from above at n + k, the authors should state the theorem explicitly and verify that its hypotheses are satisfied for the manifolds considered. I do not see a counterexample to the bound in the cases at hand, so I regard this as a completeness issue rather than an error, but it is load-bearing and should be made explicit.

minor comments (4)

[Section 5.B, Corollary 5.8] In the proof of Corollary 5.8, the line 'G(M) ≅ Z^k' should read 'G(M) ≅ Z^{2k}', since the torus factor has dimension 2k and the Gottlieb group of T^{2k} is Z^{2k}.
[Abstract and Section 4, Theorem 4.2] The abstract's phrase 'bounds the rank of the Gottlieb group' should be qualified: the theorem applies to finitely generated free abelian subgroups of G(X), or to G(X) itself when G(X) is finitely generated free abelian, rather than to the rank of an arbitrary Gottlieb group.
[Section 2.D] The sentence 'If M is a closed 2n-symplectic manifold and M is simply connected' appears to be a typo; it should say 'closed 2n-dimensional c-symplectic manifold' for consistency with the rest of the paper.
[Section 5, Remark 5.6] The statement that in Theorem 5.4 torsion-freeness of pi_1(M) is equivalent to pi_1(M) being a Bieberbach group would be clearer if it specified the rank (2k) of the free abelian subgroup and noted explicitly that this does not force M itself to be flat.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main dcat bounds are proved from established external theorems; the equality claims rest on external [Dra19] and [DCDJ] results, not on fitted inputs or self-referential definitions.

full rationale

The paper's central inequalities (Theorems 4.1, 4.2, 6.2) are derived by chaining external geometric and homotopy-theoretic facts: Cheeger–Gromoll splitting (Theorem 3.1), the covering-space and cup-length properties of dcat (Theorem 2.2, cited from [DJ24]), and the Knudsen–Weinberger computation dcat(Γ)=cat(Γ)=cd(Γ) for torsion-free groups (Theorem 2.4). The equality claims in Theorems 5.4 and 5.9 are not obtained by fitting or renaming: they use the external Dranishnikov upper bound cat(M) ≤ (dim(M)+cd(π1(M)))/2 from [Dra19] to cap cat(M) after Serre's theorem identifies cd(π1(M)) with the torus rank in the Cheeger–Gromoll splitting. Although the hypotheses of [Dra19] are not restated, this is a dependency on an external theorem about LS-category, not a circular reduction of dcat to itself. Similarly, Theorem 6.2 uses [DCDJ, Prop. 7.10] for the macroscopic dimension of the Cheeger–Gromoll cover; this is a self-citation since Jauhari is a coauthor of [DCDJ], but the cited statement concerns macroscopic dimension and is independent of the conclusions about dcat, so it does not make the argument circular. The self-citations to [Jau25] and the earlier Oprea papers are contextual or motivational, and the new inequalities are stronger than those results rather than consequences of them. No step in the proof equates a fitted parameter with a prediction or defines dcat in terms of the invariants it bounds.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters or invented entities. The central claims rest on established theorems from LS-category theory, geometric group theory, and Riemannian geometry, all cited. The only assumptions are standard hypotheses in the statements (non-negative Ricci curvature, c-symplectic, torsion-free).

assumptions (7)

standard math Cheeger-Gromoll splitting theorem: a closed n-manifold with non-negative Ricci curvature has a finite cover diffeomorphic to T^r × W with W simply connected.
Used in Theorems 4.1, 5.4, 6.2 to decompose the manifold and reduce bounds to cup-length of T^r and W. Cited as [CG71].
standard math Gottlieb splitting theorem: if the Hurewicz rank of X is s, then X ≃ T^s × Y.
Used in the proof of Theorem 4.2 to split the covering space X' and extract the rank bound. Cited as [Got89] and [Opr02b].
standard math Knudsen-Weinberger theorem: for a torsion-free discrete group Γ, dcat(Γ) = cat(Γ) = cd(Γ).
Used to compute dcat for tori and aspherical manifolds in Theorems 4.1, 5.4, 6.2 and in examples. Cited as [KW24].
standard math Dranishnikov's upper bound: cat(M) ≤ (dim(M) + cd(π1(M)))/2 for closed manifolds.
Crucial upper bound used in proofs of Theorems 5.4 and 5.9; this is the weakest assumption. Cited as [Dra19].
standard math Serre's theorem: if Γ' is a finite index subgroup of Γ and Γ is torsion-free, then cd(Γ) = cd(Γ').
Used in Theorems 5.4 and 5.9 to equate cd(π1(M)) with cd(π1(M')) = 2k. Cited as [Bro82, Theorem VIII.3.1].
standard math Topological rigidity for flat manifolds: homotopy equivalences between a flat manifold and a closed manifold are homotopic to homeomorphisms (surgery for n≠3,4; Kreck-Lück for n=3,4).
Used in Theorem 6.2 to conclude from asphericity and finite-index Z^n in π1 that M is flat. Cited as [FH83] and [KL09].
standard math Properties of distributional category: dcat ≤ cat, homotopy invariance, monotonicity under covers, and cup(X) ≤ dcat(X) for finite CW complexes.
Used throughout to turn covering and cup-length information into dcat bounds. Cited as [DJ24, Theorem 2.2].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Bochner-type theorems for distributional category." pith.science (2026). https://pith.science/paper/H4NHZMWV

@misc{pith2026250521763,
  author       = {Pith},
  title        = {Pith review of: Bochner-type theorems for distributional category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H4NHZMWV}},
  note         = {Machine review of arXiv:2505.21763}
}

read the original abstract

We show that in the presence of a geometric condition such as non-negative Ricci curvature, the distributional category of a manifold may be used to bound invariants, such as the first Betti number and macroscopic dimension, from above. Moreover, \`a la Bochner, when the bound is an equality, special constraints are imposed on the manifold. We show that the distributional category of a space also bounds the rank of the Gottlieb group, with equality imposing constraints on the fundamental group. These bounds are refined in the setting of cohomologically symplectic manifolds, enabling us to get specific computations for the distributional category and LS-category.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

38 extracted references · 29 canonical work pages

[1]

Bazzoni, G

G. Bazzoni, G. Lupton, J. Oprea, Homotopy invariants and almost non-negative curvature. Math. Z. 300 (2022), no. 2, 1117--1140

work page 2022
[2]

Bestvina, N

M. Bestvina, N. Brady, Morse theory and finiteness properties of groups. Invent. Math. 129 (1997), no. 3, 445--470

work page 1997
[3]

K. S. Brown, Cohomology of Groups. Grad. Texts in Math., 87, Springer-Verlag Inc., New York, 1982

work page 1982
[4]

Cornea, G

O. Cornea, G. Lupton, J. Oprea, D. Tanré, Lusternik--Schnirelmann Category. Math. Surveys Monogr., 103, AMS, Providence, 2003

work page 2003
[5]

Cheeger, D

J. Cheeger, D. Gromoll, The splitting theorem for manifolds of nonnegative Ricci curvature. J. Differential Geom. 6 (1971), 119--129

work page 1971
[6]

Conner, F

P. Conner, F. Raymond, Injective operations of the toral groups. Topology 10 (1971), 283--296

work page 1971
[7]

L. F. Di Cerbo, A. Dranishnikov, E. Jauhari, Curvature, macroscopic dimensions, and symmetric products of surfaces. Preprint, arXiv:2503.01779 [math.GT] (2025), pp. 41

arXiv 2025
[8]

Dekimpe, M

K. Dekimpe, M. Hałenda, A. Szczepański, K\"ahler flat manifolds. J. Math. Soc. Japan 61 (2009), no. 2, 363--377

work page 2009

Show all 38 references

[9]

Dranishnikov, On macroscopic dimension of rationally essential manifolds

A. Dranishnikov, On macroscopic dimension of rationally essential manifolds. Geom. Topol. 15 (2011), no. 2, 1107--1124

2011
[10]

Dranishnikov, On macroscopic dimension of universal coverings of closed manifolds

A. Dranishnikov, On macroscopic dimension of universal coverings of closed manifolds. Trans. Moscow Math. Soc. 74 (2013), no. 2, 229--244

2013
[11]

Dranishnikov, An upper bound on the LS category in presence of the fundamental group

A. Dranishnikov, An upper bound on the LS category in presence of the fundamental group. Algebr. Geom. Topol. 19 (2019), no. 7, 3601--3614

2019
[12]

Dranishnikov, Distributional topological complexity of groups

A. Dranishnikov, Distributional topological complexity of groups. Preprint, arXiv:2404.03041 [math.GT] (2024), pp. 29

2024 arXiv
[13]

Dranishnikov, E

A. Dranishnikov, E. Jauhari, Distributional topological complexity and LS-category. In Topology and AI, ed. M. Farber et al., EMS Ser. Ind. Appl. Math., 4, EMS Press, Berlin, 2024, pp. 363–385

2024
[14]

Farber, Invitation to topological robotics

M. Farber, Invitation to topological robotics. Zur. Lect. Adv. Math., European Mathematical Society (EMS), Zürich, 2008

2008
[15]

F. T. Farrell, W. C. Hsiang, Topological characterization of flat and almost flat Riemannian manifolds M^n ( n 3,4 ). Amer. J. Math. 105 (1983), no. 3, 641--672

1983
[16]

Felix, S

Y. Felix, S. Halperin, Rational LS-category and its applications. Trans. Amer. Math. Soc. 273 (1982), 1--37

1982
[17]

R. E. Gompf, A new construction of symplectic manifolds. Ann. of Math. 142 (1995), 527--595

1995
[18]

D. H. Gottlieb, Evaluation subgroups of homotopy groups. Amer. J. Math. 91 (1969), 729--756

1969
[19]

D. H. Gottlieb, Splitting off tori and the evaluation subgroup of the fundamental group. Israel J. Math. 66 (1989), no. 1-3, 216--222

1989
[20]

Gromov, Filling Riemannian manifolds

M. Gromov, Filling Riemannian manifolds. J. Differential Geom. 18 (1983), no. 1, 1--147

1983
[21]

Gromov, Positive curvature, macroscopic dimension, spectral gaps and higher signatures

M. Gromov, Positive curvature, macroscopic dimension, spectral gaps and higher signatures. In Functional analysis on the eve of the 21st century. Vol. II , ed. S. Gindikin et al., Progr. Math., 132, Birkhäuser Boston, Inc., Boston, 1996, pp. 1--213

1996
[22]

Hiller, C.-H

H. Hiller, C.-H. Sah, Holonomy of flat manifolds with b_1=0 . Quart. J. Math. Oxford Ser. (2) 37 (1986), no. 146, 177--187

1986
[23]

Gromov, Metric structures for Riemannian and non-Riemannian spaces

M. Gromov, Metric structures for Riemannian and non-Riemannian spaces . Mod. Birkhäuser Class, Birkhäuser Boston, Inc., Boston, 2007

2007
[24]

Jauhari, Distributional category of manifolds

E. Jauhari, Distributional category of manifolds. Bol. Soc. Mat. Mex. 31 (2025), no. 2, 63, pp. 34

2025
[25]

M. Katz, Y. B. Rudyak, Lusternik--Schnirelmann category and systolic category of low-dimensional manifolds. Comm. Pure Appl. Math. 59 (2006), no. 10, 1433--1456

2006
[26]

Knudsen, S

B. Knudsen, S. Weinberger, Analog category and complexity. SIAM J. Appl. Algebra Geom. 8 (2024), no. 3, 713--732

2024
[27]

Kreck, W

M. Kreck, W. Lück, Topological rigidity for non-aspherical manifolds. Pure Appl. Math. Q. 5 (2009), no. 3, 873--914

2009
[28]

H. B. Lawson, Jr., M.-L. Michelsohn, Spin Geometry . Princeton Math. Ser., 38, Princeton University Press, Princeton, 1989

1989
[29]

Lusternik, L

L. Lusternik, L. Schnirelmann, Méthodes topologiques dans les problèmes variationnels. Hermann, Paris, 1934

1934
[30]

Lupton, J

G. Lupton, J. Oprea, Cohomologically symplectic spaces: toral actions and the Gottlieb group. Trans. Amer. Math. Soc. 347 (1995), no. 1, 261--288

1995
[31]

I. G. Macdonald, Symmetric products of an algebraic curve. Topology 1 (1962), 319--343

1962
[32]

Oprea, Category bounds for nonnegative Ricci curvature manifolds with infinite fundamental group

J. Oprea, Category bounds for nonnegative Ricci curvature manifolds with infinite fundamental group. Proc. Amer. Math. Soc. 130 (2002), no. 3, 833--839

2002
[33]

Oprea, Bochner-type theorems for the Gottlieb group and injective toral actions

J. Oprea, Bochner-type theorems for the Gottlieb group and injective toral actions. In Lusternik--Schnirelmann category and related topics (South Hadley, MA, 2001), ed. O. Cornea et. al., Contemp. Math., 316, AMS, Providence, 2002, pp. 175--180

2001
[34]

Oprea, J

J. Oprea, J. Strom, On the realizability of Gottlieb groups. In Homotopy theory of function spaces and related topics, ed. Y. Félix et. al., Contemp. Math., 519, AMS, Providence, 2010, pp. 181--188

2010
[35]

Y. V. Prokhorov, Convergence of random processes and limit theorems in probability theory. Theory Probab. Appl. 1 (1956), no. 2, 157--214

1956
[36]

Y. B. Rudyak, J. Oprea, On the Lusternik–Schnirelmann category of symplectic manifolds and the Arnold conjecture. Math. Z. 230 (1999), 673--678

1999
[37]

Vasquez, Flat Riemannian manifolds

A. Vasquez, Flat Riemannian manifolds. J. Differential Geom. 4 (1970), 367--382

1970
[38]

Yau, Calabi's conjecture and some new results in algebraic geometry

S.-T. Yau, Calabi's conjecture and some new results in algebraic geometry. Proc. Nat. Acad. Sci. U.S.A. 74 (1977), no. 5, 1798--1799

1977

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Bazzoni, G

G. Bazzoni, G. Lupton, J. Oprea, Homotopy invariants and almost non-negative curvature. Math. Z. 300 (2022), no. 2, 1117--1140

work page 2022

[2] [2]

Bestvina, N

M. Bestvina, N. Brady, Morse theory and finiteness properties of groups. Invent. Math. 129 (1997), no. 3, 445--470

work page 1997

[3] [3]

K. S. Brown, Cohomology of Groups. Grad. Texts in Math., 87, Springer-Verlag Inc., New York, 1982

work page 1982

[4] [4]

Cornea, G

O. Cornea, G. Lupton, J. Oprea, D. Tanré, Lusternik--Schnirelmann Category. Math. Surveys Monogr., 103, AMS, Providence, 2003

work page 2003

[5] [5]

Cheeger, D

J. Cheeger, D. Gromoll, The splitting theorem for manifolds of nonnegative Ricci curvature. J. Differential Geom. 6 (1971), 119--129

work page 1971

[6] [6]

Conner, F

P. Conner, F. Raymond, Injective operations of the toral groups. Topology 10 (1971), 283--296

work page 1971

[7] [7]

L. F. Di Cerbo, A. Dranishnikov, E. Jauhari, Curvature, macroscopic dimensions, and symmetric products of surfaces. Preprint, arXiv:2503.01779 [math.GT] (2025), pp. 41

arXiv 2025

[8] [8]

Dekimpe, M

K. Dekimpe, M. Hałenda, A. Szczepański, K\"ahler flat manifolds. J. Math. Soc. Japan 61 (2009), no. 2, 363--377

work page 2009