<p>We prove the finiteness of the genus of finite-dimensional division algebras over many infinitely generated fields. More precisely, let <i>K</i> be a finite field extension of a field which is a purely transcendental extension of infinite transcendence degree of some subfield. We show that if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is a central division <i>K</i>-algebra, then <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{gen}({\mathcal D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">gen</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> consists of Brauer classes <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\([{\mathcal D}']\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\([{\mathcal D}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi mathvariant="script">D</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\([{\mathcal D}']\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> generate the same subgroup of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Br} (K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Br</mtext> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, the genus of any division <i>K</i>-algebra of exponent 2 is trivial. Note that the family of such fields is closed under finitely generated extensions. Moreover, if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {char}(K) \ne 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>char</mtext> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we prove that the genus of a simple algebraic group of type <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2131_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{G}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>G</mtext> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> over such a field <i>K</i> is trivial.</p>

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

Genus of division algebras over fields with infinite transcendence degree

  • Sergey V. Tikhonov

摘要

We prove the finiteness of the genus of finite-dimensional division algebras over many infinitely generated fields. More precisely, let K be a finite field extension of a field which is a purely transcendental extension of infinite transcendence degree of some subfield. We show that if \({\mathcal D}\) D is a central division K-algebra, then \(\textbf{gen}({\mathcal D})\) gen ( D ) consists of Brauer classes \([{\mathcal D}']\) [ D ] such that \([{\mathcal D}]\) [ D ] and \([{\mathcal D}']\) [ D ] generate the same subgroup of \(\text {Br} (K)\) Br ( K ) . In particular, the genus of any division K-algebra of exponent 2 is trivial. Note that the family of such fields is closed under finitely generated extensions. Moreover, if \(\text {char}(K) \ne 2\) char ( K ) 2 , we prove that the genus of a simple algebraic group of type \(\textrm{G}_2\) G 2 over such a field K is trivial.