The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
388 views

Relation between $BG$ in topology and in algebraic geometry

This could as well have been asked in the comments to this question, but I prefer to open a new one for the sake of clarity. Say $G$ is a reductive group over the complex numbers, with compact real ...
6
votes
3answers
378 views

Gerbes and Stacks

The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...
10
votes
0answers
235 views

Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...
4
votes
0answers
93 views

Nowhere vanishing section of vector bundles over varieties as connectivity of morphism of stacks

The following is, amongst others, a Hartshorne exercise: Let $V$ be a $k$-variety of dimension $n$ and $\mathcal{E}$ a vector bundle of rank greater than $n$, then, generically, a generating section ...
8
votes
2answers
410 views

Finite etale atlas for Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$. Does there exist a finite etale morphism $Y\to X$ with $Y$ a scheme? What if $X$ is an algebraic space ...
4
votes
2answers
158 views

Map between stacks and automorphism groups

I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...
2
votes
0answers
75 views

quotient a scheme by a stratified vector bundle

Let $k$ be a field. Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, ...
1
vote
0answers
202 views

Is the upper half plane an algebraic stack?

Here by algebraic stack I mean an algebraic stack over the etale site $\textbf{Sch}/\mathbb{C}$. So I've read from various nonrigorous sources that the upper half plane $\mathcal{H}$ is a fine moduli ...
5
votes
0answers
100 views

Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind. Let $X$ be a smooth quasi-projective geometrically ...
11
votes
2answers
524 views

The quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$

Consider the affine space $\mathbb{A}^n$ (over some base scheme) with the usual $\mathrm{GL}_n$-action. What does the quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$ classify? If $n=1$, then we get ...
4
votes
1answer
110 views

Question regarding 2-mathematics: Can you stackify a 2-functor without prestackifying it first?

Let $C$ be a site and $CAT$ the 2-category of categories. Given a contravariant 2-functor $A:C\rightarrow CAT$, we can of course consider the associated stack. This is done by first considering the ...
0
votes
0answers
78 views

How can information about morphisms between modular curves be read from the morphism of their corresponding stacks?

$\newcommand{\yY}{\mathcal{Y}}$ $\newcommand{\PSL}{\text{PSL}}$ $\newcommand{\SL}{\text{SL}}$ $\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\mM}{\mathcal{M}}$ Let $Y(1)$ ...
1
vote
0answers
107 views

Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and $$ X_n=\underbrace{ X\times_S ...
4
votes
1answer
186 views

Pulling back quasi-coherent sheaves from a quotient stack

In a problem I am trying to solve, the following situation occurs. $X$ is a smooth variety and $G$ is a reductive group acting transitively on $X$. We have the stack $X/G$ and a morphism $\pi : X \to ...
2
votes
0answers
90 views

Is the cotangent complexes of groupoids bounded above by degree $1$?

Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of ...
9
votes
0answers
232 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 ...
5
votes
0answers
150 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
0answers
61 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
0answers
62 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 ...
2
votes
1answer
182 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
0answers
153 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
0answers
47 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
1answer
101 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
1answer
119 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
2answers
385 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
1answer
132 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
1answer
212 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
0answers
73 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
0answers
181 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
1answer
552 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) ...
5
votes
2answers
377 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
1answer
196 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
1answer
172 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
1answer
75 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
1answer
471 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
1answer
299 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
0answers
143 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
1answer
195 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
2answers
500 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
1answer
149 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
1answer
335 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
0answers
213 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
1answer
241 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
0answers
246 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
1answer
111 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
1answer
126 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
0answers
302 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
2answers
520 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
0answers
152 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
1answer
340 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 ...