As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [algebraic-stacks]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
74 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 ...
user837898's user avatar
0 votes
0 answers
112 views

Cartesian square in the category of Algebraic stacks

Suppose we have a commutative diagram of Artin stacks $ \newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} \newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\ \ }\...
S.D.'s user avatar
  • 482
0 votes
0 answers
118 views

Topological property of an algebraic stack and its presentation

I started to learn algebraic stacks this January. I found there are several properties of algebraic stacks which are defined in terms of their underlying topological spaces, for example, connectedness,...
user837898's user avatar
1 vote
0 answers
139 views

Moduli of morphisms between varieties

Let $\mathcal{M}, \mathcal{N}$ be two "well-behaved" (i.e. representable by an algebraic stack parametrising flat, proper, surjective, finitely presented morphisms with geometric fibres ...
Matthias's user avatar
  • 113
2 votes
0 answers
107 views

Closed embedding into weighted projective stack/space

Let $ Z $ be a proper or even, projective scheme. I have two related questions. (everything is over complex numbers) (1) What is a criteria for a map $ \phi: Z \rightarrow \left[ \mathbb{A}^{n+1} - (0)...
Cranium Clamp's user avatar
3 votes
0 answers
100 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 (...
Pulcinella's user avatar
  • 5,112
8 votes
2 answers
181 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 ...
RandomMathUser's user avatar
6 votes
0 answers
178 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 (...
Daniel Loughran's user avatar
2 votes
0 answers
91 views

Explicit computation of inertia stacks

I am learning algebraic stacks myself with some reference recommended by my friends. I know from here Section 6.1 that an explicit description of the fibre product of stacks $\mathfrak{X}\times_\...
user837898's user avatar
5 votes
1 answer
237 views

How the automorphism group of an elliptic curve acts at the localization of the stack $\mathcal{M}_{1, 1, k}$ at the corresponding point

I am studying the enlightening article "The Picard Group of $\mathcal{M}_{1, 1, S}$", written by Fulton and Olsson, but I have some problems with a proof. Setting Let $\mathcal{M}_{1, 1, k}$ ...
PIELEO13's user avatar
8 votes
2 answers
264 views

Smallest atlas for algebraic stack

Let $X$ be an algebraic stack of finite type over a field. Is there an intrinsic way to calculate the minimum of the dimensions of all atlases of $X$? By intrinsic here I mean using constructions such ...
curiouser's user avatar
5 votes
0 answers
140 views

Is $\operatorname{Rep}(G,\operatorname{SL}_2)$ representable by an algebraic space?

Let $G$ be a finite group. Consider the category of rigid analytic spaces over $\operatorname{Spf}\mathbb{Q}_p$, and let $\operatorname{Rep}(G, \operatorname{SL}_2)$ be the fibred category above it, ...
kindasorta's user avatar
2 votes
0 answers
60 views

a connected geometrically unibranch algebraic stack of finite type over a field is irreducible

Let $f:X\to \mathfrak{X}$ be a smooth presentation of geometrically unibranch connected algebraic stack by a scheme, which is geometrically unibranch since being geom. unibranch is local in smooth ...
user837898's user avatar
1 vote
0 answers
140 views

Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology?

I need the reference to a detailed proof the following fact. Let $g\geq 2$ be an integer. Let $\mathcal M^{ss}_g: Sch\rightarrow Groupoids$ be the prestack which sends a scheme $T$ to the groupoid of ...
S.D.'s user avatar
  • 482
1 vote
0 answers
135 views

Quotient stack is an algebraic space when $G$ is finite and acts freely

I have been following Jarod Alper's lecture series on YouTube on Stacks https://youtube.com/playlist?list=PLhFI5R_xInjdhtWuhgYlA8NZGXO-unnl4 From what I understand - If a smooth affine group scheme $...
angry_math_person's user avatar
1 vote
0 answers
278 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 ...
Yuhang Chen's user avatar
  • 1,099
2 votes
1 answer
254 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, ...
Yuhang Chen's user avatar
  • 1,099
1 vote
1 answer
234 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 ...
Yuhang Chen's user avatar
  • 1,099
1 vote
0 answers
153 views

When is a quotient stack of finite type?

Let $k$ be a field. Let $X$ be a scheme over $k.$ Let $G$ be an affine smooth group scheme over $k$ acting on $X.$ Suppose $X$ is of finite type over $k.$ Does this guarantee that the quotient stack $[...
Yuhang Chen's user avatar
  • 1,099
1 vote
1 answer
240 views

Birational morphisms from DM stacks to their coarse moduli spaces

Let $X$ be an integral scheme over a field. Let $G$ be a finite group acting on $X$ faithfully. Assume the quotient stack $[X/G]$ is separated (e.g., when $G$ acts on $X$ properly). Then $[X/G]$ is a ...
Yuhang Chen's user avatar
  • 1,099
4 votes
1 answer
277 views

Questions about root stacks

Let $\cal X$ be a DM stack and ${\cal D}\hookrightarrow{\cal X}$ an effective Cartier divisor on it. Suppose that $n$ is a positive integer invertible in ${\cal X}$. Let $\sqrt[n]{{\cal D}}\to{\cal X}$...
user116681's user avatar
5 votes
0 answers
192 views

Cohomology of coherent sheaves on Deligne Mumford stacks

Suppose that $\cal X$ is tame Deligne Mumford stack with generic trivial inertia. Let $X$ be its muduli space and $f:{\cal X}\to X$ the projection. Let $\cal F$ be a coherent sheaf on $\cal X$. Is it ...
user116681's user avatar
11 votes
0 answers
336 views

Moduli stacks of algebraic surfaces—obstructions to existence?

The moduli stack $\mathcal{M}_g$ of genus $g$ curves is one of the deepest objects in mathematics, so of course you wonder to what extent you can construct an (Artin?) stack parametrising algebraic ...
Pulcinella's user avatar
  • 5,112
1 vote
0 answers
121 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 \...
S.D.'s user avatar
  • 482
8 votes
0 answers
243 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 ...
W. Rether's user avatar
  • 435
3 votes
0 answers
164 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]\...
Andrés Ibáñez Núñez's user avatar
1 vote
0 answers
317 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....
EJAS's user avatar
  • 181
1 vote
0 answers
95 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}$ ...
Nanjun Yang's user avatar
5 votes
2 answers
435 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 ...
Pulcinella's user avatar
  • 5,112
1 vote
0 answers
96 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 ...
Leo Herr's user avatar
  • 1,004
2 votes
0 answers
142 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 ...
jimmy's user avatar
  • 21
5 votes
1 answer
348 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}^...
user158892's user avatar
1 vote
1 answer
631 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 ...
Tommaso Scognamiglio's user avatar
3 votes
2 answers
364 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 ...
Tommaso Scognamiglio's user avatar
10 votes
1 answer
385 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 ...
Daniel Loughran's user avatar
5 votes
0 answers
282 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 ...
Tommaso Scognamiglio's user avatar
3 votes
0 answers
205 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....
user's user avatar
  • 709
1 vote
0 answers
91 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 ...
iron feliks's user avatar
2 votes
0 answers
93 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....
Pulcinella's user avatar
  • 5,112
2 votes
1 answer
316 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{...
Pulcinella's user avatar
  • 5,112
2 votes
1 answer
313 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 ...
Pulcinella's user avatar
  • 5,112
4 votes
0 answers
137 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^*\...
Alexander Braverman's user avatar
6 votes
1 answer
401 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 ...
Tommaso Scognamiglio's user avatar
5 votes
0 answers
156 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 $\...
Pulcinella's user avatar
  • 5,112
3 votes
1 answer
304 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,...
FelixBB's user avatar
  • 55
4 votes
1 answer
452 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 ...
k.j.'s user avatar
  • 1,444
3 votes
0 answers
174 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 $[\...
user's user avatar
  • 709
3 votes
0 answers
124 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 ...
user's user avatar
  • 709
9 votes
2 answers
702 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^*(-,...
David Corwin's user avatar
  • 14.7k
2 votes
0 answers
243 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_\...
Adam's user avatar
  • 2,360

1
2 3 4 5 6