We discuss some aspects of the behavior of specialization at a finite place of Néron-Severi groups of K3 surfaces over number fields. We give optimal lower bounds for the Picard number of such specializations, thus answering a question of Elsenhans and Jahnel. As a consequence of these results, we show that it is possible to explicitly compute the Picard number of any given K3 surface over a number field.
The paper investigates invariants of compactified Picard modular surfaces by principal congruence subgroups of Picard modular groups. The applications to the surface classification and modular forms are discussed.
We construct some complex surfaces of general type with maximal Picard number. These examples arise as fibrations of genus two curves over quaternionic Shimura curves.
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.
In this note, we use crystalline methods and the Tate-conjecture to give a short proof that the Picard rank of an Enriques surface is equal to its second Betti number.
We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve a problem of B. Harbourne, P. Pokora, and H. Tutaj-Gasinska [Electron. Res. Announc. Math. Sci. 22 (2015), 103--108].
We classify toric log del Pezzo surfaces of Picard number one by introducing the notion, cascades. As an application, we show that if such a surface is Kähler-Einstein, then it should admit a special cascade, and it satisfies the equality of the orbifold Bogomolov-Miyaoka-Yau inequality, i.e., $K^2 = 3e_{orb}.$
We derive simple formulas for the basic numerical invariants of a singular surface with Picard number one obtained by blowups and contractions of the four-line configuration in the plane. As an application, we establish the smallest positive volume and the smallest accumulation point of volumes of log canonical surfaces obtained in this way.
We study the nontrivial elements in the Brauer group of a bielliptic surface and show that they can be realized as Azumaya algebras with a simple structure at the generic point of the surface. We go on to study some properties of the noncommutative Picard scheme associated to such an Azumaya algebra.
Let $X$ be a smooth projective surface with Picard number 1. Let $L$ be the ample generator of the Néron-Severi group of $X$. Given an integer $r\ge 2$, we prove lower bounds for the Seshadri constant of $L$ at $r$ general points in $X$.
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.
We present some families of cubic hypersurfaces in $\mathbb P^5 (\mathbb C)$ containing a plane whose associated quadric bundle does not have a rational section.
In this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of small discriminant, where we observe new and interesting behavior. Our method relies on constructing certain resolutions for semistable sheaves and applying techniques of geometric invariant theory to the resulting families of sheaves.
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.
In this paper we study the geometry of the $14$ families of K3 surfaces of Picard number four with finite automorphism group, whose Néron-Severi lattices have been classified by È.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.
We provide a criterion for when Hilbert squares of complex projective K3 surfaces with Picard number one are strongly ambiguous. This criterion is the same as [DM, Proposition 3.14], but is obtained by a different method. In particular, this enables us to compute the automorphism groups of these Hilbert squares from a different point of view with respect to [BCNS].
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.
We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow-up of projective space.
Kuga-Satake construction on families of K3 surfaces of Picard rank 14
National Center for Theoretical Sciences（国家理论科学中心）；Department of Mathematical Sciences, University of Bath（巴斯大学数学科学系）；North Rd, Claverton Down, Bath BA2 7AY, UK（英国巴思克拉弗顿唐北径）
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$.
We report on our results concerning the distribution of the geometric Picard ranks of $K3$ surfaces under reduction modulo various primes. In the situation that $\rk \Pic S_{\overline{K}}$ is even, we introduce a quadratic character, called the jump character, such that $\rk \Pic S_{\overline\bbF_{\!\frakp}} > \rk \Pic S_{\overline{K}}$ for all good primes, at which the character evaluates to $(-1)$.
