Related papers: Proper stacks
We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…
We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…
The purpose of the present note is to provide a new proof ot the well-known result due to Hartshorne and Hirschowitz to the effect that general lines in projective spaces have good postulation. Our approach uses specialization to a…
I introduced the notions of proper and piecewise proper families of reals to make progress on an open question in the field of models of PA about whether every Scott set is the standard system of a model of PA. A family of reals X is proper…
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal…
We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes…
Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…
For a variety over certain topological rings $R$, like $\mathbb{Z}_p$ or $\mathbb{C}$, there is a well-studied way to topologize the $R$-points on the variety. In this paper, we generalize this definition to algebraic stacks. For an…
In this paper, we prove several fixed point theorems on both of normal partially ordered Banach spaces and regular partially ordered Banach spaces by using the normality, regularity, full regularity, and chain -complete property. Then, by…
We show the resolution of indeterminacy of rational maps from a regular surface to a tame stack locally of finite type over an excellent scheme. The proof uses the valuative criterion for proper tame morphisms, which was proved by Bresciani…
We prove a general theorem which includes most notions of "exact completion". The theorem is that "k-ary exact categories" are a reflective sub-2-category of "k-ary sites", for any regular cardinal k. A k-ary exact category is an exact…
In this note we give a definition of stable maps into the classifying stack $\BGL_r$ of the general linear group. To support our belief that the definition is the correct one, we show that there are natural boundary morphisms between the…
In this note I introduce a new approach to (or rather a new language for) representation theory of groups. Namely, I propose to consider a (complex) representation of a group $G$ as a sheaf on some geometric object (a stack). This point of…
The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal…
We generalise recent results of M. Hovey and N. Strickland on comodule categories for Landweber exact algebras using the formalism of algebraic stacks.
We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.
We provide theorems containnig both Kakutani and Browder fixed points theorems as immediate corollaries, as well as Michael and Browder selection theorems. For this purpose we introduce convex structures more general than those of locally…
We show that, under appropriate hypothesis, the groupoid of maps from S to an an algebraic stack X can be identified with a category of tensor functors from coherent sheaves on X to coherent sheaves on S. As an application, we show that if…
Let $X$ be a complex projective variety defined over $\mathbb R$. Recently, Bernardi and the first author introduced the notion of admissible rank with respect to $X$. This rank takes into account only decompositions that are stable under…