Related papers: Derived complex analytic geometry II: square-zero …
We study the Galois descent of semi-affinoid non-archimedean analytic spaces. These are the non-archimedean analytic spaces which admit an affine special formal scheme as model over a complete discrete valuation ring, such as for example…
Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…
In this paper, we study the counterpart of Grothendieck's projectivization construction in the context of derived algebraic geometry. Our main results are as follows: First, we define the derived projectivization of a connective complex,…
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…
Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…
We will quickly explore the derived geometry of zero loci of sections of vector bundles, with particular emphasis on derived critical loci. In particular we will single out many of the derived geometric structures carried by derived…
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…
Using Keel's presentation and Orlov's theorem, we give an inductive description of the derived category of moduli spaces of $n$--pointed stable curves of genus zero and some full exceptional collections in it. The detailed calculations are…
In this article we consider the Ore extension Algebra for the algebra $\mathcal{A}$ of functions with finite support on a countable set. We derive explicit formulas for twisted derivations on $\mathcal{A}.$ We give a description for the…
We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…
In this article we construct a categorical resolution of singularities of an excellent reduced curve $X$, introducing a certain sheaf of orders on $X$. This categorical resolution is shown to be a recollement of the derived category of…
This paper is a sequel to [LoMa] where moduli spaces of painted stable curves were introduced and studied. We define the extended modular operad of genus zero, algebras over this operad, and study the formal differential geometric…
Let k be a field of characteristic 0 and let X be a smooth geometrically integral k-variety. In our previous paper we defined the extended Picard complex UPic(X) as a certain complex of Galois modules in degrees 0 and 1. We computed the…
In this work, we investigate the projectivized analytic spectrum of the double of a module, establishing some general properties, and we apply these results to $\mbox{Projan}(\cR((JM(X))_D))$ over the origin in $C\times C$, where $C$ is an…
Let $X$ be a quasi-compact, separated scheme over a field k and we can consider the categorical resolution of singularities of $X$. In this paper let $k^{\prime}/k$ be a field extension and we study the scalar extension of a categorical…
In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of…
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
We show that a certain simply-stated notion of "analytic completeness" of the image of a real analytic map implies the map admits no analytic extension. We also give a useful criterion for that notion of analytic completeness by defining…
In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related…