Primitive Form of K. Saito

• Primitive Form of K. Saito is a distinguished holomorphic relative volume form defined on the miniversal deformation of isolated, quasi-homogeneous hypersurface singularities.
• It uniquely encodes Frobenius manifold structures by establishing flat metrics and special Kähler geometries through vanishing cohomology and Gauss–Manin connections.
• Its recursive construction via BV-algebra methods and the Gelfand–Leray framework connects singularity theory with mirror symmetry and quantum cohomology applications.

The primitive form of K. Saito is a distinguished relative holomorphic volume form defined for any miniversal deformation of an isolated, quasi-homogeneous hypersurface singularity. The primitive form encodes semisimple Frobenius manifold structures on parameter spaces of singularities, realizes canonical special geometries via periods on vanishing cohomology, and, through the Gelfand–Leray construction, provides a universal Seiberg–Witten differential for the associated singular geometry. Beyond its original algebro-geometric and singularity-theoretic context, the primitive form has become central in the study of mirror symmetry, quantum singularity theory, and categorical approaches to noncommutative Hodge theory. The construction and unique characterization of the primitive form draws on Hodge-theoretic, polyvector, and Batalin–Vilkovisky algebra perspectives, with deep ties to Gromov–Witten theory and deformation quantization.

1. Quasi-homogeneous Singularity and Mini-versal Deformation

Let $X\cong\mathbb{C}^{n+1}$, with coordinates $x=(x_1,\ldots,x_{n+1})$. A holomorphic function $f:X\to\mathbb{C}$ has an isolated critical point at $0$ and is quasi-homogeneous of weights $q_i>0$ if

$$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$

The Jacobian (Milnor) algebra $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$ is finite-dimensional ($\mu<\infty$). The miniversal unfolding is

$F(x,u) = f(x) + \sum_{i=1}^\mu u^i\, \phi_i(x),$

where $\{\phi_i\}$ is a $x=(x_1,\ldots,x_{n+1})$0-basis of $x=(x_1,\ldots,x_{n+1})$1 and $x=(x_1,\ldots,x_{n+1})$2. The hypersurface $x=(x_1,\ldots,x_{n+1})$3 generically has only Morse-type singularities; $x=(x_1,\ldots,x_{n+1})$4 parameterizes all versal deformations. For such $x=(x_1,\ldots,x_{n+1})$5, the primitive form is constructed as a section of the Brieskorn lattice and encodes the intersection structure of vanishing cohomology through the variation of semi-infinite Hodge filtration (Li et al., 2018, Li et al., 2013, Tu, 2019, Tu, 2019, Basalaev, 31 Dec 2025).

2. Characterization and Properties of the Primitive Form

K. Saito’s existence/uniqueness theorem asserts that, up to an overall constant, there is a unique family of relative volume forms $x=(x_1,\ldots,x_{n+1})$6 called the primitive form, characterized by:

• Flatness (primitivity) of the residue pairing: The pairing $x=(x_1,\ldots,x_{n+1})$7 is constant in suitable coordinates, where $x=(x_1,\ldots,x_{n+1})$8 is the Gauss–Manin connection, and $x=(x_1,\ldots,x_{n+1})$9 is the Gelfand–Leray descendant.
• Normalization: At $f:X\to\mathbb{C}$0, the top-degree part of the higher residue pairing is normalized to $f:X\to\mathbb{C}$1, i.e., for the top basis element $f:X\to\mathbb{C}$2, $f:X\to\mathbb{C}$3.
• Homogeneity: $f:X\to\mathbb{C}$4 is an eigenvector for $f:X\to\mathbb{C}$5, where $f:X\to\mathbb{C}$6 is the Euler vector field on $f:X\to\mathbb{C}$7 and $f:X\to\mathbb{C}$8 the Brieskorn lattice variable, i.e., $f:X\to\mathbb{C}$9 for some rational $0$0.
• Holonomicity: Triple derivatives of $0$1 under $0$2 satisfy pole conditions that enforce associativity of the induced product.

These properties guarantee that the Kodaira–Spencer map furnishes an isomorphism between tangent vectors to deformation space and vanishing cohomology classes, with the residue pairing inducing a nondegenerate, flat metric (the Frobenius metric) in flat coordinates.

3. Constructive Approaches and Recursion

A primitive form $0$3 can be explicitly constructed. One writes

$0$4

and solves for the $0$5 recursively to satisfy the conditions above. In polyvector notation, following the gauge-theoretic approach, the construction produces a unique flat section via the semi-infinite period map and a suitable choice of “opposite filtration” $0$6, ensuring compatibility with homogeneity and Lagrangian complementarity (Li et al., 2013).

A BV-algebra-based recursion for the primitive form is available: fix a good basis $0$7 and set

$0$8

