Pith. sign in

REVIEW 3 major objections 4 minor 75 references

A manifold's minimal handle count — its Morse complexity — is governed by higher signature invariants, and for many locally symmetric spaces it grows linearly with volume.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review

2026-08-01 10:19 UTC pith:OIFGHDL4

load-bearing objection A serious geometric-topology paper that very likely proves the right version of Gromov's speculation, but the dense-image engine is a block of case-by-case computations that need independent checking. the 3 major comments →

arxiv 2607.20259 v1 pith:OIFGHDL4 submitted 2026-07-22 math.GT

Morse complexity of homology classes

Fedor Manin , Bena Tshishiku , Shmuel Weinberger This is my paper
classification math.GT MSC 57R6522E4653C3557R67
keywords Morse complexityhandle decompositionopen book decompositionhigher signatureslocally symmetric spacesdiscrete series representationsChern characterindex theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper defines the Morse complexity of a homology class as the minimal number of handles needed to represent it, and asks when this number can grow without bound. It proves that in odd dimensions the Morse complexity of homology classes always vanishes, while in even dimensions it is genuinely nontrivial. The engine is an index-theoretic lower bound: any higher signature coming from a flat Hermitian bundle forces a positive handle count. The main theorem shows that for locally symmetric spaces of Lie groups with discrete series representations — including even-dimensional hyperbolic manifolds — every Matsushima class is such a signature, so the Morse complexity of the fundamental class grows linearly with volume. Consequently these spaces do not admit open book decompositions.

Core claim

The central claim is Theorem B: if the fundamental group of a manifold maps to a lattice in a Lie group with discrete series and a higher signature of the manifold pairs nontrivially with the homology of the compact dual symmetric space, then the Morse complexity of the fundamental class is positive and not stably trivial — so the manifold has no open book decomposition. The proof rests on Theorem 3.1, which shows for every such Lie group that the Chern signature map from Hermitian representations to the even cohomology of the classifying space has dense rational image, so every Matsushima class is realized as the signature of a local system and the index-theoretic lower bound applies. Even-

What carries the argument

The central object is the Chern signature homomorphism γ: R(G) → H^even(BG), sending a Hermitian representation V to ch(V^+ − V^−), where V^+ and V^− are the positive- and negative-definite summands of V with respect to the maximal compact subgroup K. To prove the rational image is dense, the paper combines Adams operations — which act on the power series ring H^even(BG) by scaling degree-2d terms by k^d — with two elementary lemmas: one showing that elements whose lowest-degree nonzero terms are the ring generators generate a dense subalgebra, and one extracting individual homogeneous pieces from the γ-image via Vandermonde inversion. The remaining work is a case-by-case computation of γ on

Load-bearing premise

The load-bearing premise is that the case-by-case computations of Chern characters for the exceptional Lie groups — chiefly E6(−14), E7(−25), and E8(−24), where some sign and decomposition ambiguities are declared immaterial — are correct and complete for all groups with discrete series; if any of those expansions fails, the dense-image theorem, and with it the positive Morse complexity and no-open-book conclusion, fails for that case.

What would settle it

Compute the low-degree terms of γ(U) and γ(Λ^k U) for E6(−14) with exact arithmetic using a computer algebra system: if the coefficient of the Euler class e in the degree-10 term of γ(U) vanishes, or if the claimed nonzero coefficients for the generators of E7(−25) or E8(−24) turn out to be zero, the dense-image proof collapses. Alternatively, exhibit a manifold with a nonzero Matsushima higher signature that nevertheless has an open book decomposition — that would directly falsify Corollary 1.1.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Even-dimensional hyperbolic manifolds, and all locally symmetric spaces of Lie groups with discrete series and nonzero Euler characteristic, admit no open book decomposition.
  • For these spaces, the Morse complexity of the fundamental class grows at least linearly with volume, so there is no sequence of degree-k maps to the space whose handle counts grow sublinearly in k.
  • Morse complexity of homology classes is uniformly bounded in odd dimensions and genuinely nontrivial in all even dimensions, confirming Gromov's expectation.
  • Morse complexity of a bordism class is determined up to bounded error by its higher signature class, so signature — not Betti numbers — controls handle counts in high dimensions.
  • The CW complexity of even-dimensional homology classes is uniformly bounded for dimension at least 6, in sharp contrast with simplicial volume.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the same twisted-signature mechanism suggests that any aspherical manifold carrying a flat Hermitian bundle whose Chern character is nonzero in the relevant cohomological degrees should have positive Morse complexity; the discrete-series condition is one systematic source of such bundles, not the only one.
  • A quantitative refinement of Theorem 3.1 — tracking how high in degree one must go to approximate a given cohomology class — would convert the positivity into explicit lower bounds on Morse complexity in terms of volume, a natural strengthening of the paper's conclusion.
  • Testable extension: for lattices without discrete series (e.g., certain SO(p,q) with both p and q odd), the paper's own discussion says the method fails; it remains open whether other families of flat bundles can still force nonvanishing Morse complexity there.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper introduces and studies the Morse complexity of manifolds, bordism classes, and homology classes. It proves upper bounds via surgery theory and open-book decompositions, and lower bounds via signatures of local systems and index theory. The central results are: (A) stable Morse complexity of homology classes vanishes in odd dimensions and depends only on the image in the homology of K(π1,1); (B) any class pairing nontrivially with a Matsushima class on a locally symmetric space associated to a group with discrete series has positive Morse complexity, with the consequence that such spaces do not admit open book decompositions; and (C) a sequence of manifolds homotopy equivalent to RP^7 can have unbounded null-cobordism complexity while the manifolds themselves have fixed Morse complexity. The proof of (B) reduces to Theorem 3.1, a case-by-case computation that the Chern-signature map γ⊗Q has dense image for all simple real Lie groups with discrete series.

