Pith. sign in

REVIEW 1 major objections 6 minor 32 references

On Realisability of Twisted Homology

T0 review · 1 major / 6 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read A twisted homology class is realised by a submanifold exactly when its dual pulls back the twisted Thom class from a new classifying space over BO(1).

desk verdict Solid extension of Thom to twisted coefficients with a clean geometric PT construction and the first explicit non-realisable integral classes in non-orientable manifolds; the k-invariant identification is the only load-bearing soft spot and looks standard rather than broken. read the letter →

arxiv 2607.24462 v1 pith:I5AYFWN4 submitted 2026-07-27 math.AT math.GT

Mark Grant , Michael Jung , Baylee Schutte This is my paper · ORCID
classification math.ATmath.GT MSC 55N2255N2555P9157R19
keywords twistedhomologylocalcoefficientsparametrisedhomotopytheoryPontryagin–ThomconstructionThomspaceSteenrodcuberealisabilitynon-orientablemanifolds
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

Classical Thom theory tells when an ordinary homology class in an orientable manifold is carried by a submanifold, but the same question for twisted integer coefficients—or for ordinary integer classes inside non-orientable manifolds—has remained open. This paper answers it by building a twisted Thom space M^tw O(n) that lives over BO(1) and classifying twisted cobordism by parametrised maps into that space. The dual of a twisted class is realised if and only if it is the pull-back of the universal twisted Thom class. The first obstruction is the vanishing of a twisted Steenrod cube; when the ambient dimension is at most five more than the codimension the obstruction is also sufficient. The authors then produce the first concrete non-realisable integer homology classes in non-orientable 10- and 11-manifolds, showing that the obstruction is sharp.

What carries the argument

The twisted Thom space M^tw O(n) := MSO(n) ⎯ Z_2, a fibrant retractive space over BO(1) whose fibre is the ordinary oriented Thom space. Its twisted Pontryagin–Thom construction bijects parametrised homotopy classes with twisted cobordism classes, and its parametrised Postnikov tower supplies the twisted Steenrod-cube obstruction.

What would settle it

Compute the twisted Steenrod cube of the dual classes constructed in the 10- and 11-dimensional examples; if either vanishes, or if an independent geometric construction realises one of those classes by an embedded submanifold, the claimed obstruction is false.

Watch

Extended reading notes

Core claim

A cohomology class α in H^n(X; A) with local integer coefficients A is realised by a submanifold if and only if there is a map f : X o M^tw O(n) over BO(1) carrying the universal twisted Thom class to α. The first non-trivial obstruction is the vanishing of the twisted Steenrod cube St^5_{3,tw}(α); the condition is necessary in all dimensions and sufficient when dim X 一 n ≤ 5. Concrete 7-dimensional integer classes in non-orientable 10- and 11-manifolds are shown to be non-realisable by this criterion.

Load-bearing premise

The first obstruction in the Postnikov tower of the twisted Thom space is identified with the twisted Steenrod cube by taking the homotopy quotient of an equivariant Postnikov tower of the ordinary oriented Thom space and invoking the existing theory of twisted cohomology operations; if that identification fails the obstruction calculus collapses.

Editorial extensions

If this is right

  • Every twisted class of codimension 1 or 2 is realised by a submanifold.
  • In codimension ≥ 3 a twisted class of dimension ≤ 5 is realised precisely when its twisted Steenrod cube vanishes.
  • There exist non-realisable integral homology classes in non-orientable manifolds of dimensions 10 and 11.
  • The same obstruction theory applies verbatim to ordinary integer classes inside non-orientable manifolds via the orientation local system.

Reading between the lines

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

  • The same method should decide whether every twisted class admits a non-zero multiple that is realised, the twisted analogue of Thom’s classical multiple theorem.
  • Minimal-dimensional counter-examples are expected in dimension 9; a systematic search for free orientation-reversing involutions on known non-realisable oriented examples would settle the question.
  • Higher twisted k-invariants, once computed, will give complete realisability criteria in a larger stable range.
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

