相关论文: Proper stacks

In the present note we give an example of a finite set of points in $\mathbb{P}^{3}$ which has the so-called geproci property, but it is neither a grid nor a half-grid. This answers a question on the existence of such sets rised by Pokora,…

In this paper, we present a generalized effective completeness theorem for continuous logic. The primary result is that any continuous theory is satisfied in a structure which admits a presentation of the same Turing degree. It then follows…

We generalize the concept of stack one dimension higher, introducing a notion of 2-stack suitable for a trihomomorphism from a 2-category equipped with a bitopology into the tricategory of bicategories. Moreover, we give a characterization…

We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…

We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…

We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study the structure of reals by noting that its pieces correspond to…

Starting from a collection of line bundles on a projective toric orbifold X, we introduce a stacky analogue of the classical linear series. Our first main result extends work of King by building moduli stacks of refined representations of…

We consider the union of certain irreducible components of cohomological support loci of the canonical bundle, which we call standard. We prove a structure theorem about them and single out some particular cases, recovering and improving…

Let $G$ be a generically reductive group over a smooth projective curve $X$ over a finite field. For any finite set $I$, we show that nearby cycles commute with proper direct image from stacks of shtukas to $X^I$. This generalizes some…

Observations on rational Chow groups and cycle class maps in equivariant contexts.

We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli…

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

An abelian stack is a stacky generalization of an abelian variety that was introduced by Brochard. Just as an abelian variety has a dual, an abelian stack $\mathcal{A}$ has a dual $\mathfrak{D}(\mathcal{A})$ which generalizes the classical…

We show the equivalence between two notions of log moduli stacks which appear in literatures. In particular, we generalize M.Olsson's theorem of representation of log algebraic stacks and answer a question posted by him (\cite{Ol4} 3.5.3).…

We show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are the local equivalences and the fibrant objects are the stacks, as they were defined by J. Giraud. The…

We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors…

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

Consider a Kleinian singularity $ \mathbb{C}^2/\Gamma $, where $ \Gamma $ is a finite subgroup of $ SL_2(\mathbb{C}) $. In this paper, we introduce a natural stack compactifying the singularity by adding a smooth stacky divisor, and we show…

We describe a notion of (abstract) projective line over a field as a set equipped with a certain first order structure, and a projectivity between projective lines as a bijection preserving this structure. The structure in question is that…