Significance. If the results are correct, they resolve a speculation of Gromov in odd dimensions, provide the first nontrivial lower bounds on Morse complexity for a broad class of even-dimensional locally symmetric spaces, and yield the topological consequence that many such spaces do not admit open book decompositions. The paper's architecture is appealing: upper bounds come from surgery and open books, lower bounds from index theory and signatures of local systems, with no fitted parameters. The extension of Lusztig's Chern-character argument to all groups with discrete series is an ambitious and potentially important contribution. However, the central lower-bound theorem rests on a lengthy case-by-case computation in §3.2, and some of the exceptional cases are not verifiable as written; this is the main obstacle to acceptance.

major comments (3)
  1. [§3.2, E8(−24) and E7(−25)] The proof of Theorem 3.1 for E8(−24) is not verifiable as written. The displayed a20, a24, a28, a36 are only partially specified: the terms are given as '4I10 + (a polynomial in z2, I2, I6, I8)', '32I12 + (a polynomial ...)', and so on. Corollary 3.8 requires the coefficients of I10, I12, I14, I18 to be nonzero; these coefficients are exactly what is asserted but not exhibited. Since Theorem 3.1 feeds directly into Corollary 3.3 and Theorem 2.8/Corollary 1.1, a wrong or missing coefficient would remove the conclusion for this group. The E7(−25) case has a similar issue: the pairing ambiguity (1⊗ξ^3 with W⊗ξ versus W⊗ξ^{-1}) is declared immaterial, but the subsequent 'modulo the ideal generated by z' computations (v4, v12, v16, v24) are not derived in enough detail to verify the nonvanishing of the relevant coefficients. Please supply complete expansions, or a reproducible computational v
  2. [§2.2, Theorem 2.5 proof] The step 'Therefore, the kernel ... is finitely generated by open books' is a load-bearing assertion, not a derivation. Ranicki's asymmetric signature is cited as an obstruction to a bordism class having an open book representative; it does not immediately imply that the kernel of the higher-signature map is generated by classes with open book representatives, nor does it explain the finite-generation claim. Some argument is needed: e.g., identify the kernel with the image of the relevant Quinn/Ranicki asymmetric L-group and prove it is finitely generated, or prove directly that every class in the kernel has a bounded-complexity multiple. As written, Theorem A and Theorem 2.5 rest on this gap.
  3. [§3.1 and §3.2] Theorem 3.1 is stated for semisimple groups, but the proof is organized by simple factors. The passage from simple to semisimple (product case) is not spelled out. Since H^ev(B(G1×G2)) is the completed tensor product of the individual cohomology rings, the density of the image of γ⊗Q for each factor does not literally give density of the tensor product without a short argument. This is likely routine and fixable, but it should be included to make the statement of Theorem 3.1 complete.
