Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 370

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

2 votes
1 answer
321 views

Descend finite etale algebras

Let $\pi:X\to\mathcal X$ be a presentation of an Artin stack $\mathcal X$ of finite type over a field $k,$ and let $f:Y\to X$ be a finite \'etale covering. Does there exist a finite \'etale covering $ …
shenghao's user avatar
  • 4,265
1 vote

Can a singular Deligne-Mumford stack have a smooth coarse space?

A stack (or a morphism of stacks, not necessarily representable) is defined to be smooth if one can find a presentation which is smooth over the base. …
shenghao's user avatar
  • 4,265
2 votes

Degrees of etale covers of stacks

The question depends on which maps you want to call "etale". If one thinks that the property of $f:X \to Y$ being etale should be etale local on $X,$ then etale morphisms doesn't need to be representa …
shenghao's user avatar
  • 4,265
6 votes

Is there a good notion of `Separated Stack'?

One can first define a 'proper algebraic space' $X,$ using its 'underlying space' $|X|,$ and then define a morphism of algebraic spaces $f: X \to Y$ to be proper if for any affine (or just quasi-compa …
shenghao's user avatar
  • 4,265
3 votes
1 answer
719 views

References for constructible sheaves on complex analytic stacks

I'm looking for references on constructible sheaves and the six operation formalism on analytic stacks (stacks fibered over complex analytic spaces). Does anyone have some suggestions? … Basically I want it to be an analytic version of Laszlo and Olsson's articles "The six operations for sheaves on Artin stacks, I, II", or a stack version of Dimca's book "Sheaves in Topology". …
shenghao's user avatar
  • 4,265
7 votes
3 answers
2k views

Is the inertia stack of a Deligne-Mumford stack always finite?

Let X be a DM stack over a field k. We follow the definition in Laumon and Moret-Bailly's book, so that its diagonal is quasi-compact (and hence diagonal is of finite type). Then is the diagonal neces …
shenghao's user avatar
  • 4,265
5 votes
0 answers
865 views

finite etale covering of stacks

My question is, is this true for stacks? Namely if $Y \to X$ is a representable finite etale map of algebraic stacks, can it be refined to a representable Galois morphism $Z \to X?$ …
shenghao's user avatar
  • 4,265
10 votes
1 answer
1k views

coarse moduli space of DM stacks

This is related to another one of my questions on DM stacks. … In Brian Conrad's article 'The Keel-Mori Theorem via Stacks', a sufficient condition on for an Artin stack to have coarse moduli space is that it has finite inertia stack. …
shenghao's user avatar
  • 4,265
7 votes

What is the local structure of a Lie groupoid?

This is roughly what I know about how to do devissage on algebraic stacks. It may or may not apply to differentiable stacks. …
shenghao's user avatar
  • 4,265
2 votes

algebraic group G vs. algebraic stack BG

Hello Ben, a little comment: when you say "G is a group scheme over k", you mean k is a separably closed field, right? Because otherwise the groupoid BG(k) may not have only one isomorphism class of …
shenghao's user avatar
  • 4,265
9 votes

The different types of stacks

Algebraic spaces are non-stacky algebraic (Artin) stacks, and DM-stacks, although stacky, have only finite stabilizer groups (or étale stab. groups; I'm sloppy here) for all points on the "underlying space … stacks, lisse-étale topology is necessary. …