1 major / 6 minor

Summary. The paper studies when a (co)homology class with twisted integer coefficients on a manifold is realised by a submanifold, thereby extending Thom's classical theory to non-orientable ambient manifolds. The authors introduce a twisted Thom space M^tw O(n), defined as the pushout of D(γ_n) along w_1 : S(γ_n) → BO(1), identify it with the homotopy quotient MSO(n)//Z_2, and equip it with a universal twisted Thom class. They define ξ-oriented cobordism sets L_k(X; O_X ⊗ O_ξ) and prove a twisted Pontryagin–Thom bijection [X, M^tw O(n)]_{RP∞} ≅ L_k(X; O_X ⊗ O_ξ) (Theorem 4.9) via explicit geometric constructions (parametrised transversality, tubular-neighbourhood collapse maps). This yields the realisability criterion of Theorem 4.11: α ∈ H^n(X; A) is realisable iff it is pulled back from the twisted Thom class by a parametrised map over RP^∞. Using an equivariant Postnikov tower for MSO(n) and homotopy quotients, they identify the first k-invariant with the twisted Steenrod cube St^5_{3,tw} = β_tw ∘ P^1_3 ∘ ρ^tw_3 (Lemma 5.4), giving necessity of St^5_{3,tw}(α) = 0 and sufficiency when dim X ≤ n+5 (Theorem 5.5). Section 6 exhibits the first known non-realisable integral homology classes in non-orientable manifolds: 7-classes in an 11-manifold (Example 6.3) and a 10-manifold (Example 6.5).

Significance. If correct, this is a solid and useful contribution: it answers, with a computable obstruction, a classical question (raised by Liu) that Thom's methods cannot reach, and it provides the first concrete examples of non-realisable integral homology classes in non-orientable manifolds. Strengths deserve explicit mention: the Pontryagin–Thom bijection (Theorem 4.9) is proved by complete, geometric, parameter-free constructions (twisted Umkehr maps, push-pull formula 3.9, explicit collapse maps with continuity checks); the realisability criterion (Theorem 4.11) is a clean if-and-only-if statement; the obstruction St^5_{3,tw} is a defined, previously studied twisted cohomology operation, so the criterion is falsifiable and is actually verified nonzero in worked examples (6.3, 6.5) with careful transfer and Mayer–Vietoris computations. The framework (twisted Thom space, parametrised Postnikov tower over BZ_2) is developed with enough generality to be reusable. Nothing in the argument defines a quantity in terms of the result it predicts; the examples rely on independent input from Bohr–Hanke–Kotschick.

major comments (1)
  1. [§5.2, Lemma 5.4(ii)] §5.2, Lemma 5.4(ii): the identification of the homotopy-orbit k-invariant St^5_3//Z_2 with Gitler's twisted operation β_tw ∘ P^1_3 ∘ ρ^tw_3 is the load-bearing step for Theorem 1.2/5.5, and the current proof is terse. Two points should be made explicit. (a) Existence/class of the equivariant k-invariant: state that the Z_2-equivariant Postnikov tower of MSO(n) exists by [21, Thm II.1.2] (Z_2-simplicity is checked), and that its first k-invariant must restrict to the ordinary k-invariant of the underlying tower, i.e. ±St^5_3 in H^{n+5}(K(Z,n);Z) ≅ Z/3, both signs being odd and hence equivariantly admissible — the phrase 'by the uniqueness of the first κ-invariant' should be expanded along these lines. (b) Possible base component: as a retractive map over BZ_2 the k-invariant is a class in H^{n+5}(L(Z,n), BZ_2; L^n_Z) by Proposition 2.14, and one should rule out a summand pulled back from
