Related papers: Some remarks about deformation theory and formalit…
We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…
We settle the last open case of Kuznetsov's conjecture on the derived categories of Fano threefolds. Contrary to the original conjecture, we prove the Kuznetsov components of quartic double solids and Gushel-Mukai threefolds are never…
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
We extend the formality theorem of Maxim Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes on smooth and complex manifolds.
This note is a summary of our work [OO] which provides an explicit and global moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics and we use it to study especially the K3 surfaces case. For instance, it allows us to…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
Using Dolgushev's generalization of Fedosov's method for deformation quantization, we give a positive answer to a question of P.Xu: can one prove a formality theorem for Lie algebroids ? As a direct application of this result, we obtain…
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational…
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…
Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this…
In the first part of this paper we will prove the Voevodsky's nilpotence conjecture for smooth cubic fourfolds and ordinary generic Gushel-Mukai fourfolds. Then, making use of noncommutative motives, we will prove the Voevodsky's nilpotence…
This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show…
Based on results by S.K. Roushon (math.KT/0408243 and math.KT/0405211) this thesis summarizes in an axiomatic way when a Meta-Isomorphism-Conjecture in the sense of Lueck and Reich (math.KT/0402405) is true for fundamental groups of…
We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral…
The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent…
We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the…
We construct new examples of rational Gushel-Mukai fourfolds, giving more evidence for the analog of the Kuznetsov Conjecture for cubic fourfolds: a Gushel--Mukai fourfold is rational if and only if it admits an associated K3 surface.
It is known that the fundamental group homomorphism $\pi_1(T^2) \to \pi_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of…