Pith. sign in

REVIEW 4 minor 51 references

The cohomology of Torelli groups is algebraic

T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Rational cohomology of Torelli groups is algebraic: no finite-index subgroup is needed.

desk verdict A substantial paper that genuinely kills the finite-index ambiguity in the algebraicity of Torelli cohomology; it deserves a careful referee and likely acceptance. read the letter →

arxiv 1908.04724 v3 pith:AKLNLF25 submitted 2019-08-13 math.AT

Alexander Kupers , Oscar Randal-Williams This is my paper · ORCID
classification math.AT MSC 57R5020J0622E40
keywords Torelligroupalgebraicrepresentationrationalcohomologyembeddingcalculusdiffeomorphismarithmeticnilpotentspacehigh-dimensionalmanifolds
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

The paper's central claim is that the rational cohomology of a high-dimensional Torelli group is a completely algebraic object. For $2n\ge6$ and $g\ge2$, each group $H^i(B\mathrm{Tor}(W_g,D^{2n});\mathbb Q)$ carries an action of $G'_g$, the arithmetic image of the diffeomorphism group in the symplectic or orthogonal group, and the paper proves that this action extends to an algebraic representation of the full algebraic group $\mathrm{Sp}_{2g}$ or $O_{g,g}$. This removes the finite-index caveat of 'almost algebraic' and, together with a companion computation, determines the rational cohomology of the Torelli group in a stable range. The paper also proves that the classifying space of the Torelli group is nilpotent.

What carries the argument

The load-bearing machinery is the embedding-calculus Taylor tower for the monoid of self-embeddings $\mathrm{Emb}_{1/2\partial}(W_{g,1})$ of $W_{g,1}$ with half-boundary conditions. The tower approximates this monoid by layers $L_k$, which for $k\ge2$ are section spaces of bundles over configuration spaces; the paper proves that the rational homotopy groups of every layer are gr-algebraic $\Gamma_g$-representations, meaning they admit finite filtrations whose subquotients are restrictions of algebraic representations. The Bousfield-Kan homotopy spectral sequence of the tower then gives finite filtrations of the rational homotopy groups of the self-embedding space itself, with the same gr-algebraic property. An equivariant Serre-class formalism passes this property through the long exact sequences and Serre spectral sequences that relate self-embeddings to the Torelli group, and closure under extensions turns gr-algebraic information into genuinely algebraic representations.

What would settle it

Produce, for some $2n\ge6$ and $g\ge2$, a rational cohomology class in $H^i(B\mathrm{Tor}(W_g,D^{2n});\mathbb Q)$ whose $G'_g$-representation is not the restriction of an algebraic representation of $\mathrm{Sp}_{2g}$ or $O_{g,g}$; equivalently, any class whose $G'_g$-action fails to extend to the full algebraic group would refute Theorem A. A second check would be to find values of $n,g,i$ where the Bousfield-Kan spectral sequence for the self-embedding tower has infinitely many nonzero differentials into the relevant entry, destroying the finite filtration on which the proof depends.

Watch

Extended reading notes

Core claim

The central result is Theorem A: for $2n\ge6$ and $g\ge2$, the rational cohomology groups $H^i(B\mathrm{Tor}(W_g,D^{2n});\mathbb Q)$ are algebraic representations of $G'_g$, where $\mathrm{Tor}(W_g,D^{2n})$ is the subgroup of diffeomorphisms of $W_g=\#^g S^n\times S^n$ that fix a disc and act trivially on $H_n(W_g;\mathbb Z)$. Concretely, the $G'_g$-action extends across the inclusion $G'_g\subset \mathrm{Sp}_{2g}(\mathbb Q)$ (for odd $n$) or $G'_g\subset O_{g,g}(\mathbb Q)$ (for even $n$) to a rational algebraic representation, with no need to pass to a finite-index subgroup. The proof achieves this by showing that every rational homotopy group of the space of self-embeddings of $W_{g,1}$ acquires a finite filtration whose subquotients are algebraic representations, and then carries this algebraic structure through the Weiss fibration sequence to the cohomology of the Torelli group. A direct corollary is that the previously computed maximal algebraic subrepresentation in the stable range is the whole cohomology.

