Let $\mathcal{X}$ be an algebraic curve of genus $g$ defined over an algebraically closed field $K$ of characteristic $p \geq 0$, and $q$ a prime dividing $|\mbox{Aut}(\mathcal{X})|$. We say that $\mathcal{X}$ is a $q$-curve. Homma proved that either $q \leq g+1$ or $q = 2g+1$, and classified $(2g+1)$-curves. In this note, we classify $(g+1)$-curves, and fully characterize the automorphism groups of $q$-curves for $q= 2g+1, g+1$. We also give some partial results on $q$-curves for $q = g, g-1$.
In this article, we focus on a new perspective of automorphisms of complex 2-tori, reviewing previous works from a lattice-theoretic point of view. In particular, we give a classification of families of symplectic and non-symplectic automorphisms of prime order.
We classify nonsymplectic automorphisms of prime order on irreducible holomorphic symplectic manifolds of O'Grady's 6-dimensional defamation type. More precisely, we give a classification of the invariant and coinvariant sublattices of the second integral cohomology group.
In this paper we give an effective criterion as to when a prime number p is the order of an automorphism of a smooth cubic hypersurface of P^{n+1}, for a fixed n > 1. We also provide a computational method to classify all such hypersurfaces that admit an automorphism of prime order p. In particular, we show that p<2^{n+1} and that any such hypersurface admitting an automorphism of order p>2^n is isomorphic to the Klein n-fold. We apply our method to compute exhaustive lists of automorphism of prime order of smooth cubic threefolds and fourfolds. Finally, we provide an application to the moduli…
In this note we present the classification of non-symplectic automorphisms of prime order on K3 surfaces, i.e.we describe the topological structure of their fixed locus and determine the invariant lattice in cohomology. We provide new results for automorphisms of order 5 and 7 and alternative proofs for higher orders. Moreover, for any prime p, we identify the irreducible components of the moduli space of K3 surfaces with a non-symplectic automorphism of order p.
The aim of this paper is to study algebraic K3 surfaces (defined over the complex number field) with a symplectic automorphism of prime order. In particular we consider the action of the automorphism on the second cohomology with integer coefficients. We determine the invariant sublattice and its perpendicular complement, and show that the latter coincides with the Coxeter-Todd lattice in the case of automorphism of order three. We also compute many explicit examples, with particular attention to elliptic fibrations.
The present work completes the classification of the compact Riemann surfaces of genus g with an analytic automorphism of order p (prime number) and p > g. More precisely, we construct a parameteriza- tion space for them, we compute their groups of uniformization and we compute their full automorphism groups. Also, we give affine equations for special cases and some implications on the components of the singular locus of the moduli space of smooth curves of genus g.
We classify non-symplectic automorphisms of odd prime order on irreducible holomorphic symplectic manifolds which are deformations of Hilbert schemes of any number n of points on K3 surfaces, extending results already known for n=2. In order to do so, we study the properties of the invariant lattice of the automorphism (and its orthogonal complement) inside the second cohomology lattice of the manifold. We also explain how to construct automorphisms with fixed action on cohomology: in the cases n=3,4 the examples provided allow to realize all admissible actions in our classification. For n=4, …
We classify non symplectic prime order automorphisms and all finite order symplectic automorphism groups of generalised Kummer fourfolds using lattice theory and recent results on ample cones and monodromy groups. We study various geometric realisations of the automorphisms obtained in the classification. In the case of higher dimensional generalised Kummers, we provide full results for finite symplectic automorphisms groups and we sketch the classification for prime order non-symplectic groups.
We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of an automorphism and the maximum order of an abelian group of automorphisms of a real curve. We also bound the full group of automorphisms of a real hyperelliptic curve.
In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3
A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity implies algebraic hyperbolicity. It is known that Kobayashi hyperbolic manifolds have finite automorphism groups. Here we prove that, more generally, algebraically hyperbolic projective manifolds have finite automorphism groups.
We characterize conjugacy classes of isometries of odd prime order in unimodular Z-lattices. This is applied to give a complete classification of odd prime order non-symplectic automorphisms of irreducible holomorphic symplectic manifolds up to deformation and birational conjugacy.
Belolipetsky and Jones classified those compact Riemann surfaces of genus $g$ admitting a large group of automorphisms of order $λ(g-1)$, for each $λ>6,$ under the assumption that $g-1$ is a prime number. In this article we study the remaining large cases; namely, we classify Riemann surfaces admitting $5(g-1)$ and $6(g-1)$ automorphisms, with $g-1$ a prime number. As a consequence, we obtain the classification of Riemann surfaces admitting a group of automorphisms of order $3(g-1)$, with $g-1$ a prime number. We also provide isogeny decompositions of their Jacobian varieties.
We prove that the automorphism groups of simple polarized abelian varieties of odd prime dimension over finite fields are cyclic, and give a complete list of finite groups that can be realized as such automorphism groups.
Consider a normal projective variety $X$, a linear algebraic subgroup $G$ of Aut($X$), and the field $K$ of $G$-invariant rational functions on $X$. We show that the subgroup of Aut($X$) that fixes $K$ pointwise is linear algebraic. If $K$ has transcendence degree $1$ over $k$, then Aut($X$) is an algebraic group.
Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F) be the transcendence degree of k(X)^F over k. In this paper, we study the class of automorphisms F of X for which n(F)= dim X - 1. More precisely, we show that under some conditions on X, every such automorphism is of the form F=A_g, where A is an algebraic action of a linear algebraic group G of dimension 1 on X, and where g belongs to G. As an application, …
An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we describe methods of determining the list of groups $\mbox{Aut} (\mathcal X_g)$ for a fixed $g\geq 2$. Moreover, equations of the corresponding families of curves are given when possible.
In this paper, we investigate automorphisms of compact Kähler manifolds with different levels of topological triviality. In particular, we provide several examples of smooth complex projective surfaces X whose groups of $C^\infty$-isotopically trivial automorphisms, resp. cohomologically trivial automorphisms, have a number of connected components which can be arbitrarily large.
The aim of the paper is twofold. First, some results of Shiota and Plaza-Martin on Prym varieties of curves with an involution are generalized to the general case of an arbitrary automorphism of prime order. Second, the equations defining the moduli space of curves with an automorphism of prime order as a subscheme of the Sato Grassmannian are given.
In this paper we investigate when the generic member of a family of K3 surfaces admitting a non--symplectic automorphism of finite order admits also a symplectic automorphism of the same order. We give a complete answer to this question if the order of the automorphism is a prime number and we provide several examples and partial results otherwise. Moreover we prove that, under certain conditions, a K3 surface admitting a non--symplectic automorphism of prime odd order, $p$, also admits a non--symplectic automorphism of order $2p$. This generalizes a previous result by J. Dillies for $p=3$.
We investigate a certain class of Ind-scheme morphisms corresponding to homomorphisms between the automorphism group of the $n$-th complex Weyl algebra and the group of Poisson structure-preserving automorphisms of the commutative complex polynomial algebra in $2n$ variables. A conjecture of Kanel-Belov and Kontsevich, whose proof we have recently obtained, states that these automorphism groups are canonically isomorphic in characteristic zero, with the mapping discussed here being the candidate for the isomorphism. The main objective of the present paper is to establish the independence of th…
We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it allows us to give a new characterization of algebraic Lie algebras and to simplify the standard descriptions of Mumford--Tate domains and Shimura varieties as moduli spaces. Once the original argument of Gordeev and Popov has been rewritten in the language of schemes, we find that it also applies to algebraic groups over discrete valuation rings.
Let $X$ be a hyperkähler variety, and assume that $X$ admits a non-symplectic automorphism $σ$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain cubic fourfolds having an order $3$ non-symplectic automorphism.
We present a method to generate many automorphisms of a supersingular K3 surface in odd characteristic. As an application, we show that, if p is an odd prime less than or equal to 7919, then every supersingular K3 surface in characteristic p has an automorphism whose characteristic polynomial on the Néron-Severi lattice is a Salem polynomial of degree 22. For a supersingular K3 surface with Artin invariant 10, the same holds for odd primes less than or equal to 17389.
Let $X$ be a hyperkähler variety, and assume $X$ has a non-symplectic automorphism $σ$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain special cubic fourfolds having an order $3$ non--symplectic automorphism.
Let $X$ be a normal projective algebraic variety, $G$ its largest connected automorphism group, and $A(G)$ the Albanese variety of $G$. We determine the isogeny class of $A(G)$ in terms of the geometry of $X$. In characteristic 0, we show that the dimension of $A(G)$ is the rank of every maximal trivial direct summand of the tangent sheaf of $X$. Also, we obtain an optimal bound for the dimension of the largest anti-affine closed subgroup of $G$ (which is the smallest closed subgroup that maps onto $A(G)$).
In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.
Regularization and algebraic stability of birational automorphisms
Higher School of Modern Mathematics in Moscow Institute of Physics and Technology（莫斯科高等数学现代学院）；Laboratory of Algebraic Geometry in Higher School of Economics（高等经济大学代数几何实验室）；Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）
Let $\mathcal{X}$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $\mathbb{K}$ of odd characteristic $p\ge 0$, and let $\rm{Aut}(\mathcal{X})$ be the group of all automorphisms of $\mathcal{X}$ which fix $\mathbb{K}$ element-wise. For any a subgroup $G$ of $\rm{Aut}(\mathcal{X})$ whose order is a power of an odd prime $d$ other than $p$, the bound proven by Zomorrodian for Riemann surfaces is $|G|\leq 9(g-1)$ where the extremal case can only be obtained for $d=3$. We prove Zomorrodian's result for any $\mat…
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
For each Sophie Germain prime $g \geq 5,$ we construct an absolutely simple polarized abelian variety of dimension $g$ over a finite field, whose automorphism group is a cyclic group of order $4g+2$. We also provide a description on the asymptotic behavior of prime numbers that are related to our construction.
Let $ρ$ be an algebraic action of the additive group $\mathbb{C}^+$ on the three-dimensional affine space $\mathbb{C}^3$. We describe the group $\textrm{Cent}(ρ)$ of polynomial automorphisms of $\mathbb{C}^3$ that commute with $ρ$. A particular emphasis lies in the description of the automorphisms in $\textrm{Cent}(ρ)$ coming from algebraic $\mathbb{C}^+$-actions. As an application we prove that the automorphisms in $\textrm{Cent}(ρ)$ that are the identity on the algebraic quotient of $ρ$ form a characteristic subgroup of $\textrm{Cent}(ρ)$.
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows us to give a complete criterion in the case where q=p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimension n and degree d admitting an automorphism of prime order p then p<(d-1)^{n+1}; and if p>(d-1)^n then X is isomorphic to the Klein hypersurface, n=2 or n+2 is prime, and p=Φ_{n+2}(1-d) where Φ_{n+2} i…
In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. Also the class of Pascal finite polynomial automorphisms was introduced. Pascal finite polynomial maps constitute a generalization of exponential automorphisms to positive characteristic. In this note we explore properties of the algorithm while using Segre homotopy and reductions modulo prime number. We give a method of retrieving an inverse of a given polynomial automorphism $F$ with integer coefficients form a finite set of the inverses of its reductions modulo prime numbers. Some examples illu…
In this paper, we study group equations with occurrences of automorphisms. We describe equational domains in this class of equations. Moreover, we solve a number of open problem posed in universal algebraic geometry.
In this article we study compact Riemann surfaces of genus $g$ with an automorphism of prime order $g+1.$ The main result provides a classification of such surfaces. In addition, we give a description of them as algebraic curves, determine and realise their full automorphism groups and compute their fields of moduli. We also study some aspects of their Jacobian varieties such as isogeny decompositions and complex multiplication. Finally, we determine the period matrix of the Accola-Maclachlan curve of genus four.
Let $S$ be a $p$-subgroup of the $\K$-automorphism group $\aut(\cX)$ of an algebraic curve $\cX$ of genus $\gg\ge 2$ and $p$-rank $γ$ defined over an algebraically closed field $\mathbb{K}$ of characteristic $p\geq 3$.In this paper we prove that if $|S|>2(\gg-1)$ then one of the following cases occurs. \begin{itemize} \item[(i)] $γ=0$ and the extension $\K(\cX)/\K(\cX)^S$ completely ramifies at a unique place, and does not ramify elsewhere. \item[(ii)] $γ>0$, $p=3$, $\cX$ is a general curve, $S$ attains the Nakajima's upper bound $3(γ-1)$ and $\K(\cX)$ is an unramified Galois extension of the …
Let $\mathcal{X}$ be an ordinary (projective, geometrically irreducible, nonsingular) algebraic curve of genus $\mathcal{g}(\mathcal{X}) \ge 2$ defined over an algebraically closed field $\mathbb{K}$ of odd characteristic $p$. Let $Aut(\mathcal{X})$ be the group of all automorphisms of $\mathcal{X}$ which fix $\mathbb{K}$ element-wise. For any solvable subgroup $G$ of $Aut(\mathcal{X})$ we prove that $|G|\leq 34 (\mathcal{g}(\mathcal{X})+1)^{3/2}$. There are known curves attaining this bound up to the constant $34$. For $p$ odd, our result improves the classical Nakajima bound $|G|\leq 84(\mat…
For every positive integer $n$, we construct, using algebraic groups, an infinite family of irreducible algebraic varieties $X$,whose automorphism group ${\rm Aut}(X)$ contains the automorphism group ${\rm Aut}(F_n)$ of a free group $F_n$ of rank $n$ as a subgroup. This property implies that, for $n \geqslant 2$, such groups ${\rm Aut}(X)$ are nonamenable, and, for $n \geqslant 3$, nonlinear and contain the braid group $B_n$ on $n$ strands. Some of these varieties $X$ are affine, and among affine, some are rational and some are not, some are smooth and some are singular. As an application, we …
We give an effective upper bound of |Bir(X)| for the birational automorphism group of an irregular n-fold (with n = 3) of general type in terms of the volume V = V(X) under an ''albanese smoothness and simplicity'' condition. To be precise, |Bir(X)| < d_3 V^{10}. An optimum linear bound |Bir(X)|-1 < (1/3)(42)^3 V is obtained for those 3-folds with non-maximal albanese dimension. For all n > 2, a bound |Bir(X)| < d_n V^{10} is obtained when alb_X is generically finite, alb(X) is smooth and Alb(X) is simple.
We study the groups of automorphisms of rational algebraic surfaces that admit a relatively minimal pencil of curves of arithmetic genus one over an algebraically closed field of arbitrary characteristic. In particular, we classify such surfaces that admit non-trivial automorphisms that act trivially on the Picard group. As an application, we classify classical Enriques surfaces in characteristic $2$ that admit non-trivial numerically trivial automorphisms.
We consider K3 surfaces that possess certain automorphisms of prime order p>2 and we present, for these surfaces, a correspondence between the mirror symmetry of Berglund-Huebsch-Chiodo-Ruan and that for lattice polarized K3 surfaces presented by Dolgachev.
Let $\mathcal{X}$ be an irreducible, non-singular, algebraic curve defined over a field of odd characteristic $p$. Let $g$ and $γ$ be the genus and $p$-rank of $\mathcal{X}$, respectively. The influence of $g$ and $γ$ on the automorphism group $Aut(\mathcal{X})$ of $\mathcal{X}$ is well-known in the literature. If $g \geq 2$ then $Aut(\mathcal{X})$ is a finite group, and unless $\mathcal{X}$ is the so-called Hermitian curve, its order is upper bounded by a polynomial in $g$ of degree four (Stichtenoth). In 1978 Henn proposed a refinement of Stichtenoth's bound of cube order in $g$ up to few ex…
We treat non-symplectic automorphisms on $K3$ surfaces which act trivially on the Néron-Severi lattice. In this paper, we classify non-symplectic automorphisms of prime-power order, especially 2-power order on $K3$ surfaces, i.e., we describe their fixed locus.
The present paper is devoted to the classification of symplectic automorphisms of some hyperkähler manifolds. The results contained here are an explicit classification of prime order automorphisms on manifolds of $K3^{[n]}$ type and a proof that all finite groups of symplectic automorphisms of such manifolds are contained in Conway's group $Co_1$.
