{"title":"辛线性群与一般线性群的自然零锥","authors":"Vaibhav Pandey, Yevgeniya Tarasova, Uli Walther","doi":"10.1112/jlms.70078","DOIUrl":null,"url":null,"abstract":"<p>Consider a group acting on a polynomial ring <span></span><math>\n <semantics>\n <mi>S</mi>\n <annotation>$S$</annotation>\n </semantics></math> over a field <span></span><math>\n <semantics>\n <mi>K</mi>\n <annotation>$\\mathbb {K}$</annotation>\n </semantics></math> by degree-preserving <span></span><math>\n <semantics>\n <mi>K</mi>\n <annotation>$\\mathbb {K}$</annotation>\n </semantics></math>-algebra automorphisms. Several key properties of the invariant ring can be deduced by studying the <i>nullcone</i> of the action, that is, the vanishing locus of all nonconstant homogeneous invariant polynomials. These properties include the finite generation of the invariant ring and the purity of its embedding in <span></span><math>\n <semantics>\n <mi>S</mi>\n <annotation>$S$</annotation>\n </semantics></math>. In this article, we study the nullcones arising from the natural actions of the symplectic and general linear groups. For the natural representation of the symplectic group (via copies of the regular representation), the invariant ring is a generic Pfaffian ring. We show that the nullcone of this embedding is <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-regular in positive characteristic. Independent of characteristic, we give a complete description of the divisor class group of the nullcone and determine precisely when it is Gorenstein. For the natural representation of the general linear group (via copies of the regular representation and copies of its dual), the invariant ring is a generic determinantal ring. The nullcone of this embedding is typically non-equidimensional; its irreducible components are the varieties of complexes introduced by Buchsbaum and Eisenbud. We show that each of these irreducible components are <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-regular in positive characteristic. We also show that the Frobenius splittings of the varieties of complexes may be chosen compatibly so that the nullcone is <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-pure.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"111 3","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2025-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70078","citationCount":"0","resultStr":"{\"title\":\"On the natural nullcones of the symplectic and general linear groups\",\"authors\":\"Vaibhav Pandey, Yevgeniya Tarasova, Uli Walther\",\"doi\":\"10.1112/jlms.70078\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Consider a group acting on a polynomial ring <span></span><math>\\n <semantics>\\n <mi>S</mi>\\n <annotation>$S$</annotation>\\n </semantics></math> over a field <span></span><math>\\n <semantics>\\n <mi>K</mi>\\n <annotation>$\\\\mathbb {K}$</annotation>\\n </semantics></math> by degree-preserving <span></span><math>\\n <semantics>\\n <mi>K</mi>\\n <annotation>$\\\\mathbb {K}$</annotation>\\n </semantics></math>-algebra automorphisms. Several key properties of the invariant ring can be deduced by studying the <i>nullcone</i> of the action, that is, the vanishing locus of all nonconstant homogeneous invariant polynomials. These properties include the finite generation of the invariant ring and the purity of its embedding in <span></span><math>\\n <semantics>\\n <mi>S</mi>\\n <annotation>$S$</annotation>\\n </semantics></math>. In this article, we study the nullcones arising from the natural actions of the symplectic and general linear groups. For the natural representation of the symplectic group (via copies of the regular representation), the invariant ring is a generic Pfaffian ring. We show that the nullcone of this embedding is <span></span><math>\\n <semantics>\\n <mi>F</mi>\\n <annotation>$F$</annotation>\\n </semantics></math>-regular in positive characteristic. Independent of characteristic, we give a complete description of the divisor class group of the nullcone and determine precisely when it is Gorenstein. For the natural representation of the general linear group (via copies of the regular representation and copies of its dual), the invariant ring is a generic determinantal ring. The nullcone of this embedding is typically non-equidimensional; its irreducible components are the varieties of complexes introduced by Buchsbaum and Eisenbud. We show that each of these irreducible components are <span></span><math>\\n <semantics>\\n <mi>F</mi>\\n <annotation>$F$</annotation>\\n </semantics></math>-regular in positive characteristic. We also show that the Frobenius splittings of the varieties of complexes may be chosen compatibly so that the nullcone is <span></span><math>\\n <semantics>\\n <mi>F</mi>\\n <annotation>$F$</annotation>\\n </semantics></math>-pure.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":\"111 3\",\"pages\":\"\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2025-03-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70078\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70078\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70078","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
On the natural nullcones of the symplectic and general linear groups
Consider a group acting on a polynomial ring over a field by degree-preserving -algebra automorphisms. Several key properties of the invariant ring can be deduced by studying the nullcone of the action, that is, the vanishing locus of all nonconstant homogeneous invariant polynomials. These properties include the finite generation of the invariant ring and the purity of its embedding in . In this article, we study the nullcones arising from the natural actions of the symplectic and general linear groups. For the natural representation of the symplectic group (via copies of the regular representation), the invariant ring is a generic Pfaffian ring. We show that the nullcone of this embedding is -regular in positive characteristic. Independent of characteristic, we give a complete description of the divisor class group of the nullcone and determine precisely when it is Gorenstein. For the natural representation of the general linear group (via copies of the regular representation and copies of its dual), the invariant ring is a generic determinantal ring. The nullcone of this embedding is typically non-equidimensional; its irreducible components are the varieties of complexes introduced by Buchsbaum and Eisenbud. We show that each of these irreducible components are -regular in positive characteristic. We also show that the Frobenius splittings of the varieties of complexes may be chosen compatibly so that the nullcone is -pure.
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.