Search Results
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 |
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
2
votes
Where does the term "torsor" come from?
In the french school, un torseur sert à tordre, a torsor is used to twist.
More precisely, let $\eta$ be an object in a topos, and $G=\operatorname{Aut}(\eta)$.
If $\nu$ is a form of $\eta$ (another …
4
votes
Accepted
Is the map on tame fundamental groups of a quasi-projective variety, upon base change betwee...
update: there is now a complete reference [2005.09690] Invariance of the tame fundamental group under base change between algebraically closed fields.
I think it is generally admitted as folklore that …
3
votes
Lie algebroid in algebraic geometry
I suggest having a look at
Beĭlinson, A.; Bernstein, J. A proof of Jantzen conjectures.
MR: Matches for: MR=1237825
§1.2 .
https://people.math.harvard.edu/~gaitsgde/grad_2009/BB%20-%20Jantzen.pdf
3
votes
Sheafification of presheaf of trivial vector bundles is the stack of vector bundles
If $G$ is an affine groupe scheme over some base $S$, you can consider the groupoid $G\rightrightarrows S$. The corresponding prestack $[G\rightrightarrows S]^{pre}$ is (equivalent to) the prestack of …
5
votes
Non-Abelian Hodge theory
I recently attented a nice online talk by Pengfei Huang and he indicated two sources:
the first chapter of his own phd Non-abelian Hodge theory and some specializations - TEL - Thèses en ligne
Intro …
6
votes
When quotient stacks (for nonsmooth group) are algebraic and related questions
About 1. : no, smoothness isn't essential.
"Flat is enough" : De Jong's slogan to express this result due to M.Artin.
https://www.math.columbia.edu/~dejong/wordpress/?p=1584
I quote :
"Given a flat, f …
5
votes
Pullback of a connection
Another option is to proceed as follows : show that there exists a unique connection $f^*\nabla$ on $f^*\mathcal F$ verifying :
$$ (f^*\nabla)(f^*s) = f^*(\nabla(s))$$
where on the right-hand side yo …
4
votes
Reference request: What is the definition of a quasi-finite morphism of algebraic stacks?
See
Angelo Vistoli
Intersection theory on algebraic stacks and on their moduli spaces
Inventiones mathematicae (1989)
Volume: 97, Issue: 3, page 613-670
EUDML | Intersection theory on algebraic stac …
4
votes
Katz's proof of Cartier's (descent) theorem
Cartier descent is historically important, since together with Galois descent, it was Grothendieck's source of inspiration for fppf descent.
As far as I remember, and with all due respect, Katz's proo …
9
votes
Accepted
On a quasi-separated assumption in a lemma for the homotopy exact sequence of the etale fund...
This is more a comment than an answer: a few years back, in 2011, while working with some friends on SGA1, we also found out that we could not prove this statement without the hypothesis that $X$ is q …
2
votes
Good introductory references on algebraic stacks?
Besides the references already given, I like Dan Edidin's
Notes on the construction of the moduli space of curves
https://arxiv.org/abs/math/9805101
I quote :
"In section 3 we return to curves and …
4
votes
Does every morphism BG-->BH come from a homomorphism G-->H?
As a complement to the answers above : it is kind of well-known (at least I thought it was) that the natural morphism
$$\operatorname{\mathbf{Hom}}_{gr} (G,H) \to \operatorname{\mathbf{Hom}}(BG,BH)$ …
8
votes
Accepted
Galois categories for topological spaces?
The answer is yes (with mild hypothesis on the space). Moreover the topological situation is simpler, and this was very likely Grothendieck's inspiration.
To see this you need two facts.
First take …
3
votes
Accepted
Clarifying an interpretation of algebraic spaces
If I remember correctly, this goes roughly as follows. Consider the category $\mathcal C=\operatorname{Rings}^{op}$, first endowed with the Zariski topology. You can consider sheaves on this site that …
6
votes
Accepted
Equivariant Riemann-Hurwitz
This is a well known and well understood problem when the base field is $\mathbb C$. It was first studied by Chevalley and Weil (almost a century ago !) who were interested in modular curves (what els …