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

Let S be a K3 surface that admits a non-symplectic automorphism $\rho$ of order 3. We divide $S\times \mathbb{P}^1$ by $\rho\times\psi$ where $\psi$ is an automorphism of order 3 of $\mathbb{P}^1$. There exists a threefold ramified cover of…

Let $S$ be a K3 surface. We study the reduced Donaldson-Thomas theory of the cap $(S \times \mathbb{P}^1) / S_{\infty}$ by a second cosection argument. We obtain four main results: (i) A multiple cover formula for the rank 1…

An example of potential density of rational points on the second punctual Hilbert scheme of certain K3 surfaces is treated in detail. This is an amplification of some remarks made by O'Grady and Oguiso.

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…

In this paper, we study non-symplectic automorphisms of order 3 on algebraic $K3$ surface over $\mathbb{C}$ which act trivially on the N\'{e}ron-Severi lattice. In particular we shall characterize their fixed locus in terms of the…

We investigate F-theory models with a discrete $\mathbb{Z}_2$ gauge symmetry and $SU(n)$ gauge symmetries. We utilize a class of rational elliptic surfaces lacking a global section, known as Halphen surfaces of index 2, to yield genus-one…

We prove that generic complex projective $\mathrm{K3}$ surface $S$ does not admit a dominant rational map $A\, -\!\to S$, which is not an isomorphism, from a surface $A$ with trivial canonical class.

We study generalized Kummer surfaces Km$_{3}(A)$, by which we mean the K3 surfaces obtained by desingularization of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism group. Such a surface carries $9$ disjoint…

In this note, we prove that the compactly supported mapping class group of a surface containing a genus $3$ subsurface has no realization as a subgroup of the homeomorphism group. We also prove that for certain surfaces with order $6$…

We complete the remaining cases of the conjecture predicting existence of infinitely many rational curves on K3 surfaces in characteristic zero, prove almost all cases in positive characteristic and improve the proofs of the previously…

Friedman and Morgan made the "speculation" that deformation equivalence and diffeomorphism should coincide for algebraic surfaces. Counterexamples, for the hitherto open case of surfaces of general type, have been given in the last years by…

Let $Y$ be a smooth Enriques surface. A $K3$ carpet on $Y$ is a locally Cohen-Macaulay double structure on $Y$ with the same invariants as a smooth $K3$ surface (i.e., regular and with trivial canonical sheaf). The surface $Y$ possesses an…

We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational…

This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this…

Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of…

We give a classification of all non-symplectic automorphisms of prime order p acting on irreducible holomorphic symplectic fourfolds deformation equivalent to the Hilbert scheme of two points on a K3 surface, for p=2,3 and 7\leq p \leq 19.…

In this paper, we study Homeo$^1(S)$, the group of homeomorphisms of a surface that preserve the set of one-dimensional $C^1$ submanifolds of that surface. The group Homeo$^1(S)$ belongs to a family of similarly defined groups Homeo$^k(S)$…

The decomposition theorem for smooth projective morphisms $\pi:\mathcal{X}\rightarrow B$ says that $R\pi_*\mathbb{Q}$ decomposes as $\oplus R^i\pi_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a…

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…

Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano…