Automorphisms of Generalized Fermat manifolds

Ruben A. Hidalgo,Henry F. Hughes,Maximiliano Leyton-Alvarez
2023-10-27
Abstract:A group $H$ of holomorphic automorphisms of a compact $d$-dimensional complex manifold $M$ is called a generalized Fermat group of type $(d;k,n)$ if $H\cong {\mathbb Z}_{k}^{n}$ and there is a Galois holomorphic branched covering $\pi:M \to {\mathbb P}^{d}$, with deck group $H$, whose branch divisor consists of $n+1$ hyperplanes in general position (each one of branch order $k$). We prove that generalized Fermat groups of type $(d;k,n)$ are unique for $(d;k,n) \notin \{(2;2,5), (2;4,3)\}$.
Algebraic Geometry,Complex Variables
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the uniqueness problem of Generalized Fermat Manifolds. Specifically, the paper explores whether the Generalized Fermat group \(H\) is unique for a given type \((d; k, n)\). Here, \(H\) is a finite Abelian group, and \(H\cong\mathbb{Z}_k^n\), and there exists a Galois holomorphic branched covering \(\pi: M\rightarrow\mathbb{P}^d\), whose branch divisor consists of \(n + 1\) hyperplanes in general position, and the branching order of each hyperplane is \(k\). ### Main contributions of the paper 1. **Uniqueness results**: - For the Generalized Fermat pair \((M, H)\) of type \((d; k, n)\), if \((d; k, n)\notin\{(2; 2, 5), (2; 4, 3)\}\), then \(H\) is the unique Generalized Fermat group. - In particular, for \((d; k, n)\in\{(2; 2, 5), (2; 4, 3)\}\), \(H\) in the linear automorphism group \(\text{Lin}(M)\) is also unique. 2. **Exceptional cases**: - For \((d; k, n)=(2; 2, 5)\) and \((d; k, n)=(2; 4, 3)\), these cases correspond to K3 surfaces. In this case, although the Generalized Fermat group \(H\) is unique in \(\text{Lin}(M)\), it cannot be a normal subgroup of \(\text{Aut}(M)\) because \(\text{Aut}(M)\) is infinite. ### Key techniques and methods of the paper - **Algebraic models**: The paper provides algebraic models of Generalized Fermat manifolds, which are defined by the complete intersections of \(n + 1\) hyperplanes in general position. - **Fixed - point sets**: The fixed - point sets of each element in the Generalized Fermat group \(H\) are studied in detail, and the structures of these fixed - point sets are crucial for proving uniqueness. - **Linear automorphism group**: It is proved that the elements of the linear automorphism group \(\text{Lin}(M)\) have a specific matrix form, that is, there is only one non - zero element in each row and each column. - **Uniqueness proof**: By analyzing the structure of the linear automorphism group \(\text{Lin}(M)\), it is proved that in most cases, the Generalized Fermat group \(H\) is unique. ### Conclusion Through detailed algebraic and geometric analysis, the paper proves that the Generalized Fermat group is unique in most cases and discusses the special properties in exceptional cases. This result is of great significance for understanding the automorphism groups of high - dimensional complex manifolds.