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 |
Given a concrete category C, with objects denoted Obj(C), and an equivalence relation ~ on Obj(C) given by morphisms in C. The moduli set for Obj(C) is the set of equivalence classes with respect to ~; denoted Iso(C). When Iso(C) is an object in the category Top, then the moduli set is called a moduli space.
7
votes
Hitchin fibration and Springer resolution
I will try to answer the first question only.
As in the remarks, the canonical reference is
Beauville, Narasimhan, Ramanan, Spectral curves and the generalised theta divisor. J. Reine Angew. Math. …
3
votes
Accepted
How do we get the quotient $Ext^1(N,M)/Hom(N,M)$?
The action is trivial, as you wrote. Generally if $G/S$ acts trivially on $X/S$ and $G$ is abelian then any object in the quotient stack $[X/G]=B_X G$ has an automorphism group canonically isomorphic …