The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
186 views

Twisting an object P by an H-Torsor I

I am reading Brylinski's Loop Spaces, Characteristic Classes, and Geometric Quantization. The Statement Let $C$ be a gerbe on a space $X$ with "abelian" band $H$, $f: Y \to X$ a local homeomorphism ...
12
votes
0answers
319 views

The Grothendieck Ring of Higher Stacks

The Grothendieck ring of varieties is defined to be the free abelian group spanned by isomorphism classes of varieties modulo the cut & paste (or scissor) relations, which say that $[X] = [U] + ...
4
votes
2answers
353 views

How to specify a finite group up to inner automorphism?

I want some finite set of data to which I can canoically associate a "group up to inner automorphism", and which can be constructed canoically from a "group up to inner automorphism". I have a few ...
6
votes
3answers
473 views

examples of moduli functors for which coarse moduli space does not exists

Well, the title almost says it all. I would like to list as many examples as possible of moduli functors, for which a coarse moduli space does not exist (and maybe explain why). So, examples such as ...
5
votes
1answer
274 views

universal property of blow up for stacks?

I will use as a reference Hartshorne Prop. II.7.14, the universal property of blow-up. $\tilde{X}$ is the blow up of $X$ along a sheaf of ideals. $Z\to X$ is the morphism that is to be lifted to ...
10
votes
2answers
1k views

When does sheaf cohomology commute with arbitrary direct sums?

It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ the canonical map ...
4
votes
2answers
454 views

On the local structure of stacks

1) Is it true that any Deligne-Mumford stack is locally a quotient stack $[X/G]$ with a finite group $G$? 2) Is it true that any Deligne-Mumford stack can be globally presented as a quotient stack ...
5
votes
1answer
539 views

On the coarse moduli space of a stack

Consider a stack $\mathcal{X}$ over $\mathbb{C}$ as a category fibred in groupoids over the category of schemes. Let $\mathcal{X}^s$ be the $\pi_0$ of this category, i.e. objects of $\mathcal{X}^s$ ...
1
vote
1answer
204 views

Enumerativity of Gromov-Witten invariants of orbifolds

For smooth Deligne-Mumford stacks, there is a well-defined Gromov-Witten theory, see http://arxiv.org/pdf/math/0103156.pdf and http://arxiv.org/pdf/math/0603151.pdf. Is there some sense, or some ...
7
votes
1answer
645 views

Teaching stacks to differential geometry students

Does anyone have any experience teaching stacks over the category of manifolds to students whose background is, say, a semester-long course on manifolds? Does anyone know of any publicly available ...
4
votes
1answer
156 views

A question on $Isom(p_1^*E,p_2^*E) \rightrightarrows X$

I am learning the moduli stacks of vector bundles and have trouble understanding some definitions. Let $E$ be a rank $n$ vector bundle over the scheme $X$. We denote by $p_i$ the $i$th projection ...
8
votes
1answer
541 views

How does descent theory imply a sheaf is a scheme?

I've noticed that often authors will comment that "descent theory" shows that some sheaf in the étale topology is actually a scheme. I was wondering what result in descent theory actually implies ...
18
votes
2answers
603 views

Cohomologically trivial stacks

The following theorem of Serre is well-known: A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and all $i>0$. ...
0
votes
0answers
130 views

quotient by a proper equivalence relation

Let X be a scheme and R be a proper equivalence relation on X. What can be said about the geometric structure of the quotient X/R? Is it representable by a stack, for example?
4
votes
1answer
255 views

family of gerbes over smooth and proper algebraic varieties

Let $X$ be a smooth and proper variety over $\mathbb{C}$. Let $F$ be an $\mathbb{A}^1$ family of $\mathbb{G}_m$ gerbes over $X$. Suppose the fibers over every point away from 0 in $\mathbb{A}^1$ are ...
8
votes
1answer
498 views

Recovering classical Tannaka duality from Lurie's version for geometric stacks

In Lurie's paper Tannaka Duality for Geometric Stacks, it is essentially shown that specifying a morphism of geometric objects $$ f \colon X \to Y$$ is equivalent to giving a corresponding pullback ...
5
votes
1answer
324 views

fpqc sheafification and localisation

I am slightly confused about sheafification at the moment. I first learned sheaves defined as a subcategory of presheaves, then I was told that sheaves are also a localisation of presheaves, then I ...
2
votes
1answer
119 views

