Table of Contents
Fetching ...

Uniqueness of Generalized Fermat Groups in positive characteristic

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

Abstract

Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type $(d;k,n)$, where $n \geq d+1$ and $k \geq 2$ is relatively prime to $p$, if there is a Galois branched covering $π\colon X\to {\mathbb P}_{K}^{d}$, with deck group ${\mathbb Z}_k^n\cong H<\rm{Aut}(X)$, whose branch divisor consists of $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 $(d;k,n)$. We prove that, if $k-1$ is not a power of $p$ and either (i) $p=2$ or (ii) $p>2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$, then a generalized Fermat variety of type $(d;k,n)$ has a unique generalized Fermat group of that type.

Uniqueness of Generalized Fermat Groups in positive characteristic

Abstract

Let be a smooth irreducible projective algebraic variety of dimension , defined over an algebraically closed field of characteristic . We say that is a generalized Fermat variety of type , where and is relatively prime to , if there is a Galois branched covering , with deck group , whose branch divisor consists of hyperplanes in general position (each one of branch order ). In this case, the group is called a generalized Fermat group of type . We prove that, if is not a power of and either (i) or (ii) and , then a generalized Fermat variety of type has a unique generalized Fermat group of that type.

Paper Structure

This paper contains 8 sections, 10 theorems, 32 equations.

Key Result

Theorem 1.1

Let $d \geq 2$, $n \geq d+1$ and $k \geq 2$ be relatively prime to $p$ such that $k-1$ is not a power of $p$. If either (i) $p=2$ or (ii) $p>2$ and $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$, then a generalized Fermat variety of type $(d;k,n)$ has a unique generalized Fermat group of that type.

Theorems & Definitions (15)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 2.1: Par91
  • Theorem 2.2
  • proof
  • Corollary 2.3
  • Theorem 2.4
  • proof
  • Theorem 2.5
  • proof
  • ...and 5 more