Related papers: Derived projectivizations of complexes

We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived…

We generalize a compactification technique due to C. Simpson in the context of $\mathbb{G}_m$-actions over the ground field of complex numbers, to the case of a universally Japanese base ring. We complement this generalized compactification…

The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…

In this paper, we study homological dimensions of algebras linked by recollements of derived module categories, and establish a series of new upper bounds and relationships among their finitistic or global dimensions. This is closely…

We introduce higher analytic geometry, a novel framework extending Lurie's derived complex analytic spaces. This theory generalizes classical complex analytic geometry, enabling the study of derived K\"ahler spaces with non-trivial higher…

We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…

We review recent results and ongoing investigations of the symplectic and Poisson geometry of derived moduli spaces, and describe applications to deformation quantization of such spaces.

We introduce and study the derived moduli stack $\mathrm{Symp}(X,n)$ of $n$-shifted symplectic structures on a given derived stack $X$, as introduced by [PTVV] (IHES Vol. 117, 2013). In particular, under reasonable assumptions on $X$, we…

In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.

Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…

We study complex analytic (possibly singular) projective connections on the plane. We characterize some of them in terms of their families of integral curves. We also give a beginning of classification of second order odes polynomial in the…

The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category,…

We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent…

This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting…

We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The…

Let $\mathcal{X}$ be a class of $R$-modules. In this paper, we investigate \;$\mathcal{X}$-(f.g.)injective ((f.g.)projective) and DG-$\mathcal{X}$-injective (projective) complexes which are generalizations of injective (projective) and…

For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…

We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension…

This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics, that provides a very short survey of derived symplectic geometry. Derived symplectic geometry studies symplectic structures on derived stacks.…