minor comments (4)
  1. [§3.2, E6(−14)] The sign ambiguity in the e^{-4y} summand appears benign, because the coefficients of the needed generators (especially e and p1, p3) are nonzero for both choices. It would help the reader if the authors said this explicitly rather than only 'does not ultimately effect our computation'.
  2. [Throughout] There are a few typos: 'effect' should be 'affect' in the E6(−14) paragraph; 'ues' should be 'use' in the E7(−25) paragraph; in the F4(−20) computation, the notation for the sum over i,j is slightly ambiguous.
  3. [§2.1, Question after Prop. 2.2] The question 'Which K\G/Γ have open book decompositions?' is a nice open problem, but the preceding paragraph suggests a connection to Quinn's algebraic theory without explaining what calculation would be needed. A reference or one-sentence explanation would help.
  4. [§2.4, Example 2.10] The statement 'By Theorem 2.1, manifolds in this family all have the same Morse complexity' uses Theorem 2.1, but the manifolds are simple homotopy equivalent, not necessarily simple homotopy equivalent to RP^{4k+3} with a fixed Morse function; the application is fine but could be spelled out.

Circularity Check

0 steps flagged

No circularity: Theorem B rests on an independent case-by-case Chern-signature computation, not on its own conclusion.

full rationale

The derivation chain is not circular. Theorem 2.8 / Corollary 1.1 are consequences of Theorem 3.1, which is proved by explicit computation of the Chern signature on Hermitian representations for each group with discrete series (the paper says: 'Our proof proceeds by direct computation for each simple G with discrete series representations'). No parameter is fitted and no predicted lower bound is read back from the target result; the lower-bound mechanism uses independent work of Atiyah, Meyer, Lusztig, Matsushima, and Harish-Chandra. Corollary 3.3 invokes the dense-image conclusion of Theorem 3.1 as a hypothesis to deduce surjectivity onto H^*(U/K); it does not prove that dense-image conclusion, so there is no loop. The cited self-work is supporting rather than load-bearing: [Tsh15] is used only to explain Mehta's computation of invariant polynomial generators, and [CW03]/[MW] provide context or constructions for examples, not the main theorem. The genuinely soft spots are verification gaps, not circularity: in E6(-14) a sign ambiguity is declared not to affect the computation, in E7(-25) an unresolved pairing is bypassed, and in E8(-24) several coefficients are given only as 'a polynomial in lower generators'. If one of those asserted coefficients vanished after elimination, or a sign choice changed a lowest-degree term, the dense-image proof for that case could fail. That is a correctness risk, and the paper itself flags some of these ambiguities, but none of these steps reduces the theorem to its own inputs. Therefore no circular step is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The paper's contribution is mathematical derivation built on heavyweight cited theorems and one large, unverified computation block. There are no fitted numbers or invented physical entities; the constants that appear depend only on dimension.

axioms (8)
  • standard math Harish-Chandra's criterion: G has discrete series representations iff rank(G)=rank(K).
    Invoked in Corollary 3.3 and Table 1 to decide which real forms have discrete series; cited to Kna86.
  • domain assumption Matsushima's theorem: H^*(K\G^u) embeds into H^*(K\G/Γ) as invariant classes.
    Defines the Matsushima classes that Theorem B targets; cited to Mat62 and Ser79.
  • standard math Lawson's theorem: every closed odd-dimensional manifold has an open book decomposition.
    Basis for Proposition 2.2, Proposition 2.3, and Lemma 2.4; cited to Law78.
  • domain assumption Ranicki's asymmetric signature is the open book obstruction, and its vanishing gives finite generation by open books.
    Used in the proof of Theorem 2.5; the finite-generation consequence is asserted rather than derived in the text.
  • standard math Quinn's open book decomposition theorems, including extension over a cobordism under π1 hypotheses.
    Used in Theorem 2.11 and in the proof of Lemma 2.4; cited to Qui79.
  • standard math Kreck's stable diffeomorphism theorem for spin 4-manifolds over Bπ.
    Used in the four-dimensional bordism argument, Theorem 2.6; cited to Kre99 and KPT25.
  • standard math Finite generation of the bordism groups Ω_d(X) for a finite complex X.
    Used in Proposition 2.3 and Theorem 2.11 to pass from generators to all classes.
  • ad hoc to paper Correctness and completeness of the §3.2 case-by-case character computations for all simple real Lie groups with discrete series.
    The paper itself says the proof proceeds by direct computation for each simple group; these computations are not independently verified or machine-checked.

reviewed 2026-08-01 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Morse complexity of homology classes." pith.science (2026). https://pith.science/paper/OIFGHDL4

