The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
5answers
1k views

Representation of Groupoids

The title is vague, my actuall question is the following: Has the representations of groupoids been systematically studied? Is there any new phenomenon, compare with the representation of groups? ...
12
votes
1answer
1k views

In what topology DM stacks are stacks

Background/motivation One of the main reason to introduce (algebraic) stacks is build "fine moduli spaces" for functors which, strictly speaking, are not representable. The yoga is more or less as ...
7
votes
3answers
426 views

Degrees of etale covers of stacks

This is probably pretty basic, but as I said before I'm just beginning my way in the language of stacks.Say you have an etale cover X->Y of stacks (in the etale site). Is there a standard way to ...
19
votes
2answers
761 views

Different interpretations of moduli stacks

I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to ...
20
votes
1answer
2k views

fpqc covers of stacks

Artin has a theorem (10.1 in Laumon, Moret-Bailly) that if $X$ is a stack which has separated, quasi-compact, representable diagonal and an fppf cover by a scheme, then $X$ is algebraic. Is there a ...
5
votes
1answer
215 views

how good an approximation to the equivariant derived category is given by the Grassmannian filtration of the classifying space?

So, let's say one has an action of $GL_n$ on an algebraic variety $X$ over a field $k$, and two objects $F,G$ in the equivariant derived category (i.e., the derived category of constructible sheaves ...
3
votes
1answer
437 views

Approximation of stacks / algebraic spaces

Let $B$ be a ring which is the colimit of rings $B_\lambda$. Let $X_\lambda$ be a stack (not necessarily algebraic) over $B_\lambda$ such that $X_\lambda \times_{B_\lambda} B_\mu = X_\mu$ and let $X ...
16
votes
3answers
2k views

Stacks and sheaves

I'm a bit confused by the double role which sheaves play in the theory of stacks. On the one hand, sheaves on a site are the obvious generalization of a sheaf on a topological space. On the other ...
4
votes
2answers
682 views

Is there a good notion of `Separated Stack'?

A scheme is separated if the diagonal inclusion $X \to X \times X$ is a closed immersion. I what to know if there is a good generalization of `separated' for algebraic stacks? My usual stack ...
4
votes
1answer
925 views

What is a proper stack?

I have seen the use of the word "proper Deligne-Mumford stack". Now, it is clear to me what it means for a morphism f of stacks to be proper: as usual it should be representable, and every morphism ...
8
votes
1answer
687 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 ...
7
votes
3answers
953 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 ...
17
votes
2answers
868 views

Algebraic versus Analytic Brauer Group

Let $X$ be a smooth projective algebraic variety over $\mathbb{C}$. Then I think that someone (Serre?) showed that the Cohomological Etale Brauer Group agrees with the torsion part of the Analytic ...
29
votes
1answer
2k views

D-modules, deRham spaces and microlocalization

Given a variety (or scheme, or stack, or presheaf on the category of rings), some geometers, myself included, like to study D-modules. The usual definition of a D-module is as sheaves of modules over ...
11
votes
1answer
296 views

Why are non-singleton covering families often ignored?

It seems to me that frequently when discussing stack conditions and descent, people consider only singleton covering families, i.e. there is some single covering map $U\to X$, for which one constructs ...
6
votes
1answer
505 views

Sites which are stacks over themselves

A site C with pullbacks is subcanonical (all representable presheaves are sheaves) if and only if its codomain fibration $Arr(C) \to C$ is a prestack (all hom-presheaves are sheaves). Is there a ...
2
votes
1answer
231 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 ...
11
votes
2answers
1k views

Is the Torelli map an immersion?

The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for ...
4
votes
4answers
1k views

Near Trivial Quiver Varieties

So, today I started learning the definition of a quiver variety, and wanted to make sure I'm understanding things right, so first, my setup: I've been looking at the simplest case that didn't look ...
10
votes
2answers
700 views

Does sheafification preserve sheaves for a different topology?

Let $T_1$ and $T_2$ be two Grothendieck topologies on the same small category $C$, and let $T_3 = T_1 \cup T_2$ (by which I mean the smallest Grothendieck topology on $C$ containing $T_1$ and $T_2$). ...
12
votes
4answers
1k views

