<p>We consider the orbits of the group <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=PGL_2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mi>P</mi> <mi>G</mi> <msub> <mi>L</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on the points, lines and planes of the projective space <i>PG</i>(3,&#xa0;<i>q</i>) over a finite field <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> of characteristic different from 2 and 3. The points of <i>PG</i>(3,&#xa0;<i>q</i>) can be identified with projective space of binary cubic forms, and the set <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> of lines of <i>PG</i>(3,&#xa0;<i>q</i>) can be thought of as pencils of cubic forms. The action of <i>G</i> on <i>PG</i>(1,&#xa0;<i>q</i>) naturally induces an action of <i>G</i> on binary cubic forms <i>f</i>(<i>X</i>,&#xa0;<i>Y</i>). The points of <i>PG</i>(3,&#xa0;<i>q</i>) decompose into five <i>G</i> orbits. The <i>G</i> orbits on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> were recently obtained by the authors. Let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> be the subset of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {L}\times PG(3,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo>×</mo> <mi>P</mi> <mi>G</mi> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> consisting of pairs (<i>L</i>,&#xa0;<i>P</i>) where <i>L</i> is a line incident with the point <i>P</i>. The decomposition of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {L}\times PG(3,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo>×</mo> <mi>P</mi> <mi>G</mi> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(G \times G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>×</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> orbits yields a partition of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation>. The problem that we solve in this work is to determine the sizes of the corresponding parts of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation>.</p>

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

Incidence of lines, points and planes in PG(3, q) with respect to the twisted cubic

  • Krishna Kaipa,
  • Puspendu Pradhan

摘要

We consider the orbits of the group \(G=PGL_2(q)\) G = P G L 2 ( q ) on the points, lines and planes of the projective space PG(3, q) over a finite field \(\mathbb {F}_q\) F q of characteristic different from 2 and 3. The points of PG(3, q) can be identified with projective space of binary cubic forms, and the set \(\mathcal {L}\) L of lines of PG(3, q) can be thought of as pencils of cubic forms. The action of G on PG(1, q) naturally induces an action of G on binary cubic forms f(XY). The points of PG(3, q) decompose into five G orbits. The G orbits on \(\mathcal {L}\) L were recently obtained by the authors. Let \(\mathcal {I}\) I be the subset of \(\mathcal {L}\times PG(3,q)\) L × P G ( 3 , q ) consisting of pairs (LP) where L is a line incident with the point P. The decomposition of \(\mathcal {L}\times PG(3,q)\) L × P G ( 3 , q ) into \(G \times G\) G × G orbits yields a partition of \(\mathcal {I}\) I . The problem that we solve in this work is to determine the sizes of the corresponding parts of \(\mathcal {I}\) I .