Kapustin–Li Formula

• The Kapustin–Li formula evaluates morphism pairings in matrix factorizations of Landau–Ginzburg potentials by antisymmetrizing derivatives of a matrix-factorization differential, taking a graded trace, and applying a Grothendieck residue with respect to the Jacobian sequence.
• Matrix factorizations and the Kapustin–Li formula are specialized in applications within foam constructions for link homology and associate Calabi–Yau trace, boundary-bulk operations, and correlators in 2D topological field theories. For instance, the Kapustin–Li trace induces a perfect pairing on the cohomology of morphism complexes, viewed as modules over the finite-dimensional Jacobian algebra.
• The foam adaptation of the formula by Khovanov and Rozansky supports with the Grothendieck residues involving differentials of matrix factorizations, significant in understanding and evaluating the slip-foam structure for link homology.

The Kapustin–Li formula is a residue and supertrace expression associated with matrix factorizations of a Landau–Ginzburg potential. It evaluates morphism pairings by antisymmetrizing derivatives of a matrix-factorization differential, taking a graded trace, and applying a Grothendieck residue with respect to the Jacobian sequence. In the foam construction of rational $\mathfrak{sl}(N)$ link homology, the formula is adapted to evaluate closed foams and to derive the local relations governing the foam category. In the matrix-factorization setting, it realizes local duality, a Calabi–Yau trace, boundary–bulk maps, and correlators of a two-dimensional topological field theory. Its use in foams and its relationship with Khovanov–Rozansky homology are developed in “Sl(N) link homology using foams and the Kapustin-Li formula” (0708.2228), while its local-duality and Calabi–Yau interpretation are developed in “The Kapustin-Li formula revisited” (Dyckerhoff et al., 2010).

1. Landau–Ginzburg and matrix-factorization framework

Let $k$ be a field of characteristic $0$, let $(R,\mathfrak m)$ be a regular local augmented $k$-algebra of Krull dimension $n$, and let $x_1,\ldots,x_n$ be a regular system of parameters generating $\mathfrak m$. The principal example is

$R=k[\![x_1,\ldots,x_n]\!].$

For $w\in\mathfrak m$, assume that the hypersurface singularity

$k$0

at $k$1 is isolated. Equivalently, its Jacobian or Milnor algebra

$k$2

is finite-dimensional over $k$3.

A matrix factorization $k$4 of $k$5 is a $k$6-graded finite free $k$7-module

$k$8

with an odd $k$9-linear endomorphism $0$0 satisfying

$0$1

Relative to the grading,

$0$2

For matrix factorizations $0$3 and $0$4, the morphism complex is

$0$5

with differential

$0$6

Although both matrix-factorization differentials square to multiplication by $0$7, the morphism differential satisfies $0$8. The homotopy category is obtained by taking $0$9 of these complexes.

The Kapustin–Li construction uses the differential $(R,\mathfrak m)$0 to produce a differential-form-like expression. Define

$(R,\mathfrak m)$1

Suppressing the $(R,\mathfrak m)$2, its top antisymmetrized product is

$(R,\mathfrak m)$3

For a homogeneous endomorphism

$(R,\mathfrak m)$4

the graded trace is

$(R,\mathfrak m)$5

The antisymmetrization of the derivatives of $(R,\mathfrak m)$6 is the algebraic analogue of inserting a volume form, while the supertrace supplies the graded trace over the matrix-factorization state space.

2. The residue pairing

The Grothendieck residue is defined using the Jacobian sequence

$(R,\mathfrak m)$7

Because the singularity is isolated, the sequence $(R,\mathfrak m)$8 is $(R,\mathfrak m)$9-primary. The top local cohomology module $k$0 is the injective hull of $k$1, and the residue gives a canonical map

$k$2

After identifying

$k$3

the residue is written using generalized fractions as

$k$4

For $k$5, it has the analytic expression

$k$6

The Kapustin–Li pairing between morphisms

$k$7

is

$k$8

Here $k$9 is the twisted differential associated with $n$0 in the mathematical formulation, $n$1 is the supertrace, and the factor $n$2 compensates for the summation over all permutations. The factor

$n$3

is the global sign arising from the grading and the local-duality derivation.

For $n$4, the corresponding contour-integral expression is

$n$5

The physically standard form is often displayed without the derived global sign, with $n$6 described as the differential of $n$7. These forms are equivalent after accounting for grading, shifts, supertrace conventions, and graded cyclicity.

For a single matrix factorization $n$8, the formula determines a trace functional

$n$9

given by

$x_1,\ldots,x_n$0

The induced pairing is

$x_1,\ldots,x_n$1

3. Local duality and non-degeneracy

The residue expression arises from local duality applied to the morphism complex rather than being introduced as an independent ansatz. The graded trace identifies

$x_1,\ldots,x_n$2

Local duality then gives, after the dimension shift,

