Related papers: Caldararu's conjecture and Tsygan's formality

The main goal of this paper is to study the formal geometry of dg manifolds \`a la Fedosov. For any dg manifold $(\mathcal{M}, Q)$, we construct a Fedosov dg foliation (or dg Lie algebroid) $\mathcal{F}_Q \to \mathcal{N}_Q$. We establish…

We provide models that are as close as possible to being formal for a large class of compact manifolds that admit a transversely Kaehler structure, including Vaisman and quasi-Sasakian manifolds. As an application we are able to classify…

We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains…

We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…

In the first part of this paper, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham…

We establish ring isomorphisms between quantum Grothendieck rings of certain remarkable monoidal categories of finite-dimensional representations of quantum affine algebras of types $A_{2n-1}^{(1)}$ and $B_n^{(1)}$. Our proof relies in part…

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 prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $\mathcal K$. In order to do this, we recognize the presheaf construction of a cocomplete Yoneda structure as a relative, lax…

We construct special pairs of quantum sigma models on Kahler Calabi-Yau and non-Kahler Fu-Yau manifolds which flow to the same conformal field theories in their "small-radius" phases. This smooth description of a novel type of topology…

If two cluster-tilting objects of an acyclic cluster category are related by a mutation, then their endomorphism algebras are nearly-Morita equivalent [Buan-Marsh-Reiten], i.e. their module categories are equivalent "up to a simple module".…

We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a homotopy Gerstenhaber morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

Let $\mathscr{C}$ be a $2$-Calabi-Yau triangulated category with two cluster tilting subcategories $\mathscr{T}$ and $\mathscr{U}$. Results by Demonet-Iyama-Jasso and J{\o}rgensen-Yakimov known as tropical duality says that the index with…

Fock and Goncharov introduced a quantization of higher Teichm\"uller theory using cluster Poisson varieties and their noncommutative deformations, associating to a complex semisimple Lie group $G$ and a marked surface $S$ a quantum algebra…

We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^{\nu}A^1 [d]. Here, d is the injective dimension of the algebra and \nu is a certain k-algebra automorphism of A, unique up to an inner…

We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…

We obtain a rigidity phenomena of rational cohomology automorphisms of certain homogeneous spaces, in the presence of external cohomology classes arising from spaces with trivial cup product in rational cohomology algebra. We classify…

The main goal of this paper is to introduce a framework for infinitesimal deformation problems, using new methods coming from operadic calculus. We construct an adjunction between infinitesimal deformation problems over some type of…

We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different…

We define etale cohomology of the moduli spaces of mixed characteristic local shtukas so that it gives smooth representations including the case where the relevant elements of the Kottwitz set are both non-basic. Then we relate the etale…