minor comments (6)
  1. [§6, Question 6.7] Question 6.7 as stated ('a non-realisable integral homology class of dimension 3 in a non-orientable manifold of dimension 9', i.e. (n,k) = (6,3)) is already answered in the negative by the authors' own Corollary 6.1(ii): for α ∈ H^6(X^9; O_X) the obstruction St^5_{3,tw}(α) lies in H^{11}(X^9; O_X) = 0 and dim X = 9 ≤ n+5, so every such class is realisable. Presumably 'dimension 6' is intended, matching the (n,k) = (3,6) case of Remark 6.6. Please correct.
  2. [§5.2, Theorem 5.5] Proof of Theorem 5.5: 'P[k+4]//Z_2' should read P[n+4]//Z_2, and 'H^n(M, BZ_2; L^Th_Z)' should read H^n(M^tw O(n), BZ_2; L^Th_Z).
  3. [§2.4, Lemma 2.11] Lemma 2.11(iv): the fibrancy preservation of (−)//G is cited to a MathOverflow answer [13]; since this supports the fibrancy of M^tw O(n) used throughout, a published reference or a short direct proof would be preferable.
  4. [§1.1] §1.1: in the definition of realisability, clarify whether the isomorphism ι^*(A ⊗ O_X) ≅ O_M is part of the data or merely required to exist; later the realisation map µ (§4.5) uses the specific isomorphism induced by the ξ-orientation φ, so a word of reconciliation would help.
  5. [§5.2, Remark 5.6] Remark 5.6 states a twisted analogue of Thom's sharper range (n ≥ 8, dim X ≤ n+8, realisable iff St^5_{3,tw}(α) = 0); since this is invoked implicitly in the minimality discussion of Remark 6.6, consider promoting it to a numbered corollary with a one-line proof.
  6. [§4.4, Figure 1] Figure 1 is genuinely helpful for Construction 4.7; consider also marking the section σ : T → D(E) explicitly, since it is the non-obvious ingredient in the collapse map.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: realisability criterion and obstruction are derived from geometric PT construction and equivariant Postnikov theory, not forced by definition or self-fit.

full rationale

This is a self-contained pure-mathematics paper. Twisted cobordism Lk(X; OX \otimes Oξ) and the retractive space MtwO(n) = MSO(n) // Z2 are defined geometrically (Defs. 3.11, 4.3–4.4; Rem. 3.13); the twisted Pontryagin–Thom bijection [X, MtwO(n)]RP∞ ≅ Lk is proved by explicit collapse and transversality constructions (Thm. 4.9, Constructions 4.6–4.7); realisability is then equivalent to pulling back the independently defined twisted Thom class utw_n (Thm. 4.11 / 1.1, Lemma 4.10). The first k-invariant of the parametrised Postnikov tower is identified with Gitler’s twisted Steenrod cube via the homotopy-orbit of Thom’s equivariant tower and the known sign action (Lemma 5.4, tower (5.2)), which is an external identification, not a redefinition of the obstruction in terms of realisability. Examples 6.3 and 6.5 import non-vanishing of ordinary St^5_3 from Bohr–Hanke–Kotschick and transfer it; they do not fit parameters to the claimed non-realisable classes. Self-citations ([18]) are motivational only. No step reduces a claimed prediction or first-principles result to its own input by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The work rests on standard foundations of algebraic and differential topology (Thom’s classical theory, local coefficients, parametrised homotopy, equivariant Postnikov towers, Gitler’s twisted operations) together with two new geometric objects introduced by the authors. No free parameters are fitted; the only ‘invented’ entities are the twisted Thom space and the twisted cobordism sets, both given explicit constructions with independent geometric meaning.

