Related papers: Formality of derived intersections and the orbifol…

We construct bulk-deformed orbifold Hamiltonian Floer theory for a global quotient orbifold, that is the quotient of a smooth closed symplectic manifold by a finite group acting faithfully via symplectomorphisms. The moduli spaces define an…

We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed…

We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…

In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the…

Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…

We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the…

If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains…

Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…

We study free dg-Lie algebroids over arbitrary derived schemes, and compute their universal enveloping and jet algebras. We also introduce derived twisted connections, and relate them with lifts on twisted square zero extensions. This…

Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a…

In this article, we construct an orbifold quantum cohomology twisted by a flat gerbe. Then we compute these invariants in the case of a smooth manifold and a discrete torsion on a global quotient orbifold.

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

We study equivariant birationality from the perspective of derived categories. We produce examples of nonlinearizable but stably linearizable actions of finite groups on smooth cubic fourfolds.

In this article, we provide a detailed account of a construction sketched by Kashiwara in an unpublished manuscript concerning generalized HKR isomorphisms for smooth analytic cycles whose conormal exact sequence splits. It enables us,…

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete…

This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…

We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp.…

Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…

We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn…

This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…