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 11682

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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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)$ …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008
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 …
Niels's user avatar
  • 4,008

15 30 50 per page