Sharp Lower Estimations for Invariants Associated with the Ideal of Antiderivatives of Singularities

Naveed Hussain1, Quan Shi2, Huaiqing Zuo3
1Department of Mathematics and Statistics, University of Agriculture, Faisalabad, Pakistan
2Zhili College, Tsinghua University, Beijing, People’s Republic of China
3Department of Mathematical Sciences, Tsinghua University, Beijing, People’s Republic of China

Tóm tắt

Let (V, 0) be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $$f: (\mathbb {C}^n, 0)\rightarrow (\mathbb {C}, 0)$$ . We introduce a new derivation Lie algebra associated to (V, 0). The new Lie algebra is defined by the ideal of antiderivatives with respect to the Tjurina ideal of (V, 0). More precisely, let $$I = (f, \frac{\partial f}{\partial x_1},\ldots , \frac{\partial f}{\partial x_n})$$ and $$\Delta (I):= \{g\mid g,\frac{\partial g}{\partial x_1},\ldots , \frac{\partial g}{\partial x_n}\in I\}$$ , then $$A^\Delta (V):= \mathcal O_n/\Delta (I)$$ and $$L^\Delta (V):= \textrm{Der}(A^\Delta (V),A^\Delta (V))$$ . Their dimensions as a complex vector space are denoted as $$\beta (V)$$ and $$\delta (V)$$ , respectively. $$\delta (V)$$ is a new invariant of singularities. In this paper we study the new local algebra $$A^\Delta (V)$$ and the derivation Lie algebra $$L^\Delta (V)$$ , and also compute them for fewnomial isolated singularities. Moreover, we formulate sharp lower estimation conjectures for $$\beta (V)$$ and $$\delta (V)$$ when (V, 0) are weighted homogeneous isolated hypersurface singularities. We verify these conjectures for a large class of singularities. Lastly, we provide an application of $$\beta (V)$$ and $$\delta (V)$$ to distinguishing contact classes of singularities.

Từ khóa


Tài liệu tham khảo

Aleksandrov, A.G., Martin, B.: Derivations and deformations of Artin algebras. Beitr. Algebra Geom. 33, 115–130 (1992) Arnold, V.I., Gusein-Zade, S.M., Varchenko, A.N.: Singularities of Differential Maps, vol. 1, 2nd edn. MCNMO, Moskva (2004) Arnold, V., Varchenko, A., Gusein-Zade, S.: Singularities of Differentiable Mappings, 2nd edn. MCNMO, Moskva (2004) Benson, M., Yau, S.S.-T.: Equivalence between isolated hypersurface singularities. Math. Ann. 287, 107–134 (1990) Block, R.: Determination of the differentiably simple rings with a minimal ideal. Ann. Math. 90, 433–459 (1969) Chen, B., Chen, H., Yau, S.S.-T., Zuo, H.: The nonexistence of negative weight derivations on positive dimensional isolated singularities: generalized Wahl conjecture. J. Differ. Geom. 115, 195–224 (2020) Chen, B., Hussain, N., Yau, S.S.-T., Zuo, H.: Variation of complex structures and variation of Lie algebras II: new Lie algebras arising from singularities. J. Differ. Geom. 115, 437–473 (2020) Chen, H., Yau, S.S.-T., Zuo, H.: Non-existence of negative weight derivations on positively graded Artinian algebras. Trans. Am. Math. Soc. 372(4), 2493–2535 (2019) Elashvili, A., Khimshiashvili, G.: Lie algebras of simple hypersurface singularities. J. Lie Theory 16(4), 621–649 (2006) Ebeling, W., Takahashi, A.: Strange duality of weighted homogeneous polynomial. J. Compos. Math. 147, 1413–1433 (2011) Greuel, G.-M., Lossen, C., Shustin, E.: Introduction to Singularities and Deformations. Springer Monographs in Mathematics. Springer, Berlin (2007) Greuel, G.-M., Lossen, C., Shustin, E.: Singular Algebraic Curves, with an Appendix by Oleg Viro. Springer Monographs in Mathematics. Springer, Cham (2018) Hussain, N., Yau, S.S.-T., Zuo, H.: On the derivation Lie algebras of fewnomial singularities. Bull. Aust. Math. Soc. 98(1), 77–88 (2018) Khovanski, A.: Fewnomials. American Mathematical Society, Providence, RI (1991). (Translated from the Russian by Smilka Zdravkovska) Khimshiashvili, G.: Yau Algebras of Fewnomial Singularities. Preprint, http://www.math.uu.nl/publications/preprints/1352.pdf Milnor, J., Orlik, P.: Isolated singularities defined by weighted homogeneous polynomials. Topology 9, 385–393 (1970) Mather, J., Yau, S.S.-T.: Classification of isolated hypersurface singularities by their moduli algebras. Invent. Math. 69, 243–251 (1982) Rodrigues, J. H. O.: On Tjurina ideals of hypersurface singularities. arXiv:2220.50352 (2022) Saito, K.: Quasihomogene isolierte Singularitäten von Hyperflächen. Invent. Math. 14, 123–142 (1971) Saeki, O.: Topological invariance of weights for weighted homogeneous isolated singularities in \(\mathbb{C} ^3\). Proc. Am. Math. Sci. 103(3), 905–909 (1988) Seeley, C., Yau, S.S.-T.: Variation of complex structure and variation of Lie algebras. Invent. Math. 99, 545–565 (1990) Shi, Q., Yau, S. S.-T., Zuo, H.: On T-maps and ideals of antiderivatives of hypersurface singularities. Preprint Xu, Y.-J., Yau, S.S.-T.: Micro-local characterization quasi-homogeneous singularities. Am. J. Math. 118(2), 389–399 (1996) Yau, S.S.-T.: Continuous family of finite-dimensional representations of a solvable Lie algebra arising from singularities. Proc. Natl. Acad. Sci. USA 80, 7694–7696 (1983) Yau, S.S.-T.: Milnor algebras and equivalence relations among holomorphic functions. Bull. Am. Math. Soc. 9, 235–239 (1983) Yoshinaga, E., Suzuki, M.: Topological types of quasihomogeneous singularities in \(\mathbb{C} ^2\). Topology 18(2), 113–116 (1979) Yu, Y.: On Jacobian ideals invariant by reducible sl(2;C) action. Trans. Am. Math. Soc. 348, 2759–2791 (1996) Yau, S.S.-T., Zuo, H.: Derivations of the moduli algebras of weighted homogeneous hypersurface singularities. J. Algebra 457, 18–25 (2016) Yau, S.S.-T., Zuo, H.: A Sharp upper estimate conjecture for the Yau number of weighted homogeneous isolated hypersurface singularity. Pure Appl. Math. Q. 12(1), 165–181 (2016)