The stacks tag has no wiki summary.

**9**

votes

**0**answers

194 views

### Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague.
Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...

**3**

votes

**0**answers

118 views

### Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$.
In HigherAlgebra, the derived category ...

**0**

votes

**0**answers

44 views

### Embedding dimension: local finiteness & intuition for more general spaces

Can every complex analytic space be covered by Stein spaces of finite embedding dimension?
I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is
$$
...

**2**

votes

**0**answers

52 views

### Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...

**1**

vote

**1**answer

174 views

### Moduli of curves in characteristic zero

Let $K$ be a field of characteristic zero, and let $\overline{K}$ be its algebraic closure. Let $\overline{M}_{g,n}(K)$ and $\overline{M}_{g,n}(\overline{K})$ be the coarse moduli spaces parametrizing ...

**3**

votes

**0**answers

144 views

### Is a stack that is finite etale over an algebraic stack also algebraic?

Here by "algebraic stack" I mean a stack in groupoids over $(\textbf{Sch}/S)_\text{etale}$ (for some scheme $S$) whose diagonal morphism is representable (by schemes), and which is covered by a ...

**3**

votes

**0**answers

44 views

### Representable torsors on geometric groupoid

Let $(C,\tau,\mathbb P)$ be a geometric context, as defined by Toen and Vezzosi. Let $(X_1\rightrightarrows X_0)$ be a groupoid object in $C$ such that the source and target morphisms are in $\mathbb ...

**0**

votes

**1**answer

94 views

### étalé space of sheaves on a differentiable stack

If $F$ is a sheaf on a topological space $X$, the well-known étalé space
contruction gives rise to a bundle $\Gamma F$ on $X$ such that $F$ is
isomorphic to the sheaf of sections of $\Gamma F$.
On ...

**3**

votes

**1**answer

113 views

### Deforming curves to other curves over the field of rational numbers

Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two.
If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...

**7**

votes

**2**answers

371 views

### Is a Deligne-Mumford curve defined over Qbar if and only if its coarse moduli space is

Let $\mathcal X$ be a smooth proper finite type Deligne-Mumford stack over $\mathbb C$ that is generically a scheme. Let $X$ be its coarse moduli space.
If $\mathcal X$ can be defined over ...

**4**

votes

**1**answer

119 views

### Associating a principal bundle to a torsor