Load-bearing premise

The proof rests on the quantitative control of the embedding-calculus tower for self-embeddings of $W_{g,1}$: if the relevant connectivity estimates failed in some dimension, the Bousfield-Kan homotopy spectral sequence would not converge completely with the group action, and the finite filtrations with algebraic subquotients would not exist.

Editorial extensions

If this is right

  • In the stable range, $H^*(B\mathrm{Tor}(W_g,D^{2n});\mathbb Q)$ is completely determined once the companion computation of the maximal algebraic subrepresentation is combined with Theorem A.
  • Cohomology with coefficients in any algebraic $G'_g$-representation $V$ is independent of the choice of finite-index subgroup of $G'_g$ in degrees below the stable range.
  • The classifying space $B\mathrm{Tor}(W_g,D^{2n})$ is nilpotent for $2n\ge6$, so nilpotent homotopy theory applies to these moduli spaces.
  • The algebraicity and nilpotence results extend to moduli spaces of $W_{g,1}$ equipped with tangential structures such as framings, provided the structure space is $n$-connected and has degree-wise finite rational cohomology.

Reading between the lines

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

  • Beyond the paper, the same gr-algebraic filtration argument could be run with an algebraic coefficient representation $V$ in place of $\mathbb Q$; this would likely prove algebraicity of $H^i(B\mathrm{Tor};V)$ in all degrees covered by Theorem A.
  • Because algebraic representations of $\mathrm{Sp}_{2g}$ and $O_{g,g}$ are semisimple, Theorem A implies each cohomology group splits into irreducible constituents; explicit stable-range formulas for these constituents would give closed-form Betti numbers for the Torelli group.
  • The boundary cases are $g=1$ with odd $n$ (where extensions of algebraic representations need not split) and even $n$ at $g=1$ (where the paper obtains no information); a concrete non-splitting extension would explain the boundary, while a splitting theorem would extend the result.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves Theorem A: for 2n ≥ 6 and g ≥ 2, the rational cohomology groups H^i(BTor(W_g,D^{2n});Q) are algebraic representations of G'_g, i.e. restrictions of rational algebraic representations of Sp_{2g} or O_{g,g}, with no finite-index qualification. The proof passes through the embedding-calculus Taylor tower for the monoid Emb~=_{1/2∂}(W_{g,1}); the first layer is identified with bundle maps and the higher layers with relative section spaces, and the rational homotopy groups of all layers are shown to be gr-algebraic Γ_g-representations. A completely convergent Bousfield–Kan homotopy spectral sequence, using Goodwillie–Klein connectivity bounds, then yields finite filtrations on the relevant rational homotopy groups, and the authors transfer this algebraic structure to the cohomology of the Torelli space via the Weiss fibration sequence and the group cohomology of Ig. Corollary B gives a stable-range isomorphism for finite-index subgroups, and Theorem C establishes nilpotence of BTor(W_g,D^{2n}). Section 8 extends these results to moduli spaces with tangential structures, under an n-connectivity assumption on the structure space.

Significance. This is a strong structural result: it upgrades the previously known 'almost algebraic' statement to a genuinely algebraic one in all cohomological degrees, without stable-range restrictions, and it combines with [KRW20] to determine the full rational cohomology of Torelli groups in the stable range. The arguments are written out with precise connectivity, convergence, and finiteness hypotheses throughout, and the central derivation is not circular: it uses external theorems of Kreck, Goodwillie–Klein, Borel, and Totaro, together with independent prior finiteness results in [Kup19] and [KRW20]. The paper is clear and careful, and the main theorems are likely to become standard references. I found no gap in the central chain of reasoning.

