pith. sign in

arxiv: 2605.22405 · v1 · pith:L5TYUVMSnew · submitted 2026-05-21 · 🧮 math.GT · math.QA

Quantum invariants of flat 2-bundles over 3-manifolds

Kursat Sozer , Alexis Virelizier This is my paper

Pith reviewed 2026-05-22 02:06 UTC · model grok-4.3

classification 🧮 math.GT math.QA
keywords 2-bundles3-manifoldsHopf algebrasHeegaard diagramscrossed modulesquantum invariantshomotopy invariantsKuperberg invariant
0
0 comments X

The pith

A scalar invariant for flat principal 2-bundles over 3-manifolds is built from an involutory Hopf algebra graded by the structure 2-group.

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

The paper constructs a scalar invariant assigned to flat principal 2-bundles over any 3-manifold, where the bundle has structure 2-group G. The input is an involutory Hopf algebra whose grading is by G. By rewriting G as a crossed module chi, the construction becomes a homotopy invariant for maps from the 3-manifold into the classifying space B chi. The maps are represented combinatorially by chi-colored Heegaard diagrams, and the Hopf algebra supplies the algebraic rules for evaluating them. When the bundle is trivializable the invariant equals the ordinary Kuperberg invariant of the underlying 3-manifold.

Core claim

Given an involutory Hopf algebra graded by a 2-group G, the construction produces a scalar that depends only on the flat principal G-bundle over a closed 3-manifold. After expressing G via a crossed module chi, the same scalar is obtained by summing over all chi-colored Heegaard diagrams that represent a given homotopy class of maps from the manifold to B chi, with the Hopf algebra multiplication and grading used to weight the colorings. The resulting number is unchanged under the moves that relate different diagrams of the same map, and it equals the Kuperberg invariant precisely when the map is null-homotopic.

What carries the argument

chi-colored Heegaard diagrams, which give a combinatorial model for homotopy classes of maps from 3-manifolds to the classifying space B chi of the crossed module.

If this is right

  • The invariant is unchanged when the colored Heegaard diagram is replaced by any other diagram of the same map to B chi.
  • When the flat principal G-bundle is trivializable the scalar equals the Kuperberg invariant of the 3-manifold.
  • The construction supplies a homotopy invariant for all maps from closed 3-manifolds to B chi.
  • Any involutory Hopf algebra graded by G produces such an invariant for every 3-manifold.

Where Pith is reading between the lines

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

  • The same graded-Hopf-algebra data might be used to define invariants of flat 2-bundles over 4-manifolds by replacing Heegaard diagrams with higher-dimensional handle decompositions.
  • Non-trivial flat 2-bundles could be distinguished by this scalar even when ordinary fundamental-group invariants of the 3-manifold coincide.
  • The method offers a concrete algebraic way to realize higher-gauge-theory observables in three dimensions.

Load-bearing premise

The combinatorial description of maps from 3-manifolds to B chi by chi-colored Heegaard diagrams is sufficient to define the invariant via the graded Hopf algebra data.

What would settle it

Two different chi-colored Heegaard diagrams that represent the same map to B chi but receive different numerical values from the same graded Hopf algebra would show that the construction fails to be well-defined.

read the original abstract

We construct a scalar invariant of flat principal 2-bundles over 3-manifolds, with structure 2-group $\mathcal{G}$, from an involutory Hopf algebra graded by $\mathcal{G}$. Expressing $\mathcal{G}$ in terms of a crossed module $\chi$ and using the classification of such 2-bundles via the classifying space $B\chi$, this amounts to constructing a homotopy invariant of maps from 3-manifolds to $B\chi$. The construction of the invariant relies on a combinatorial description of such maps by $\chi$-colored Heegaard diagrams. When the corresponding map to $B\chi$ is nullhomotopic or, equivalently, when the associated flat principal $\mathcal{G}$-bundle is trivializable, the invariant reduces to the Kuperberg invariant of the underlying 3-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

1 major / 0 minor

Summary. The paper constructs a scalar invariant of flat principal 2-bundles over 3-manifolds with structure 2-group G, obtained from an involutory Hopf algebra graded by G. Expressing G via a crossed module χ and using the classification of 2-bundles by maps to the classifying space Bχ, the construction yields a homotopy invariant of maps M³ → Bχ via χ-colored Heegaard diagrams. When the map is nullhomotopic (equivalently, when the bundle is trivializable), the invariant reduces to the Kuperberg invariant of the underlying 3-manifold.

Significance. If the invariance under the relevant diagram moves is established, the result would extend Kuperberg-type invariants from ordinary bundles to the setting of flat 2-bundles, providing a combinatorial model for homotopy invariants of maps into classifying spaces of crossed modules. This could be useful for higher gauge theory and for producing new 3-manifold invariants sensitive to non-trivial 2-bundle data.

major comments (1)
  1. The central claim that the scalar is a well-defined homotopy invariant of maps M³ → Bχ rests on the assertion that χ-colored Heegaard diagrams faithfully represent homotopy classes and that the Hopf-algebra operations produce a diagram-independent value. The manuscript must supply an explicit check that the graded multiplication, comultiplication, and antipode are invariant under the χ-adapted Heegaard moves that realize homotopies; without such a verification (for example, by direct computation on the generators of the move set), the reduction to the Kuperberg invariant in the trivial-bundle case remains formal rather than demonstrated.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying a point where greater explicitness would strengthen the presentation. We address the major comment below.

