Related papers: Derived Quot schemes
For every smooth projective variety, we construct an action of the Heisenberg algebra on the direct sum of the Grothendieck groups of all the symmetric quotient stacks which contains the Fock space as a subrepresentation. The action is…
The aim of this note is to define certain sheaves of vertex algebras on smooth manifolds. For each smooth complex algebraic (or analytic) manifold $X$, we construct a sheaf $\Omega^{ch}_X$, called the {\bf chiral de Rham complex} of $X$. It…
We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the…
Following a formula found in the paper of Avramov, Iyengar, Lipman, and Nayak (2010) and ideas of Neeman and Khusyairi, we indicate that Grothendieck duality for finite tor-amplitude maps can be developed from scratch via the formula $f^!…
We describe the closed strata that defines certain Quot schemes as closed subschemes in Grassmannians. The Quot schemes we consider are those parametrizing finite length $n$ quotient sheaves of the free, rank $p$ sheaf on projective…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
In the previous paper (math.CA/0609196) we defined a map, called the hyperbolic Schwarz map, from the one-dimensional projective space to the three-dimensional hyperbolic space by use of solutions of the hypergeometric differential…
We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-C\u{a}ld\u{a}raru-Hablicsek in the smooth, global quotient case, although with different methods.…
For a fixed quasi-projective scheme $X$ we introduce a self-dual analogue of ${\mathrm{Hilb}}_d(X)$ which we call the Iarrobino scheme of $X$. It is a fine moduli space of oriented Gorenstein zero-dimensional subschemes of $X$ together with…
Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…
Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic…
We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups…
We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$.
Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental…
On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $\rho$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived…
Let X be a smooth affine algebraic variety over a field K of characteristic 0, and let R be a complete parameter K-algebra (e.g. R = K[[h]]). We consider associative (resp. Poisson) R-deformations of the structure sheaf O_X. The set of…
Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…
For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git…
We study the first "derived functors of unramified cohomology" in the sense of arXiv:1506.08385 [math.AG], applied to the sheaves $\mathbf{G}_m$ and $\mathcal{K}_2$. We find interesting connections with classical cycle-theoretic invariants…
Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of…