Triple-cup product forms of 3-manifolds and Heegaard diagrams

Abstract: The triple-cup product form $μ$ is a classical invariant of $3$-manifolds, determining the cohomology ring up to torsion. Given a closed, connected, oriented $3$-manifold $M$, we describe an explicit formula for computing $μ$ from a Heegaard diagram of $M$. Then, we show that the triple-cup product form $μ$ can be recovered as a reduction of Turaev's homotopy intersection form $η$ of the Heegaard surface.

• The paper presents an explicit formula for computing the triple-cup product from Heegaard diagrams, enabling precise cohomological computations in closed 3-manifolds.
• It bridges classical surgery techniques with Turaev’s homotopy intersection form, clarifying the algebraic structure of manifold cohomology.
• The construction supports algorithmic implementation and refines topological invariants, as demonstrated in examples like S¹×S¹×S¹ and Σ_g×S¹.

Triple-cup Product Forms of 3-manifolds and Heegaard Diagrams

Introduction

The paper "Triple-cup product forms of 3-manifolds and Heegaard diagrams" (2604.13999) addresses a fundamental problem in the study of closed, oriented 3-manifolds: the computation of the triple-cup product form $\mu$ from Heegaard diagrams. The triple-cup product form is an essential cohomological invariant, determining the cohomology ring structure up to torsion. While its computation via surgery presentations utilizing Milnor's invariants is standard, explicit formulas derived from Heegaard diagrams have been notably absent, despite Heegaard diagrams being a canonical topological representation. This work rectifies that gap, providing constructive and algebraically precise techniques for calculating $\mu$ directly from Heegaard data, and establishes a bridge to Turaev's homotopy intersection form $\eta$.

Preliminaries: Heegaard Structures and Cup Products

The framework begins with a classical Heegaard splitting $M = H_\alpha \cup_f (-H_\beta)$, encoding $M$ via the genus $g$ Heegaard surface $\Sigma$ and families of meridian curves $\alpha_i, \beta_i$ defining Lagrangian subgroups $L_\alpha, L_\beta \subset H_1(\Sigma,\mathbb{Z})$. The intersection form $\omega$ renders $\mu$0 symplectic, and the Mayer–Vietoris sequence gives: $\mu$1 Cohomology classes in $\mu$2 are in bijection (up to torsion) with pairs of homologous multicurves on $\mu$3, and the ring structure is controlled by the triple-cup form: $\mu$4

Explicit Cup Product Formula via Heegaard Diagrams

The main technical contribution is the explicit formula for computing the triple-cup product via arcs and intersection coefficients derived from Heegaard diagrams. Given representatives $\mu$5 for $\mu$6 and $\mu$7 for $\mu$8, the cup product $\mu$9 is represented in $\eta$0 by a 1-cycle composed of arcs from these multicurves, weighted by integer coefficients determined from intersection patterns: $\eta$1 where $\eta$2 (resp. $\eta$3) are arcs in $\eta$4 (resp. $\eta$5), and $\eta$6, $\eta$7 encode cumulative intersection signs. The detailed combinatorics of arc numbering and intersection signs are crucial and elucidated with geometric constructions involving saddles in the thickened surface.

The triple-cup product $\eta$8 is then given by the algebraic intersection number of this 1-cycle with a third multicurve $\eta$9 representing $M = H_\alpha \cup_f (-H_\beta)$0. This construction is entirely algebraic-topological, operating in the chain-level on $M = H_\alpha \cup_f (-H_\beta)$1 and avoids reliance on external data from surgery links.

Connection to Turaev’s Homotopy Intersection Form

A significant theoretical advancement is the reduction of Turaev’s homotopy intersection form $M = H_\alpha \cup_f (-H_\beta)$2 on the Heegaard surface to the explicit cup product formula. Turaev's $M = H_\alpha \cup_f (-H_\beta)$3 is a Fox-type pairing on the group ring of the fundamental group of $M = H_\alpha \cup_f (-H_\beta)$4, capturing homotopy-theoretic intersections. By passing to quotients involving kernels of the inclusion of $M = H_\alpha \cup_f (-H_\beta)$5 into the handlebodies, the paper constructs a well-defined reduction $M = H_\alpha \cup_f (-H_\beta)$6, and establishes a commutative diagram connecting the cohomological cup product with $M = H_\alpha \cup_f (-H_\beta)$7, mediated by the Heegaard splitting-induced isomorphisms.

This connection not only provides computational access but allows formal verification of structural properties—skew-symmetry, twist-invariance under the Johnson kernel—and explicates the relationship with the Torelli group via the Johnson homomorphism $M = H_\alpha \cup_f (-H_\beta)$8. The difference in triple-cup products for manifolds related by Torelli twists is precisely described in terms of $M = H_\alpha \cup_f (-H_\beta)$9, thus linking algebraic properties of $M$0 to the surgery equivalence relations on 3-manifolds.

Structural Invariance and Algebraic Properties

The reduction $M$1 is shown to possess skew-symmetry: $M$2 and invariance under twists along surfaces by elements of the Johnson kernel, reflecting $M$3-surgery equivalence: $M$4 Further, the response to Torelli twists is calculated analytically, with the Johnson homomorphism dictating the shift in triple-cup structure, confirming results from Johnson and linking to deeper topological classification schemes.

Numerical Examples and Ring Computation

Concrete computations in model cases elucidate the theory. For $M$5, the formula gives $M$6 for the natural basis, aligning with the standard cohomology ring structure. For $M$7, the triple-cup product is governed by the intersection form $M$8 of $M$9, and explicit computation confirms that nonzero triple products arise precisely when one class arises from the $g$0 factor and the other two from $g$1. Künneth-theoretic decompositions and Poincaré duals are mapped directly to the Heegaard diagram setting, and the results match classical algebraic topology.

Implications and Future Directions

This paper advances the practical computation of cohomological invariants of 3-manifolds, providing explicit constructive formulas amenable to algorithmic implementation. The synthesis with Turaev’s intersection theory brings new insight into the role of Heegaard diagrams in encoding not just homological data, but ring-theoretic structures in manifold topology. These developments have implications for the effective classification of 3-manifolds, the study of mapping class group actions, and the computation of finer topological invariants.

Potential future directions include: automated computation of triple-cup products for large families of 3-manifolds, integration of these techniques into Floer-theoretic and quantum invariants, and further exploration of the interplay between Heegaard diagrams, surgery equivalences, and algebraic structures in the mapping class group and Torelli subgroup.

Conclusion

The explicit formula for triple-cup products from Heegaard diagrams, bridged with Turaev's homotopy intersection form, constitutes a significant technical achievement in 3-manifold topology. The algebraic-topological machinery developed here facilitates exact computations, elucidates the invariance properties and equivariance under group actions, and connects classical topological invariants to diagrammatic and group-theoretic structures. This work deepens the understanding of cohomology rings of 3-manifolds and their generation from geometric data, laying groundwork for further advances in the computational and theoretical study of low-dimensional topology.