<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> be an irreducible variety and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo>Bir</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\operatorname{Bir}(X)$</EquationSource> </InlineEquation> its group of birational transformations. We show that the group structure of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo>Bir</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\operatorname{Bir}(X)$</EquationSource> </InlineEquation> determines whether <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> is rational and whether <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> is ruled. Additionally, we prove that any Borel subgroup of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo>Bir</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\operatorname{Bir}(X)$</EquationSource> </InlineEquation> has derived length at most twice the dimension of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation>, with equality occurring if and only if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> is rational and the Borel subgroup is standard. We also provide examples of non-standard Borel subgroups of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo>Bir</mo> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">P</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\operatorname{Bir}(\mathbb{P}^{n})$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1348_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo>Aut</mo> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">A</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\operatorname{Aut}(\mathbb{A}^{n})$</EquationSource> </InlineEquation>, thereby resolving conjectures by Popov and Furter-Poloni.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Group theoretical characterizations of rationality

  • Andriy Regeta,
  • Christian Urech,
  • Immanuel van Santen

摘要

Let X $X$ be an irreducible variety and Bir ( X ) $\operatorname{Bir}(X)$ its group of birational transformations. We show that the group structure of Bir ( X ) $\operatorname{Bir}(X)$ determines whether X $X$ is rational and whether X $X$ is ruled. Additionally, we prove that any Borel subgroup of Bir ( X ) $\operatorname{Bir}(X)$ has derived length at most twice the dimension of X $X$ , with equality occurring if and only if X $X$ is rational and the Borel subgroup is standard. We also provide examples of non-standard Borel subgroups of Bir ( P n ) $\operatorname{Bir}(\mathbb{P}^{n})$ and Aut ( A n ) $\operatorname{Aut}(\mathbb{A}^{n})$ , thereby resolving conjectures by Popov and Furter-Poloni.