Related papers: Higher analytic stacks and GAGA theorems

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…

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 prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…

Derived mapping stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this…

We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex analytic spaces. In the smooth case, our approach is based…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability…

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…

As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_!…

We give a proof of openness of versality using coherent functors. As an application, we streamline Artin's criterion for algebraicity of a stack. We also introduce multi-step obstruction theories, employing them to produce obstruction…

We study extension properties for morphisms of stacks of bundles for group algebraic spaces. Applications are a short proof of the classification of bundles on the projective line for smooth geometrically reductive groups and the existence…

We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two…

In this paper, we provide a relative hypercohomology version of Serre's GAGA theorem. We prove that the relative hypercohomology of a complex of sheaves on a complex projective variety is isomorphic to the relative hypercohomology of its…

We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.

We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables…

Given a compact p-adic Lie group G over a finite unramified extension L/Q_p let G_0 be the product over all Galois conjugates of G. We construct an exact and faithful functor from admissible G-Banach space representations to admissible…

We introduce and study module structures on both the dgla of multiplicative vector fields and the graded algebra of functions on Lie groupoids. We show that there is an associated structure of a graded Lie-Rinehart algebra on the vector…

This paper explores the sheaves with the action of a lie algebra and computes their cohomology in a new category. Then in the following sections, We try to generalize a classical result in [GM, Ch. IV] about exterior algebra. We add the…

Let $X$ be an algebraic variety over $\mathbf{C}$. We define a canonical compactification $X^{\!\urcorner}$ of the complex analytic space $X(\mathbf{C})$ by adding a Berkovich space over a trivially valued field at the boundary. The…