expanded in $0$9-degree as $q_i>0$0. Basalaev’s recursive formula (Basalaev, 31 Dec 2025):

• $q_i>0$1 is the identity in the good basis,
• For $q_i>0$2,

$q_i>0$3

where $q_i>0$4 is the BV trivialization, $q_i>0$5 projects to positive $q_i>0$6-powers, and $q_i>0$7 projects to Jac$q_i>0$8 in the good basis.

4. Variation of Semi-infinite Hodge Structure and Frobenius Manifolds

The primitive form endows the base $q_i>0$9 of the miniversal deformation with a Frobenius manifold structure, making $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$0 into an analytic variety equipped with:

• a flat metric,
• a compatible, commutative, associative product on tangent spaces (encoded via multiplication on vanishing cohomology),
• a prepotential $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$1 determined by the three-point functions (third derivatives of $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$2 given by the pairing of triple derivatives of $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$3).

The Brieskorn lattice, together with the higher residue pairing and primitive form, realizes the axioms of a polarized variation of semi-infinite Hodge structure (VSHS). For weighted-homogeneous $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$4, the space of primitive forms (modulo scaling) is isomorphic to the moduli of good opposite filtrations; in particular, for ADE and 14 exceptional unimodular singularities, the primitive form is unique up to scale (Li et al., 2013, Tu, 2019, Tu, 2019).

The period integrals of the Gelfand–Leray residue of $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$5 over vanishing $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$6-cycles yield flat and dual special coordinates and encode special Kähler geometry as realized in four-dimensional $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$7 SCFTs (Li et al., 2018).

5. Deformation Theory, Mirror Symmetry, and Irrelevant Couplings

The construction accommodates parameters $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$8 of negative scaling weight (“irrelevant” in RG terminology), and the primitive form depends nontrivially on them. This allows extension of the Seiberg–Witten geometry and corresponding special Kähler structure to include these non-marginal directions (Li et al., 2018).

Primitive forms underpin Landau–Ginzburg B-models, providing the Frobenius manifold data for the full genus expansion. LG/LG mirror symmetry equates Givental-type B-model correlators constructed from Saito–primitive-form data $$f(\lambda^{q_1}x_1,\ldots,\lambda^{q_{n+1}}x_{n+1}) = \lambda\, f(x_1,\ldots,x_{n+1}), \quad \lambda\in\mathbb{C}^*.$$9 with Fan–Jarvis–Ruan–Witten (FJRW) A-model invariants. Explicit computations for exceptional unimodular singularities validate this correspondence (Li et al., 2013).

The primitive form also appears categorically: via the negative cyclic homology of the category of matrix factorizations MF$$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$0 (and its $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$1-equivariant generalizations), the VSHS structure and Frobenius manifold potential are reconstructed, and the categorical primitive form coincides canonically with Saito’s geometric primitive form (Tu, 2019, Tu, 2019).

6. BV-algebras, Givental Formalism, and Recursive Structures

The Batalin–Vilkovisky (BV) algebra approach realizes the Brieskorn lattice cohomologically and identifies primitive forms as generating elements with prescribed period and flatness properties. Choices of BV trivialization, and particularly the explicit recursion in the good basis, parallel and generalize Saito’s linear algebraic constructions.

The Givental $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$2-matrix—which governs higher genus effects and quantization of Dubrovin–Frobenius structures—is constructed explicitly in the BV setup. The primitive form changes under the action of such $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$3-matrices, reflecting different trivializations and underlying semi-infinite variations. This approach unifies deformation-theoretic, cohomological, and operadic aspects of primitive form theory (Basalaev, 31 Dec 2025).

7. Summary Table: Key Data for Saito Primitive Form

Data	Mathematical Object / Operation	Role for Primitive Form
Singular function	$$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$4, quasi-homogeneous with isolated critical point	Base singularity
Deformation space	Miniversal unfolding $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$5	Parameter domain
Brieskorn lattice	$$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$6	Ambient for $$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$7
Primitive form	$$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$8	Flat generator
Gauss–Manin conn.	$$R_f=\mathbb{C}[x_1,\ldots,x_{n+1}]/(\partial_1 f,\ldots,\partial_{n+1} f)$$9	Flatness/Hodge theory
Residue pairing	$\mu<\infty$0	Frobenius metric
Gelfand–Leray form	$\mu<\infty$1	Periodic/SW geometry

The above summary table encapsulates the central algebraic–analytic data and their geometric roles. This infrastructure supports a range of applications, including singularity theory, mirror symmetry, and quantum cohomology. The categorical, deformation-theoretic, and BV-algebraic reconstructions strongly reinforce the fundamental and universal nature of the primitive form in modern mathematics and physics (Li et al., 2018, Li et al., 2013, Tu, 2019, Tu, 2019, Basalaev, 31 Dec 2025).