We consider the symplectic action of a finite group G on a K3 surface. The Picard group of the K3 surface has a primitive sublattice determined by G. We show how to compute the rank and discriminant of this sublattice. We then describe moduli spaces of K3 surfaces with symplectic G-action, extending results of Nikulin in the abelian case. We use our moduli spaces to develop techniques for classifying all possible symplectic actions of a group G.
We prove that the automorphism group of an odd dimensional Calabi-Yau manifold of Picard number two is always a finite group. This makes a sharp contrast to the automorphism groups of K3 surfaces and hyperkähler manifolds and birational automorphism groups, as we shall see. We also clarify the relation between finiteness of the automorphism group (resp. birational automorphism group) and the rationality of the nef cone (resp. movable cone) for a hyperkähler manifold of Picard number two. We will also discuss a similar conjectual relation together with exsistence of rational curve, expected by …
We prove that the automorphism group of a Calabi-Yau threefold with Picard number three is either finite, or isomorphic to the infinite cyclic group up to finite kernel and cokernel.
In this article, we prove that any complex smooth rational surface $X$ which has no automorphism of positive entropy has a finite number of real forms (this is especially the case if $X$ cannot be obtained by blowing up $\mathbb P^2_{\mathbb C}$ at $r\geq 10$ points). In particular, we prove that the group $\mathrm{Aut}^{\#}X$ of complex automorphisms of $X$ which act trivially on the Picard group of $X$ is a linear algebraic group defined over $\mathbb R$.
If an automorphism of a projective K3 surface with Picard number 2 is of infinite order, then the automorphism corresponds to a solution of Pell equation. In this paper, by solving this equation, we determine all Salem polynomials of symplectic and anti-symplectic automorphisms of projective K3 surfaces with Picard number 2.
This paper aims at generalizing some geometric properties of Grassmannians of finite dimensional vector spaces to the case of Grassmannnians of infinite dimensional ones, in particular for that of $k((z))$. It is shown that the Determinant Line Bundle generates its Picard Group and that the Plücker equations define it as closed subscheme of a infinite projective space. Finally, a characterization of finite dimensional projective spaces in Grassmannians allows us to offer an approach to the study of the automorphism group.
It is known that an automorphism group of a K3 surface with Picard number two is either infinite cyclic group or infinite dihedral group if it is infinite. In this paper, we study the generators of an automorphism group. We use the eigenvector corresponding to the spectral radius of an automorphism of infinite order to determine the generators. We also determine whether an automorphism group is the infinite cyclic group or the infinite dihedral group with several examples.
We give a complete description of the group of exact autoequivalences of the bounded derived category of coherent sheaves on a K3 surface of Picard rank 1. We do this by proving that a distinguished connected component of the space of stability conditions is preserved by all autoequivalences, and is contractible.
Following a recent work of Oguiso, we calculate explicitly the groups of automorphisms and birational automorphisms on a Calabi-Yau manifold with Picard number two. When the group of birational automorphisms is infinite, we prove that the Cone conjecture of Morrison and Kawamata holds.
Every indefinite binary form occurs as the Picard lattice of some K3-surface. The group of its isometries, or automorphs, coincides with the automorphism group of the K3-surface, but only up to finite groups. The classical theory of automorphs for binary forms can then be applied to study these automorphism groups. The result is a precise description of all possible automorphism groups of ``general'' K3's with Picard number two.
Let $X$ be an $n$-dimensional smooth Fano complex variety of Picard number one. Assume that the VMRT at a general point of $X$ is smooth irreducible and non-degenerate (which holds if $X$ is covered by lines with index $ >(n+2)/2$). It is proven that $\dim \mathfrak{aut}(X) > n(n+1)/2$ if and only if $X$ is isomorphic to $\mathbb{P}^n, \mathbb{Q}^n$ or ${\rm Gr}(2,5)$. Furthermore, the equality $\dim \mathfrak{aut}(X) = n(n+1)/2$ holds only when $X$ is isomorphic to the 6-dimensional Lagrangian Grassmannian ${\rm Lag}(6)$ or a general hyperplane section of ${\rm Gr}(2,5)$.
Var3: In our papers 2013--2018 we classified degenerations and Picard lattices of Kahlerian K3 surfaces with finite symplectic automorphism groups of high order. For remaining groups of small order: $D_6$, $C_4$, $(C_2)^2$, $C_3$, $C_2$ and $C_1$ it was not completely considered. Cases of $D_6$ and $C_4$ were recently completely considered in [19] and [20]. Here we consider the analogous complete classification for the group $(C_2)^2$ of the order 4.
We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W.
We show that for any smooth Calabi-Yau threefold $X$ of Picard number $2$ with infinite birational automorphism group, the numerical dimension $κ_σ$ of the extremal rays of the movable cone of $X$ is $\frac{3}{2}$. Furthermore, we provide new examples of Calabi-Yau threefolds of Picard number $2$ with infinite birational automorphism group.
Using results of our papers [19], [20] and [21] about classification of degenerations of Kahlerian K3 surfaces with finite symplectic automorphism groups, we classify Picard lattices of Kahlerian K3 surfaces. By classification we understand classification depending on their possible finite symplectic automorphism groups and their non-singular rational curves if a Picard lattice is negative definite.
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 classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.
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$.
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.
In this note, we treat a pair of a K3 surface and a non-symplectic automorphism of order 7m (m=1, 3 and 6) on it. We show that if the fixed locus of a non-symplectic automorphism order 7 is "special" then the pair is unique up to isomorphism. And we describe fixed loci of non-symplectic automorphisms of order 21 and 42.
Let X be an irreducible smooth complex projective curve of genus at least 3. Fix a line bundle L on X. Let M_{Sp}(L) be the moduli space of symplectic bundles (E, ExE ---> L) on X, with the symplectic form taking values in L. We show that the automorphism group of M_{Sp}(L) is generated by automorphisms sending E to ExM, where M is a 2-torsion line bundle, and automorphisms induced by automorphisms of X.
We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
We slightly extend a result of Oguiso on birational or automorphism groups (resp. of Lazić - Peternell on Morrison-Kawamata cone conjecture) from Calabi-Yau manifolds of Picard number two to arbitrary singular varieties X (resp. to klt Calabi-Yau pairs in broad sense) of Picard number two. When X has only klt singularities and is not a complex torus, we show that either Aut(X) is almost cyclic, or it has only finitely many connected components.
We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we determine the possible fixed loci and show that when the Picard lattice is fixed, K3 surfaces come in mirror pairs.
An automorphism of order $n$ of a K3 surface is called purely non-symplectic if it multiplies the holomorphic symplectic form by a primitive $n$-th root of unity. We give the classification of purely non-symplectic automorphisms with $φ(n)\geq 12$ where $φ$ denotes the Euler totient function.
The present paper proves that finite symplectic groups of automorphisms of hyperkähler fourfolds deformation equivalent to the Hilbert scheme of two points on a $K3$ surface are contained in the simple group $Co_1$. Then we give an example of a symplectic automorphism of order 11 on the Fano scheme of lines of a cubic fourfold.
In this paper we study K3 surfaces with a non-symplectic automorphism of order 3. In particular, we classify the topological structure of the fixed locus of such automorphisms and we show that it determines the action on cohomology. This allows us to describe the structure of the moduli space and to show that it has three irreducible components.
It is observed that the recent result of Voisin and earlier ones of the author suffice to prove in complete generality that symplectic automorphisms of finite order of a K3 surface X act as identity on the Chow group CH^2(X) of zero-cycles.
In this paper, we study non-symplectic automorphisms of order 3 on algebraic $K3$ surface over $\mathbb{C}$ which act trivially on the Néron-Severi lattice. In particular we shall characterize their fixed locus in terms of the invariants of 3-elementary lattices.
In the present paper we prove that finite symplectic groups of automorphisms of manifolds of k3^[n] type can be obtained by deforming natural morphisms arising from K3 surfaces if and only if they satisfy a certain numerical condition.
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 prove that for any polarized symplectic automorphism of the Fano variety of lines of a cubic fourfold (equipped with the Plücker polarization), the induced action on the Chow group of 0-cycles is identity, as predicted by Bloch-Beilinson conjecture.
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 consider a normal complete rational variety with a torus action of complexity one. In the main results, we determine the roots of the automorphism group and give an explicit description of the root system of its semisimple part. The results are applied to the study of almost homogeneous varieties. For example, we describe all almost homogeneous (possibly singular) del Pezzo k*-surfaces of Picard number one and all almost homogeneous (possibly singular) Fano threefolds of Picard number one having a reductive automorphism group with two-dimensional maximal torus.
We prove the main Conjecture 4 of our paper arXiv:1403.6061v5, which leads to classification of degenerations of codimension one of Kahlerian K3 surfaces with finite symplectic automorphism groups.
We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational transformations of a projective irreducible holomorphic symplectic manifold is finitely generated.
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.
In this paper, we prove that, over an algebraically closed field whose characteristic is not 2,3 nor 7, a pair of a K3 surface and a purely non-symplectic automorphism of order 21 or 42 is unique up to isomorphism.
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 analyze K3 surfaces admitting an elliptic fibration $E$ and a finite group $G$ of symplectic automorphisms preserving this elliptic fibration. We construct the quotient elliptic fibration $E/G$ comparing its properties to the ones of $E$. We show that if $E$ admits an $n$-torsion section, its quotient by the group of automorphisms induced by this section admits again an $n$-torsion section. Considering automorphisms coming from the base of the fibration, we can describe the Mordell--Weil lattice of a fibration described by Kloosterman. We give the isometries between lattices described by th…
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.
In this paper we present a classification of non-symplectic automorphisms of K3 surfaces whose order is a multiple of seven by describing the topological type of their fixed locus. In the case of purely non-symplectic automorphisms, we provide new results for order 14 and alternative proofs for orders 21, 28 and 42, so that we can unify in the same paper the results on these automorphisms. For each of these orders we also consider not purely non-symplectic automorphisms and obtain a complete characterization of their fixed loci. Several results of our paper were obtained independently in a rec…
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.
We construct examples of hyperKahler manifolds of Picard number two with automorphisms of positive entropy via derived automorphisms of K3 surfaces of Picard number one. Our hyperKahler manifolds are constructed as moduli spaces of Bridgeland stable objects in derived categories of K3 surfaces. Then automorphisms of positive entropy are induced by derived automorphisms of positive entropy on K3 surfaces.
We show that the Mathieu groups $M_{22}$ and $M_{11}$ can act on the supersingular $K3$ surface with Artin invariant 1 in characteristic 11 as symplectic automorphisms. More generally we show that all maximal subgroups of the Mathieu group $M_{23}$ with three orbits on 24 letters act on a supersingular $K3$ surface with Artin invariant 1 in a suitable characteristic.
We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli space of stable objects on the $K3$. This criterion is applied to the classification of non-symplectic prime order automorphisms on manifolds of $K3^{[2]}$ type and we prove that almost all cases are covered. Variations of this notion and the above criterion are introduced and discussed for the other known deformation types of irreducible symplectic manifol…
Using results of our preprint "Kahlerian K3 surfaces and Niemeier lattices" arXiv:1109.2879 (and the corresponding papers), we classify degenerations of Kahlerian K3 surfaces with finite symplectic automorphism groups.
We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial on the Néron-Severi group, then we show that its rank is six.
Recently Oguiso showed the existence of K3 surfaces that admit a fixed point free automorphism of positive entropy. The K3 surfaces used by Oguiso have a particular rank two Picard lattice. We show, using results of Beauville, that these surfaces are therefore determinantal quartic surfaces. Long ago, Cayley constructed an automorphism of such determinantal surfaces. We show that Cayley's automorphism coincides with Oguiso's free automorphism. We also exhibit an explicit example of a determinantal quartic whose Picard lattice has exactly rank two and for which we thus have an explicit descript…
We prove that if a K3 surface $X$ admits $\Z/5\Z$ as group of symplectic automorphisms, then it actually admits $\Dh_5$ as group of symplectic automorphisms. The orthogonal complement to the $\Dh_5$-invariants in the second cohomology group of $X$ is a rank 16 lattice, $L$. It is known that $L$ does not depend on $X$: we prove that it is isometric to a lattice recently described by R. L. Griess Jr. and C. H. Lam. We also give an elementary construction of $L$.
We classify all smooth projective horospherical varieties with Picard number 1. We prove that the automorphism group of any such variety X acts with at most two orbits and that this group still acts with only two orbits on X blown up at the closed orbit. We characterize all smooth projective two-orbits varieties with Picard number 1 that satisfy this latter property.
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint union of elliptic curves, rational curves and points, whose number does not exceed 1, 2, respectively 14. We give examples corresponding to several types of fixed locus in the classification.
Nikulin proved that the isometries induced on the second cohomology group of a K3 surface $X$ by a finite abelian group $G$ of symplectic automorphisms are essentially unique. Moreover he computed the discriminant of the sublattice of $H^2(X, \Z)$ which is fixed by the isometries induced by $G$. However for certain groups these discriminants are not the same of those found for explicit examples. Here we describe Kummer surfaces for which this phenomena happens and we explain the difference.
