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 bilinear form (i.e., homology with cup product) and a ±-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 two very different settings are tied up using the Brieskorn lattice as a D-module, on using results of Brieskorn (Manuscripta Math, 2:103–161, 1970), Varchenko (Math USSR Izvestiya, 26:31, 1986), Saito (Ann Inst Fourier Grenoble, 39:27–72, 1989), and Hertling (Compositio Mathematica, 116:1–37, 1999, Camb Tracts Math, 151, 2004, in: Barlet (ed) Singularités, Institut Élie Cartan Nancy, Villers-lés-Nancy, 2005), inducing a Polarized Mixed Hodge structure at the singularity (Steenbrink in Mixed Hodge structure on the vanishing cohomology, Nordic Summer School, Simposium in Mathematics, Oslo, 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.
Similar content being viewed by others
References
Briançon, J., Skoda, H.: Sur la cloture intégrale d’un idéal de germe de fonctions holomorphes en un point de \({\mathbb{C} }^{n}\). C. R. Acad. Sc. Paris 278, 949–951 (1974)
Brieskorn, E.: La monodromie des singularités isolées d’hypersurfaces. Manuscripta Math. 2(1970), 103–161 (1970)
Decker, W., Greuel, G-M., Pfister, G., Schönemann, H.: Singular 4.0.2 A computer algebra system for polynomial computations. Center for Computer Algebra, University of Kaiserslautern. http://www.singular.uni-kl.de (2015)
Dela-Rosa, M.A.: On a lemma of Varchenko and higher bilinear forms induced by Grothendieck duality on the Milnor algebra of an isolated hypersurface singularity. Bull. Braz. Math. Soc. (N.S.) 49(4), 715–741 (2018)
Eisenbud, D., Levine, H.I., Teissier, B.: An algebraic formula for the degree of a \(C^\infty \) Map Germ/Sur Une Inégalité á La Minkowski Pour Les Multiplicités. Ann. Math. 106(1), 19–44 (1977)
Giraldo, L., Gómez-Mont, X., Mardešić, P.: Flags in zero dimensional complete intersection algebras and indices of real vector fields. Math. Z. 260(1), 77–91 (2008)
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1978)
Griffiths, P., Schmid, W.: Recent Developments in Hodge Theory: A Discussion of Techniques and Results, Discrete Subgroups of Lie Groups and Applications to Moduli, pp. 31–127. Oxford Univ. Press, Bombay (1975)
Hertling, C.: Formes bilinéaires et hermitiennes pour des singularités: un aperçu. In: Barlet, D. (ed.) Singularités, vol. 18. Institut Élie Cartan Nancy, Villers-lés-Nancy (2005)
Hertling, C.: Frobenius manifolds and moduli spaces for singularities. Cambridge University Press, 151 (2002)
Hertling, C.: Classifying spaces for polarized mixed Hodge structures and Brieskorne lattices. Compositio Mathematica 116, 1–37 (1999)
Hertling, C., Stahlke, C.: Bernstein polynomial and Tjurina number. Geometriae Dedicata 75, 137–176 (1999)
Kulikov, V.S.: Mixed Hodge structures and singularities. Cambridge University Press, 132 (1998)
Malgrange, B.: Integrales Asymptotiques et Monodromie. Ann. Scient. Éc.Norm. Sup. Série \(4^{e}\)7, 405–430 (1974)
Milnor, J.: Singular points on complex hypersurfaces. (AM-61) Princeton University Press, 61 (1968)
Saito, K.: The higher residue pairings \(K_{F}^{(k)}\) for a family of hypersurface singular points. Proc. Symp. Pure Math. 40(2), 441–463 (1983)
Saito, M.: On the structure of Brieskorn lattices, II. J. Singul. 18, 248–271 (2018)
Saito, M.: On the structure of Brieskorn lattices. Ann. Inst. Fourier Grenoble 39, 27–72 (1989)
Schmid, W.: Variation of Hodge structure: the singularities of the period mapping. Invent. Math. 22, 211–319 (1973)
Schulze, M.: gmssing.lib. A Singular 4-0-2 library for computing invariants related to the Gauss–Manin system of an isolated hypersurface singularity. (2015)
Schulze, M.: mondromy.lib. A Singular 4-0-2 library for computing the monodromy of an isolated hypersurface singularity. (2015)
Steenbrink, J.: Mixed Hodge Structure on the Vanishing Cohomology, pp. 525–563. Nordic Summer School, Simposium in Mathematics, Oslo (1976)
Scherk, J.: On the monodromy theorem for isolated hypersurface singularities. Invent. Math. 58, 289–301 (1980)
Scherk, J., Steenbrink, J.H.M.: On the mixed Hodge structure on the cohomology of the milnor fibre. Math. Ann. 271, 641–665 (1985)
van Straten, D.: From Briançon–Skoda to Scherk–Varchenko. Commut. Algebra Noncommut. Algebraic Geom. 1, 347–370 (2015)
Varchenko, A.N.: On the local residue and the intersection form on the vanishing cohomology. Math. USSR Izvestiya 26(1), 31 (1986)
Varchenko, A.N.: On the monodromy operator in vanishing cohomology and the operator of multiplication by f in the local ring. Dokl. Akad. Nauk SSSR. 260(2), 272–276 (1981)
Varchenko, A.N.: The asimptotics of holomorphic forms determine a mixed Hodge structure. Sov. Math. Dokl. 22, 772–775 (1980)
Author information
Authors and Affiliations
Corresponding author
Additional information
To Professor Enrique Ramírez de Arellano and his integral.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M. A. Dela-Rosa was partially supported by CONACYT grant A1-S-47710. X. Gómez-Mont was partially supported by CONACYT under Grant No. 286447.
For Enrique Ramírez de Arellano on the 52 anniversary (a Mayan Calendar Round) of the Henkin-Ramirez kernel.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dela-Rosa, M.A., Gómez-Mont, X. Bilinear forms in the Jacobian module and binding of N-spectral chains of a hypersurface with an isolated singularity. Bol. Soc. Mat. Mex. 29 (Suppl 1), 101 (2023). https://doi.org/10.1007/s40590-023-00554-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40590-023-00554-8
Keywords
- Isolated hypersurface singularity
- Grothendieck duality
- Cup product
- Higher bilinear forms
- Binding of N-spectral chains