assumptions (5)
  • standard math Existence and basic properties of the classical Thom space MSO(n), its homotopy groups, and its first k-invariant being the Steenrod cube St^5_3 (Thom).
    Used throughout §§2.1, 5.2 as the starting point for the equivariant/parametrised lift.
  • standard math Gitler’s theory of cohomology operations with local coefficients, including the existence of twisted reductions, Bocksteins and Steenrod powers that lift the ordinary operations.
    Invoked in Lemma 5.4(ii) to identify the first k-invariant of the twisted tower.
  • domain assumption Existence of Z_2-equivariant Postnikov towers for Z_2-simple spaces (May) and the fact that homotopy quotients preserve the tower structure (Lemma 2.11, Prop. 5.2).
    Load-bearing for the construction of the Postnikov tower of M^tw O(n) over BO(1).
  • domain assumption Parametrised transversality holds whenever a closed submanifold admits a tubular neighbourhood that is itself a map over the base (Lemma 4.1).
    Used to guarantee that every parametrised map is homotopic to one transverse to the zero section, essential for the geometric PT construction.
  • standard math Canonical isomorphisms of orientation local systems (OE ≅ O_det E, OX ≅ O_TX, etc.) of Lemma 3.4.
    Used repeatedly to identify coefficient systems appearing in Umkehr maps and fundamental classes.
invented entities (2)
  • Twisted Thom space M^tw O(n) (push-out of D(γ_n) along w_1 : S(γ_n) → BO(1)) independent evidence
    purpose: Classifying object for twisted cobordism; carrier of the universal twisted Thom class u_tw_n.
    Defined in Def. 3.11 / Rem. 3.13 as the homotopy quotient MSO(n) ⋊ Z_2; not the ordinary fibrewise Thom space.
  • Twisted cobordism sets L_k(X; O_X ⊗ O_ξ) independent evidence
    purpose: Geometric objects whose homotopy classes are classified by maps into M^tw O(n).
    Defined in Def. 4.4 via ξ-oriented submanifolds and cobordisms; shown bijective to [X, M^tw O(n)]_{RP^∞}.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Realisability of Twisted Homology." pith.science (2026). https://pith.science/paper/I5AYFWN4

@misc{pith2026260724462,
  author       = {Pith},
  title        = {Pith review of: On Realisability of Twisted Homology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I5AYFWN4}},
  note         = {Machine review of arXiv:2607.24462}
}
abstract

We discuss the question of when a homology or cohomology class with twisted integer coefficients of a manifold $X$ is realised by a submanifold. While this question is classical in nature, providing an answer requires relatively modern techniques from parametrised homotopy theory. More specifically, we introduce cobordism classes twisted by a coefficient system and then define a twisted Thom space $\operatorname{M^\mathrm{tw}O}(n)$ over $\operatorname{BO}(1)$, which serves as the classifying object for this cobordism theory under a twisted Pontryagin-Thom construction. As a result, a twisted homology class is realisable if and only if its Poincar\'e dual is the image of the twisted Thom class in $\operatorname{M^\mathrm{tw}O}(n)$ under a parametrised map $X \to \operatorname{M^\mathrm{tw}O}(n)$ over $\operatorname{BO}(1)$. Finally, we construct the parametrised Postnikov tower of $\operatorname{M^\mathrm{tw}O}(n)$ over $\operatorname{BO}(1)$ to derive obstructions to realisability and conclude by giving the first known examples of non-realisable integer homology classes in non-orientable manifolds.

Figures

Figures reproduced from arXiv: 2607.24462 by the authors.

