Related papers: Derived complex analytic geometry I: GAGA theorems
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic…
Let $M$ be a compact complex manifold equipped with a hyperk\"ahler metric, and $X$ be a closed complex analytic subvariety of $M$. In alg-geom/9403006, we proved that $X$ is trianalytic, i. e., complex analytic with respect to all complex…
In this paper, we provide an upgrade of Deligne's geometric class field theory for tamely ramified Galois groups using logarithmic geometry. In particular, we define a framed logarithmic Picard space, and show that a logarithmic…
We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…
In this note, we give a formulation of log structures for derived stacks using Olsson's log stack. The derived cotangent complex is then Olsson's logarithmic cotangent complex, which (unlike Gabber's) is just given by log differential forms…
A generalized complex manifold is locally gauge-equivalent to the product of a holomorphic Poisson manifold with a real symplectic manifold, but in possibly many different ways. In this paper we show that the isomorphism class of the…
Suppose a group $\Gamma$ acts on a scheme $X$ and a Lie superalgebra $\mathfrak{g}$. The corresponding equivariant map superalgebra is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak{g}$. We classify the irreducible…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.
In this paper we identify the cotangent to the derived stack of representations of a quiver $Q$ with the derived moduli stack of modules over the Ginzburg dg-algebra associated with $Q$. More generally, we extend this result to finite type…
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…
The commutative differential graded algebra $A_{\mathrm{PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal{I}}(X)$ of…
We prove that a standard realization of the direct image complex via the so-called Douady-Barlet morphism associated with a smooth complex analytic surface admits a natural decomposition in the form of an injective quasi-isomorphism of…
In this paper we carry out analysis and geometry for a class of infinite dimensional manifolds, namely, compound configuration spaces as a natural generalization of the work \cite{AKR97}. More precisely a differential geometry is…
The special geometry of calibrated cycles, closely related to mirror symmetry among Calabi--Yau 3-folds, is itself a real form of a new subject, which we call slightly deformed algebraic geometry. On the other hand, both of these geometries…
We construct Abel maps for a stable curve $X$. Namely, for each one-parameter deformation of $X$ with regular total space, and every integer $d>0$, we construct by specialization a map $\alpha^d_X$ from the smooth locus of $X^d$ to the…
Given a map $\Xi\colon U(\mathfrak{g})\rightarrow A$ of associative algebras, with $U(\mathfrak{g})$ the universal enveloping algebra of a (complex) finite-dimensional reductive Lie algebra $\mathfrak{g}$, the restriction functor from…
Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…
By Liouville's theorem, in dimensions 3 or more conformal transformations form a finite-dimensional group, an apparent drastic departure from the 2-dimensional case. We propose a derived enhancement of the conformal Lie algebra which is an…