Cohomotopy and flux quantization in $M$-theory

Daniel Grady

Cohomotopy and flux quantization in $M$-theory

T0 review · 0 major / 6 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 Working under the stable Hypothesis H, the paper proves the cubic Chern–Simons term of M-theory is integral, with divisibility by 6 sharp, and requires no E8-gauge field.

desk verdict A sound, honest paper that proves a sharp divisibility result under Hypothesis H; the stress-test worry about the Steenrod square identification is unfounded. read the letter →

arxiv 2505.24696 v2 pith:JIH2WNPM submitted 2025-05-30 math.AT hep-th

Daniel Grady This is my paper

classification math.AThep-th MSC 55S4555P4255T1055N2081T30

keywords cohomotopyPostnikovtowerk-invariantsfluxquantizationM-theoryC-fieldChern-SimonstermSteenrodoperations

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 proves that, once the C-field — the three-form gauge potential of 11-dimensional supergravity — is assumed to be flux-quantized in stable 4-cohomotopy (the cohomology theory represented by the 4-sphere), the cubic Chern–Simons term \$\\frac{1}{6}\\int $G^{3}$\\, on any closed oriented 12-manifold is an integer. This integrality is what makes the supergravity action well defined, and the paper achieves it without invoking an \\(E_8\$-gauge field, which supergravity does not contain. The divisibility by 6 is shown to be sharp: the manifold \$\\mathbb{HP}^1\\times\\mathbb{HP}^1\\times\\mathbb{HP}^1\$ realizes exactly 6. Under the unstable version of the hypothesis the same cubic term is shown to vanish identically. The engine is an explicit identification of the first \$k\$-invariants of the Postnikov tower of the 4-sphere.

What carries the argument

The central object is the Postnikov tower of the 4-sphere \$$S^{4}$\$, in both its stable and unstable forms; its \$k\$-invariants are cohomology classes on successive stages that measure the obstructions to lifting an \$$H^{4}$\$-class to cohomotopy. In the stable range the paper identifies the invariants \$\\alpha_7\$, \$$Sq^{4}$\$, \$p_{11}\$, \$$Sq^{8}$\$, \$\\beta_{12}\$, and \$$P^{1}$_5\$ up through degree 12, together with the primary obstructions \$$Sq^{2}$\\rho_2\$, \$$P^{1}$_3\\rho_3\$, and \$$P^{1}$_5\\rho_5\$. A further needed property is that the associated cohomology operations are additive modulo indeterminacy, which makes the sharp example \$\\mathbb{HP}^1\\times\\mathbb{HP}^1\\times\\mathbb{HP}^1\$ computable.

What would settle it

Compute, for one closed oriented 12-manifold \$M\$, the value \$\\langle $x^{3}$,[M]\\rangle\$ for a class \$x\\in $H^{4}$(M;\\mathbb{Z})\$ known to lift to stable 4-cohomotopy; finding a value not divisible by 6 would disprove Theorem 5.4. A more local check is to recompute the third stable Postnikov stage \$W_3\$ directly and test whether the class \$p^*$P^{2}$_3\$ vanishes there, since that vanishing is the step that produces the mod-3 congruence.

Watch

Extended reading notes

Core claim

The central claim is that for a closed oriented 12-manifold \$M\$, the evaluation map \$x\\mapsto \\langle v(x)^3,[M]\\rangle\$ from stable 4-cohomotopy to \$\\mathbb{Z}\$ has an image that generates an ideal divisible by 6, with 6 attained for \$M=\\mathbb{HP}^1\\times\\mathbb{HP}^1\\times\\mathbb{HP}^1\$. This is Theorem 5.4. For unstable 4-cohomotopy the same evaluation vanishes identically, which is Theorem 5.5. The proof shows that any lift to the third Postnikov stage forces \$$x^{2}$\\equiv 0\\pmod 2\$ through the class \$$Sq^{4}$\$ and \$$x^{3}$\\equiv 0\\pmod 3\$ through \$$P^{2}$_3\$, and these congruences combine to \$$x^{3}$\\equiv 0\\pmod 6\$. Consequently, under the stable version of Hypothesis H, the Chern–Simons term of the M-theory effective action is well defined without an \$E_8\$-gauge field.

Load-bearing premise

The load-bearing premise is Hypothesis H, the assumption that the M-theory C-field is flux-quantized in 4-cohomotopy; if the true quantization law is different, the theorem does not constrain the physical action, and the argument also inherits the cited low-degree homotopy-group and k-invariant computations rather than fully re-deriving them.

Editorial extensions

If this is right

For every closed oriented 12-manifold, stable cohomotopy flux quantization of the C-field makes \$\\frac{1}{6}\\int G^3\$ an integer, with no \$E_8\$-gauge field present.
The divisibility by 6 is optimal: \$\\mathbb{HP}^1\\times\\mathbb{HP}^1\\times\\mathbb{HP}^1\$ yields exactly 6.
If flux quantization is taken in unstable instead of stable 4-cohomotopy, the cubic term vanishes on every closed oriented 12-manifold.
The paper's \$k\$-invariant identifications give a reusable obstruction theory for lifting degree-4 cohomology classes to 4-cohomotopy in both stable and unstable settings.
Integrality holds without inserting a 1-loop term into the supergravity action, since the divisibility obstruction is already resolved by the cohomotopy lift.

Reading between the lines

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

A natural extension left implicit is to push the same Postnikov computation to higher stages; the resulting obstructions would give divisibility constraints on \$\\langle x^3,[M]\\rangle\$ for manifolds of dimension 16 or more, where higher \$k\$-invariants such as \$Sq^8\$ become visible.
If the physical flux-quantization law is not cohomotopy, Theorem 5.4 remains a standalone statement about stable cohomotopy but loses its M-theory interpretation; deciding that depends on dynamics outside this paper's scope.
The sharpness of 6 suggests that the conventional normalization \$\\frac{1}{6}\$ is already forced by stable cohomotopy quantization, so any additional integrality corrections to the action would need to come from sectors other than this cubic term.
One could test the method by computing the analogous cubic evaluation for twisted stable cohomotopy with a nontrivial twist, which the paper does not address.

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

Grady proves a clean statement: under the stable Hypothesis H, a degree-4 class lifting to stable 4-cohomotopy on a closed oriented 12-manifold has cube divisible by 6, and 6 is attained. That divisibility result, with the sharpness example, is new, and the unstable version (cube vanishes) is also new. The paper is transparent about what is re-derived from Mosher-Tangora and what is original: the stable k-invariants are mostly review, while the unstable Gamma8 computation and the integral assembly are the genuinely new bits.

The stress-test concern about identifying the k-invariant with the Steenrod square does not land. The mod-2 reduction of the k-invariant Sq^4 is exactly p^*Sq^4 rho2, and H^8(Sigma^4 HZ; Z2) is one-dimensional, so pulling back along the lift gives Sq^4(rho2 x) = x^2. No secondary indeterminacy enters because the lift kills the class before reduction. The same reasoning works for P^2_3 on the mod-3 side. The proof of the divisibility is sound.

Soft spots, in order of size. First, the paper's low-degree cohomology of X3, X4, and X5 is cited from Mosher-Tangora rather than fully re-derived, so the stable tower is not completely self-contained; the dependence is explicit, which is fine, but an independent reader cannot check every table without another book open. Second, the unstable section is terse and has presentation errors, including a stray 'pa' at the end of Section 3.3 and a confusing d7 in the spectral sequence write-up in Proposition 3.2. These are cosmetic and fixable. Third, the M-theory relevance is entirely conditional on Hypothesis H, an external conjecture the paper does not try to justify; the paper says so plainly, and the mathematics stands or falls on the obstruction theory, not on the physics.

Overall this is a serious, careful contribution to the Hypothesis H program. It does not prove Hypothesis H, but it locates the integrality obstruction exactly and gives a sharp example, which is the kind of evidence that makes the program worth pursuing. The math is consistent, the cited external computations are standard, and the citation pattern is honest.

Recommendation: send it to a good referee. It deserves serious peer review despite the conditional physics and the minor presentational issues.

Referee Report

0 major / 6 minor

Summary. The paper studies the low-degree Postnikov towers of the stable and unstable 4-sphere. For the stable sphere, it identifies k-invariants through degree 11 (α7, Sq4, p11, Sq8, β12, P^1_5) and assembles them into integral stages W1,...,W5 (Proposition 2.14). For the unstable sphere, it constructs the first three stages (Proposition 3.5). The main application, assuming the stable Hypothesis H of Fiorenza--Sati--Schreiber, is Theorem 5.4: for a closed oriented 12-manifold M, every degree-4 integral class x lifting to stable 4-cohomotopy satisfies <x^3,[M]> divisible by 6, and divisibility by 6 is sharp, attained by M = HP^1 × HP^1 × HP^1. Theorem 5.5 gives the analogous vanishing statement under unstable Hypothesis H. The proofs use the identified k-invariants: a lift to stage W3 forces x^2 = 0 mod 2 and x^3 = 0 mod 3, giving the mod-6 divisibility.

Significance. If the Postnikov identifications are correct, the divisibility-by-6 theorem is a clean and sharply stated result: it converts the cohomotopy lifting condition into a concrete arithmetic restriction on the cubic evaluation, with an explicit sharpness example. The paper also cleanly distinguishes stable and unstable Hypothesis H, and the proof strategy is transparent, being based on explicit k-invariants rather than on hidden input from the target theorem. A notable strength is that the paper provides the obstruction-theoretic mechanism in enough detail that the verification of each step is possible, and it openly cites external sources (Toda's tables, Mosher--Tangora, Hypothesis H) for the parts it does not re-derive. The main limitation is the conditional nature of the application: Theorem 5.4 concerns M-theory only insofar as the physical flux quantization is indeed stable 4-cohomotopy, which is the external Hypothesis H that the paper assumes and does not prove.

minor comments (6)

[Proposition 5.1] The displayed chain "0 = ℓ^*ρ2Sq4 = ℓ^*p^*Sq4 = Sq^4x = x^2 mod 2" conflates the integral class x with its mod-2 reduction. The correct formulation is Sq^4(ρ2x) = ρ2(x^2), because Sq^4 is a stable operation on mod-2 cohomology. This is not a gap in the argument: the class p^*Sq4ρ2 is by definition the pullback of the operation Sq^4 on the mod-2 fundamental class, so naturality gives Sq^4(ρ2x) directly; however, the notation invites the very confusion that the k-invariant Sq4 is being identified with the primary operation Sq^4 without comment.
[Introduction / Proposition 2.4] The Introduction promises a "self-contained identification" of some k-invariants, but the pivotal computation of H^8(X2;Z2) and the Bockstein behavior of p^*Sq4 in Proposition 2.4 is quoted from [11, Lemma 1, Ch. 12]. Because this computation is load-bearing for the mod-2 half of Theorem 5.4, the authors should either reproduce it in an appendix or explicitly adjust the self-containedness claim so that the reliance on Mosher--Tangora is stated up front.
[Proposition 5.3] The proof that x = u+v+w lifts to π^4_s(W) shows that all obstructions vanish through stage W5, but it does not explicitly justify why that suffices for a map to the full stable sphere. Since W has dimension 12 and the next k-invariants after W5 have degree at least 13, the finite dimensionality of W guarantees convergence of the Postnikov tower; this reasoning should be stated.
[3.3] The heading of Section 3.3 contains a stray fragment "pa" that should be removed.
[Proposition 3.2 proof] The phrase "we have two classes four classes that can contribute" in the proof of Proposition 3.2 is grammatically garbled and should read "we have four classes that can contribute".
[Figure 3 caption] The caption for Figure 3 says "up to the E0-page"; this appears to be a typo for "up to the E9-page", consistent with the surrounding text.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 5.4 is a conditional computation from an externally benchmarked Postnikov tower, not a repackaging of its inputs.

full rationale

The paper's central result, Theorem 5.4, is conditional on the stable Hypothesis H of Fiorenza–Sati–Schreiber. That hypothesis is an explicit domain assumption; assuming a conjecture does not make a subsequent derivation circular. The k-invariant identifications in Section 2 are either proved in the paper or cited to Mosher–Tangora [11] and Toda [9], which are external benchmarks; they are not fitted to the divisibility-by-6 conclusion. Proposition 5.1 uses naturality of reduction: because a lift to W3 kills the k-invariant Sq4, the mod-2 reduction ℓ^*ρ2Sq4 is zero, and Proposition 2.14(2) identifies ρ2Sq4 with p^*Sq4ρ2, so Sq^4x = x^2 vanishes; the mod-3 leg uses p^*P_3^2 = 0 on W3 together with P_3^2x = x^3. These are ordinary Steenrod-operation identities, not a definitional identification of the theorem with its input. The sharpness example in Proposition 5.3 is a concrete calculation on HP^1 × HP^1 × HP^1. The only self-citation, [7], is used as motivation ('follow up on remarks made in [7]'), and Section 2 explicitly provides a self-contained proof, so the self-citation is not load-bearing. There is no fitted parameter renamed as a prediction and no uniqueness theorem imported from the authors' prior work. Any concern about the correctness of the k-invariant identifications is a mathematical-risk issue, not circularity.

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

The paper introduces no new entities. Its load-bearing assumptions are the external Hypothesis H (domain assumption) and the classical homotopy theory of S^4 (standard math), plus the cited identifications from Mosher-Tangora which are not re-derived.

assumptions (5)

domain assumption Stable and unstable Hypothesis H of Fiorenza-Sati-Schreiber: the M-theory C-field is classified by (twisted/differential) 4-cohomotopy.
Section 5 and the Introduction assume this to translate the topological theorems into statements about the M-theory Chern-Simons term. No physical evidence is provided in this paper; the assumption is load-bearing.
standard math Toda's low-degree homotopy group computations of spheres (π_n(S^4) and stable groups for n ≤ 11).
Used throughout Section 2 to know which primes contribute and which degrees have nontrivial groups; cited as [9] (Hirosi/Toda) and [8] (Hatcher's table).
standard math Mosher-Tangora's identification of the cohomology of the Postnikov stages X2, X3, X4, X5 in the stable tower (e.g., H^*(X3;Z2) up to degree 10, H^8(X4;Z16)).
Invoked in Propositions 2.5, 2.6, 2.7 via '[11, Lemma 1, Ch. 12]'; the paper does not reproduce these calculations, so the reader must accept the cited classical tables.
standard math Cartan's and Serre's descriptions of the mod-p cohomology of Eilenberg-MacLane spaces (Theorem A.2, A.3).
Used throughout the spectral sequence computations in Sections 3 and the appendix; standard background results cited to [2] and [15].
standard math Adem relations and Bockstein exactness for Steenrod operations.
Used in essential ways, e.g., Sq^1 Sq^2 = Sq^3 in the proof of Proposition 2.3 and in the unstable computations.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohomotopy and flux quantization in $M$-theory." pith.science (2026). https://pith.science/paper/JIH2WNPM

@misc{pith2026250524696,
  author       = {Pith},
  title        = {Pith review of: Cohomotopy and flux quantization in $M$-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JIH2WNPM}},
  note         = {Machine review of arXiv:2505.24696}
}

abstract

We identify some of the $k$-invariants for the Postnikov tower of the stable and unstable 4-sphere. Assuming the stable Hypothesis H of Fiorenza--Sati--Schreiber, we use the resulting obstruction theory to prove that the Chern--Simons term in the effective action of M-theory is well defined. In particular, we do not assume the presence of an $E_8$-gauge field.

Figures

Figures reproduced from arXiv: 2505.24696 by the authors.

**Figure 1.** The differentials in the spectral sequence for the fibration KpZ2, 5q Ñ X1 Ñ KpZ, 4q up to the E12-page. A dot corresponds to a generator in that degree. Black dots represent generators that are either in the kernel or cokernel of a differential and contribute to the cohomology. contribute to the cohomology. On the other hand, the Adem relations imply that Sq3Sq1 ι5 transgresses to Sq3Sq3 ρ2ι4 “ Sq5Sq1 ρ2ι4 “ 0. Hen… view at source ↗

**Figure 2.** The Serre spectral sequence for the fibration KpZ2, 6q Ñ X2 Ñ X1 up to the E10-page. A single dot represents a single generator and a double dot represents a pair of generators. Black dots represent generators that are either in the kernel or cokernel of a differential and contribute to the cohomology. However, observe that since the fiber inclusion i is injective on H9 , we have i ˚ d1pp ˚ γ8q “ i ˚ p ˚ d1pγ8q “ 0… view at source ↗

**Figure 3.** The Serre spectral sequence for the fibration KpZ4, 7qˆKpZ, 7q Ñ X3 Ñ X2 up to the E0-page. A single dot represents a single generator and a double dot represents a pair of generators. Black dots represent generators that are either in the kernel or cokernel of a differential and contribute to the cohomology. 3.2. The prime p “ 3. At the prime 3, the first nonvanishing classes are P 1 3 ρ3ι4, ρ3ι 2 4 P H8 pKpZ, 4q; … view at source ↗

Figures from the paper (1 more)

**Figure 4.** Figure 4: The Serre spectral sequence for the fibration KpZ3, 7qˆKpZ, 7q Ñ Y1 Ñ KpZ, 4q up to the E8-page. A single dot represents a single generator and a double dot represents a pair of generators. Black dots represent generators that are either in the kernel or cokernel of a …

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Higher Superspace Supergravity and its IR-Completions
hep-th 2026-07 conditional novelty 4.0 of 10

11D supergravity, its toroidal reductions, and M5-brane worldvolume flux are equivalent to Bianchi identities in characteristic L∞-algebras (lS4, cyc(lS4), tor(lS4), lS4S7), whose IR completions are classified by flux...

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages · cited by 1 Pith paper

[1]

Burton, S

S. Burton, S. Sati, U. Schreiber, Lift of fractional D-brane charge to equivariant Cohomotopy theory , J. Geom. Phys., 161 (2021), 104034

work page 2021
[2]

Cartan, Sur les Groupes d’Eilenberg-Mac Lane II, Proc

H. Cartan, Sur les Groupes d’Eilenberg-Mac Lane II, Proc. Natl. Acad. Sci. U. S. A.,40 (8) (1954), 704-707

work page 1954
[3]

Figueroa-O’Farrill, Symmetric M-theory backgrounds, Cent

J. Figueroa-O’Farrill, Symmetric M-theory backgrounds, Cent. Eur. J. Phys. 11 (2013), 1-36

work page 2013
[4]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, Rational sphere valued supercocycles in M-theory and type IIA string theory J. Geom. Phys. 114 (2017), 91-108

work page 2017
[5]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, The WZW term of the M5-brane and differential cohomotopy , J. Math. Phys. 56 (2015), 102301

work page 2015
[6]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, Twisted Cohomotopy implies M-Theory anomaly cancellation on 8- manifolds, Communications in Mathematical Physics, 377 (2020), 1961-2025

work page 2020
[7]

Grady, H

D. Grady, H. Sati, Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers , J. Geom. Phys. 165 (2021), 104203

work page 2021
[8]

Hatcher, Algebraic Topology, Cambridge University Press (2002)

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

2002

Show all 16 references

[9]

Hirosi, Composition methods in homotopy groups of spheres, Annals of Mathematics Studies, 49 Prince- ton University Press (1962)

T. Hirosi, Composition methods in homotopy groups of spheres, Annals of Mathematics Studies, 49 Prince- ton University Press (1962)

1962
[10]

Huerta, S

J. Huerta, S. Sati, S. Schreiber, Real ADE-equivariant (co)homotopy and Super M-branes , Comm. Math. Phys. 371 (2019), 425–524

2019
[11]

Mosher, M

R. Mosher, M. Tangora, Cohomology Operations And Applications In Homotopy Theory, Harper and Row (1968), Dover (2008)

1968
[12]

Sati, Framed M-branes, corners, and topological invariants , J

H. Sati, Framed M-branes, corners, and topological invariants , J. Math. Phys. 59 (2018), 062304

2018
[13]

S. Sati, S. Schreiber, Higher T-duality of super M-branes , Phys. Lett. B 781 (2018), 694-698

2018
[14]

H. Sati, U. Schreiber, M/F-Theory as M f-theory, Rev. Math. Phys., 35 (10) (2023)

2023
[15]

Serre, Cohomologie modulo 2 des complexes d’Eilenberg-MacLane, Comment

J.-P. Serre, Cohomologie modulo 2 des complexes d’Eilenberg-MacLane, Comment. Math. Helv. 27 (1953), 198-232

1953
[16]

Witten, On flux quantization in M-theory and the effective action , J

E. Witten, On flux quantization in M-theory and the effective action , J. Geom. Phys., 22 (1) (1997), 1-13. Department of Mathematics, Statistics, and Physics, Wichita State University, 1845 N. F air- mount, Wichita, KS 67260 23

1997

Pith tools

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

[1] [1]

Burton, S

S. Burton, S. Sati, U. Schreiber, Lift of fractional D-brane charge to equivariant Cohomotopy theory , J. Geom. Phys., 161 (2021), 104034

work page 2021

[2] [2]

Cartan, Sur les Groupes d’Eilenberg-Mac Lane II, Proc

H. Cartan, Sur les Groupes d’Eilenberg-Mac Lane II, Proc. Natl. Acad. Sci. U. S. A.,40 (8) (1954), 704-707

work page 1954

[3] [3]

Figueroa-O’Farrill, Symmetric M-theory backgrounds, Cent

J. Figueroa-O’Farrill, Symmetric M-theory backgrounds, Cent. Eur. J. Phys. 11 (2013), 1-36

work page 2013

[4] [4]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, Rational sphere valued supercocycles in M-theory and type IIA string theory J. Geom. Phys. 114 (2017), 91-108

work page 2017

[5] [5]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, The WZW term of the M5-brane and differential cohomotopy , J. Math. Phys. 56 (2015), 102301

work page 2015

[6] [6]

Fiorenza, S

D. Fiorenza, S. Sati, S. Schreiber, Twisted Cohomotopy implies M-Theory anomaly cancellation on 8- manifolds, Communications in Mathematical Physics, 377 (2020), 1961-2025

work page 2020

[7] [7]

Grady, H

D. Grady, H. Sati, Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers , J. Geom. Phys. 165 (2021), 104203

work page 2021

[8] [8]

Hatcher, Algebraic Topology, Cambridge University Press (2002)

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

2002