minor comments (4)
  1. [§2.2.1, Lemma 2.14] The proof refers to 'property (18)' when it invokes dualization; this should read 'property (iv)' from the definition of an equivariant Serre class.
  2. [§3.2, Table 1] The table lists Sπ_6(SO(6)) = Z/2 in the n ≡ 6 (mod 8) row but the caption states the exception Sπ_6(SO(6)) = 0; the presentation should be adjusted so that the exceptional value is not in apparent conflict with the row entry.
  3. [§5.4.1, Lemma 5.4] The phrase 'by excision' in the chain of isomorphisms is quite terse; adding one sentence explaining how the collar and the homotopy H_t reduce the computation to an excision would improve readability.
  4. [§6, Proof of Theorem A] In the displayed commutative diagram, the top-right entry is printed as '∗'; since the row is claimed to be a fibration sequence and the top row should be the Weiss fibration sequence, this entry should presumably be BEmb~=_{1/2∂}(W_{g,1}), and the typography should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A is derived from embedding-calculus convergence and independent algebraic-group input, not from its own conclusion.

full rationale

The derivation chain leading to Theorem A is not circular. The paper proves that the layers of the embedding-calculus tower have gr-algebraic rational homotopy groups (Propositions 4.5 and 5.11), obtains complete convergence of the Bousfield-Kan homotopy spectral sequence from Goodwillie-Klein connectivity [GK15] and Bousfield-Kan [BK72], and then assembles the cohomological statement through Corollaries 6.3 and 6.4 and the Weiss fibration sequence. The target conclusion, that H^i(BTor(W_g,D^{2n});Q) is an algebraic G'_g-representation, is never used as an input: it is obtained as the abutment of a Serre spectral sequence whose E_2-page is algebraic by the prior gr-algebraic results and the computation H^i(J_g;Q) = Lambda^i[H_n otimes (S pi_n(SO(2n)) otimes Q)^vee]. The self-citations to [Kup19] and [KRW20] are used for auxiliary facts (finiteness, delooping of the Weiss fibration, closure properties of algebraic representations), all of which are stated with explicit hypotheses and none of which restate Theorem A. There are no fitted parameters, no prediction that is equivalent to its input by construction, and no uniqueness claim imported from the authors' prior work to force the chosen conclusion. The cited convergence and connectivity results are external theorems applied in exactly their stated regime, so the central claim has independent mathematical content.

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

All load-bearing premises are standard theorems or previously published results; no free parameters or invented entities appear. The proof derives the target result from these inputs.

assumptions (6)
  • domain assumption Kreck's classification of the mapping class group of W_{g,1} (Theorem 3.3): Γ_g is an extension of G'_g by I_g, with I_g an extension of Hom(H_n, Sπ_n(SO(n))) by Θ_{2n+1}.
    Used in Section 3.2 to identify the group Λ_g and the extension (5) that underlies all representation actions; relies on 2n ≥ 6.
  • standard math Goodwillie-Weiss and Goodwillie-Klein multiple disjunction: the embedding calculus Taylor tower converges for manifolds of handle dimension at most d-3, with connectivity bounds for layers.
    Invoked in Sections 3.3.1, 5.5, and 6 to obtain complete convergence of spectral sequences and connectivity of layers; if convergence failed, the filtration arguments would collapse.
  • standard math Arithmetic subgroups of Sp_{2g} and O_{g,g} are Zariski dense (Borel density theorem / Borel-Harish-Chandra), and extensions of algebraic representations are algebraic for g ≥ 2.
    Used in Section 2 and the proof of Theorem A to propagate algebraicity through spectral sequences; the g ≥ 2 hypothesis is taken from [KRW20, Theorem 2.2].
  • domain assumption The rational cohomology groups H^i(BDiff_∂(D^{2n});Q) are degree-wise finite-dimensional (Kup19, Theorem A).
    Used in the Serre spectral sequence in the proof of Theorem A to ensure the E2-page is a tensor product of algebraic representations with finite-dimensional vector spaces.
  • standard math Totaro spectral sequence computes H^*(Emb(k,N);Q) with E2-page described by generators G_ab and relations; for N = W_{g,1} the Γ_g-action on E2 factors over G'_g.
    Used in Lemma 5.8 to prove gr-algebraicity of configuration space cohomology, which is then converted to homotopy groups via Serre classes.
  • standard math H^*(K(A,n);Q) is the free graded-commutative algebra on (A⊗Q)^∨[n] as a Q[Γ]-module.
    Used in Lemma 2.14 to prove that gr-algebraic representations form an equivariant Serre class with property (iii).

