# Questions tagged [algebraic-stacks]

The tag has no usage guidance.

283 questions
Filter by
Sorted by
Tagged with
230 views

### Gluing together the moduli stacks of elliptic curves over Z[1/2] and Z[1/3]?

I have a long-running desire to understand what is the "global" moduli stack of elliptic curves, as a stack over $\mathrm{Spec}(\mathbb{Z})$. Recently I was pointed to Katz and Mazur's book, ...
• 33.9k
71 views

### References for orbifold curves

I am looking for a good reference (if there is any) for the theory of orbifold curves from the perspective of stacks. By an orbifold curve I mean something like a $1$-dimensional irreducible Deligne-...
140 views

• 381
216 views

### Is a finite morphism of Deligne-Mumford stacks proper?

The situation that I am in is the following. Let $\mathcal{X}$ be a smooth Deligne-Mumford stack over a field $k$. Let $X$ be a $k$-scheme together with a morphism $\pi;\mathcal{X}\rightarrow X$ (you ...
• 737
113 views

### What are the categories of IND and PRO schemes?

below is a mathexchange question with no answers so I drop it here. I have some difficulties to figure out what the category of IND-schemes and PRO-schemes are, in particualer the relations with ...
• 1,105
142 views

### Description of pull-back of coherent sheaves under a smooth morphism of Artin stacks

I am new to these formalisms, so pardon me if the question is basic. Let $\mathscr{X}$ be an Artin stack (you can take it to be Deligne-Mumford stack if it helps). By a coherent sheaf on $\mathscr{X}$ ...
• 737
132 views

### Relationship between $\infty$-categories of ind-coherent sheaves on the base and total space

My question is vaguely as follows, let $G\to E\to X$ be a principal $\infty$-bundle for some group object $G$ in a category of ($\infty$-)stacks. Can we recover the category $\operatorname{IndCoh}(E)$ ...
• 1,294
228 views

• 23
1 vote
167 views

### Moduli stack of l-adic sheaves?

Let us work over a field $k$. Then for any smooth affine group scheme $G$ over $k$, we can consider the stack quotient $BG := [\text{pt} / G]$ which classifies étale $G$-torsors. Let $\ell$ be a prime ...
• 331
240 views

### Grothendieck purity for Brauer groups of stacks

Let $X$ be a smooth variety over a field $k$ (for the sake of simplicity of characteristic $0$) and $\operatorname{Br}(X) := H^2_{\text{ét}}(X, \mathbb{G}_m)$ its (cohomological) Brauer group (...
• 198
1 vote
187 views

### An algebraic stack is an algebraic space if and only if it has the trivial stabilizer group

Let $G\to S$ be a smooth affine group scheme over a scheme. Let $U$ be a scheme over $S$ with an action of $G$. Let $[U/G]$ be the quotient stack. In Alper's note: Stacks and Moduli, there is a result ...
• 11
1 vote
193 views

### Derived McKay correspondence between a weighted projective plane and a Hirzebruch surface

Let $k$ be an algebraically closed field of $\text{ch}(k) =0$. Let $\mathbb{P}(1,1,2)$ be the weighted projective plane of weight $(1,1,2)$ as a stack. Let $\mathbf{P}(1,1,2)$ be the weighted ...
• 11
166 views

### Confusion in identification of quasicoherent sheaves on BG and G -representations

I asked this question on MSE a few days ago, but didn't get a response and also managed to confuse a senior colleague with it since then. This is probably a stupid question, so please bear with me. ...
• 1,001
1 vote
80 views

### Algebraizable image of a morphism of Galois cohomology stacks

Assume I have a surjective morphism of algebraic group schemes over $\mathbb{Q}_p$, $\mathcal{G}\longrightarrow S$, equipped with a section, and assume both of these group schemes are equipped with an ...
• 1,631
271 views

### Grothendieck duality for root stacks

Let $k$ be an algebraically closed field of characteristic $0$. Let $X$ be a projective scheme over $k$, let $D = \sum_{i=1}^d$ be a simple normal crossing divisor. Let ${\bf a} = (a_1,\cdots,a_d)$ be ...
• 639
248 views

### On sheaf quotient

Let $X$ be a scheme and $G$ be a group acting on $X$. Suppose the action is not free. Consider the quotient sheaf $X/G.$ Can we directly prove that the sheaf quotient is not an algebraic space?
• 492
168 views

### $D^b_\text{Coh}(X)$ for a smooth, proper Deligne-Mumford stack

Let $X$ be a smooth, proper DM stack over a field $k$. I see in Hall-Rydyh's paper "Perfect Complexes on Algebraic Stacks" (https://arxiv.org/abs/1405.1887) a discussion of compact ...
1 vote
140 views

### On the stack of bundles

Let $K$ denote the function field $\mathbb C((t))$ and let $X$ be a smooth projective curve of genus $g\geq 2$ over $K$. Let $r\geq 2$ be some positive integer. Let $B$ denote the moduli of vector ...
• 492
1 vote
190 views

### How to define Cartier divisor and Weil divisor on algebraic stack?

How to define Cartier divisor and Weil divisor on algebraic stack? Do they correspond to line bundles on stack like the case of schemes? In case of a Deligne-Mumford stack, can we have a simpler ...
• 513
97 views

### Covering a stack by an open substack that contains all points of finite type

Let $X = \text{Spec}A$ be an affine scheme. It is well known that if $U$ is an open subset which contains $\text{SpecMax}A$, then $U\supseteq X$. The previous statement generalizes to arbitrary ...
• 1,631
1 vote
75 views

### Function vanishing on the image of a morphism of algebraic stacks

Let $f: X\longrightarrow Y$ be a morphism of algebraic stacks, and assume I know the Krull dimension of the ring of global functions on $Y$ to be $n$. Assume that the stack $X$ has "stacky" ...
• 1,631
1 vote
175 views

### etale fundamental group of global quotient algebraic stacks

I am reading about fundamental group of algebraic stacks, and in my opinion, the class of quotient stacks is an important one in algebraic stacks. However, I am not clear about how to compute ...
• 381
134 views

106 views

### Defining log prestacks (and their structures)

It's possible to define log schemes, and Olsson's thesis defines log stacks. Is there a definition of log prestack in the literature? Is it easy to extend Gaitsgory-Rozenblyum type results (...
• 5,506
290 views

### Residual gerbes and coarse moduli space of a DM stack

Let $X$ be a nice DM stack (Noetherian, separated), and $X_0$ its coarse moduli space which exist by the Keel-Mori theorem. (I like the exposition in D. Rydh. “Existence and properties of geometric ...
207 views

### Local structure of smooth morphisms of stacks

Let $\varphi:X \to Y$ be a smooth morphism of schemes. There is a well-known local structure theorem: Zariski locally $\varphi$ is given by the composition of an etale morphism and an affine space (...
• 20.8k
161 views

1 vote
300 views

### Decomposition of vector bundles on the inertia stack of a DM stack

Let $X$ be a tame DM stack over $\mathbb{C}.$ Let $IX$ denote the inertia stack of $X.$ Let $K(IX)$ denote the Grothendieck group of vector bundles on $IX.$ By the discussion on page 20 of Toen's ...
• 1,099
292 views

### Connected components of inertia stacks

Let $k$ be a field. Let $X$ be a connected tame DM stack over $k.$ Let $IX$ be the inertia stack of $X.$ Then $IX$ is a disjoint union of connected components. Is this always a finite union? If not, ...
• 1,099
1 vote
278 views

### Smoothness of inertia stacks

Let $k$ be a field of characteristic zero. Let $X$ be a smooth DM stack over $k.$ Is the inertia stack $IX$ always smooth over $k$? I believe this is true, but cannot find a proof in the literature. I ...
• 1,099
1 vote
188 views

• 405
1 vote