Moduli stack of principally polarized abelian varieties

I'm looking for an accessible reference for the fact that the moduli stack of principally polarized abelian varieties is in fact an algebraic stack. Faltings/Chai sketch two possible proofs in their ...
7
votes
2answers
428 views

When can cohomology be calculated on the coarse moduli space?

Suppose $\cal{X}$ is a DM-stack, and X its coarse moduli space. Let F be a sheaf on $\cal{X}$, and $\pi : \mathcal{X} \to X$ the projection. In all examples I have seen, it has been true that ...
7
votes
3answers
734 views

Is there any Grothendieck Riemman Roch theorem for general stack ?

It seems that there is no g.r.r for stack yet according to dejong. Does anyone know anything about it? But as you might know, there are some complex manifold which is not scheme having atiyah singer ...
5
votes
1answer
459 views

Local Joyal-simplicial presheaves?

It is well known that left Bousfield localizations of the global functor model category $Func(C^{op}, SSet_{standard})$ of functors with values in simplicial sets equipped with the standard model ...
2
votes
1answer
244 views

k-th Chow Group and k-th graded part of K_0 ismorphic for DM-stacks?

If X is an algebraic scheme, K_0(X) has a filtration by taking the subgroups generated by coherent sheaves whose support as at most dimension k. The associated graded groups are the quotients, and ...
12
votes
1answer
487 views

Examples of algebraic stacks without coarse moduli space?

Keel-Mori's theorem says an algebraic stack with a finite diagonal over a scheme S has a coarse moduli space. What is an example of an algebraic stack without coarse moduli space?
4
votes
2answers
539 views

What are Log Stacks

So, I've been running in both stacky circles and logarithmic circles and I've been wondering: is there a definition of log stack that is "useful"? I can imagine two such definitions: 1) A log stack ...
38
votes
12answers
5k views

Good introductory references on algebraic stacks?

Are there any good introductory texts on algebraic stacks? I have found some readable half-finsished texts on the net, but the authors always seem to give up before they are finished. I have also ...
7
votes
6answers
2k views

What are some examples of coarse moduli spaces?

It took me some effort to work out Gerashenko's nice simple example Can a singular Deligne-Mumford stack have a smooth coarse space? of a DM stack non-equisingular with its coarse moduli space, which ...
11
votes
4answers
733 views

Does every morphism BG-->BH come from a homomorphism G-->H?

Given a homomorphism f:G→H between smooth algebraic groups, we get an induced homomorphism of algebraic stacks Bf:BG→BH, given by sending a G-torsor P over a scheme X to the H-torsor PxGH, ...
9
votes
1answer
1k views

Kodaira-Spencer Theory and moduli of curves

I was looking at a paper of Farkas and the following confusing point came up. Let $\mathscr{M}_g$ be the moduli stack of smooth genus $g$ curves and let $\pi: \mathscr{C} \to \mathscr{M}_g$ be the ...
10
votes
2answers
830 views

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

Let XX be a Deligne-Mumford stack and let XX \to X be a coarse moduli space. Suppose that X is smooth. Is XX smooth? If not, what is an example? What if XX is of finite type over C (the complex ...
10
votes
2answers
1k views

Are curves with `fractional points' uniquely determined by their residual gerbes?

One makes precise the vague notion of "curve with a fractional point removed" (see for instance these slides) using stacks -- one should really consider Deligne-Mumford stacks whose coarse spaces are ...
18
votes
4answers
1k views

algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
10
votes
2answers
1k views

Finiteness conditions on simplicial sheaves/presheaves

Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...
5
votes
1answer
540 views

Stack with affine stabilizers but not quasi-affine diagonal

Give an example of a stack X with affine stabilizer groups and separated but not quasi-affine diagonal. Remarks: 1) If X has finite stabilizer groups then the diagonal is quasi-finite and separated, ...
2
votes
2answers
464 views

Is there an example of an algebraic stack whose closed points have affine stabilizers but whose diagonal is not affine?

Burt Totaro has a result that for a certain class of algebraic stacks, having affine diagonal is equivalent to the stabilizers at closed points begin affine. Is there an example of this equivalence ...