in arXiv:math/0212266, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $X =\bigcup \{ U \in ...

**3**

votes

**1**answer

203 views

### Quasi-coherent sheaves on classifying stacks

Let $G$ be a smooth group scheme over some base $S$. Then we have the $S$-stack $BG$ whose $T$-points are the $G$-torsors on $T$. Under which conditions do we have $\mathsf{Qcoh}(BG) \simeq ...

**2**

votes

**0**answers

66 views

### Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of ``nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite?
By a "nice" stack I mean a smooth finite ...

**3**

votes

**0**answers

173 views

### Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...

**11**

votes

**1**answer

529 views

### Several simple questions on the geometry of higher stacks

I'm trying to understand definition/work out some examples. So, there are some simple questions about higher stacks.
For the simplicity assume that we are working with higher DM (Deligne-Mumford) ...

**4**

votes

**2**answers

279 views

### Understanding the definition of the quotient stack $[X/G]$

I'm trying to understand the definition of the quotient stack $[X/G]$ as defined in Frank Neumann's Algebraic Stacks and Moduli of Vector Bundles.
Explicitly, let $G$ be an affine smooth group ...

**2**

votes

**1**answer

183 views

### Grothendieck duality for stacks

Let $\mathcal{X}$ be a smooth, proper and separated Deligne-Mumford stack and let $\pi:\mathcal{X}\rightarrow X$ be its coarse moduli space. Does Grothendieck duality hold for the morphism $\pi$ ?
In ...

**2**

votes

**1**answer

169 views

### Algebraic stacks: limit preserving versus locally of finite presentation

I'm wondering what the precise relationship is between an algebraic stack being locally of finite presentation and being limit preserving. Under some mild hypotheses on the diagonal (in force ...

**0**

votes

**1**answer

74 views

### Groupoid as a 2-coequaliser

Let $G=(G_1, G_0, s, t, u, i,\circ)$ be a groupoid, where $s, t$ are source and target maps, $i$ is the inverse, $u$ is the unit, and $\circ$ is the composition.
Denote $\underline{G_1}, ...

**6**

votes

**1**answer

468 views

### Is “stackiness” transitive? (and a couple other basic questions about stacks)

Say, $B$ is a category fibered in groupoids over some category $C$, and $A$ is a category fibered in groupoids over $B$.
Suppose $A$ is a stack (over whatever site) over $B$, and $B$ is a stack over ...

**3**

votes

**1**answer

281 views

### The fibre product of two quotient stacks

My question is to know whether the fibre product of $[X/G]$ by $[Y/H]$ over a base scheme is $S$ is $[X \times_S Y/G \times H]$? And if yes, do you have any reference for it?
Thank you.

**0**

votes

**0**answers

126 views

### Weighted projective space, its varieties, the universal hyperplane section description and the Segre embedding

We will view here the weighted projective space as an orbifold.
Let $S=k[x_0,...,x_n]$ be a positively graded ring (I don't assume $S$ to be finitely generated in degree 1). To the grading ...

**5**

votes

**1**answer

190 views

### Stacks over diffeologies

Konrad Waldorf shows in his paper one may realize a Grothendieck topology on the category of diffeological spaces. Is there any work exploring stacks over the category of diffeologies?

**7**

votes

**2**answers

492 views

### $Pic$ of the stack of elliptic curves vs. $Pic$ of the coarse space

There's a natural map $f:\overline{\mathcal{M}}_{1,1}\to \overline{M}_{1,1}\cong \mathbb{P}^1$ from the stack of elliptic curves to the coarse space. Both spaces have $Pic=\mathbb{Z}$ hence ...

**2**

votes

**1**answer

142 views

### picard group of moduli of elliptic r-prym curves

Let $\overline{\mathcal{M}}_{1,1}$ be the DM compactification of the moduli stack of elliptic curves. Its Picard group is $\mathbb{Z}$. Let us now consider stack of $r$-prym curves ...

**6**

votes

**1**answer

329 views

### fpqc stackification

I am reading Lurie's Tannakian paper (http://www.math.harvard.edu/~lurie/papers/Tannaka.pdf) and I am confused about one point.
At the end of page 3 he defines a stack-hom in any topos, which is ...

**4**

votes

**0**answers

201 views

### Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski

Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...

**4**

votes

**1**answer

237 views

### Do Deligne-Mumford curves also have rational functions

If $X$ is a curve over a field of characteristic zero, then $X$ has a rational function, i.e., a finite morphism to the projective line.
Question. Suppose that $X$ is a Deligne-Mumford (or just ...

**3**

votes

**0**answers

242 views

### On the local structure of Deligne-Mumford stacks

Is it true that for any DM stack $\mathcal{X}$ (quasicompact, separated, of finite type over a field) there is a Zariski covering $\mathcal{U}_i \to \mathcal{X}$ by open substacks, such that for all ...

**5**

votes

**1**answer

109 views

### Extend a representation of a stabilizer group on a smooth DM stack to a locally free sheaf?

Consider a smooth tame Deligne-Mumford stack $[Y/G]$, a point $[p]$ on it with stabilizer group $H$. Is it true that every representation of $H$ can be extended to a locally free sheaf on $[Y/G]$?
...

**2**

votes

**1**answer

125 views

### Tensor Powers of 1-Dimensional Representations of a Finite Group

Let $G$ be a finite group acting on a commutative ring $R$ via ring maps. In doubt, one can assume $R$ to be noetherian or regular if one wants. Let $P$ be a $1$-dimensional free $R$-module with a ...

**3**

votes

**0**answers

282 views

### Analysis of Eilenberg-MacLane Stacks

In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's ...

**7**

votes

**2**answers

489 views

### Diffeology as a sheaf on the site of smooth manifolds

Souriau's definition of diffeology may be phrased as defining a concrete sheaf on the category $\mathsf{Open}$ of open subsets of Euclidean/coordinate spaces. It seems to me, unless I am missing ...

**1**

vote

**0**answers

143 views

### Zariski's Main Theorem for stacks

Let $X$ be a separated Deligne Mumford stack of finite type over a base field $k$ and $Y$ be a proper Deligne Mumford stack over $k$.
Assume there is a quasifinite, representable, surjective and ...

**3**

votes

**1**answer

308 views

### Pushout schemes/stacks

I would like to know in what generality do we have pushouts for schemes/stacks/derived stacks. More precisely, let $f : X \rightarrow Y$ be a proper flat surjective morphism of schemes of finite type ...

**4**

votes

**1**answer

165 views

### Stabilizer Action on vector bundle on a stack

Suppose you have a Deligne Mumford stack $X$ and a geometric point $x:Spec{k}\rightarrow X$ with stabilizer group $Stab(x)$.Let $F$ be a locally free sheaf on $X$.
How is the action of $Stab(x)$ on ...

**6**

votes

**2**answers

362 views

### Reference for Weighted Projective Stacks

For a sequence of positive integers $a_0, \ldots, a_n$ and a ring $R$, there is a graded ring $R[x_0,\ldots, x_n]$ where $x_i$ is in degree $a_i$. There is a corresponding $\mathbb{G}_m$-action on ...

**3**

votes

**0**answers

126 views

### Where does the ''hyper'' go?

There is a model structure on the category $Grpd$ of groupoids such that weak equivalences are equivalences of categories, cofibrations are the injections on objects (see nlab) and there is a Quillen ...

**8**

votes

**1**answer

322 views

### What is the difference between internal presheaves and presheaves on a total space?

Suppose that $\mathbb{C}$ is a category with finite limits and that $\mathcal{D}$ is a category internal to $\mathbb{C}$. We can also represent $\mathcal{D}$ as a fibration $\mathbb{D}\to\mathbb{C}$.
...

**3**

votes

**0**answers

146 views

### Chow ring of a $\mu_2$-gerbe

Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$?
(I assume they become ...

**9**

votes

**1**answer

420 views

### Why is there no stack of $\ell$-adic sheaves on a curve?

One of the main players in the categorical geometric langlands correspondence is the moduli stack of rank n integrable connections on a complex curve. The reason for considering such objects is that ...

**1**

vote

**1**answer

194 views

### Smooth map to the stack of G-bundles

Let $G$ a semisimple group and $B$ a Borel subgroup.
We denote by $Bun_{G}$ the stack of G-bundles.
Is it true that a certain open subset $Bun_{B,r}$ maps smoothly to $Bun_{G}$?
My question comes ...

**5**

votes

**0**answers

97 views

### KK-witnesses of Gysin maps between differentiable stacks

In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...

**3**

votes

**1**answer

103 views

### Co-completeness of differential stacks?

I once heard a rumour that various nice categories of stacks were co-complete. Gepner and Henriques, working from the groupoids point of view, give a construction [link] of 2-colimits of topological ...

**2**

votes

**1**answer

224 views

### Rigidification and good moduli space (morphism) in the sense of Alper

Let $\mathcal{X}$ be an Artin stack. In "Abramovich, Graber, Vistoli - Twisted bundles and admissible covers", the authors describe a procedure to rigidify $\mathcal{X}$ by a central subgroup $H$ of ...

**1**

vote

**1**answer

174 views

### Uniqueness of the canonical etale coverings

This is a construction [Definition 6.1] given in the paper D-equivalence and K-equivalence by Kawamata.
Let $X$ be a normal quasiprojective variety such that the canonical divisor $K_X$ is a ...

**1**

vote

**2**answers

474 views

### are moduli stacks deligne-mumford stacks in general

Let M be your favorite moduli stack over the field of complex numbers.
Is it reasonable to expect M to be a Deligne-Mumford stack?
I know this is true for the moduli space of curves of genus g, ...

**3**

votes

**0**answers

81 views

### How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...

**0**

votes

**1**answer

179 views

### universal families and maps to quotient stacks

Suppose I have a certain (contravariant) moduli functor $M:Schemes \to Groupoids$ that is represented by a quotient stack $[X//G]$ where $X$ is a scheme and $G$ a linearly reductive group. Roughly ...

**1**

vote

**1**answer

221 views

### Finite-type Artin Stack over $\mathbb C$

Suppose I have an Artin stack $\mathfrak M$ locally of finite-type over $\mathbb C$ with presentation $M\rightarrow \mathfrak M$. Suppose further that $\mathfrak M$ "represents" (in the stack sense) ...