Related papers: Projective K3 Surfaces with integral Zariski decom…
We characterize the Artin invariant of a smooth K3 hypersurface in terms of quasi-$F$-splitting. As an application, we obtain an explicit formula for this invariant.
We use classification of non-symplectic automorphisms of K3 surfaces to obtain a partial classification of log del Pezzo surfaces of index three. We can classify those with "Multiple Smooth Divisor Property", whose definition we will give.…
In this article we exhibit certain projective degenerations of smooth $K3$ surfaces of degree $2g-2$ in $\Bbb P^g$ (whose Picard group is generated by the hyperplane class), to a union of two rational normal scrolls, and also to a union of…
We prove the existence of quasi-Jacobi form solutions for an analogue of the Kaneko--Zagier differential equation for Jacobi forms. The transformation properties of the solutions under the Jacobi group are derived. A special feature of the…
We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…
We study the decomposability of a Lagrangian homology class on a K3 surface into a sum of classes represented by special Lagrangian submanifolds, and develop criteria for it in terms of lattice theory. As a result, we prove the…
For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an…
The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on…
We show that there exists an automorphism of a projective K3 surface with Picard number $2$ such that the trace of its action on the Picard lattice is $3$. Together with a result of K. Hashimoto, J. Keum and K. Lee, we determine the set of…
We construct various modular compactifications of the space of elliptic K3 surfaces using tools from the minimal model program, and explicitly describe the surfaces parametrized by their boundaries. The coarse spaces of our constructed…
In this paper we first note a result of birational automorphisms with bounded degree of projective varieties related with the Zariski dense orbit conjecture (ZDO) and the Zariski density of periodic points. Next, we give a reduced result of…
Let S be a closed orientable surface of genus at least two, and let C be an arbitrary (complex) projective structure on S. We show that there is a decomposition of S into pairs of pants and cylinders such that the restriction of C to each…
We give an unconditional construction of K3 surfaces over finite fields with given L-function, up to finite extensions of the base fields, under some mild restrictions on the characteristic. Previously, such results were obtained by Taelman…
We describe a new method of constructing Kobayashi-hyperbolic surfaces in complex projective 3-space based on deforming surfaces with a "hyperbolic non-percolation" property. We use this method to show that general small deformations of…
We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…
We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal…
A preconditioned, multipole-accelerated, Krylov-subspace iterative algorithm for the electromagnetic scattering analysis of three dimensional (3D), arbitrary shaped dielectric structures composed of single and multi-layered dielectric…
The Severi variety V_{n,d} of a smooth projective surface S is defined as the subvariety of the linear system |O_S(n)|, which parametrizes curves with d nodes. We show that, for a general surface S of degree k in P^3 and for all n>k-1,…
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 structure of complex points on real surfaces, embedded into complex Elliptic surfaces. We show, for example, that any compact surface has a totally real embedding into a blow-up of a K3 surface. We also exhibit smooth disc…