Related papers: On Vorontsov's theorem on K3 surfaces
Nikulin and Vinberg proved that there are only a finite number of lattices of rank $\geq 3$ that are the N\'eron-Severi group of projective K3 surfaces with a finite automorphism group. The aim of this paper is to provide a more geometric…
By the fundamental result of I.I. Piatetsky-Shapiro and I.R. Shafarevich (1971), the automorphism group Aut(X) of a K3 surface X over C and its action on the Picard lattice S_X are prescribed by the Picard lattice S_X. We use this result…
For a K3 surface over an algebraically closed field of odd characteristic, the representation of the automorphism group on the global two forms is finite. If the K3 surface is supersingular, it is isomorphic to the representation on the…
Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that…
For a finitely generated free group F_n, of rank at least 2, any finite subgroup of Out(F_n) can be realized as a group of automorphisms of a graph with fundamental group F_n. This result, known as Out(F_n) realization, was proved by…
Let $X$ be a K3 surface, and $H$ its primitive polarization of the degree $H^2=2rs$, $r,s\ge 1$. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(r,H,s)$ is again a K3 surface, $Y$. In math.AG/0206158, math.AG/0304415…
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…
Let X be a K3 surface and H a primitive polarization of degree H^2=2a^2, a>1. The moduli space of sheaves over X with the isotropic Mukai vector (a,H,a) is again a K3 surface Y which is endowed by a natural nef element h with h^2=2. We give…
Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural…
Let $X$ be a K3 surface with a polarization $H$ of the degree $H^2=2rs$, $r,s\ge 1$, and the isotropic Mukai vector $v=(r,H,s)$ is primitive. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(r,H,s)$ is again a K3…
The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $\pi_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give…
Let X be a K3 surface with a polarization H with H^2=2rs. Assume that H.N(X)=Z for the Picard lattice N(X). The moduli space Y of sheaves over X with the Mukai vector (r,H,s) is again a K3 surface. We prove that Y\cong X, if there exists…
Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3…
We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal…
We prove a well known conjecture of Nikolai Ivanov which states that if $X$ is a surface of genus $\geq 3$ (with any number of punctures and boundary components), $\rm{Mod}(X)$ is the mapping class group of $X$, and $K < \rm{Mod}(X)$ is a…
Let X be a K3 surface with a polarization H of degree H^2=2rs and with a primitive Mukai vector (r,H,s). The moduli space of sheaves over X with the isotropic Mukai vector (r,H,s) is again a K3 surface Y. We prove that Y\cong X, if Picard…
We determine all posible orders of automorphisms of finite order of complex K3 surfaces or of K3 surfaces in characteristic $p>3$. E.g., a positive integer $N$ is the order of an automorphism of a complex K3 surface if and only if…
We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative…
We determine all possible orders of automorphisms of complex K3 surfaces. A positive integer N is the order of an automorphism of a complex K3 surface if and only if $\phi(N) \leq 20$ where $\phi$ is the Euler function.
It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group…