<p>We consider the cyclic presentation of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{PG}(3, q )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PG</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> whose points are in the finite field <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q^4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>q</mi> <mn>4</mn> </msup> </msub> </math></EquationSource> </InlineEquation> and describe the known ovoids therein. We revisit the set <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation>, consisting of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\((q^2+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mn>2</mn> </msup> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>th roots of unity in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q^4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>q</mi> <mn>4</mn> </msup> </msub> </math></EquationSource> </InlineEquation>, and prove that it forms an elliptic quadric within the cyclic presentation of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{PG}(3, q )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PG</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki–Tits ovoids in the cyclic presentation of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{PG}(3, q )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PG</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, characterizing them as the zeroes of a polynomial over <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1695_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q^4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>q</mi> <mn>4</mn> </msup> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Ovoids in the cyclic presentation of \(\textrm{PG}(3, q )\)

  • Kanat Abdukhalikov,
  • Simeon Ball,
  • Duy Ho,
  • Tabriz Popatia

摘要

We consider the cyclic presentation of \(\textrm{PG}(3, q )\) PG ( 3 , q ) whose points are in the finite field \(\mathbb {F}_{q^4}\) F q 4 and describe the known ovoids therein. We revisit the set \(\mathcal {O}\) O , consisting of \((q^2+1)\) ( q 2 + 1 ) th roots of unity in \(\mathbb {F}_{q^4}\) F q 4 , and prove that it forms an elliptic quadric within the cyclic presentation of \(\textrm{PG}(3, q )\) PG ( 3 , q ) . Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki–Tits ovoids in the cyclic presentation of \(\textrm{PG}(3, q )\) PG ( 3 , q ) , characterizing them as the zeroes of a polynomial over \(\mathbb {F}_{q^4}\) F q 4 .