Figure 1
Figure 1. The twisted Pontryagin–Thom construction to define the collapse map. We identify D(E) (blue) with the parametrised product D(νM) ×M D(νM). Then we use the diagonal map D(νM) → D(νM) ×M D(νM) (red) to construct a parametrised map into MtwO(n) over the tubular neighbourhood T and extend it onto X using the classifying map p of the line bundle ξ (green). Remark 4.8. With the explicit model of BO(n) as the homotopy orbi… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 12 canonical work pages

  1. [1]

    Bordism and cobordism

    M. F. Atiyah. “Bordism and cobordism”. In:Proceedings of the Cambridge Philosophical Society57 (1961), pp. 200–208.doi:10.1017/S0305004100035064

    doi:10.1017/s0305004100035064 1961

  2. [2]

    Ayala and J

    D. Ayala and J. Francis.A parametrized Pontryagin–Thom theorem. 2025. arXiv:2512. 10274 [math.AT]

    2025

  3. [3]

    Embeddings and immersions of manifolds in Euclidean space

    D. R. Bausum. “Embeddings and immersions of manifolds in Euclidean space”. In: Transactions of the American Mathematical Society213 (1975), pp. 263–303.doi: 10.2307/1998047

    work page doi:10.2307/1998047 1975

  4. [4]

    C. Bohr, B. Hanke, and D. Kotschick.Cycles, submanifolds, and structures on normal bundles. 2000. arXiv:math/0011178v1 [math.GT]

    arXiv 2000

  5. [5]

    Cycles, submanifolds, and structures on normal bundles

    C. Bohr, B. Hanke, and D. Kotschick. “Cycles, submanifolds, and structures on normal bundles”. In:Manuscripta Mathematica108.4 (2002), pp. 483–494.doi: 10 . 1007 / s002290200279

    2002

  6. [6]

    K. S. Brown.Cohomology of Groups. Vol. 87. Graduate Texts in Mathematics. Springer- Verlag, 1982

    1982

  7. [7]

    Hermitian K-theory for stable∞-categories. II: Cobordism categories and additivity

    B. Calmès et al. “Hermitian K-theory for stable∞-categories. II: Cobordism categories and additivity”. In:Acta Mathematica235.2 (2025), pp. 149–400.doi: 10.4310/ACTA. 2025.n235.n2.a1

    work page doi:10.4310/acta 2025

  8. [8]

    Duality and transfer for parametrized spectra

    M. Clapp. “Duality and transfer for parametrized spectra”. In:Archiv der Mathematik 37 (1981), pp. 462–472.doi:10.1007/BF01234383

    work page doi:10.1007/bf01234383 1981

