<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(X\subset {\mathbb {P}}_{K}^{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊂</mo> <msubsup> <mi mathvariant="double-struck">P</mi> <mrow> <mi>K</mi> </mrow> <mi>m</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> be a smooth irreducible projective algebraic variety of dimension <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(d \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, defined over an algebraically closed field <i>K</i> of characteristic <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(n \ge d+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> be integers. If <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then we also assume <i>k</i> to be relatively prime to <i>p</i> and that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(k-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> is not a power of <i>p</i>. We say that <i>X</i> is a generalized Fermat variety of type (<i>d</i>;&#xa0;<i>k</i>,&#xa0;<i>n</i>) if there is a Galois branched covering <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\pi :X\rightarrow {\mathbb {P}}_{K}^{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <msubsup> <mi mathvariant="double-struck">P</mi> <mrow> <mi>K</mi> </mrow> <mi>d</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, with a group of Deck transformations <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathbb {Z}}_k^n\cong H&lt;\textrm{Aut}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">Z</mi> <mi>k</mi> <mi>n</mi> </msubsup> <mo>≅</mo> <mi>H</mi> <mo>&lt;</mo> <mtext>Aut</mtext> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, whose branch divisor consists of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> hyperplanes in general position (each one of branch order <i>k</i>). In this case, the group <i>H</i> is called a generalized Fermat group of type (<i>d</i>;&#xa0;<i>k</i>,&#xa0;<i>n</i>). We prove that, if either (i) <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> or (ii) <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p \ne 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≠</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\((d;k,n) \notin \{(2;2,5), (2;4,3)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>;</mo> <mi>k</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo>∉</mo> <mo stretchy="false">{</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>;</mo> <mn>2</mn> <mo>,</mo> <mn>5</mn> <mo stretchy="false">)</mo> <mo>,</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>;</mo> <mn>4</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, then a generalized Fermat variety of type (<i>d</i>;&#xa0;<i>k</i>,&#xa0;<i>n</i>) has a unique generalized Fermat group of that type.</p>

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

Uniqueness of Generalized Fermat Groups in Positive Characteristic

  • Rubén A. Hidalgo,
  • Henry F. Hughes,
  • Maximiliano Leyton-Álvarez

摘要

Let \(X\subset {\mathbb {P}}_{K}^{m}\) X P K m be a smooth irreducible projective algebraic variety of dimension \(d \ge 1\) d 1 , defined over an algebraically closed field K of characteristic \(p \ge 0\) p 0 . Let \(n \ge d+1\) n d + 1 and \(k \ge 2\) k 2 be integers. If \(p>0\) p > 0 , then we also assume k to be relatively prime to p and that \(k-1\) k - 1 is not a power of p. We say that X is a generalized Fermat variety of type (dkn) if there is a Galois branched covering \(\pi :X\rightarrow {\mathbb {P}}_{K}^{d}\) π : X P K d , with a group of Deck transformations \({\mathbb {Z}}_k^n\cong H<\textrm{Aut}(X)\) Z k n H < Aut ( X ) , whose branch divisor consists of \(n+1\) n + 1 hyperplanes in general position (each one of branch order k). In this case, the group H is called a generalized Fermat group of type (dkn). We prove that, if either (i) \(p=2\) p = 2 or (ii) \(p \ne 2\) p 2 and \((d;k,n) \notin \{(2;2,5), (2;4,3)\}\) ( d ; k , n ) { ( 2 ; 2 , 5 ) , ( 2 ; 4 , 3 ) } , then a generalized Fermat variety of type (dkn) has a unique generalized Fermat group of that type.