Bilinear forms in the Jacobian module and binding of $N$-spectral chains of a hypersurface with an isolated singularity

TL;DR

This paper explores the interplay between algebraic and topological structures in hypersurface singularities using bilinear forms, nilpotent operators, and the Brieskorn lattice, revealing new insights into the spectrum as an invariant.

Contribution

It introduces a novel framework connecting algebraic and topological invariants of hypersurface singularities through bilinear forms and Jordan chains within the Brieskorn lattice.

Findings

Establishes a link between algebraic and topological invariants.

Shows how to derive $f$-Jordan chains from $N$-Jordan chains.

Highlights the spectrum as a deeper invariant than eigenvalues.

Abstract

Using his deep and beautiful idea of cutting with a Hyperplane, Lefschetz explained how the homology groups of a projective smooth variety could be constructed from basic pieces, that he called primitive homology. This idea can be applied every time we have a vector space with a biliner form (i.e. homology with cup product) and a $\pm$-symmetric nilpotent operator (i.e. cutting with a hyperplane). We will illustrate this in the context of Singularity Theory: A germ of an isolated singular point of a hypersurface defined by $f=0$. We begin with the algebraic setting in the Jacobian (or Milnor) Algebra of the singularity, with Grothendieck pairing as bilinear form and multiplication by $f$ as a symmetric nilpotent operator. We continue in the topological setting of vanishing cohomology with bilinear form induced from cup product and as nilpotent map the logarithm of the unipotent map of the monodromy as an anti-symmetric operator. We then show how these 2 very different settings are tied up using the Brieskorn lattice as a D-module, on using results of Brieskorn (1970), A. Varchenko (1980s), M. Saito (1989), and C. Hertling (1999, 2004, 2005), inducing a Polarized Mixed Hodge structure at the singularity (Steenbrink, 1976) and bringing the spectrum of the singularity as a deeper invariant than the eigenvalues of the Algebraic Monodromy. In particular, we show how an $f$-Jordan chain is obtained from several $N$-Jordan chains by gluing them in the Brieskorn lattice.