Can stabilizer groups in an orbifold have global twisting?

Can stabilizer groups in an orbifold have global twisting? For example, consider the two groups $\mathbb Z/3\times\mathbb Z$ and $\mathbb Z/3\rtimes\mathbb Z$ (where $\mathbb ...
2
votes
2answers
285 views

Are quotients of stacks flat?

Let $\cal X$ be a DM stack of finite type over a field (if necessary, I will assume that $k=\mathbb{C}$ and $\cal X$ is a scheme, or even a variety) and $G$ be a finite group. Then we have a quotient ...
4
votes
1answer
318 views

Divisorial contraction: when is the image an algebraic space or a stack?

Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already ...
13
votes
1answer
820 views

Homotopy theory of topological stacks/orbifolds

Motivation $\newcommand{\T}{\mathscr{T}}$ I have many times found myself saying some variant of the following. Let $\T_g$ be the Teichmüller space of a surface of genus $g$, and $\Gamma_g$ its ...
8
votes
1answer
596 views

what exactly is the moduli functor for classifying elliptic curves with (full) level N structure?

So, when people say, "the moduli problem of classifying elliptic curves over $\mathbb{C}$ with level $N$ structure", there are usually two associated functors I've seen: $P_N : ...
6
votes
1answer
365 views

If $X$ is a smooth and proper stack, does it admit a smooth and proper atlas?

Fix a ground scheme $S$ (a field say). By atlas for an algebraic stack I mean a smooth and surjective morphism $Y \to X$ from a scheme (or algebraic space or affine scheme) $Y$. If the stack $X$ is ...
1
vote
0answers
155 views

Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in ...
7
votes
1answer
336 views

Chern classes of vector bundles on a stack

Is there literature about chern classes of vector bundles on DM-stacks? I had a look at a lot of different papers about intersection theory on stacks and related stuff and this seems to be known, but ...
1
vote
0answers
171 views

stack quotient question

Hi, I have the following question: let $k$ a field with $char(k)= p>0$, which we can assume to be perfect, $W(k)$ the ring of Witt vector, and $a,b$ positive integers. Consider the ring ...
3
votes
1answer
252 views

Representability of Hom-sheaves of various moduli spaces

(May be a poor title, happy to update) Recall that for a stack $\mathcal{X} \to Sch$ on schemes (e.g. fppf site) and a pair of morphisms $x,y\colon U\to \mathcal{X}$ ($U$ a representable stack) there ...
15
votes
3answers
2k views

Stacks in modern number theory/arithmetic geometry

Stacks, of varying kinds, appear in algebraic geometry whenever we have moduli problems, most famously the stacks of (marked) curves. But these seem to be to be very geometric in motivation, so I was ...
3
votes
0answers
204 views

Cohomology of line bundles on smooth projective toric Deligne-Mumford stacks

Let $\mathcal{X}$ be a smooth projective toric Deligne-Mumford stack with coarse moduli scheme $\pi\colon \mathcal{X}\rightarrow X.$ Let $[D]$ be a Cartier divisor on $\mathcal{X}$ such that ...
6
votes
2answers
295 views

how to construct a $C^\infty$ stack from a holomorphic stack

Given a complex manifold, you can `weaken' its structure to give a smooth manifold. Is there an analogous construction that constructs a stack over the category of smooth manifolds from a stack over ...
5
votes
0answers
183 views

Does every stack with a connection admit an atlas with a connection?

Dear all, Let $S$ be a scheme in characteristic $0$, and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme ...
4
votes
2answers
612 views

Reference request: an algebraic stack whose closed points have no automorphisms is an algebraic space

The question is stated in the title. I think BCnrd states in a comment here Is every (Artin/DM) algebraic stack fibered in sets an algebraic space? that while the answer is not found in Laumon & ...
6
votes
1answer
353 views

Why are sheaves not preserved in this case?

Suppose that $C$ is a Grothendieck site, and $\mathscr{X}$ is a stack over $C$ (which is NOT equivalent to a sheaf). Let $$\pi_{\mathscr{X}}:\int_{C} \mathscr{X}\to C$$ denote the associated fibered ...
7
votes
0answers
358 views

Quasi-coherent sheaves on $M_{FG}$ and the exact functor theorem

I'm struggling with these notes, and one of the things I don't really understand is the following. The notes consider the stack $M_{FG}$ of formal groups; this is the stack associated to the prestack ...
8
votes
1answer
303 views

Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...
2
votes
0answers
374 views

what's the coherent sheaf and sheaf cohomology on Deligne-Mumford stack ?

hello, everyone, I am reading Deligne-Mumford's paper, and the section 4 of this paper, they given some properties of Deligne-Mumford stack without proof. I can't understand the coherent sheaf and ...
2
votes
0answers
323 views

Is the category of quasi-coherent sheaves on a concentrated stack locally finitely presentable?

Let's call an Artin stack $X$ concentrated iff it is quasi-compact and quasi-separated (the latter usually being included in the definition of an Artin stack). The category of quasi-coherent sheaves ...
2
votes
1answer
294 views

Classification of principal G-bundles over a differentiable stack

According to "Notes on differentiable stacks" by Heinloth, the classifying stack will also classify $G$-bundles on stacks. (Remark 2.13) (Here $G$ is a Lie group.) My questions are: (1) What ...
11
votes
0answers
341 views

Atiyah-Bott from Beauville-Laszlo

This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...
7
votes
1answer
479 views

To what extent does Poincare duality hold on moduli stacks?

Poincare duality gives us, for a smooth orientable $n$-manifold, an isomorphism $H^k(M) \to H_{n-k}(M)$ given by $\gamma \mapsto \gamma \frown [M]$ where $[M]$ is the fundamental class of the ...
4
votes
0answers
182 views

Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology. ...
7
votes
3answers
708 views

Reference for the derived category of $X$, $[X/G]$ and $X/G$

I'm trying to learn about derived categories of algebraic stacks. To be honest, as of now, I don't need anything fancy nor deep. In my setup I have a scheme $X$ (well, a smooth and projective variety ...
2
votes
1answer
537 views

Does Hom(X,Spec R) = Hom(R, O(X)) hold for algebraic stacks?

For an affine scheme $Spec R$ and a scheme $X$ we know that $Hom(X,Spec R) = Hom(R,\Gamma(X,\mathcal{O}_X))$. Does it still hold when we replace $X$ with an algebraic stack? My guess is yes as ...
7
votes
1answer
1k views

surjective morphism of schemes or epimorphism of sheaves?

I have a technical question coming from reading Toen's master course on stacks. If we view schemes as locally ringed spaces then there we could define a morphism to be surjective if it the underlying ...
3
votes
0answers
213 views

properness of stack

Hi, assume we have an algebraic stack $A$ over $Sch(\mathbb{Z})$ which is quasi-compact and with separated diagonal. Assume that I have a stack $B$ which is obtained by rigidifying $A$ by a subgroup ...
7
votes
2answers
889 views

Are non-algebraic stacks useful in algebraic geometry?

The title is a bit vague. What I want to know is if there is any geometric application of non-algebraic stacks. I know e.g. the category of coherent sheaves is an example. But I want to ask if people ...
3
votes
0answers
214 views

Derived pullback of quasi-coherent complexes between algebraic stacks

Let $X$ and $Y$ be Artin algebraic stacks, and $f:X\to Y$ a morphism. I am interested in a pullback morphism $Lf^\ast : D^-_{qcoh}(Y)\to D^-_{qcoh}(X)$. In his paper Sheaves on Artin stacks, ...
2
votes
1answer
283 views

can one define the pullback between stacks of coherent sheaves for non-flat morphisms?

Consider a morphism $f: Y \to X$ between two varieties and consider the stacks parametrizing coherent sheaves on them $\mathcal{M}_X, \mathcal{M}_Y$. Does one have for free an induced pullback ...
3
votes
2answers
391 views

Algebraic stacks as (etale) groupoid alg.spaces/schemes

Assume given an algebraic stack() $\mathcal{X}$ with presentation $X_0 \to \mathcal{X}$, and the corresponding groupoid $X = (X_0\times_\mathcal{X} X_0 \rightrightarrows X_0)$ in algebraic spaces (or ...
5
votes
1answer
453 views

Query on comment in Deligne-Mumford (1969)

In Deligne and Mumford's famous 1969 paper, The irreducibility of the space of curves of given genus, definition 4.6 (that of algebraic stacks) has the following footnote: This definition is the ...