Related papers: On Vorontsov's theorem on K3 surfaces
Let $k$ be a field finitely generated over the finite field $\mathbb F_p$ of odd characteristic $p$. For any K3 surface $X$ over $k$ we prove that the prime to $p$ component of the cokernel of the natural map $Br(k)\to Br(X)$ is finite.
For a K3 surface S, consider the subring of CH(S^n) generated by divisor and diagonal classes (with Q-coefficients). Voisin conjectures that the restriction of the cycle class map to this ring is injective. We prove that Voisin's conjecture…
We study the arithmetic of Enriques surfaces whose universal covers are singular K3 surfaces. If a singular K3 surface X has discriminant d, then it has a model over the ring class field d. Our main theorem is that the same holds true for…
This paper studies the arithmetic of the extremal elliptic K3 surface with configuration of singular fibres [19,1,1,1,1,1]. We give a model over Q such that the Neron Severi group is generated by divisors over Q, and we describe the local…
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
We give conceptual proofs of some results on the automorphism group of an Enriques surface X, for which only computational proofs have been available. Namely, there is an obvious upper bound on the image of Aut(X) in the isometry group of…
In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X, G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular,…
Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$ and the discriminant of the N\'{e}ron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the…
We study moduli spaces of lattice-polarized K3 surfaces in terms of orbits of representations of algebraic groups. In particular, over an algebraically closed field of characteristic 0, we show that in many cases, the nondegenerate orbits…
In this paper, we study an analogue of the Tate conjecture for $K_2$ of U, the complement of split multiplicative fibers in an elliptic surface. A main result is to give an upper bound of the rank of the Galois fixed part of the etale…
We investigate a representation of the automorphism group of a connected graph $X$ in the group of unimodular matrices $U_\beta$ of dimension $\beta$, where $\beta$ is the Betti number of graph $X$. We classify the graphs for which the…
Consider a family of K3 surfaces over a hyperbolic curve (i.e. Riemann surface). Their second cohomology groups form a local system, and we show that its top Lyapunov exponent is a rational number. One proof uses the Kuga-Satake…
We survey crystalline cohomology, crystals, and formal group laws with an emphasis on geometry. We apply these concepts to K3 surfaces, and especially to supersingular K3 surfaces. In particular, we discuss stratifications of the moduli…
Let F be a finite field and l a prime not equal to the characteristic of F. Let K be the function field of a surface over F. Assume that K contains a primitive lth root of unity. In the paper we prove a certain local-global principle for…
Let S be an orientable surface of finite type. Using Pho-On's infinite unicorn paths, we prove the hyperfiniteness of orbit equivalence relations induced by the actions of the mapping class group of S on the Gromov boundaries of the arc…
In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3…
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v…
Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…
We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on…
Let $X$ be a smooth Fano variety and $\mathcal{K}u(X)$ the Kuznetsov component. Torelli theorems for $\mathcal{K}u(X)$ says that it is uniquely determined by a polarized abelian variety attached to it. An infinitesimal Torelli theorem for…