how reviews work

0 comments
Cite this review

Pith. "Pith review of The cohomology of Torelli groups is algebraic." pith.science (2026). https://pith.science/paper/AKLNLF25

@misc{pith2026190804724,
  author       = {Pith},
  title        = {Pith review of: The cohomology of Torelli groups is algebraic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AKLNLF25}},
  note         = {Machine review of arXiv:1908.04724}
}
abstract

The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $Sp_{2g}(Z)$ or $O_{g,g}(Z)$. In this paper we prove that for $2n \geq 6$ and $g \geq 2$, they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 49 canonical work pages

  1. [1]

    Boavida de Brito and M

    P. Boavida de Brito and M. Weiss, Manifold calculus and homotopy sheaves, Homology Homotopy Appl. 15 (2013), no. 2, 361--383

    work page 2013

  2. [2]

    , Spaces of smooth embeddings and configuration categories, J. Topol. 11 (2018), no. 1, 65--143

    work page 2018

  3. [3]

    Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups, Ann

    A. Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups, Ann. of Math. (2) 75 (1962), 485--535

    work page 1962

  4. [4]

    A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972

    1972

  5. [5]

    Burghelea and R

    D. Burghelea and R. Lashof, The homotopy type of the space of diffeomorphisms. I , II , Trans. Amer. Math. Soc. 196 (1974), 1--36; ibid. 196\ (1974), 37--50

    work page 1974

  6. [6]

    J. M. Boardman, Conditionally convergent spectral sequences, Homotopy invariant algebraic structures ( B altimore, MD , 1998), Contemp. Math., vol. 239, Amer. Math. Soc., Providence, RI, 1999, pp. 49--84

    work page 1998

  7. [7]

    Borel, Density properties for certain subgroups of semi-simple groups without compact components, Ann

    A. Borel, Density properties for certain subgroups of semi-simple groups without compact components, Ann. of Math. (2) (1960), 179--188

    work page 1960

  8. [8]

    , Stable real cohomology of arithmetic groups, Ann. Sci. \'Ecole Norm. Sup. (4) 7 (1974), 235--272 (1975)

    work page 1974

