pith. sign in

arxiv: 2604.25366 · v1 · submitted 2026-04-28 · 🧮 math.DG

A gerbe-like construction in gauge theory II: the case of homology tori

Mitsuyoshi Adachi This is my paper

Pith reviewed 2026-05-07 14:20 UTC · model grok-4.3

classification 🧮 math.DG
keywords homology toriSeiberg-Witten invariantsspin structuresK-theorygauge theoryobstruction classes4-manifoldsdeterminant line bundles
0
0 comments X

The pith

For smooth families of homology tori with odd determinant, the spin obstruction on the fiberwise tangent bundle is canonically isomorphic to the spin obstruction on the bundle of self-dual harmonic 2-forms.

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

The paper extends an earlier result for homotopy K3 surfaces to the setting of homology tori. It establishes that the obstruction class preventing a spin structure on the vertical tangent bundle T_B X is the same as the obstruction preventing a spin structure on the vector bundle H^+(X) of self-dual harmonic 2-forms. The argument constructs an anti-linear Z/4-action on the determinant line bundle of the K-theoretic Seiberg-Witten invariant and shows that this action carries the necessary topological information. The same construction recovers part of the computation of ordinary mod 2 Seiberg-Witten invariants for closed spin 4-manifolds.

Core claim

In a smooth family X to X to B of homology tori with odd determinant, the obstruction class for the tangent bundle along the fibers T_B X to admit a spin structure is canonically isomorphic to the obstruction class for the bundle H^+(X) of self-dual harmonic 2-forms to admit a spin structure. The isomorphism is realized by passing to the determinant line bundle of the K-theoretic Seiberg-Witten invariant and equipping it with a canonically constructed anti-linear Z/4-action at the representative level. This action also encodes the ordinary mod 2 Seiberg-Witten invariant, thereby recovering part of the result that computes these invariants for any closed spin 4-manifold.

What carries the argument

The anti-linear Z/4-action constructed on the determinant line bundle of the K-theoretic Seiberg-Witten invariant, which serves as the carrier for the isomorphism of the two spin obstruction classes.

If this is right

  • The two spin obstruction classes coincide for any such family of homology tori.
  • The anti-linear Z/4-action on the determinant line bundle detects the ordinary mod 2 Seiberg-Witten invariant.
  • The same construction yields a partial computation of mod 2 Seiberg-Witten invariants for closed spin 4-manifolds.
  • The isomorphism is canonical and does not depend on auxiliary choices beyond the family itself.

Where Pith is reading between the lines

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

  • The same gerbe-like mechanism may extend to other families of 4-manifolds equipped with suitable K-theoretic invariants.
  • Explicit computation of the Z/4-action on model families of homology tori would give direct checks of the isomorphism.
  • The result suggests a possible dictionary between spin structures on tangent data and on harmonic-form bundles that could be tested in other dimensions or for non-spin cases.

Load-bearing premise

The family is a smooth family of homology tori with odd determinant for which the K-theoretic Seiberg-Witten invariant is defined and its determinant line bundle admits an anti-linear Z/4-action at the representative level.

What would settle it

A concrete smooth family of odd-determinant homology tori in which the vertical tangent bundle admits a spin structure but the bundle of self-dual harmonic 2-forms does not.

read the original abstract

In the previous paper, the author showed that for a smooth family $X \to \mathbb{X} \to B$ of a homotopy $K3$ surface, the obstruction for the tangent bundle along the fibers $T_B \mathbb{X}$ to have a spin structure is canonically isomorphic to the obstruction for $\mathcal{H}^+(\mathbb{X})$, the vector bundle over $B$ consisting of self-dual harmonic 2-forms, to have a spin structure. In this paper, we show an analogous result for homology tori with odd determinant. The strategy for proof is similar to the case of homotopy $K3$ surfaces: take the determinant line bundle of the $K$-theoretic Seiberg--Witten invariant and construct an anti-linear $\mathbb{Z}/4$-action on it at the representative level. We also see that the anti-linear $\mathbb{Z}/4$-action possesses the information of the ordinary mod 2 Seiberg--Witten invariant. This recovers part of the result by Baraglia(2023) which computes the mod 2 Seiberg--Witten invariants for any closed spin 4-manifold.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper extends the gerbe-like construction from the author's prior work on homotopy K3 surfaces to smooth families of homology tori with odd determinant. It claims that the obstruction to the vertical tangent bundle T_B X admitting a spin structure is canonically isomorphic to the obstruction for the bundle H^+(X) of self-dual harmonic 2-forms to admit a spin structure. The proof strategy mirrors the K3 case by equipping the determinant line bundle of the K-theoretic Seiberg-Witten invariant with an anti-linear Z/4-action constructed at the representative level; this action is also shown to encode the ordinary mod 2 Seiberg-Witten invariant, recovering part of Baraglia's 2023 computation for closed spin 4-manifolds.

Significance. If the representative-level Z/4-action and the resulting canonical isomorphism hold, the result provides a uniform gauge-theoretic mechanism for relating spin obstructions across families of 4-manifolds, extending the K3 case to homology tori and linking K-theoretic invariants to classical mod 2 data. This strengthens the conceptual bridge between determinant-line-bundle constructions and spin structures in families, with potential utility for computing obstructions in broader classes of 4-manifolds.

