Questions tagged [algebraic-stacks]
The algebraic-stacks tag has no usage guidance.
237
questions
1
vote
0
answers
99
views
2-shifted 2-form on the classifying stack 𝐵𝐺
Let $G$ be a reductive group. A $2$-shifted $2$-form on the classifying stack $BG$ is by definition a a morphism of quasi-coherent complexes
\begin{equation}
\mathcal O_{BG}\rightarrow (\wedge^2 \...
7
votes
0
answers
186
views
$\mathbb G_{\mathrm{m}}$-gerbes are to (derived) Azumaya algebras as $G$-gerbes are to …?
Let $X$ be a quasicompact quasiseparated scheme over a field $k$. The connection between Azumaya algebras over $X$ and $\mathbb G_{\mathrm{m}}$-gerbes over $X$ is well-known: there exists an injection ...
3
votes
0
answers
95
views
Base change and quotient stacks
Let $X$ be an algebraic space over a scheme $S$, let $G$ be a smooth group scheme over $S$, acting on $X$, and let $T\to S$ be a morphism of schemes. Is it true that there is an isomorphism
$$[X/G]\...
1
vote
0
answers
186
views
In what sense is an orbifold a DM stack?
My advisor mentioned in passing that orbifolds are Deligne-Mumford stacks, and I'd like to know in which sense this is true. The only reference I can find is this article (https://arxiv.org/abs/0806....
1
vote
0
answers
80
views
Representability of blow-up of stacks
Suppose $\mathcal{Z}\subseteq\mathcal{X}$ is a closed immersion of stacks. Is the blow-up morphism $p:Bl_{\mathcal{Z}}(\mathcal{X})\to\mathcal{X}$ representable? More precisely, if $C\to\mathcal{X}$ ...
5
votes
2
answers
319
views
Quotient of a quotient stack: interesting examples?
Let $X$ be a scheme acted on by an algebraic group $G$. Also, let $H$ be an algebraic group acting on the quotient stack $X/G$, for the definition of "act", see Romagny - Group Actions on ...
1
vote
0
answers
84
views
Geometric quotients of DM stacks by group actions
Let $G$ be a finite group acting on a DM stack $X$ and $Y$ the quotient stack. I.e., $Y \to BG$ has fiber $X$. Is there a geometric quotient $X/G$ in some sense? I want automorphism groups of points ...
2
votes
0
answers
128
views
Is there a degeneration formula for Gromov-Witten K-theoretic invariants?
By Gromov-Witten K-theoretic invariants (call them KGW) I mean the invariants defined by Givental and Lee.
I expect the formula expresses the KGW of the generic fiber of a given degeneration in terms ...
5
votes
1
answer
291
views
Square root of a line bundle up to a finite surjective morphism
Given a projective variety $X$ over a field of any characteristic, consider a line bundle $\mathcal{L}$ over $X$.
The existence of a line bundle $\mathcal{L}^\prime$ with an isomorphism ${\mathcal{L}^...
1
vote
1
answer
562
views
Cohomology of quotient stack
Let $X$ be an algebraic variety over $\mathbb{C}$ (the ground field is not important but this makes things easier I think) and $G$ an algebraic group acting over it. Let's say we know that there's a ...
3
votes
2
answers
290
views
Moduli stack of quiver representations
Let $Q$ be a finite quiver. As far as I know there's a great amount of work concerning the so-called quiver varieties one can associate to it. Loosely speaking, these are obtained by taking GIT ...
10
votes
1
answer
320
views
Residue field of point on an algebraic stack
$\DeclareMathOperator{\Spec}{Spec}$ Let $X$ be an algebraic stack.
Is there is a well-defined notion of the residue field of a point $x \in |X|$?
Attempts:
Recall that a point on a stack is an ...
5
votes
0
answers
256
views
Character stack and character variety
Let $\Sigma$ be a Riemann surface of genus $g$. We can consider two different type of objects associated to it parametrising representations of its fundamental groups. On one side we have the ...
3
votes
0
answers
188
views
Artin's "Versal Deformations and Algebraic stacks": Question concerning proof of Theorem 3.3
I have been reading Artin's paper titled "Versal deformations and algebraic stacks" and am a bit confused about a statement he makes in the proof of Theorem 3.3, in the first few lines of pg....
1
vote
0
answers
88
views
Generic stabiliser of moduli space of vector bundles on a curve
Let $C$ be a curve of genus $g >1$. Fix a line bundle $L$ on $C$. Let $Bun_{n,L}$ be the moduli stack of vector bundles of rank $n$ on $C$ with determinant isomorphic to $L$. I have a few questions ...
2
votes
0
answers
87
views
Criterion for relative Deligne-Mumfordness?
A quotient stack $X/G$ of a scheme by a smooth algebraic group is Deligne-Mumford if and only if (approximately) the stabiliser groups of points are finite (for the precise statement see corollary 8.4....
2
votes
1
answer
276
views
Finiteness result for higher direct image of $\ell$-adic sheaves
Let $f:X\to Y$ be a representable map of finite type (or is finite dimensional enough?) Artin stacks, whose fibres (which are schemes) have dimension at most $n$. Then is it true that $R^qf_*\mathbf{...
2
votes
1
answer
277
views
Chevalley complex and $\text{BG}$
For a long time I've been under the impression that the Chevalley complex $\text{CE}(\mathfrak{g})$ of a semisimple (maybe can weaken this) Lie algebra $\mathfrak{g}$ can be extracted from the ...
4
votes
0
answers
136
views
Measuring non-separatedness of algebraic stacks
Let $X$ be an algebraic stack of finite type over a field $k$, and let $U\subset X$ be an open dense separated sub-scheme of $X$. Let $D=\text{Spec}~ k[[t]], D^*=\text{Spec}~ k((t))$.
Fix a map $f:D^*\...
6
votes
1
answer
328
views
Irreducible components of an algebraic stack
Let $\mathcal{X}$ be an algebraic stack of finite type over a (separably closed) field $ k$. Let's say that $\mathcal{X}$ has finite dimension $d \in \mathbb{Z}$. Is it still true that the number of ...
5
votes
0
answers
153
views
Stacky points detect nilpotent cohomology
Take a finite type scheme $X/\mathbf{C}$ acted on by a reductive group $G$. Then $X/G$ is an Artin stack. Let $\alpha\in H^*(X/G)$ be a rational cohomology class on it.
Question: Is it true that $\...
3
votes
1
answer
256
views
Explicit natural correspondence between cusps of $X(N)$ and isomorphism classes of level $N$ structures on Tate($q^N$)
In Katz' paper Antwerp III, section 1.4 (Ka-14) one reads (we assume $n \geq 3$ integer):
''The scheme $\overline{M}_n - M_n$" over $\mathbb{Z}[1/n]$ is finite and étale, and over $\mathbb{Z}[1/n,...
2
votes
0
answers
232
views
Relation between stacky curves and "M-curves"
A tame stacky curve over a field $k$ is a geometrically connected proper smooth DM stack of dimension 1 which has a dense open substack which is a scheme, and whose automorphism group of each ...
2
votes
0
answers
163
views
The classifying stack of $\operatorname{PGL}(2)$ and the moduli space of genus zero curves
$\DeclareMathOperator\PGL{PGL}$The classifying stack of $\PGL(2)$ is the stack quotient $[\operatorname{Spec} k/\PGL(2)]$ where $\PGL(2)$ acts trivially on $\operatorname{Spec} k$.
Since $[\...
3
votes
0
answers
101
views
Automorphism of a stack morphism
Let $X$ be an algebraic stack and let $f: S \to X$ be a smooth covering of $X$ by a scheme $S$.
Motivation: Forgetting about stacks for a moment and going back to covering spaces: Given a covering map ...
8
votes
2
answers
674
views
Does inclusion from n-stacks into (n+1)-stacks preserve the sheaf condition?
I'm going to describe two situations that seem to contradict each other, and I'm interested to know precisely what's wrong with this reasoning.
Let $M$ be a manifold, and consider the presheaf $C^*(-,...
2
votes
0
answers
200
views
Generalizations of Artin–Verdier duality?
Constructible étale abelian sheafs on $Spec\ O_\mathbb K$, for number fields $\mathbb K$, satisfy Artin-Verdier duality. Are there known any algebraic schemes or algebraic stacks, other than $Spec\ O_\...
7
votes
0
answers
196
views
Moduli stacks and representability of diagonal by schemes
The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts.
I am learning ...
4
votes
0
answers
83
views
Classifying twists for a general moduli problem
Suppose $\mathfrak X$ is a (Deligne-Mumford/Artin/...) stack and denote by $|\mathfrak X(k)|$ the set of isomorphism classes of it's $k$-valued point. Can we say something in general about the fibers ...
5
votes
1
answer
416
views
About an argument in Olsson's book
The following picture is from Algebraic spaces and stacks (p.54) by Martin Olsson.
I don't understand how to conclude that $\alpha$ is induced by a nonzero class in the end.
It seems that there might ...
6
votes
2
answers
231
views
Relation between finite dimensional representations of an affine group scheme and quasicoherent sheaves on the classifying stack
Let $G$ be an affine group scheme over a field $k$ of characteristic zero.
I understand that when $G$ is algebraic there is an equivalence between the category $\text{Rep}(G)$ of (rational) ...
2
votes
0
answers
194
views
Are universal geometric equivalences of DM stacks affine?
Let $f:X\to Y$ be a map of Deligne-Mumford stacks. Let's say that the map $f$ is a geometric equivalence if the induced map on small étale topoi is a geometric equivalence. Moreover, let's say that ...
4
votes
1
answer
318
views
A de Rham space for meromorphic connections?
To any space $X$ you can associate its de Rham space $X_{dR}$. Vector bundles on $X_{dR}$ are the same thing as vector bundles on $X$ with a flat connection.
Can anything like this be said for ...
1
vote
0
answers
209
views
Is there an intrinsic Gauss map?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Gr{Gr}$This may all be well known, too vague, or stupid; my apologies.
The Gauss map is defined by embedding your $k$-dimensional smooth scheme/...
3
votes
0
answers
182
views
Sheaf $\operatorname{Isom}(x,y)$ isomorphic to fibered product $U \times_{(x,y),X \times X, \Delta} X$
$\DeclareMathOperator\Mor{Mor}\DeclareMathOperator\Isom{Isom}$Let $S$ be a scheme and $C$ be the category $(Sch/S)$. Let moreover $p:X \to C$ be an algebraic stack over $C$. Consider an arbitrary ...
2
votes
0
answers
64
views
Map from the stack of coherent sheaves on a curve to the Grothendieck group
Let $X$ be a smooth, projective curve. We let $Coh(X)$ be the stack of coherent sheaves on $X$. Its Grothendieck group is $Pic(X)\times\mathbf{Z}$. Is the map
$$
Coh(X)\rightarrow Pic(X)\times \mathbf{...
4
votes
1
answer
242
views
Do quotient stacks help classify the orbits of group actions on varieties?
I am trying to understand algebraic stacks and I have a newbie question. Let $X$ be an affine variety over an algebraically closed field to keep things simple and let $G$ be a reductive group acting ...
5
votes
1
answer
311
views
Construction of an atlas for the moduli stack $\mathcal{Bun}_X^{n,d}$ in F. Neumann's 'Algebraic Stacks and Moduli of Vector Bundles'
I'm reading Frank Neumann's "Algebraic Stacks and Moduli of
Vector Bundles" and have some problems to understand
a construction from the proof of:
Theorem 2.67. (page 81) The moduli stack $...
12
votes
0
answers
235
views
Do connected algebraic stacks have a smooth cover by a connected scheme?
An algebraic stack $X$ has an induced topological space $|X|$ given by equivalence classes of fields mapping to $X$ as outlined in the stacks project. If $|X|$ is connected, does that imply there ...
4
votes
1
answer
371
views
Are universally submersive morphisms of stacks universal descent morphisms for relative étale stacks?
Recall that a map of schemes, algebraic spaces, stacks, etc is called submersive if the associated map on underlying topological spaces is a quotient map. Recall moreover that a map is called ...
3
votes
0
answers
170
views
$2$-vector spaces and algebraic $2$-stacks
I am thinking about higher Artin stacks in the sense of Simpson, concretely I would like to calculate the dimension and compare these two cases:
$\mathfrak{X}_{1}=$ Higher linear stack classifying (...
8
votes
0
answers
159
views
Closed immersion → Pro-open immersion factorization for residual gerbes
Let $X$ be a quasi-separated algebraic stack. Then it is a theorem of Rydh that every point $x$ in $X$ admits a residual gerbe. More or less, the construction proceeds by first taking the closure ...
5
votes
1
answer
334
views
When quotient stacks (for nonsmooth group) are algebraic and related questions
Let $k$ be a field. Consider a group $k$-scheme $G$ and let $X$ be a $k$-scheme equipped with an action of $G$. Then one can define the quotient stack $[X/G]$. Objects of $[X/G]$ over $k$-scheme $T$ ...
5
votes
0
answers
208
views
Čech nerve $C(U)$ corresponds to $BG$ in same manner as a hypercover $\mathcal{H}(U)$ to
We can via the bar construction canonically associate to a monoid $A$ the nerve $N(B A)$, a simplicial set with $N(\mathbf{B}A)_k := \times^{k+1} A $ and canonical face maps and degeneracy maps ...
2
votes
1
answer
324
views
K/G-theory of affine bundles
Setting: $f : C \to D$ is a morphism of Artin stacks over $X$ which is a torsor for a vector bundle $T \to X$: étale-locally in $X$, we have $C \simeq D \times_X T$. I want to conclude that $f^*: G(D)...
6
votes
1
answer
311
views
Zariski's main theorem for non-representable morphisms?
Let $f:\mathcal{X}\to \mathcal{Y}$ be a separated quasi-finite map of qcqs Deligne-Mumford stacks. Is there a version of Zariski's main theorem that makes sense in this context? Rydh proved a ...
2
votes
0
answers
251
views
Dimension of the moduli stack of vector bundles over a curve
Let $Vect_{n}(C)$ the moduli stack of vector bundles $V$ of rank $n$ over a smooth curve $C$ of genus $g$. It is well known that $Vect_{n}(C)$ is a smooth stack of dimension $\dim(H^{0}(C,End(V)))-\...
4
votes
0
answers
167
views
Gysin map and $B\mathbf{G}_m$, confusion
Write $\text{Sh}(X)$ for the triangulated/stable $\infty$ category of $\ell$-adic sheaves on $X$, and $k\in\text{Sh}(X)$ fo the unit object. In playing around with $\text{Sh}(B\mathbf{G}_m)$ I've ...
8
votes
0
answers
373
views
Geometric stacks, groupoids and étendues
If $(C, \tau)$ is a site with pullbacks and $\tau$ subcanonical, it is well known that these things are essentially equivalent:
Groupoids $s,t: U_1 \to U_0$ where $s,t$ are covering for the $\tau$-...
3
votes
0
answers
168
views
Dimension of derived Artin stacks and perfect complexes
I am interested in the concept of dimension of derived and $n$-Artin stacks. Take for example the definition 4.10 of From HAG to DAG: derived moduli stacks. in which they define the dimension of a ...