The stacks tag has no wiki summary.

**3**

votes

**1**answer

455 views

### On the coarse moduli space of a stack

Consider a stack $\mathcal{X}$ over $\mathbb{C}$ as a category fibred in groupoids over the category of schemes. Let $\mathcal{X}^s$ be the $\pi_0$ of this category, i.e. objects of $\mathcal{X}^s$ ...

**1**

vote

**1**answer

152 views

### Enumerativity of Gromov-Witten invariants of orbifolds

For smooth Deligne-Mumford stacks, there is a well-defined Gromov-Witten theory, see http://arxiv.org/pdf/math/0103156.pdf and http://arxiv.org/pdf/math/0603151.pdf.
Is there some sense, or some ...

**6**

votes

**1**answer

544 views

### Teaching stacks to differential geometry students

Does anyone have any experience teaching stacks over the category of manifolds to students whose background is, say, a semester-long course on manifolds? Does anyone know of any publicly available ...

**4**

votes

**1**answer

149 views

### A question on $Isom(p_1^*E,p_2^*E) \rightrightarrows X$

I am learning the moduli stacks of vector bundles and have trouble understanding some definitions. Let $E$ be a rank $n$ vector bundle over the scheme $X$. We denote by $p_i$ the $i$th projection ...

**8**

votes

**1**answer

484 views

### How does descent theory imply a sheaf is a scheme?

I've noticed that often authors will comment that "descent theory" shows that some sheaf in the étale topology is actually a scheme. I was wondering what result in descent theory actually implies ...

**18**

votes

**2**answers

533 views

### Cohomologically trivial stacks

The following theorem of Serre is well-known:
A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and all $i>0$. ...

**0**

votes

**0**answers

120 views

### quotient by a proper equivalence relation

Let X be a scheme and R be a proper equivalence relation on X. What can be said about the geometric structure of the quotient X/R?
Is it representable by a stack, for example?

**4**

votes

**1**answer

241 views

### family of gerbes over smooth and proper algebraic varieties

Let $X$ be a smooth and proper variety over $\mathbb{C}$. Let $F$ be an $\mathbb{A}^1$ family of $\mathbb{G}_m$ gerbes over $X$. Suppose the fibers over every point away from 0 in $\mathbb{A}^1$ are ...

**8**

votes

**1**answer

425 views

### Recovering classical Tannaka duality from Lurie's version for geometric stacks

In Lurie's paper Tannaka Duality for Geometric Stacks, it is essentially shown that specifying a morphism of geometric objects
$$ f \colon X \to Y$$
is equivalent to giving a corresponding pullback ...

**4**

votes

**1**answer

258 views

### fpqc sheafification and localisation

I am slightly confused about sheafification at the moment.
I first learned sheaves defined as a subcategory of presheaves, then I was told that sheaves are also a localisation of presheaves, then I ...

**2**

votes

**1**answer

114 views

### Can stabilizer groups in an orbifold have global twisting?