@misc{pith2026260720259,
  author       = {Pith},
  title        = {Pith review of: Morse complexity of homology classes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OIFGHDL4}},
  note         = {Machine review of arXiv:2607.20259}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The Morse complexity of a manifold is the minimal number of handles required to build it. We explore the Morse complexity of manifolds, bordisms, and homology classes, proving nontrivial upper bounds using surgery theory and lower bounds using index theory. Our most involved result shows that for Lie groups which admit discrete series representations, the Morse complexity of their locally symmetric spaces grows linearly with volume. This implies that such locally symmetric spaces do not admit open book decompositions.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

75 extracted references · 26 canonical work pages

  1. [1]

    Duke Math

    Quantitative PL bordism , author=. Duke Math. J. , year=

  2. [2]

    Morse complexity , author=

  3. [3]

    Alexandrov, A. D. , TITLE =. 2006 , PAGES =

    2006

  4. [4]

    Alexander, J. W. , title=. Proc. Nat. Acad. Sci. U.S.A. , volume=. 1923 , pages=

    1923

  5. [5]

    Atiyah, M. F. , TITLE =. Global. 1969 , MRCLASS =

    1969

  6. [6]

    Atiyah, M. F. and Patodi, V. K. and Singer, I. M. , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.1017/S0305004100049410 , URL =

    doi:10.1017/s0305004100049410 1975

  7. [7]

    Atiyah, M. F. and Patodi, V. K. and Singer, I. M. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1973 , PAGES =. doi:10.1112/blms/5.2.229 , URL =

    doi:10.1112/blms/5.2.229 1973

  8. [8]

    Group rings and hyperbolic geometry , author=. Geom. Topol. , year=

  9. [9]

    and Okun, B

    Avramidi, G. and Okun, B. and Schreve, K. , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01057-x , URL =

    doi:10.1007/s00222-021-01057-x 2021

  10. [10]

    and Livesay, G

    Browder, W. and Livesay, G. R. , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1973 , PAGES =. doi:10.2748/tmj/1178241416 , URL =

    arXiv 1973

  11. [11]

    and Rourke, C

    Buoncristiano, S. and Rourke, C. P. and Sanderson, B. J. , TITLE =. 1976 , PAGES =

    1976

  12. [12]

    Cha, J. C. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1002/cpa.21597 , URL =

    work page doi:10.1002/cpa.21597 2016

  13. [13]

    Cha, J. C. and Lim, G. , title=

  14. [14]

    Chambers, G. R. and Dotterrer, D. and Manin, F. and Weinberger, Sh. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/jams/903 , URL =

    work page doi:10.1090/jams/903 2018

  15. [15]

    and Weinberger, Sh

    Chang, S. and Weinberger, Sh. , TITLE =. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/gt.2003.7.311 , URL =

    work page doi:10.2140/gt.2003.7.311 2003

  16. [16]

    and Gromov, M

    Cheeger, J. and Gromov, M. , TITLE =. Differential geometry and complex analysis , PAGES =. 1985 , MRCLASS =

    1985

  17. [17]

    Cheeger, J. and M\". On the curvature of piecewise flat spaces , JOURNAL =. 1984 , NUMBER =

    1984

  18. [18]

    Conner, P. E. and Floyd, E. E. , TITLE =. 1964 , PAGES =

    1964

  19. [19]

    and Thurston, D

    Costantino, F. and Thurston, D. , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtn017 , URL =

    work page doi:10.1112/jtopol/jtn017 2008

  20. [20]

    and Dyer, R

    Boissonnat, J.-D. and Dyer, R. and Ghosh, A. , TITLE =. Found. Comput. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s10208-017-9344-1 , URL =

    doi:10.1007/s10208-017-9344-1 2018

  21. [21]

    Geometriae Dedicata , volume=

    Riemannian simplices and triangulations , author=. Geometriae Dedicata , volume=. 2015 , publisher=

    2015

  22. [22]

    Discrete & Computational Geometry , volume=

    Edgewise subdivision of a simplex , author=. Discrete & Computational Geometry , volume=. 2000 , publisher=

    2000

  23. [23]

    STOC '16: Proceedings of the 48th annual ACM symposium on Theory of Computing , pages=

    Bounded degree cosystolic expanders of every dimension , author=. STOC '16: Proceedings of the 48th annual ACM symposium on Theory of Computing , pages=. 2016 , organization=

    2016

  24. [24]

    , TITLE =

    Friedman, G. , TITLE =. Topology Appl. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.topol.2015.07.014 , URL =

    work page doi:10.1016/j.topol.2015.07.014 2015

  25. [25]

    , TITLE =

    Goresky, M. , TITLE =. Intersection cohomology (. 1984 , MRCLASS =. doi:10.1007/978-0-8176-4765-0\_7 , URL =

    work page doi:10.1007/978-0-8176-4765-0 1984

  26. [26]

    , TITLE =

    Gromov, M. , TITLE =. Prospects in mathematics (. 1999 , MRCLASS =

    1999

  27. [27]

    , TITLE =

    Gromov, M. , TITLE =. Functional analysis on the eve of the 21st century,. 1996 , MRCLASS =. doi:10.1007/s10107-010-0354-x , URL =

    work page doi:10.1007/s10107-010-0354-x 1996

  28. [28]

    , TITLE =

    Gromov, M. , TITLE =. Inst. Hautes \'. 1982 , PAGES =

    1982

  29. [29]

    , TITLE =

    Gromov, M. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0021-7 , URL =

    doi:10.1007/s00039-009-0021-7 2009

  30. [30]

    Gromov, M. and L. Guth , journal=. Generalizations of the. 2012 , publisher=

    2012

  31. [31]

    1976 , publisher=

    Differential topology , author=. 1976 , publisher=

    1976

  32. [32]

    Hirsch, M. W. and Mazur, B. , TITLE =. 1974 , PAGES =

    1974

  33. [33]

    , TITLE =

    Hirzebruch, F. , TITLE =. Proc. 1968 , MRCLASS =

    1968

  34. [34]

    and Powell, M

    Kasprowski, D. and Powell, M. and Teichner, P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/memo/1579 , URL =

    work page doi:10.1090/memo/1579 2025

  35. [35]

    Kervaire, M. A. and Milnor, J. W. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1963 , PAGES =. doi:10.2307/1970128 , URL =

    doi:10.2307/1970128 1963

  36. [36]

    , TITLE =

    Kreck, M. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1999 , NUMBER =. doi:10.2307/121071 , URL =

    work page doi:10.2307/121071 1999

  37. [37]

    and Schmidt, B

    Lafont, J.-F. and Schmidt, B. , TITLE =. Acta Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11511-006-0009-1 , URL =

    doi:10.1007/s11511-006-0009-1 2006

  38. [38]

    , TITLE =

    Lawson, T. , TITLE =. Topology , FJOURNAL =. 1978 , NUMBER =. doi:10.1016/S0040-9383(78)90024-1 , URL =

    work page doi:10.1016/s0040-9383(78)90024-1 1978

  39. [39]

    and Rourke, C

    Levitt, N. and Rourke, C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1978 , PAGES =. doi:10.2307/1997861 , URL =

    work page doi:10.2307/1997861 1978

  40. [40]

    and Weinberger, Sh

    Lim, G. and Weinberger, Sh. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1515/crelle-2024-0003 , URL =

    work page doi:10.1515/crelle-2024-0003 2024

  41. [41]

    , TITLE =

    Lusztig, G. , TITLE =. J. Differential Geometry , FJOURNAL =. 1972 , PAGES =

    1972

  42. [42]

    and Milgram, R

    Madsen, I. and Milgram, R. J. , TITLE =. 1979 , PAGES =

    1979

  43. [43]

    and Weinberger, Sh

    Manin, F. and Weinberger, Sh. , title =. Duke Math. J. , year =

  44. [44]

    , TITLE =

    Meyer, W. , TITLE =. Bonn. Math. Schr. , FJOURNAL =. 1972 , NUMBER =

    1972

  45. [45]

    Homotopy invariants of multiply connected manifolds

    Mi. Homotopy invariants of multiply connected manifolds. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1971 , PAGES =

    1971

  46. [46]

    , TITLE =

    Quinn, F. , TITLE =. Topology , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0040-9383(79)90014-4 , URL =

    work page doi:10.1016/0040-9383(79)90014-4 1979

  47. [47]

    , TITLE =

    Ranicki, A. , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-12011-8 , URL =

    work page doi:10.1007/978-3-662-12011-8 1998

  48. [48]

    Rourke, C. P. and Sanderson, B. J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970591 , URL =

    work page doi:10.2307/1970591 1968

  49. [49]

    Rourke, C. P. and Sanderson, B. J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970598 , URL =

    work page doi:10.2307/1970598 1968

  50. [50]

    Rourke, C. P. and Sanderson, B. J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970714 , URL =

    work page doi:10.2307/1970714 1968

  51. [51]

    Mathematische Nachrichten , volume=

    Manifolds with Boundary and of Bounded Geometry , author=. Mathematische Nachrichten , volume=. 2001 , publisher=

    2001

  52. [52]

    , TITLE =

    Serre, J.-P. , TITLE =. Homological group theory (. 1979 , ISBN =

    1979

  53. [53]

    Siegel, P. H. , TITLE =. Amer. J. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2374334 , URL =

    work page doi:10.2307/2374334 1983

  54. [54]

    , TITLE =

    Smale, S. , TITLE =. Amer. J. Math. , FJOURNAL =. 1962 , PAGES =. doi:10.2307/2372978 , URL =

    work page doi:10.2307/2372978 1962

  55. [55]

    , TITLE =

    Thom, R. , TITLE =. C. R. Acad. Sci. Paris , FJOURNAL =. 1953 , PAGES =

    1953

  56. [56]

    , TITLE =

    Thom, R. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1954 , PAGES =. doi:10.1007/BF02566923 , URL =

    doi:10.1007/bf02566923 1954

  57. [57]

    Wall, C. T. C. , TITLE =. 1999 , PAGES =. doi:10.1090/surv/069 , URL =

    doi:10.1090/surv/069 1999

  58. [58]

    , TITLE =

    Weinberger, Sh. , TITLE =. Tel. 1999 , MRCLASS =. doi:10.1090/conm/231/03369 , URL =

    work page doi:10.1090/conm/231/03369 1999

  59. [59]

    , TITLE =

    Weinberger, Sh. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1002/cpa.3160430507 , URL =

    work page doi:10.1002/cpa.3160430507 1990

  60. [60]

    , TITLE =

    Weinberger, Sh. , TITLE =. 2023 , PAGES =

    2023

  61. [61]

    Williamson, Jr., R. E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.2307/1970467 , URL =

    work page doi:10.2307/1970467 1966

  62. [62]

    Winkelnkemper, H. E. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1973 , PAGES =. doi:10.1090/S0002-9904-1973-13085-X , URL =

    work page doi:10.1090/s0002-9904-1973-13085-x 1973

  63. [63]

    Zeeman, E. C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1963 , PAGES =. doi:10.2307/1970538 , URL =

    work page doi:10.2307/1970538 1963

  64. [64]

    Adams, J. F. , TITLE =. 1996 , PAGES =

    1996

  65. [65]

    , TITLE =

    Borel, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1953 , PAGES =. doi:10.2307/1969728 , URL =

    doi:10.2307/1969728 1953

  66. [66]

    and Hirzebruch, F

    Borel, A. and Hirzebruch, F. , TITLE =. Amer. J. Math. , FJOURNAL =. 1958 , PAGES =. doi:10.2307/2372795 , URL =

    doi:10.2307/2372795 1958

  67. [67]

    , TITLE =

    Deligne, P. , TITLE =. Quantum fields and strings: a course for mathematicians,. 1999 , ISBN =

    1999

  68. [68]

    and Harris, J

    Fulton, W. and Harris, J. , TITLE =. 1991 , PAGES =. doi:10.1007/978-1-4612-0979-9 , URL =

    doi:10.1007/978-1-4612-0979-9 1991

  69. [69]

    , TITLE =

    Helgason, S. , TITLE =. 1978 , PAGES =

    1978

  70. [70]

    Knapp, A. W. , TITLE =. 1986 , PAGES =. doi:10.1515/9781400883974 , URL =

    doi:10.1515/9781400883974 1986

  71. [71]

    Mehta, M. L. , TITLE =. Comm. Algebra , FJOURNAL =. 1988 , NUMBER =. doi:10.1080/00927878808823619 , URL =

    work page doi:10.1080/00927878808823619 1988

  72. [72]

    , TITLE =

    Tshishiku, B. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/agt.2015.15.2709 , URL =

    work page doi:10.2140/agt.2015.15.2709 2015

  73. [73]

    , TITLE =

    Slansky, R. , TITLE =. Phys. Rep. , FJOURNAL =. 1981 , NUMBER =. doi:10.1016/0370-1573(81)90092-2 , URL =

    doi:10.1016/0370-1573(81)90092-2 1981

  74. [74]

    , Coden =

    Milnor, J. , Coden =. On the homology of. Comment. Math. Helv. , Mrclass =. 1983 , Bdsk-Url-1 =. doi:10.1007/BF02564625 , Fjournal =

    doi:10.1007/bf02564625 1983

  75. [75]

    , Journal =

    Matsushima, Y. , Journal =. On

This paper was first reviewed by deepseek-v4-flash on August 1, 2026.