D-Invariant Surgery Formula Overview

• The D-invariant surgery formula is a method for computing Ozsváth–Szabó d-invariants in rational homology 3-spheres using almost simple linear graphs and precise weight vectors.
• It leverages lattice-theoretic data and Suzuki's refinement to incorporate inequalities that capture both equality and strict inequality patterns in the correction terms.
• The formula has practical applications, notably providing obstructions in the knot concordance group and clarifying the topology of plumbed manifolds and Brieskorn spheres.

The D-invariant surgery formula provides a structured method for computing the Ozsváth–Szabó $d$-invariants associated with rational homology 3-spheres generated by surgery diagrams, particularly those expressible as almost simple linear graphs. This formula and its refinements are central to Heegaard Floer theory and the classification of Brieskorn homology spheres, and yield connections to knot concordance phenomena through applications and the study of equality and inequality patterns in the derived correction terms (Suzuki, 2023).

1. Plumbing Graphs and the "Almost Simple" Condition

Plumbing graphs encode 3-manifolds as a union of surface bundles over the disk, connected according to graph data; vertices represent $S^2$ bundles, edges denote plumbing intersections, and weights set Euler numbers. An almost simple linear graph is a particular type of plumbing graph where the weights and adjacency satisfy non-degeneracy and boundedness conditions tailored to Brieskorn spheres. The conventions for weight vectors, orientation, and linearity directly impact the computation of the Floer-theoretic invariants.

A key property is the minimality and multiplicity control at every vertex, distinguishing almost simple graphs from generic linear graphs. This structure ensures that the $d$-invariant formula properly reflects the underlying geometry and topology of the manifold.

2. The Ozsváth–Szabó $d$-Invariant and the Karakurt–Şavk Formula

The $d$-invariant, also known as the correction term, is defined for each Spin$^c$-structure on a rational homology 3-sphere and encapsulates the minimal absolute grading in the Heegaard Floer homology tower. For plumbed manifolds represented by almost simple linear graphs, Karakurt and Şavk give a closed expression for $d$ via lattice-theoretic data extracted from the plumbing graph and associated weight vectors.

The original formula combines terms from the plumbing diagram, exploiting symmetries and reductions due to the almost simple condition. This ensures compatibility with the Floer homology grading conventions and places the calculation in correspondence with known invariants for Brieskorn spheres (Suzuki, 2023).

3. The Refined Surgery Formula and Correction Terms

A principal advance is the refinement of Karakurt–Şavk's formula, which introduces additional correction terms sensitive to changes in surgery parameters and link orientation. The refined formula retains the core lattice sum but adds explicit inequalities involving the weights and the combinatorial structure of the graph.

Specifically, Suzuki's refinement identifies infinite families of inequalities among $d$-invariants, characterizing when equality holds or fails. The structure of these terms is dictated by local modifications to the graph, corresponding to specific knot or link surgery operations.

4. Infinite Families of Equality and Strict Inequality

The refined formula naturally gives rise to infinite classes of surgery data (graph, weight vector, orientation) where the inequality in the $d$-invariant formula becomes sharp. There are explicit examples where equality is achieved, corresponding to symmetric configurations or specific Brieskorn sphere types, and contrasting families where the strict inequality reflects additional topological complexity.

These phenomena are cataloged by means of explicit plumbing constructions and weight assignments modular arithmetic conditions. Such families serve as test cases for general conjectures about $d$-invairant behavior under topological operations (Suzuki, 2023).

5. Applications to the Knot Concordance Group

One significant application is to the knot concordance group, where $d$-invariant calculations restrict the possible concordance classes of knots and links bounding smooth 4-manifolds. The refined surgery formula provides obstructions and detects non-triviality in certain cobordism classes, linking Floer-theoretic invariants to geometric properties of knots.

Through these applications, the surgery formula connects Heegaard Floer invariants with classical concepts such as the Sato–Levine and Casson invariants, extending prior results to new infinite families and structures characterized by almost simple linear graphs (Suzuki, 2023).

6. Context in Heegaard Floer Surgery Formula Literature

The D-invariant surgery formula for almost simple linear graphs advances pre-existing frameworks developed in the context of lens spaces and plumbed manifolds, notably the Ni–Wu and Ozsváth–Szabó formulas (Gorsky et al., 2018, Wu et al., 3 Apr 2025). These prior approaches emphasize mapping cone constructions, filtered chain complexes, and combinatorial graph invariants.

The refined formula situates almost simple linear graphs within this broader landscape, bridging lattice-theoretic and Floer-homological perspectives and introducing correction terms with clear topological and algebraic meaning. Its implications for equality patterns, knot concordance, and the classification of homology spheres underscore its foundational role in low-dimensional topology.