Related papers: Some remarks about deformation theory and formalit…

This dissertation is an exposition of Kontsevich's proof of the formality theorem and the classification of deformation quantisation on a Poisson manifold. We begin with an account of the physical background and introduce the Weyl-Moyal…

We study the differential graded Lie algebra of endomorphisms of the Koszul resolution of a regular sequence on a unitary commutative $K$-algebra $R$ and we prove that it is homotopy abelian over $K$, while it is generally not formal over…

Gamma conjecture I and the underlying Conjecture $\mathcal{O}$ for Fano manifolds were proposed by Galkin, Golyshev and Iritani recently. We show that both conjectures hold for all two-dimensional Fano manifolds. We prove Conjecture…

We prove that the gonality among the smooth curves in a complete linear system on a $K3$ surface is constant except for the Donagi-Morrison example. This was proved by Ciliberto and Pareschi under the additional condition that the linear…

In the present paper we prove a statement closely related to the cyclic formality conjecture. In particular, we prove that for a divergence-free Poisson bivector field on R^d, the Kontsevich star-product with the harmonic angle function is…

We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy…

We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof…

Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…

Assuming the standard framework of mirror symmetry, a conjecture is formulated describing how the diffeomorphism group of a Calabi-Yau manifold Y should act by families of Fourier-Mukai transforms over the complex moduli space of the mirror…

We prove the weight part of Serre's conjecture in generic situations for forms of $U(3)$ which are compact at infinity and split at places dividing $p$ as conjectured by Herzig. We also prove automorphy lifting theorems in dimension three.…

We consider relationships between families of K3 surfaces, in the context of string theory. An important ingredient of string theory also of interest in algebraic geometry is T-duality. Donagi and Pantev have extended the original duality…

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…

Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…

Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the…

Let $S$ be a K3 surface and let $E$ be an elliptic curve. We solve the reduced Gromov-Witten theory of the Calabi-Yau threefold $S \times E$ for all curve classes which are primitive in the K3 factor. In particular, we deduce the Igusa cusp…

General hyperplane sections of a Fano threefold $Y$ of index 2 and Picard rank 1 are del Pezzo surfaces, and their Picard group is related to a root system. To the corresponding roots, we associate objects in the Kuznetsov component of $Y$…

We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the…

We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author…

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

The more recent paper "Generic strange duality for K3 surfaces" by the authors contains stronger results.