Questions tagged [stacks]

In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.

Filter by
Sorted by
Tagged with
6 votes
0 answers
436 views

Examples of descent in basic algebraic geometry

I'm studying descent theory and I recall that there were multiple instances before where I heard something like "we can prove this as follows, but this is just descent applied to [...]". ...
Gabriel's user avatar
  • 943
4 votes
0 answers
215 views

K theoretic pushforward along gerbes

I have a nontrivial gerbe $\pi : \mathscr{G} \to X$ banded by a cyclic group $G = \mathbb{Z}/r$. I'm working over $\mathbb{C}$. I want to describe $\pi_\ast$ and relate the fundamental class $[\...
Leo Herr's user avatar
  • 1,084
2 votes
1 answer
149 views

Necessary and sufficient conditions for a Lie groupoid to present a stack

Let $\mathcal{G} = G_1 \rightrightarrows G_0$ be a Lie Groupoid (although I am also interested in groupoids internal to other sites), the stack associated to $\mathcal{G}$, which is sometimes denoted $...
Emilio Minichiello's user avatar
2 votes
2 answers
382 views

What is the pull-back of a polarization of abelian schemes over different bases?

The following came up when reading the definition of the moduli stack of principally polarized abelian varieties in [1]. Let $\pi_1:A_1 \to S_1$ and $\pi_2: A_2 \to S_2$ be abelian schemes over $S_i$, ...
red_trumpet's user avatar
  • 1,071
8 votes
0 answers
279 views

Does Borel fixed-point theorem hold for Deligne-Mumford stacks?

Let $X$ be a proper Deligne-Mumford stack over $\mathbb{C}$ with an action by a complex torus $T$. Let $X^T$ denote the fixed locus. Question: Is the following statement true? ...
Chi Hong Chow's user avatar
4 votes
1 answer
150 views

Internal principal $G$-bundles