Can stabilizer groups in an orbifold have global twisting?
For example, consider the two groups $\mathbb Z/3\times\mathbb Z$ and $\mathbb Z/3\rtimes\mathbb Z$ (where $\mathbb ...

**2**

votes

**2**answers

246 views

### Are quotients of stacks flat?

Let $\cal X$ be a DM stack of finite type over a field (if necessary, I will assume that $k=\mathbb{C}$ and $\cal X$ is a scheme, or even a variety) and $G$ be a finite group. Then we have a quotient ...

**4**

votes

**1**answer

260 views

### Divisorial contraction: when is the image an algebraic space or a stack?

Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already ...

**13**

votes

**1**answer

638 views

### Homotopy theory of topological stacks/orbifolds

Motivation $\newcommand{\T}{\mathscr{T}}$
I have many times found myself saying some variant of the following. Let $\T_g$ be the Teichmüller space of a surface of genus $g$, and $\Gamma_g$ its ...

**8**

votes

**1**answer

500 views

### what exactly is the moduli functor for classifying elliptic curves with (full) level N structure?

So, when people say, "the moduli problem of classifying elliptic curves over $\mathbb{C}$ with level $N$ structure", there are usually two associated functors I've seen:
$P_N : ...

**4**

votes

**1**answer

308 views

### If $X$ is a smooth and proper stack, does it admit a smooth and proper atlas?

Fix a ground scheme $S$ (a field say).
By atlas for an algebraic stack I mean a smooth and surjective morphism $Y \to X$ from a scheme (or algebraic space or affine scheme) $Y$.
If the stack $X$ is ...

**1**

vote

**0**answers

143 views

### Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in ...

**6**

votes

**1**answer

299 views

### Chern classes of vector bundles on a stack

Is there literature about chern classes of vector bundles on DM-stacks? I had a look at a lot of different papers about intersection theory on stacks and related stuff and this seems to be known, but ...

**1**

vote

**0**answers

156 views

### stack quotient question

Hi,
I have the following question:
let $k$ a field with $char(k)= p>0$, which we can assume to be perfect, $W(k)$ the ring of Witt vector, and $a,b$ positive integers.
Consider the ring ...

**3**

votes

**1**answer

226 views

### Representability of Hom-sheaves of various moduli spaces

(May be a poor title, happy to update)
Recall that for a stack $\mathcal{X} \to Sch$ on schemes (e.g. fppf site) and a pair of morphisms $x,y\colon U\to \mathcal{X}$ ($U$ a representable stack) there ...

**14**

votes

**3**answers

1k views

### Stacks in modern number theory/arithmetic geometry

Stacks, of varying kinds, appear in algebraic geometry whenever we have moduli problems, most famously the stacks of (marked) curves. But these seem to be to be very geometric in motivation, so I was ...

**3**

votes

**0**answers

188 views

### Cohomology of line bundles on smooth projective toric Deligne-Mumford stacks

Let $\mathcal{X}$ be a smooth projective toric Deligne-Mumford stack with coarse moduli scheme $\pi\colon \mathcal{X}\rightarrow X.$
Let $[D]$ be a Cartier divisor on $\mathcal{X}$ such that ...

**5**

votes

**2**answers

276 views

### how to construct a $C^\infty$ stack from a holomorphic stack

Given a complex manifold, you can `weaken' its structure to give a smooth manifold. Is there an analogous construction that constructs a stack over the category of smooth manifolds from a stack over ...

**5**

votes

**0**answers

176 views

### Does every stack with a connection admit an atlas with a connection?

Dear all,
Let $S$ be a scheme in characteristic $0$,
and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme ...

**4**

votes

**2**answers

564 views

### Reference request: an algebraic stack whose closed points have no automorphisms is an algebraic space

The question is stated in the title. I think BCnrd states in a comment here
Is every (Artin/DM) algebraic stack fibered in sets an algebraic space?
that while the answer is not found in Laumon & ...

**6**

votes

**1**answer

344 views

### Why are sheaves not preserved in this case?

Suppose that $C$ is a Grothendieck site, and $\mathscr{X}$ is a stack over $C$ (which is NOT equivalent to a sheaf). Let $$\pi_{\mathscr{X}}:\int_{C} \mathscr{X}\to C$$ denote the associated fibered ...

**7**

votes

**0**answers

334 views

### Quasi-coherent sheaves on $M_{FG}$ and the exact functor theorem

I'm struggling with these notes, and one of the things I don't really understand is the following. The notes consider the stack $M_{FG}$ of formal groups; this is the stack associated to the prestack ...

**7**

votes

**0**answers

178 views

### Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...

**2**

votes

**0**answers

356 views

### what's the coherent sheaf and sheaf cohomology on Deligne-Mumford stack ?

hello, everyone, I am reading Deligne-Mumford's paper, and the section 4 of this paper, they given some properties of Deligne-Mumford stack without proof. I can't understand the coherent sheaf and ...

**2**

votes

**0**answers

290 views

### Is the category of quasi-coherent sheaves on a concentrated stack locally finitely presentable?

Let's call an Artin stack $X$ concentrated iff it is quasi-compact and quasi-separated (the latter usually being included in the definition of an Artin stack). The category of quasi-coherent sheaves ...

**2**

votes

**1**answer

271 views

### Classification of principal G-bundles over a differentiable stack

According to "Notes on differentiable stacks" by Heinloth,
the classifying stack will also classify $G$-bundles on stacks. (Remark 2.13)
(Here $G$ is a Lie group.) My questions are:
(1) What ...

**10**

votes

**0**answers

298 views

### Atiyah-Bott from Beauville-Laszlo

This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...

**6**

votes

**1**answer

427 views

### To what extent does Poincare duality hold on moduli stacks?

Poincare duality gives us, for a smooth orientable $n$-manifold, an isomorphism $H^k(M) \to H_{n-k}(M)$ given by $\gamma \mapsto \gamma \frown [M]$ where $[M]$ is the fundamental class of the ...

**4**

votes

**0**answers

171 views

### Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology.
...

**7**

votes

**3**answers

573 views

### Reference for the derived category of $X$, $[X/G]$ and $X/G$

I'm trying to learn about derived categories of algebraic stacks. To be honest, as of now, I don't need anything fancy nor deep. In my setup I have a scheme $X$ (well, a smooth and projective variety ...

**2**

votes

**1**answer

501 views

### Does Hom(X,Spec R) = Hom(R, O(X)) hold for algebraic stacks?

For an affine scheme $Spec R$ and a scheme $X$ we know that $Hom(X,Spec R) = Hom(R,\Gamma(X,\mathcal{O}_X))$.
Does it still hold when we replace $X$ with an algebraic stack?
My guess is yes as ...

**0**

votes

**0**answers

141 views

### Terminology for a partition of unity for an étale groupoid

I would like to ask about terminology for a partition of unity for an étale groupoid.
I am reading the lecture notes "Cohomology of Stacks" by Prof. Behrend. A partition of unity is defined in ...

**5**

votes

**1**answer

1k views

### surjective morphism of schemes or epimorphism of sheaves?

I have a technical question coming from reading Toen's master course on stacks.
If we view schemes as locally ringed spaces then there we could define a morphism to be surjective if it the underlying ...

**3**

votes

**0**answers

202 views

### properness of stack

Hi,
assume we have an algebraic stack $A$ over $Sch(\mathbb{Z})$ which is quasi-compact and with separated diagonal. Assume that I have a stack $B$ which is obtained by rigidifying $A$ by a subgroup ...

**7**

votes

**2**answers

824 views

### Are non-algebraic stacks useful in algebraic geometry?

The title is a bit vague. What I want to know is if there is any geometric application of non-algebraic stacks. I know e.g. the category of coherent sheaves is an example. But I want to ask if people ...

**3**

votes

**0**answers

186 views

### Derived pullback of quasi-coherent complexes between algebraic stacks

Let $X$ and $Y$ be Artin algebraic stacks, and $f:X\to Y$ a morphism. I am interested in a pullback morphism
$Lf^\ast : D^-_{qcoh}(Y)\to D^-_{qcoh}(X)$.
In his paper Sheaves on Artin stacks, ...

**2**

votes

**1**answer

268 views

### can one define the pullback between stacks of coherent sheaves for non-flat morphisms?

Consider a morphism $f: Y \to X$ between two varieties and consider the stacks parametrizing coherent sheaves on them $\mathcal{M}_X, \mathcal{M}_Y$.
Does one have for free an induced pullback ...

**3**

votes

**2**answers

359 views

### Algebraic stacks as (etale) groupoid alg.spaces/schemes

Assume given an algebraic stack() $\mathcal{X}$ with presentation $X_0 \to \mathcal{X}$, and the corresponding groupoid $X = (X_0\times_\mathcal{X} X_0 \rightrightarrows X_0)$ in algebraic spaces (or ...

**5**

votes

**1**answer

431 views

### Query on comment in Deligne-Mumford (1969)

In Deligne and Mumford's famous 1969 paper, The irreducibility of the space of curves of given genus, definition 4.6 (that of algebraic stacks) has the following footnote:
This definition is the ...

**1**

vote

**2**answers

413 views

### Reference for moduli stack of principal G-bundles?

Hi,
I'm looking for a reference for the fact that the moduli stack $M_{GL_r,X}$ of $GL_r$-bundles over $X$ is an algebraic (Artin) stack. I'm only interested in the case where $X$ is a curve (for ...

**4**

votes

**0**answers

344 views

### Stack cohomology vs cohomology of the quotient

Let $X$ be an affine scheme over an algebraically closed field $K$ of positive characteristic, $G$ a finite group acting on $X$, $[X/G]$ the quotient stack and
$p:[X/G]\to X/G$ the natural map of ...

**5**

votes

**2**answers

398 views

### (Sh,Sh-map) represents the category of sheaves on a stack.

I'm trying to understand the following theorem, but I don't think I'm reading it correctly.
Let $(\mathcal{C},J)$ be a site (with a subcanonical topology). Write $\mathcal{C}/X$ for the groupoid of ...

**15**

votes

**3**answers

2k views

### Is every algebraic space the quotient of a scheme by a finite group?

In this MO question it is claimed that a catchphrase for "algebraic spaces" could be that they are "the result of looking at the orbit space of the action of a finite group on a scheme".
Hence my ...

**15**

votes

**2**answers

2k views

### The different types of stacks

This question is very naive, but it will help me a lot in getting in to the vast literature about stacks.
The question is this: there are many kinds of stacks (algebraic spaces, DM, algebraic stacks, ...

**8**

votes

**4**answers

703 views

### Adjunctions form a stack

Let $C$ be a base category, $F,G$ be two categories fibered over $C$ and $F \to G$ be a morphism. The following criterion is used very often: If all the fiber functors $F_U \to G_U$ ($U \in C$) are ...