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
2 votes
1 answer
97 views

Studying a connection between Iwasawa theory and the $K(n)$-local Picard group by some geometry on the Lubin-Tate stack

Let $Pic_n^0$ denote the even part of the $K(n)$-local Picard group, and let $Pic_n^*$ denote $Hom(Pic_n^0, W(\mathbb{F}_{p^n})^x)$. Denote by $L$ the profinite group ring $\mathbb{Z}_p[[Pic_n^*]] $. ...
user avatar
  • 415
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]\...
user avatar
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....
user avatar
  • 151
1 vote
0 answers
49 views

Is there an inverse image functor for sheaves on stacks?

I'm interested specifically in an inverse image functor between differentiable stacks, ie. stacks coming from Lie groupoids. Specifically, if I have a morphism of Lie groupoids $H\to G$ and I have a ...
user avatar
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 ...
user avatar
  • 4,004
4 votes
1 answer
197 views

Sheafification of presheaf of trivial vector bundles is the stack of vector bundles

This is a deliberately vague question, possibly obvious to experts. Let $F$ be a field. Over the (say, fpqc) site of $F$-schemes, we may define a presheaf $T^{\textrm{pre}}$ that takes a scheme $S$ ...
user avatar
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 ...
user avatar
  • 924
6 votes
0 answers
308 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 [...]". ...
user avatar
  • 1,317
4 votes
0 answers
178 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 $[\...
user avatar
  • 924
2 votes
1 answer
103 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 $...
user avatar
1 vote
1 answer
128 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$, ...
user avatar
8 votes
0 answers
230 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? ...
user avatar
4 votes
1 answer
138 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{...
user avatar
  • 1,121
1 vote
1 answer
241 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 ...
user avatar
1 vote
0 answers
58 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$...
user avatar
  • 253
2 votes
0 answers
123 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}$-...
user avatar
  • 924
1 vote
1 answer
202 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 ...
user avatar
  • 143
3 votes
1 answer
249 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 ...
user avatar
11 votes
0 answers
119 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 \...
user avatar
  • 58.8k
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 ...
user avatar
7 votes
0 answers
491 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 ...
user avatar
  • 727
3 votes
1 answer
212 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$ ...
user avatar
  • 427
3 votes
0 answers
141 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
181 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 ...
user avatar
3 votes
1 answer
191 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$...
user avatar
  • 33
3 votes
0 answers
183 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 ...
user avatar
9 votes
1 answer
331 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 ...
user avatar
  • 6,211
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 ...
user avatar
  • 2,050
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 $...
user avatar
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$ ...
user avatar
  • 520
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)...
user avatar
  • 924
5 votes
0 answers
164 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}...
user avatar
2 votes
1 answer
267 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{...
user avatar
6 votes
1 answer
254 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 ...
user avatar
  • 7,422
9 votes
1 answer
862 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 ...
user avatar
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$-...
user avatar
9 votes
1 answer
286 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 ...
user avatar
  • 924
6 votes
0 answers
239 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 ...
user avatar
1 vote
0 answers
193 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....
user avatar
1 vote
1 answer
332 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 ...
user avatar
  • 1,015
2 votes
0 answers
95 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 ...
user avatar
  • 1,015
5 votes
1 answer
305 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 ...
user avatar
  • 864
5 votes
0 answers
331 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 ...
user avatar
4 votes
0 answers
151 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}}...
user avatar
2 votes
0 answers
94 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 ...
user avatar
2 votes
1 answer
99 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$ ...
user avatar
3 votes
0 answers
101 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 ...
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 ...
user avatar
1 vote
0 answers
101 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)$ ...
user avatar
  • 453
5 votes
0 answers
343 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 ...
user avatar
  • 4,004

1
2 3 4 5
9