Related papers: Homological mirror symmetry for the quartic surfac…
We give a complete equisingular deformation classification of simple spatial quartic surfaces which are in fact $K3$-surfaces.
In this paper we prove the SYZ conjecture for irreducible symplectic varieties that are locally trivial deformation equivalent to moduli spaces of sheaves on K3 surfaces. As an intermediate step in the argument, we generalise to the…
We give a characterization of irreducible symplectic fourfolds which are given as Hilbert scheme of points on a K3 surface.
We consider F-theory compactifications on a mirror pair of elliptic Calabi-Yau threefolds. This yields two different six-dimensional theories, each of them being nonperturbatively equivalent to some compactification of heterotic strings on…
Following the work of Katzarkov--Kontsevich--Pantev--Yu concerning the irrationality of the very general complex cubic fourfold, we prove the following: for every rational smooth complex cubic fourfold, the primitive cohomology is…
We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level…
We give partial answers to a metric version of Zariski's multiplicity conjecture. In particular, we prove the multiplicity of complex analytic surface (not necessarily isolated) singularities in $\mathbb{C}^3$ is a bi-Lipschitz invariant.
We prove the topological mirror symmetry conjecture of Hausel-Thaddeus for the moduli space of strongly parabolic Higgs bundles of rank two or three, with full flags. Although the main theorem is proved only for rank at most three, most of…
We provide homological foundations to establish conjectural homological projective dualities between 1) S^2 P^3 and the double cover of the projective 9-space branched along the symmetric determinantal quartic, and 2) S^2 P^4 and the double…
We give a new characterization of symplectic surfaces in CP^2 via bridge trisections. Specifically, a minimal genus surface in CP^2 is smoothly isotopic to a symplectic surface if and only if it is smoothly isotopic to a surface in…
In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual…
In this paper, we propose and study a conjecture that symplectic automorphisms of a $K3$ surface $X$ act trivially on the indecomposable part $\mathrm{CH}^2(X,1)_{\mathrm{ind}}\otimes \mathbb{Q}$ of Bloch's higher Chow group. This is a…
We describe an isomorphism of categories conjectured by Kontsevich. If $M$ and $\widetilde{M}$ are mirror pairs then the conjectural equivalence is between the derived category of coherent sheaves on $M$ and a suitable version of Fukaya's…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…
Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the…
This is a continuation of [Og12], concerning automorphisms of smooth quartic K3 surfaces and birational automorphisms of ambient projective three spaces.
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…
A Platonic surface is a Riemann surface that underlies a regular map and so we can consider its vertices, edge-centres and face-centres. A symmetry (anticonformal involution) of the surface will fix a number of simple closed curves which we…
We prove that the cyclic homology of a saturated $A_\infty$ category admits the structure of a `polarized variation of Hodge structures', building heavily on the work of many authors: the main point of the paper is to present complete…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between…