minor comments (3)
  1. The abstract and introduction would benefit from an explicit statement of the main theorem (e.g., the precise isomorphism of obstructions) rather than a purely descriptive outline.
  2. Notation for the family X → X → B and the bundle H^+(X) should be standardized early and used consistently; the transition from the K3 paper to the present notation could be clarified with a short comparison table or paragraph.
  3. A brief recall or reference to the precise definition of the K-theoretic Seiberg-Witten invariant (including its determinant line bundle) would make the construction self-contained for readers who have not consulted the prior paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive summary and significance assessment. The report correctly captures the extension of the gerbe-like construction from homotopy K3 surfaces to families of homology tori with odd determinant, as well as the role of the anti-linear Z/4-action on the determinant line bundle of the K-theoretic Seiberg-Witten invariant. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper applies an analogous construction to the homology tori case using the independently defined K-theoretic Seiberg-Witten invariant and its determinant line bundle, on which the anti-linear Z/4-action is constructed at the representative level within this work. The central isomorphism of spin obstructions follows from this construction, mirroring the strategy of the prior K3 paper but without reducing the current result to a fitted parameter, self-definition, or unverified self-citation chain. The reference to the previous paper merely indicates the method's origin; the proof steps for the new setting are performed here and recover external results such as Baraglia (2023). No equations or claims reduce by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes standard background from gauge theory and K-theory without introducing new free parameters or invented entities visible at this level. The construction rests on the existence and properties of the K-theoretic Seiberg-Witten invariant for the families in question.

axioms (2)
  • domain assumption The K-theoretic Seiberg-Witten invariant is well-defined for the smooth families of homology tori with odd determinant under consideration.
    Invoked implicitly when the determinant line bundle is taken as the starting point for the Z/4-action.
  • domain assumption An anti-linear Z/4-action can be constructed at the representative level on the determinant line bundle.
    Central step of the proof strategy stated in the abstract.

pith-pipeline@v0.9.0 · 5501 in / 1618 out tokens · 60149 ms · 2026-05-07T14:20:56.544527+00:00 · methodology

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

15 extracted references · 3 canonical work pages

  1. [1]

    M. Adachi. A gerbe-like construction in gauge theory. Topology Appl., 377:Paper No. 109638, 61, 2026

    2026

  2. [2]

    Baraglia

    D. Baraglia. The mod 2 Seiberg-Witten invariants of spin structur es and spin families. arXiv:2303.06883, 2023. A GERBE-LIKE CONSTRUCTION IN GAUGE THEORY II: THE CASE OF HOM OLOGY TORI 25

    work page arXiv 2023

  3. [3]

    Baraglia and H

    D. Baraglia and H. Konno. On the Bauer-Furuta and Seiberg-Witt en invariants of families of 4- manifolds. J. Topol., 15(2):505–586, 2022

    2022

  4. [4]

    S. Bauer. Almost complex 4-manifolds with vanishing first Chern cla ss. J. Differential Geom. , 79(1):25–32, 2008

    2008

  5. [5]

    Bauer and M

    S. Bauer and M. Furuta. A stable cohomotopy refinement of Seib erg-Witten invariants. I. Invent. Math., 155(1):1–19, 2004

    2004

  6. [6]

    M. Furuta. Monopole equation and the 11 8 -conjecture. Math. Res. Lett. , 8(3):279–291, 2001

    2001

  7. [7]

    P. B. Kronheimer and T. S. Mrowka. The Dehn twist on a sum of two K3 surfaces. Math. Res. Lett. , 27(6):1767–1783, 2020

    2020

  8. [8]

    T.-J. Li. Quaternionic bundles and Betti numbers of symplectic 4- manifolds with Kodaira dimension zero. Int. Math. Res. Not. , pages Art. ID 37385, 28, 2006

    2006

  9. [9]

    Li and A.-K

    T.-J. Li and A.-K. Liu. Family Seiberg-Witten invariants and wall cro ssing formulas. Comm. Anal. Geom., 9(4):777–823, 2001

    2001

  10. [10]

    Y. Lin. A note on the boundary Dehn twist of K3 surfaces. arXiv:2506.10444, 2025

    work page arXiv 2025

  11. [11]

    J. W. Morgan. The Seiberg-Witten Equations and Applications to the Topol ogy of Smooth Four- Manifolds. Princeton University Press, 1996

    1996

  12. [12]

    H. Qiu. The Dehn twist on a connected sum of two homology tori. arXiv:2410.02461, 2025

    work page arXiv 2025

  13. [13]

    Ruberman

    D. Ruberman. An obstruction to smooth isotopy in dimension 4. Math. Res. Lett. , 5(6):743–758, 1998

    1998

  14. [14]

    Ruberman

    D. Ruberman. A polynomial invariant of diffeomorphisms of 4-man ifolds. In Proceedings of the Kir- byfest (Berkeley, CA, 1998) , volume 2 of Geom. Topol. Monogr., pages 473–488. Geom. Topol. Publ., Coventry, 1999

    1998

  15. [15]

    Ruberman and S

    D. Ruberman and S. s. Strle. Mod 2 Seiberg-Witten invariants of homology tori. Math. Res. Lett. , 7(5-6):789–799, 2000

    2000