{"title":"关于加权同质奇点的第 k $-th 特朱里纳数","authors":"Chuangqiang Hu, Stephen S. -T. Yau, Huaiqing Zuo","doi":"arxiv-2409.09384","DOIUrl":null,"url":null,"abstract":"Let $ (X,0) $ denote an isolated singularity defined by a weighted\nhomogeneous polynomial $ f $. Let $ \\mathcal{O}$ be the local algebra of all\nholomorphic function germs at the origin with the maximal ideal $m $. We study\nthe $k$-th Tjurina algebra, defined by $ A_k(f): = \\mathcal{O} / \\left( f , m^k\nJ(f) \\right) $, where $J(f)$ denotes the Jacobi ideal of $ \\mathcal{O}$. The\nzeroth Tjurina algebra is well known to represent the tangent space of the base\nspace of the semi-universal deformation of $(X, 0)$. Motivated by this\nobservation, we explore the deformation of $(X,0)$ with respect to a fixed\n$k$-residue point. We show that the tangent space of the corresponding\ndeformation functor is a subspace of the $k$-th Tjurina algebra. Explicitly\ncalculating the $k$-th Tjurina numbers, which correspond to the dimensions of\nthe Tjurina algebra, plays a crucial role in understanding these deformations.\nAccording to the results of Milnor and Orlik, the zeroth Tjurina number can be\nexpressed explicitly in terms of the weights of the variables in $f$. However,\nwe observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th\nTjurina number becomes more intricate and is not solely determined by the\nweights of variables. In this paper, we introduce a novel complex derived from\nthe classical Koszul complex and obtain a computable formula for the $k$-th\nTjurina numbers for all $ k \\geqslant 0 $. As applications, we calculate the\n$k$-th Tjurina numbers for all weighted homogeneous singularities in three\nvariables.","PeriodicalId":501063,"journal":{"name":"arXiv - MATH - Algebraic Geometry","volume":"27 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the $k$-th Tjurina number of weighted homogeneous singularities\",\"authors\":\"Chuangqiang Hu, Stephen S. -T. Yau, Huaiqing Zuo\",\"doi\":\"arxiv-2409.09384\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $ (X,0) $ denote an isolated singularity defined by a weighted\\nhomogeneous polynomial $ f $. Let $ \\\\mathcal{O}$ be the local algebra of all\\nholomorphic function germs at the origin with the maximal ideal $m $. We study\\nthe $k$-th Tjurina algebra, defined by $ A_k(f): = \\\\mathcal{O} / \\\\left( f , m^k\\nJ(f) \\\\right) $, where $J(f)$ denotes the Jacobi ideal of $ \\\\mathcal{O}$. The\\nzeroth Tjurina algebra is well known to represent the tangent space of the base\\nspace of the semi-universal deformation of $(X, 0)$. Motivated by this\\nobservation, we explore the deformation of $(X,0)$ with respect to a fixed\\n$k$-residue point. We show that the tangent space of the corresponding\\ndeformation functor is a subspace of the $k$-th Tjurina algebra. Explicitly\\ncalculating the $k$-th Tjurina numbers, which correspond to the dimensions of\\nthe Tjurina algebra, plays a crucial role in understanding these deformations.\\nAccording to the results of Milnor and Orlik, the zeroth Tjurina number can be\\nexpressed explicitly in terms of the weights of the variables in $f$. However,\\nwe observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th\\nTjurina number becomes more intricate and is not solely determined by the\\nweights of variables. In this paper, we introduce a novel complex derived from\\nthe classical Koszul complex and obtain a computable formula for the $k$-th\\nTjurina numbers for all $ k \\\\geqslant 0 $. As applications, we calculate the\\n$k$-th Tjurina numbers for all weighted homogeneous singularities in three\\nvariables.\",\"PeriodicalId\":501063,\"journal\":{\"name\":\"arXiv - MATH - Algebraic Geometry\",\"volume\":\"27 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Algebraic Geometry\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.09384\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Algebraic Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09384","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On the $k$-th Tjurina number of weighted homogeneous singularities
Let $ (X,0) $ denote an isolated singularity defined by a weighted
homogeneous polynomial $ f $. Let $ \mathcal{O}$ be the local algebra of all
holomorphic function germs at the origin with the maximal ideal $m $. We study
the $k$-th Tjurina algebra, defined by $ A_k(f): = \mathcal{O} / \left( f , m^k
J(f) \right) $, where $J(f)$ denotes the Jacobi ideal of $ \mathcal{O}$. The
zeroth Tjurina algebra is well known to represent the tangent space of the base
space of the semi-universal deformation of $(X, 0)$. Motivated by this
observation, we explore the deformation of $(X,0)$ with respect to a fixed
$k$-residue point. We show that the tangent space of the corresponding
deformation functor is a subspace of the $k$-th Tjurina algebra. Explicitly
calculating the $k$-th Tjurina numbers, which correspond to the dimensions of
the Tjurina algebra, plays a crucial role in understanding these deformations.
According to the results of Milnor and Orlik, the zeroth Tjurina number can be
expressed explicitly in terms of the weights of the variables in $f$. However,
we observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th
Tjurina number becomes more intricate and is not solely determined by the
weights of variables. In this paper, we introduce a novel complex derived from
the classical Koszul complex and obtain a computable formula for the $k$-th
Tjurina numbers for all $ k \geqslant 0 $. As applications, we calculate the
$k$-th Tjurina numbers for all weighted homogeneous singularities in three
variables.