$x_1,\ldots,x_n$3

Applying the residue identification yields

$x_1,\ldots,x_n$4

provided that $x_1,\ldots,x_n$5 is supported at $x_1,\ldots,x_n$6. This support condition follows because the morphism complexes become contractible away from the singular point.

The derivation proceeds through a stable Koszul model. With

$x_1,\ldots,x_n$7

one considers

$x_1,\ldots,x_n$8

In the folded $x_1,\ldots,x_n$9-graded presentation, this is written

$\mathfrak m$0

where $\mathfrak m$1 is generated by odd symbols $\mathfrak m$2 and has differential

$\mathfrak m$3

The multiplication action of each $\mathfrak m$4 on the morphism complex is null-homotopic. Differentiating

$\mathfrak m$5

gives

$\mathfrak m$6

Thus postcomposition with $\mathfrak m$7 supplies a homotopy for multiplication by $\mathfrak m$8. After localization at $\mathfrak m$9, the complex becomes contractible.

The basic perturbation lemma is then applied to the Koszul differential. If

$R=k[\![x_1,\ldots,x_n]\!].$0

is a deformation retract with homotopy $R=k[\![x_1,\ldots,x_n]\!].$1, and $R=k[\![x_1,\ldots,x_n]\!].$2 perturbs the differential on $R=k[\![x_1,\ldots,x_n]\!].$3, the perturbed inclusion is

$R=k[\![x_1,\ldots,x_n]\!].$4

Only the top-form component contributes after application of the residue. Its relevant term is

$R=k[\![x_1,\ldots,x_n]\!].$5

Modulo terms annihilated by the residue, this produces the antisymmetrized product

$R=k[\![x_1,\ldots,x_n]\!].$6

The resulting residue and graded-trace expression is precisely the Kapustin–Li pairing.

The cohomology of $R=k[\![x_1,\ldots,x_n]\!].$7 is finite length. Each $R=k[\![x_1,\ldots,x_n]\!].$8 acts trivially on cohomology because it is null-homotopic, so the cohomology is naturally a module over the finite-dimensional algebra

$R=k[\![x_1,\ldots,x_n]\!].$9

Consequently, the Kapustin–Li pairing induces a perfect pairing

$w\in\mathfrak m$0

The non-degeneracy is therefore a consequence of local duality and the residue identification.

4. Calabi–Yau structure and topological field theory

The supertrace is graded-cyclic:

$w\in\mathfrak m$1

Together with the residue construction, this cyclicity makes the Kapustin–Li trace compatible with composition. The resulting structure is stronger than a collection of perfect pairings on individual Hom-spaces: it defines a Calabi–Yau structure on the differential graded category of matrix factorizations.

The boundary–bulk map for a matrix factorization $w\in\mathfrak m$2,

$w\in\mathfrak m$3

is identified with a map to the Jacobian algebra $w\in\mathfrak m$4. Its explicit representative is

$w\in\mathfrak m$5

The Hochschild complex of $w\in\mathfrak m$6 is quasi-isomorphic to $w\in\mathfrak m$7, concentrated in parity $w\in\mathfrak m$8. The cyclic complex is correspondingly quasi-isomorphic to

$w\in\mathfrak m$9

Defining

$k$00

and extending it $k$01-linearly gives

$k$02

This supplies a lift of the Kapustin–Li trace to cyclic chains. After passage to a minimal $k$03-model, the structure can be strictified to a cyclic $k$04-algebra.

Matrix factorizations are interpreted as boundary conditions for the Landau–Ginzburg $k$05-model with superpotential $k$06. The Kapustin–Li pairing represents the algebraic amplitude for a disk or strip with two boundary insertions, while the boundary–bulk map sends an open-string state to a closed-string state in the bulk Jacobian algebra.

The associated topological field-theoretic structure yields the Riemann–Roch identity

$k$07

where

$k$08

and

$k$09

Thus the same residue expression realizes local duality, the Calabi–Yau trace, the boundary–bulk operation, and the correlators required by the associated two-dimensional topological field theory.

5. Foam adaptation and Grassmannian Frobenius algebras

The Kapustin–Li formula was adapted by Khovanov and Rozansky to world-sheet foams. In the foam construction of rational $k$10 link homology, facets of color $k$11 receive $k$12 variables, a potential, a Jacobi algebra, matrix factorizations along singular edges, and vertex elements at singular vertices.

For a simple facet, one variable $k$13 and the potential

$k$14

are used.

For a double facet, variables $k$15 are used, with potential characterized by

$k$16

For a triple facet, variables $k$17 are used, with

$k$18

The corresponding Jacobi algebra is

$k$19

and is identified with

$k$20

The variables have degrees

$k$21

Thus $k$22 has degree $k$23, $k$24 has degree $k$25, $k$26 has degree $k$27, and $k$28 have degrees $k$29.

The Frobenius trace on the Grassmannian cohomology is determined in the Schur basis by