Let $(C, J)$ be a small site and let $\mathsf{Sh}_{(2, 1)}(C, J)$ be the $(2, 1)$-sheaf topos of sheaves of (small) groupoids on $(C, J)$. Let $G$ be a sheaf of groups on $(C, J)$, and let $\mathbf{...
Dat Minh Ha's user avatar
  • 1,472
1 vote
1 answer
383 views

Universal principal bundle on stack

I am studying the notes of Sorger concerning the moduli problem of principal bundles over curve https://inis.iaea.org/collection/NCLCollectionStore/_Public/38/005/38005695.pdf and there is something I ...
Samantha Smith's user avatar
1 vote
0 answers
90 views

Canonical covering stack of a flop

In section 6 of Kawamata's paper https://arxiv.org/abs/math/0205287, he defines the canonical covering stack. In the proof of theorem 6.5, he considered a flop $$X\xrightarrow{\phi}W\xleftarrow{\psi}Y$...
Peter Liu's user avatar
  • 253
2 votes
0 answers
145 views

Torsors for nonabelian groups and maps to contracted products

$\newcommand\op{\mathrm{op}}$My question concerns torsors for a sheaf of groups $G$ that is not commutative, and left/right are messing me up. A left $G$-torsor is equivalent to a right $G^{\op}$-...
Leo Herr's user avatar
  • 1,084
1 vote
1 answer
351 views

Image of a projective variety is closed

Let $X$ be a projective variety and $Y$ an Artin stack. Suppose that $f:X\to Y$ is a morphism of Artin stacks. Is $f(X)$ necessarily a closed substack of $Y$? This seems like it should be true and ...
LAGC's user avatar
  • 143
3 votes
1 answer
271 views

Integral locus of Hitchin morphism

Let $\Sigma$ be a Riemann surface of genus $g$. To it, we can associated $M_{Dol}$ be the Higgs moduli space of rank $n$ and degree $d$. Fo simplicity let us take $(n,d)=1$. This quasiprojective ...
Tommaso Scognamiglio's user avatar
11 votes
0 answers
137 views

Stack completions in realizability toposes

An internal category $\mathbb A$ in an elementary topos $\mathcal E$ is called an (intrinsic) stack if the indexed category that it represents, $(X\in \mathcal E) \mapsto \mathcal{E}(X,\mathbb A) \in \...
Mike Shulman's user avatar
6 votes
1 answer
453 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
7 votes
0 answers
585 views

Understanding the higher stack of perfect complexes

One of the most famous examples of higher Artin stacks is the stack of perfect complexes. I recall here the basic stuff: We fix a function $b: \mathbb{Z} \rightarrow \mathbb{N}$ which is zero ...
Martin Hurtado's user avatar
3 votes
1 answer
296 views

Universal bundles over algebraic stacks

$\DeclareMathOperator\el{ell}$In the topological case, given a group $G$, we can define the classifying space $BG$ for principal $G$-bundles and there is a universal $G$-principal bundle $EG \to BG$ ...
E. KOW's user avatar
  • 732
3 votes
0 answers
143 views

Do stacks with non-algebraic automorphism groups arise in nature?

Do stacks parametrizing objects with non-algebraic automorphism groups happen in nature e.g. in complex analysis or number theory? For example can the automorphism groups be non-projective complex ...
user avatar
3 votes
0 answers
193 views

Interesting stacks with affine space as coarse moduli

I am looking for examples of Deligne-Mumford stacks whose coarse moduli space is $\mathbb{A}^n$ or at least an open subscheme of $\mathbb{A}^n$ whose complement has codimension $2$. (Thus the whole ...
Lennart Meier's user avatar
3 votes
1 answer
234 views

Hom-space between Picard stacks

This is from Deligne, La formule de dualité globale, SGA 4, tome 3, Expose XVIII, and I am confused about how the hom-space between Picard stacks is again a Picard stack. A quick rewind. For a site $S$...
Frid Fu's user avatar
  • 33
3 votes
0 answers
280 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 ...
user267839's user avatar
  • 5,948
10 votes
1 answer
439 views

Is ${\bf Set}$ the terminal autological topos

An autological topos is a type of topos defined by Mike Shulman in his paper on stack semantics; specifically, they are toposes satisfying an additional topos theoretic axiom schema expressed in their ...
Alec Rhea's user avatar
  • 8,977
5 votes
1 answer
423 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 ...
Adam's user avatar
  • 2,370
5 votes
1 answer
453 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 $...
user267839's user avatar
  • 5,948
5 votes
1 answer
518 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$ ...
Slup's user avatar
  • 532
3 votes
1 answer
377 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)...
Leo Herr's user avatar
  • 1,084
5 votes
0 answers
169 views

Étale stack on $\text{Spec}(k)$

Let $\mathcal{F}:\text{Ét}(\text{Spec}(k))^{\mathrm{op}}\rightarrow \text{Set}$ be an étale presheaf. The étale sheaf condition for the cover $\text{Spec}(l)\rightarrow \text{Spec}(k)$ is $$\mathcal{F}...
curious math guy's user avatar
2 votes
1 answer
295 views

Sheaf of elliptic curves up to isogeny

For a scheme $X$, denote by $\mathcal{Ell}_X[\text{isog}^{-1}]$ the category of elliptic curves on $X$ localized at isogenies. Consider the functor $$ \mathcal{Ell}^{isog}:Sch/S^{op}\rightarrow \text{...
curious math guy's user avatar
7 votes
1 answer
440 views

Formal completion of a quotient stack

$\newcommand{\Rep}{\operatorname{Rep}}$ $\newcommand{\mo}{\operatorname{-mod}}$ $\renewcommand{\hat}{\widehat}$ I apologize in advance if this is a naive question but my background in algebraic ...
Adrien's user avatar
  • 8,234
9 votes
1 answer
1k views

Stacks for a string theory student

First, I'm a string theory student hoping to grasp some math involved in some physics developments. I'm hoping to read the famous Kapustin-Witten Paper "Electric-magnetic duality and the ...
Ramiro Hum-Sah's user avatar
9 votes
0 answers
472 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$-...
Damien Robert's user avatar
10 votes
1 answer
384 views

When is a twisted form coming from a torsor trivial?

Consider a sheaf of groups $G$, equipped with a left torsor $P$ and another left action $G$ on some $X$. Form the contracted product $P \times^G X := (P \times X)/\sim$ where $\sim$ is the ...
Leo Herr's user avatar
  • 1,084
6 votes
0 answers
291 views

Is there a Geometric/Smooth version of Homotopy Hypothesis using the path $\infty$-Groupoid of a Smooth Space?

A version of Homotopy Hypothesis says that the Fundamental $n$-grupoids model Homotopy $n$-types... and if we continue upto $\infty$, then the Fundamental $\infty$- groupoids or Kan Complexes model ...
Adittya Chaudhuri's user avatar
1 vote
0 answers
215 views

Two definitions of cotangent complex

I have reading a paper by Professor Pridham(https://arxiv.org/abs/0905.4044v4). Page 47-48 contains a comparison of the two definitions of the cotangent complex, but there is a part I don't understand....
Walter field's user avatar
1 vote
1 answer
569 views

Stabilizer $G_x$ of a $k$-valued point of an algebraic Stack

An algebraic stack or Artin stack is a stack in groupoids $\mathcal{X}$ over the étale site such that the diagonal map of $\mathcal{X}$ is representable and there exists a smooth surjection from (the ...
user267839's user avatar
  • 5,948
2 votes
0 answers
134 views

Infinititesimal Automorphisms intuition (algebraic stacks)

Let $F$ be a category cofibered in groupoids over category $C$. Given a morphism $x'\to x$ in $F$ lying over a morphism $A′\to A$ in $C$, there is an induced homomorphism $\operatorname{Aut} A'(x')\to ...
user267839's user avatar
  • 5,948
5 votes
1 answer
399 views

Fixed point stack for a torus action

In this paper, M. Romagny defines for an action of a group scheme $G$ on a stack $X$ the fixed point stacks $X^G$ associated to the group action on a stack and in Theorem 3.3 he proves that if the ...
Arkadij's user avatar
  • 914
6 votes
1 answer
664 views

Definition of the cotangent complexes of Artin stacks

I am studying the notion of the cotangent complexes of Artin stacks reading LMB's book and Olsson's paper. According to them, the cotangent complexes are defined as projective systems in their derived ...
Walter field's user avatar
4 votes
0 answers
187 views

The definition of flat sheaves of rings on algebraic stacks

Reading Sheaves on Artin stacks by M. Olsson I find this definition (3.7, (i)): Let $\mathcal X$ be an algebraic stack on a scheme $S$. A sheaf of rings $\mathcal A$ on $\mathcal X_{\textrm{lis-et}}...
Francesco Genovese's user avatar
2 votes
0 answers
97 views

Representability result

Let $X$ and $S$ be schemes over a field $k$. Reading this paper, there is a result on the representability of a morphism (proposition 3.1, page 4). Which result or reference on representability is ...
Conjecture's user avatar
2 votes
1 answer
130 views

Is there any relation between two pseudofunctors associated to two different cleavages of the same fibered category?

It is well known that given a Fibered category $P_F: E \rightarrow C$ with a cleavage $K$ we can construct a pseudofunctor $F_K: C^{op} \rightarrow Cat$. Now if one chooses a different cleavage $L$ ...
Adittya Chaudhuri's user avatar
3 votes
0 answers
108 views

Coverings of (DM) stacks and categories of descent data

If $X$ is a DM stack, we know that there is a surjective étale morphism $U \to X$ with $U$ a scheme. Combining Lemma 4.5 of these notes and Proposition 12.7.4 of Champs Algébriques one should be able ...
Francesco Genovese's user avatar
20 votes
7 answers
3k views

What are the occurrences of stacks outside algebraic geometry, differential geometry, and general topology?

What are the occurrences of the notion of a stack outside algebraic geometry, differential geometry, and general topology? In most of the references, the introduction of the notion of a stack takes ...
Praphulla Koushik's user avatar
1 vote
0 answers
107 views

Relationship between Quasicoherent sheaves and $\mathbb A^1$-fpqc modules over an fpqc stack

In what follows, assume several universes for simplicity. Let $X$ be a stack in groupoids on the fpqc site of small affine schemes $\mathbf{Aff}_{\text{fpqc}}$. We can define $\mathbf{QCoh}(X)$ ...
Steve's user avatar
  • 453
5 votes
0 answers
370 views

What is the motive of $\operatorname{Bun}_G(X)$?

$\DeclareMathOperator\Bun{Bun}$Let $X$ be a scheme over algebraically closed field $k$, $G$ a reductive group and $\Bun_G(X)$ the stack of $G$ bundles on $X$. Write $[\Bun_G(X)]\in K_\text{st}$ for ...
Pulcinella's user avatar
  • 5,506
4 votes
0 answers
107 views

How big is the complement of stable locus $\operatorname{Bun}G$

Let $\Sigma$ be a smooth projective curve, and $G$ a reductive group. Let $\operatorname{Bun}G$ be the stack of principal $G$ bundles on $\Sigma$ (with a fixed topological type). What is the ...
chan kifung's user avatar
8 votes
0 answers
199 views

What are the Newton groupoids from Drinfeld's paper on the Grinberg-Kazhdan theorem?

The paper the Grinberg-Kazhdan formal arc theorem and the Newton groupoids by Drinfeld seems to contain many interesting things which are beyond me. For now, I am trying to get some intuition for the ...
Arrow's user avatar
  • 10.3k
3 votes
0 answers
417 views

Why not consider categorical quotient in stacks?

Let's say we have a $k$ group scheme $G$ acting on a $k$ scheme $X$, we can consider its quotient in the category of stacks, the usual definition of it would be the quotient stack $[X/G]$ defined by ...
chan kifung's user avatar
1 vote
1 answer
239 views

Are morphisms from affine schemes to Artin stacks affine morphisms?

It is explained in this MO discussion that if one has a morphism $f:X\rightarrow Y$ of schemes such that $X$ is an affine scheme, then $f$ need not be an affine morphism. However, if $Y$ is separated, ...
Dr. Evil's user avatar
  • 2,641
16 votes
2 answers
2k views

Understanding the definition of stacks

First of all I should apologies if this question does not count as a research level one. I asked the same question on MathUnderflow and didn't receive any answer. Let me cross post (copy and paste) it ...
Bumblebee's user avatar
  • 1,019
4 votes
2 answers
584 views

Serre's theorem on global generations on stacks

Let $X$ be a quasi-projective scheme, the followings are quite useful. Every coherent sheaf is globally generated after tensoring with a suitable line bundle. Every coherent sheaf has trivial ...
chan kifung's user avatar
6 votes
3 answers
911 views

How should one think about the band of a gerbe?

Let $X$ be a topological space. Let $\mathcal{F}$ be a fibered category over $X$; seen as an assignment of a category $\mathcal{F}(U)$ for each open $U\subseteq X$. A fibered catgeory $\mathcal{F}$...
Praphulla Koushik's user avatar

1
2
3 4 5
10