Related papers: Openness of versality via coherent functors

We prove the algebraicity of the Hilbert functor, the Hilbert stack, the Quot functor and the stack of coherent sheaves on an algebraic stack X with (quasi-)finite diagonal without any finiteness assumptions on X. We also give similar…

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 show that several properties of the theory of Rees algebras of modules become more transparent using the category of coherent functors rather than working directly with modules. In particular, we show that the Rees algebra is induced by…

We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper…

Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers…

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…

We prove the 3-fold DT/PT correspondence for K-theoretic vertices via wall-crossing techniques. We provide two different setups, following Mochizuki and following Joyce; both reduce the problem to q-combinatorial identities on word…

For any smooth complex projective surface $S$, we construct semistable refined Vafa-Witten invariants of $S$ which prove the main conjecture of arXiv:1810.00078. This is done by extending part of Joyce's universal wall-crossing formalism to…

The well-known difficulties arising in a classification which is not set-theoretically trivial---involving what is sometimes called a non-smooth quotient---have been overcome in a striking way in the theory of operator algebras by the use…

We define an Artin stack which may be considered as a substitute for the non-existing (or empty) moduli space of stable two-pointed curves of genus zero. We show that this Artin stack can be viewed as the first term of a cyclic operad in…

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…

Using the theory of moduli of curves, we establish various slope inequalities for general fibered surfaces. More precisely, we introduce the notion of functorial divisors on Artin stacks and prove a theorem concerning their effectiveness.…

In this paper we aim to present two general results regarding, on one hand, the openness stability of set-valued maps and, on the other hand, the metric regularity behavior of the implicit multifunction related to a generalized variational…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of…

We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties.

We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of…

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…

We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a…