Show all 51 references
  1. [9]

    II , Manifolds and L ie groups ( N otre D ame, I nd., 1980), Progr

    , Stable real cohomology of arithmetic groups. II , Manifolds and L ie groups ( N otre D ame, I nd., 1980), Progr. Math., vol. 14, Birkh\"auser, Boston, Mass., 1981, pp. 21--55

    1980

  2. [10]

    A. K. Bousfield, Homotopy spectral sequences and obstructions, Israel J. Math. 66 (1989), no. 1-3, 54--104

    1989

  3. [11]

    K. S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994, Corrected reprint of the 1982 original

    1994

  4. [12]

    Cerf, La stratification naturelle des espaces de fonctions diff\'erentiables r\'eelles et le th\'eor\`eme de la pseudo-isotopie, Inst

    J. Cerf, La stratification naturelle des espaces de fonctions diff\'erentiables r\'eelles et le th\'eor\`eme de la pseudo-isotopie, Inst. Hautes \'Etudes Sci. Publ. Math. (1970), no. 39, 5--173

    1970

  5. [13]

    W. G. Dwyer and D. M. Kan, Function complexes in homotopical algebra, Topology 19 (1980), no. 4, 427--440

    1980

  6. [14]

    , An obstruction theory for diagrams of simplicial sets, Nederl. Akad. Wetensch. Indag. Math. 46 (1984), no. 2, 139--146

    1984

  7. [15]

    Dress, Zur S pectralsequenz von F aserungen , Invent

    A. Dress, Zur S pectralsequenz von F aserungen , Invent. Math. 3 (1967), 172--178

    1967

  8. [16]

    Federer, A study of function spaces by spectral sequences, Trans

    H. Federer, A study of function spaces by spectral sequences, Trans. Amer. Math. Soc. 82 (1956), 340--361

    1956

  9. [17]

    T. G. Goodwillie and J. R. Klein, Multiple disjunction for spaces of smooth embeddings, J. Topol. 8 (2015), no. 3, 651--674

    2015

  10. [18]

    T. G. Goodwillie, J. R. Klein, and M. S. Weiss, A H aefliger style description of the embedding calculus tower , Topology 42 (2003), no. 3, 509--524

    2003

  11. [19]

    T. G. Goodwillie, A multiple disjunction lemma for smooth concordance embeddings, Mem. Amer. Math. Soc. 86 (1990), no. 431, viii+317

    1990

  12. [20]

    Galatius and O

    S. Galatius and O. Randal-Williams, Monoids of moduli spaces of manifolds, Geom. Topol. 14 (2010), no. 3, 1243--1302

    2010

  13. [21]

    , Homological stability for moduli spaces of high dimensional manifolds. I , J. Amer. Math. Soc. 31 (2018), no. 1, 215--264

    2018

  14. [22]

    T. G. Goodwillie and M. Weiss, Embeddings from the point of view of immersion theory. II , Geom. Topol. 3 (1999), 103--118 (electronic)

    1999

  15. [23]

    Haefliger, Plongements diff\' e rentiables de vari\' e t\' e s dans vari\' e t\' e s , Comment

    A. Haefliger, Plongements diff\' e rentiables de vari\' e t\' e s dans vari\' e t\' e s , Comment. Math. Helv. 36 (1961), 47--82

    1961

  16. [24]

    R. M. Hain, The H odge de R ham theory of relative M alcev completion , Ann. Sci. \' E cole Norm. Sup. (4) 31 (1998), no. 1, 47--92

    1998

  17. [25]

    M. A. Kervaire, Some nonstable homotopy groups of L ie groups , Illinois J. Math. 4 (1960), 161--169

    1960

  18. [26]

    Kosi\' n ski, On the inertia group of -manifolds , Amer

    A. Kosi\' n ski, On the inertia group of -manifolds , Amer. J. Math. 89 (1967), 227--248

    1967

  19. [27]

    Krannich, Homological stability of topological moduli spaces, Geom

    M. Krannich, Homological stability of topological moduli spaces, Geom. Topol. 23 (2019), no. 5, 2397--2474. 4019896

    2019

  20. [28]

    , Mapping class groups of highly connected (4k+2) -manifolds, http://arxiv.org/abs/1902.10097, 2019

    1902 arXiv

  21. [29]

    Kreck, Isotopy classes of diffeomorphisms of (k-1) -connected almost-parallelizable 2k -manifolds , Algebraic topology, A arhus 1978 ( P roc

    M. Kreck, Isotopy classes of diffeomorphisms of (k-1) -connected almost-parallelizable 2k -manifolds , Algebraic topology, A arhus 1978 ( P roc. S ympos., U niv. A arhus, A arhus, 1978), Lecture Notes in Math., vol. 763, Springer, Berlin, 1979, pp. 643--663

    1978

  22. [30]

    Kupers and O

    A. Kupers and O. Randal-Williams, On the cohomology of T orelli groups , Forum of Mathematics, Pi 8 (2020), e7

    2020

  23. [31]

    R. C. Kirby and L. C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1977, Annals of Mathematics Studies, No. 88

    1977

  24. [32]

    Kupers, Some finiteness results for groups of automorphisms of manifolds, Geom

    A. Kupers, Some finiteness results for groups of automorphisms of manifolds, Geom. Topol. 23 (2019), 2277--2333 (electronic)

    2019

  25. [33]

    J. P. Levine, Lectures on groups of homotopy spheres, Algebraic and geometric topology ( N ew B runswick, N . J ., 1983), Lecture Notes in Math., vol. 1126, Springer, Berlin, 1985, pp. 62--95

    1983

  26. [34]

    Lillig, A union theorem for cofibrations, Arch

    J. Lillig, A union theorem for cofibrations, Arch. Math. (Basel) 24 (1973), 410--415

    1973

  27. [35]

    G. A. Margulis, Discrete subgroups of semisimple L ie groups , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 17, Springer-Verlag, Berlin, 1991

    1991

  28. [36]

    J. P. May and K. Ponto, More concise algebraic topology, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 2012

    2012

  29. [37]

    B. A. Munson and I. Voli\' c , Cubical homotopy theory, New Mathematical Monographs, vol. 25, Cambridge University Press, Cambridge, 2015

    2015

  30. [38]

    Riehl and D

    E. Riehl and D. Verity, The theory and practice of R eedy categories , Theory Appl. Categ. 29 (2014), 256--301

    2014

  31. [39]

    Schultz, Homotopy decompositions of equivariant function spaces

    R. Schultz, Homotopy decompositions of equivariant function spaces. I , Math. Z. 131 (1973), 49--75

    1973

  32. [40]

    Serre, Arithmetic groups, Homological group theory ( P roc

    J.-P. Serre, Arithmetic groups, Homological group theory ( P roc. S ympos., D urham, 1977), London Math. Soc. Lecture Note Ser., vol. 36, Cambridge Univ. Press, Cambridge-New York, 1979, pp. 105--136

    1977

  33. [41]

    D. P. Sinha, Manifold-theoretic compactifications of configuration spaces, Selecta Math. (N.S.) 10 (2004), no. 3, 391--428

    2004

  34. [42]

    E. H. Spanier, Algebraic topology, Springer-Verlag, New York, [1995?], Corrected reprint of the 1966 original

    1995

  35. [43]

    Totaro, Configuration spaces of algebraic varieties, Topology 35 (1996), no

    B. Totaro, Configuration spaces of algebraic varieties, Topology 35 (1996), no. 4, 1057--1067

    1996

  36. [44]

    Tshishiku, Borel's stable range for the cohomology of arithmetic groups, J.\ L ie T heory 29 (2019), no

    B. Tshishiku, Borel's stable range for the cohomology of arithmetic groups, J.\ L ie T heory 29 (2019), no. 4, 1093--1102

    2019

  37. [45]

    Turchin, Context-free manifold calculus and the F ulton- M ac P herson operad , Algebr

    V. Turchin, Context-free manifold calculus and the F ulton- M ac P herson operad , Algebr. Geom. Topol. 13 (2013), no. 3, 1243--1271

    2013

  38. [46]

    C. T. C. Wall, The action of _ 2n on (n-1) -connected 2n -manifolds , Proc. Amer. Math. Soc. 13 (1962), 943--944

    1962

  39. [47]

    , Classification problems in differential topology. II . D iffeomorphisms of handlebodies , Topology 2 (1963), 263--272. 0156354 (27 \#6278)

    1963

  40. [48]

    69, American Mathematical Society, Providence, RI, 1999, Edited and with a foreword by A

    , Surgery on compact manifolds, second ed., Mathematical Surveys and Monographs, vol. 69, American Mathematical Society, Providence, RI, 1999, Edited and with a foreword by A. A. Ranicki. 1687388

    1999

  41. [49]

    Weiss, Embeddings from the point of view of immersion theory

    M. Weiss, Embeddings from the point of view of immersion theory. I , Geom. Topol. 3 (1999), 67--101 (electronic)

    1999

  42. [50]

    , Erratum to the article E mbeddings from the point of view of immersion theory: P art I , Geom. Topol. 15 (2011), no. 1, 407--409

    2011

  43. [51]

    , Dalian notes on P ontryagin classes , preprint (2015), http://arxiv.org/abs/1507.00153

    2015 arXiv

Pith tools

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