$k$30

The dual Schur basis is

$k$31

These Frobenius structures provide the algebraic traces used in foam evaluation.

The foam construction requires simple, double, and triple facets. Along a $k$32 singular edge, the Koszul matrix factorization is

$k$33

where

$k$34

It satisfies

$k$35

Along a $k$36 edge, the matrix factorization is

$k$37

with

$k$38

Reversing the orientation of an edge replaces the matrix factorization by its dual:

$k$39

At a singular vertex, the tensor product of the incident edge factorizations has potential zero and becomes a $k$40-periodic complex. Its homology is an Ext-group containing a distinguished vertex class $k$41. Type I and type II vertices receive inverse classes, and every closed pre-foam has equally many type I and type II vertices, so the scalar ambiguity in choosing these classes cancels.

6. Evaluation of closed foams and local relations

Let $k$42 be a closed, dotless pre-foam. Let $k$43 be the tensor product of all facet rings. The Kapustin–Li construction produces an element

$k$44

If $k$45 represents the facet decorations, the evaluation is

$k$46

where $k$47 is the genus of $k$48, $k$49 for an $k$50-facet, and $k$51 is the tensor product of the Frobenius traces on the Jacobi algebras.

For a boundary component of a facet $k$52, choose an edge $k$53. If $k$54 has $k$55 variables, define

$k$56

The choice of preferred edge does not affect the result. The edge factors and vertex factors are contracted by super-contraction around the boundary components to produce $k$57.

For a theta foam with three facets and a common singular circle,

$k$58

The raw foam evaluation is normalized by dividing by

$k$59

where $k$60 and $k$61 count the corresponding cycles in the singular graph. The normalization makes the basic sphere and theta evaluations equal to $k$62 or $k$63.

For the $k$64-theta, the Kapustin–Li element has coefficient

$k$65

on the top double-facet class. Before normalization,

$k$66

and

$k$67

After normalization, these values become $k$68 and $k$69.

For the $k$70-theta, the coefficient of the top triple-facet class $k$71 is

$k$72

For example,

$k$73

which becomes $k$74 after normalization.

The foam category $k$75 is defined as the quotient of the pre-foam category by the kernel of the normalized Kapustin–Li evaluation. A linear combination $k$76 is zero precisely when every compatible closure evaluates to zero:

$k$77

The resulting relations include dot conversion, dot migration, neck cutting, sphere relations, theta relations, and the Matveev–Piergalini relation. The sphere relations are

$k$78

$k$79

and

$k$80

The displayed local relations are not proved to generate the entire kernel of the Kapustin–Li formula; their sufficiency for the full kernel is conjectured. For closed foams without singular vertices, however, the relations reduce evaluation to spheres and theta foams and are sufficient for combinatorial computation.

7. Link homology and relation with Khovanov–Rozansky theory

The foam construction assigns a complex to a link diagram $k$81 by resolving every crossing into two webs. The crossing complexes are

$k$82

and

$k$83

with differentials given by zip and unzip foams.

The resulting complex $k$84 is invariant up to homotopy under all Reidemeister moves. Sphere and neck-cutting relations control Reidemeister I; bubble and digon removal control Reidemeister II; and square removal, digon removal, and the Matveev–Piergalinski relation control Reidemeister III.

The restriction $k$85, or equivalently $k$86 in the construction, is structural. Triple facets and singularities at which six facets meet are required, particularly for the Reidemeister III homotopy equivalence. They are unnecessary in the $k$87 theory.

The tautological functor is

$k$88

with

$k$89

It is a tensor functor to graded rational vector spaces. Fundamental examples are

$k$90

and

$k$91

If $k$92 has $k$93 positive crossings and $k$94 negative crossings, the grading and homological shifts are

$k$95

The MOY decompositions are categorified by direct-sum decompositions, including

$k$96

$k$97

and

$k$98

The graded Euler characteristic of $k$99 equals the $0$00 link polynomial $0$01.

For every web $0$02, the Kapustin–Li construction gives a grading-preserving injection

$0$03

where $0$04 is the Khovanov–Rozansky matrix-factorization space. The MOY decompositions imply equality of graded dimensions, so this map is an isomorphism on every web. Compatibility with the differentials follows because the foam differentials are zip and unzip foams, and the relevant Ext-space has graded dimension beginning in degree $0$05. The foam and matrix-factorization differentials may initially differ by a nonzero scalar $0$06, but zip and unzip scalars are inverse and are removed by a twist-equivalence multiplying maps on zip and unzip edges by $0$07 and $0$08, respectively.

Consequently, for every link $0$09, the bigraded foam complex is isomorphic to the Khovanov–Rozansky complex:

$0$10

Thus the Kapustin–Li formula simultaneously provides the residue pairing underlying matrix-factorization duality and the closed-foam evaluation that produces the foam model of $0$11 link homology.