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

The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

Schubert varieties of hyperplane arrangements, also known as matroid Schubert varieties, play an essential role in the proof of the Dowling-Wilson conjecture and in Kazhdan-Lusztig theory for matroids. We study these varieties as…

We prove that the bundles with flat connections on configuration spaces associated to braided fusion categories, as well as the bundles with flat connections on moduli spaces of curves (conformal blocks) associated to modular fusion…

Let $V$ and $W$ be finite dimensional real vector spaces and let $G\subset\GL(V)$ and $H\subset\GL(W)$ be finite subgroups. Assume for simplicity that the actions contain no reflections. Let $Y$ and $Z$ denote the real algebraic varieties…

We describe the (bigraded) Hochschild cohomology of graded gentle algebras along with the Gerstenhaber bracket and cup product. In particular, this yields a description of the Hochschild cohomology of partially wrapped Fukaya categories of…

The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by B\"okstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory…

The conjecture stated by Carayol in [{\em Non-abelian Lubin-Tate theory.} Automorphic forms, Shimura varieties and $L$-functions, vol II: 15--39, Academic Press,1990] predicted that the {\em supercuspidal part} of the l-adic cohomology of…

We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give…

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,…

In this note we prove a conjecture of Kashiwara, which states that the Euler class of a coherent analytic sheaf F on a complex manifold X is the product of the Chern character of F with the Todd class of X. As a corollary, we obtain a…

The Doran-Harder-Thompson "gluing/splitting" conjecture unifies mirror symmetry conjectures for Calabi-Yau and Fano varieties, relating fibration structures on Calabi-Yau varieties to the existence of certain types of degenerations on their…

We prove several results concerning quasi-bialgebra morphisms $\mathcal{D}^\omega(G)\to\mathcal{D}^\eta(H)$ of twisted group doubles. We take a particular focus on the isomorphisms which are simultaneously isomorphisms…

In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a…

We examine the Hochschild cohomology for triangular algebras that capture some aspects of geometry and topology of the torus and of the quadric surface, and for deformations of these algebras. In particular, this shows that the cup product…

Let $G$ be a finite group of order $n$ and let $M$ be a $G$-module. We construct groups $H_*^\varkappa(G,M)$ for which $H_k^\varkappa (G,M^{tw}) \cong H^{n-k-1}_\lambda(G,M),$ where $M^{tw}$ is a twisting of a $G$-module $M$ defined in…

This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in…

We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…

For every oriented surface of finite type, we construct a functorial Khovanov homology for links in a thickening of the surface, which takes values in a categorification of the corresponding gl(2) skein module. The latter is a mild…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…