Show all 32 references
  1. [10]

    Twisted homotopy theory and the geometric equivariant 1-stem

    J. Cruickshank. “Twisted homotopy theory and the geometric equivariant 1-stem”. In:Topology and its Applications129.3 (2003), pp. 251–271.doi: 10.1016/S0166- 8641(02)00183-9

    2003 doi

  2. [11]

    J. F. Davis and P. Kirk.Lecture Notes in Algebraic Topology. Vol. 35. Graduate Studies in Mathematics. American Mathematical Society, 2001

    2001

  3. [12]

    Equivariant maps which are self homotopy equivalences

    E. Dror, W. G. Dwyer, and D. M. Kan. “Equivariant maps which are self homotopy equivalences”. In:Proceedings of the American Mathematical Society80.4 (1980), pp. 670– 672.doi:10.2307/2043448

    1980 doi

  4. [13]

    Ebert.Does the Borel functor take equivariant fibrations to fibrations?(version: 2011-01-16)

    J. Ebert.Does the Borel functor take equivariant fibrations to fibrations?(version: 2011-01-16). MathOverflow.url:https://mathoverflow.net/q/52234

    2011

  5. [14]

    Cohomology operations with local coefficients

    S. Gitler. “Cohomology operations with local coefficients”. In:American Journal of Mathematics85.2 (1963), pp. 156–188.doi:10.2307/2373208

    1963 doi

  6. [15]

    Hatcher.Algebraic Topology

    A. Hatcher.Algebraic Topology. Cambridge University Press, 2002

    2002

  7. [16]

    Twisted spin cobordism and positive scalar curvature

    F. Hebestreit and M. Joachim. “Twisted spin cobordism and positive scalar curvature”. In:Journal of Topology13.1 (2020), pp. 1–58.doi:10.1112/topo.12122

    2020 doi

  8. [17]

    Note on the classification of cross-sections

    I. James and E. Thomas. “Note on the classification of cross-sections”. In:Topology4.4 (1966), pp. 351–359.doi:10.1016/0040-9383(66)90033-4. 35 M. Grant, M. Jung, and B. Schutte

    1966 doi

  9. [18]

    A geometric computation of cohomotopy groups in codegree one

    M. Jung and T. O. Rot. “A geometric computation of cohomotopy groups in codegree one”. In:Algebraic & Geometric Topology25.6 (2025), pp. 3603–3626.doi:10.2140/ agt.2025.25.3603

    2025

  10. [19]

    Liu.Realizing integral homology classes on non-orientable manifolds by embed- ded orientable submanifolds

    Z. Liu.Realizing integral homology classes on non-orientable manifolds by embed- ded orientable submanifolds. (version: 2023-09-24). MathOverflow.url: https : / / mathoverflow.net/q/455142

    2023

  11. [20]

    Malkiewich.A convenient category of parametrized spectra

    C. Malkiewich.A convenient category of parametrized spectra. 2023. arXiv:2305.15327 [math.AT]

    2023 arXiv

  12. [21]

    J. P. May.Equivariant Homotopy and Cohomology Theory. Vol. 91. CBMS Regional Conference Series in Mathematics. American Mathematical Society, 1996.doi:10.1090/ cbms/091

    1996

  13. [22]

    J. P. May and J. Sigurdsson.Parametrized Homotopy Theory. Vol. 132. Mathematical Surveys and Monographs. American Mathematical Society, 2006.doi:10.1090/surv/ 132

    2006 doi

  14. [23]

    Obstruction theory in fiber spaces

    J. F. McClendon. “Obstruction theory in fiber spaces”. In:Mathematische Zeitschrift 120 (1971), pp. 1–17.doi:10.1007/BF01109713

    1971 doi

  15. [24]

    A.Mukherjee.Differential Topology.2nded.HindustanBookAgency;Birkhäuser/Springer, 2015.doi:10.1007/978-3-319-19045-7

    2015 doi

  16. [25]

    Self-intersection class for singularities and its application to fold maps

    T. Ohmoto, O. Saeki, and K. Sakuma. “Self-intersection class for singularities and its application to fold maps”. In:Transactions of the American Mathematical Society355.9 (2003), pp. 3825–3838.doi:10.1090/S0002-9947-03-03345-2

    2003 doi

  17. [26]

    Tangent 2-fields on even-dimensional nonorientable manifolds

    B. J. Pollina. “Tangent 2-fields on even-dimensional nonorientable manifolds”. In: Transactions of the American Mathematical Society271.1 (1982), pp. 215–224.doi: 10.2307/1998760

    1982 doi

  18. [27]

    Moore–Postnikov systems for non-simple fibrations

    C. A. Robinson. “Moore–Postnikov systems for non-simple fibrations”. In:Illinois Journal of Mathematics16.2 (1972), pp. 234–242.doi:10.1215/ijm/1256052280

    1972

  19. [28]

    E. H. Spanier.Algebraic Topology. Springer, 1995

    1995

  20. [29]

    Homology with local coefficients

    N. E. Steenrod. “Homology with local coefficients”. In:Annals of Mathematics44.4 (1943), pp. 610–627.doi:10.2307/1969099

    1943 doi

  21. [30]

    Reduced powers of cohomology classes

    N. E. Steenrod. “Reduced powers of cohomology classes”. In:Annals of Mathematics 56.1 (1952), pp. 47–67.doi:10.2307/1969766

    1952 doi

  22. [31]

    Espaces fibrés en sphères et carrés de Steenrod

    R. Thom. “Espaces fibrés en sphères et carrés de Steenrod”. In:Annales Scientifiques de l’École Normale Supérieure (3)69 (1952), pp. 109–182.doi:10.24033/asens.998

    1952 doi

  23. [32]

    Quelques propriétés globales des variétés différentiables

    R. Thom. “Quelques propriétés globales des variétés différentiables”. In:Commentarii Mathematici Helvetici28 (1954), pp. 17–86.doi:10.1007/BF02566923

    1954 doi

  24. [33]

    G. W. Whitehead.Elements of Homotopy Theory. Springer, 1979.doi:10.1007/978- 1-4612-6318-0. Institute of Mathematics, University of Aberdeen, United Kingdom Email address:mark.grant@abdn.ac.uk Department of Mathematics, Vrije Universiteit Amsterdam, Netherlands Email address:m...

    1979 doi

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.