read point-by-point responses

  1. Referee: The central claim that the scalar is a well-defined homotopy invariant of maps M³ → Bχ rests on the assertion that χ-colored Heegaard diagrams faithfully represent homotopy classes and that the Hopf-algebra operations produce a diagram-independent value. The manuscript must supply an explicit check that the graded multiplication, comultiplication, and antipode are invariant under the χ-adapted Heegaard moves that realize homotopies; without such a verification (for example, by direct computation on the generators of the move set), the reduction to the Kuperberg invariant in the trivial-bundle case remains formal rather than demonstrated.

    Authors: We agree that an explicit verification of invariance under the χ-adapted Heegaard moves is necessary to demonstrate that the scalar is diagram-independent and hence a well-defined homotopy invariant. In the revised manuscript we will add a dedicated subsection that performs this check by direct computation on the generators of the move set, confirming that the graded multiplication, comultiplication, and antipode remain invariant. The same computation will make the reduction to the ordinary Kuperberg invariant fully explicit when the grading is trivial. We believe this addition resolves the concern. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained

full rationale

The paper defines a scalar invariant directly from an involutory Hopf algebra graded by the 2-group G (expressed via crossed module χ) applied to χ-colored Heegaard diagrams that combinatorially represent maps M³ → Bχ. The abstract presents this as a construction that relies on the combinatorial description and notes that the invariant reduces to the Kuperberg invariant in the special case of nullhomotopic maps (equivalently, trivializable bundles), without any indication that this reduction is definitional or that parameters are fitted to data. No equations, self-citations, or ansätze are quoted that would make the central claim tautological by construction, and the derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated. The construction appears to rest on the existence of the graded Hopf algebra and the validity of the Heegaard diagram model, but these are not itemized.

pith-pipeline@v0.9.0 · 5666 in / 1155 out tokens · 43120 ms · 2026-05-22T02:06:15.559634+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Abel Symposia 4 (2009), 1--31

    Baez, J., Stevenson, D., The classifying space of a topological 2-group, Algebraic Topology. Abel Symposia 4 (2009), 1--31

    work page 2009

  2. [2]

    Brown, R., Higgins, P., The classifying space of a crossed complex, Math. Proc. Camb. Phil. Soc. 110 (1991), 95--120

    work page 1991

  3. [3]

    Brown, R., Higgins, P., Sivera, R., Nonabelian Algebraic Topology, EMS Tracts in Math.\ 15, European Math.\ Soc.\ Publ.\ House, Z \" u rich 2011

    work page 2011

  4. [4]

    Barrett, J., Westbury, B., The equality of 3-manifold invariants, Math. Proc. Camb. Phil. Soc. 118 (1995), 503--507

    work page 1995

  5. [5]

    Hog-Angeloni, C., Metzler, W., Sieradski, A., Two-dimensional Homotopy and Combinatorial Group Theory, London Math. Soc. Lecture Note Series 197, Cambridge University Press, Cambridge, 1993

    work page 1993

  6. [6]

    Kuperberg, G., Involutory H opf algebras and 3 -manifold invariants , Internat. J. Math. 2 (1991), 41--66

    work page 1991

  7. [7]

    Algebra 117 (1988), 267--289

    Larson, R., Radford, D., Finite-dimensional cosemisimple H opf algebras in characteristic 0 are semisimple , J. Algebra 117 (1988), 267--289

    work page 1988

  8. [8]

    Mac Lane, S., Whitehead, J., On the 3-type of a complex, Proc. Nat. Acad. Sci. 36 (1950) 41--48

    work page 1950

  9. [9]

    Martins-Ferreira, N., What is an internal groupoid?, arXiv:2211.12531 (2022)

    work page arXiv 2022

  10. [10]

    Miranda, A., Internal Categories, Master's thesis, Macquarie University, 2018

    work page 2018

  11. [11]

    18 (1904), 45--110

    Poincar\'e, H., Cinqui\`eme compl\'ement \`a l'Analysis Situs, Palermo Rend. 18 (1904), 45--110

    work page 1904

  12. [12]

    Reshetikhin, N., Turaev, V., Invariants of 3-manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991), 547--597

    work page 1991

  13. [13]

    Sieradski, A., Combinatorial squashings, 3-manifolds, and the third homology of groups, Invent. Math. 84 (1986) 121--139

    work page 1986

  14. [14]

    S\" o zer, K., Virelizier, A., Monoidal categories graded by crossed modules and 3-dimensional HQFTs, Adv. in Math. 428 (2023), 109155

    work page 2023

  15. [15]

    Pure Appl

    S\" o zer, K., Virelizier, A., Hopf crossed module (co)algebras, J. Pure Appl. Algebra 229 (2025), 108083

    work page 2025

  16. [16]

    Turaev, V., Viro, O., State sum invariants of 3-manifolds and quantum 6j-symbols, Topology 31 (1992), 865--902

    work page 1992

  17. [17]

    Pure Appl

    Virelizier, A., H opf group-coalgebras , J. Pure Appl. Algebra 171 (2002), 75--122

    work page 2002

  18. [18]

    Virelizier, A., Involutory H opf group-coalgebras and flat bundles over 3-manifolds , Fund. Math. 188 (2005), 241--270

    work page 2005

  19. [19]

    23 (2011), 565--610

    Wockel, C., Principal 2-bundles and their gauge 2-groups, Forum Math. 23 (2011), 565--610

    work page 2011