{"title":"具有高度为一的基座理想的因子仿射 $$G_a$$ 变体","authors":"Kayo Masuda","doi":"10.1007/s00031-023-09833-0","DOIUrl":null,"url":null,"abstract":"<p>Let <span>\\(X={\\text {Spec}}\\;B\\)</span> be a factorial affine variety defined over an algebraically closed field <i>k</i> of characteristic zero with a nontrivial action of the additive group <span>\\(G_a\\)</span> associated to a locally nilpotent derivation <span>\\(\\delta \\)</span> on <i>B</i>. In this article, we study <i>X</i> of dimension <span>\\(\\ge 3\\)</span> under the assumption that the plinth ideal <span>\\(\\text {pl}(\\delta )=\\delta (B)\\cap A\\)</span> is contained in an ideal <span>\\(\\alpha A\\)</span> generated by a prime element <span>\\(\\alpha \\in A={\\text {Ker}}\\,\\delta \\)</span>. Suppose that <span>\\(A={\\text {Ker}}\\,\\delta \\)</span> is an affine <i>k</i>-domain. The quotient morphism <span>\\(\\pi : X \\rightarrow Y={\\text {Spec}}\\;A\\)</span> splits to a composite <span>\\(\\textrm{pr} \\circ p\\)</span> of the projection <span>\\(\\textrm{pr}: Y\\times \\mathbb A^1 \\rightarrow Y\\)</span> and a <span>\\(G_a\\)</span>-equivariant birational morphism <span>\\(p: X \\rightarrow Y\\times \\mathbb A^1\\)</span> where <span>\\(G_a\\)</span> acts on <span>\\(\\mathbb A^1\\)</span> by translation. By decomposing <span>\\(p: X \\rightarrow Y\\times \\mathbb A^1\\)</span> to a sequence of <span>\\(G_a\\)</span>-equivariant affine modifications, we investigate the structure of <i>X</i>. We also show that the general closed fiber of <span>\\(\\pi \\)</span> over the closed set <span>\\(V(\\alpha )={\\text {Spec}}\\;A/\\alpha A\\)</span> consists of a disjoint union of <i>m</i> affine lines where <span>\\(m\\ge 2\\)</span>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Factorial Affine $$G_a$$ -Varieties with Height One Plinth Ideals\",\"authors\":\"Kayo Masuda\",\"doi\":\"10.1007/s00031-023-09833-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span>\\\\(X={\\\\text {Spec}}\\\\;B\\\\)</span> be a factorial affine variety defined over an algebraically closed field <i>k</i> of characteristic zero with a nontrivial action of the additive group <span>\\\\(G_a\\\\)</span> associated to a locally nilpotent derivation <span>\\\\(\\\\delta \\\\)</span> on <i>B</i>. In this article, we study <i>X</i> of dimension <span>\\\\(\\\\ge 3\\\\)</span> under the assumption that the plinth ideal <span>\\\\(\\\\text {pl}(\\\\delta )=\\\\delta (B)\\\\cap A\\\\)</span> is contained in an ideal <span>\\\\(\\\\alpha A\\\\)</span> generated by a prime element <span>\\\\(\\\\alpha \\\\in A={\\\\text {Ker}}\\\\,\\\\delta \\\\)</span>. Suppose that <span>\\\\(A={\\\\text {Ker}}\\\\,\\\\delta \\\\)</span> is an affine <i>k</i>-domain. The quotient morphism <span>\\\\(\\\\pi : X \\\\rightarrow Y={\\\\text {Spec}}\\\\;A\\\\)</span> splits to a composite <span>\\\\(\\\\textrm{pr} \\\\circ p\\\\)</span> of the projection <span>\\\\(\\\\textrm{pr}: Y\\\\times \\\\mathbb A^1 \\\\rightarrow Y\\\\)</span> and a <span>\\\\(G_a\\\\)</span>-equivariant birational morphism <span>\\\\(p: X \\\\rightarrow Y\\\\times \\\\mathbb A^1\\\\)</span> where <span>\\\\(G_a\\\\)</span> acts on <span>\\\\(\\\\mathbb A^1\\\\)</span> by translation. By decomposing <span>\\\\(p: X \\\\rightarrow Y\\\\times \\\\mathbb A^1\\\\)</span> to a sequence of <span>\\\\(G_a\\\\)</span>-equivariant affine modifications, we investigate the structure of <i>X</i>. We also show that the general closed fiber of <span>\\\\(\\\\pi \\\\)</span> over the closed set <span>\\\\(V(\\\\alpha )={\\\\text {Spec}}\\\\;A/\\\\alpha A\\\\)</span> consists of a disjoint union of <i>m</i> affine lines where <span>\\\\(m\\\\ge 2\\\\)</span>.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-12-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s00031-023-09833-0\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00031-023-09833-0","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Factorial Affine $$G_a$$ -Varieties with Height One Plinth Ideals
Let \(X={\text {Spec}}\;B\) be a factorial affine variety defined over an algebraically closed field k of characteristic zero with a nontrivial action of the additive group \(G_a\) associated to a locally nilpotent derivation \(\delta \) on B. In this article, we study X of dimension \(\ge 3\) under the assumption that the plinth ideal \(\text {pl}(\delta )=\delta (B)\cap A\) is contained in an ideal \(\alpha A\) generated by a prime element \(\alpha \in A={\text {Ker}}\,\delta \). Suppose that \(A={\text {Ker}}\,\delta \) is an affine k-domain. The quotient morphism \(\pi : X \rightarrow Y={\text {Spec}}\;A\) splits to a composite \(\textrm{pr} \circ p\) of the projection \(\textrm{pr}: Y\times \mathbb A^1 \rightarrow Y\) and a \(G_a\)-equivariant birational morphism \(p: X \rightarrow Y\times \mathbb A^1\) where \(G_a\) acts on \(\mathbb A^1\) by translation. By decomposing \(p: X \rightarrow Y\times \mathbb A^1\) to a sequence of \(G_a\)-equivariant affine modifications, we investigate the structure of X. We also show that the general closed fiber of \(\pi \) over the closed set \(V(\alpha )={\text {Spec}}\;A/\alpha A\) consists of a disjoint union of m affine lines where \(m\ge 2\).