Related papers: A note on the Nielsen realization problem for K3 s…

We prove that the boundary Dehn twist on $K3\#K3\setminus B^4$ is nontrivial in the smooth mapping class group, providing another example of an exotic diffeomorphism on a simply-connected spin four-manifold. We do so by finding an algebraic…

We study in detail mirror symmetry for the quartic K3 surface in P3 and the mirror family obtained by the orbifold construction. As explained by Aspinwall and Morrison, mirror symmetry for K3 surfaces can be entirely described in terms of…

In an earlier paper the notion of a filtered derived equivalence was introduced, and it was shown that if two K3 surfaces admit such an equivalence then they are isomorphic. In this paper we study more refined aspects of filtered derived…

Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the…

We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We…

Let $X$ denote a K3 surface over an arbitrary field $k$. Let $k^\text{s}$ denote a separable closure of $k$ and let $X^\text{s}$ denote the base change of $X$ to $k^\text{s}$. The action of the absolute Galois group Gal($k^\text{s}/k$) of…

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…

In arXiv:1008.3825, Totaro gave examples of a K3 surface such that its automorphism group is not commensurable with an arithmetic group, answering a question of Mazur. We give examples of rational surfaces with the same property. Our…

In this note, we report some progress we made recently on the automorphisms groups of K3 surfaces. A short and straightforward proof of the impossibility of Z/(60) acting purely non-symplectically on a K3 surface, is also given, by using…

Let X and Y be supersingular K3 surfaces defined over an algebraically closed field. Suppose that the sum of their Artin invariants is 11. Then there exists a certain duality between their N\'eron-Severi lattices. We investigate geometric…

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…

We study complex algebraic K3 surfaces with finite automorphism groups and polarized by rank-fourteen, 2-elementary lattices. Three such lattices exist, namely $H \oplus E_8(-1) \oplus A_1(-1)^{\oplus 4}$, $H \oplus E_8(-1) \oplus D_4(-1)$,…

For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field.…

We classify K3 surfaces with a non-symplectic finite automorphism of high order. It is shown that such an automorphism cannot be of order 60, and for each of the orders 38, 44, 48, 50, 54 and 66, there exists a unique K3 surface with such…

We study the cohomological properties of quasi-canonical lifts of an ordinary K3 surface over a finite field. As applications, we prove a Torelli type theorem for ordinary K3 surfaces over finite fields and establish the Hodge conjecture…

Suppose $Y$ is a compact, connected, oriented 3-manifold possibly with boundary, such that $\pi_1(Y)$ is infinite. Let $\operatorname{Diff}_\partial(I\times Y)$ denote the group of self-diffeomorphisms of $I\times Y$ that are equal to the…

Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the…

We provide descriptions of the Whitehead groups, and the algebraic $K$-theory groups, of the fundamental group of a connected, oriented, closed $3$-manifold in terms of Whitehead groups of their finite subgroups and certain Nil-groups. The…

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…

In arXiv:2409.03960, we introduced an approach to the question of extendability of projective varieties via degeneration to ribbons. In this article we build on these methods to give a new proof of optimal results on the extendability of…