How is sheaf cohomology used in scheme theory?Toy sheaf cohomology computationSheaf cohomology: what is it and where can I learn it?Geometric invariants of a schemeWhy topological stratification is useful?Tangent sheaf of the Picard schemeAlgebraic geometry: difference between variety approach and scheme approach?Relating a fiber of a sheaf and its cohomology, from Huybrechts & Lehn - The Geom. of Moduli Spaces of SheavesFirst course on scheme theory - opinions and comparisons, what text a novice should use?Very ample invertible sheaf relative to a schemeWhy the sheaf of abelian groups so fundamental?
Use Mercury as quenching liquid for swords?
Logistic regression BIC: what's the right N?
Can one live in the U.S. and not use a credit card?
What is this tube in a jet engine's air intake?
Playing a 7-string guitar song on a 6-string guitar
Should we avoid writing fiction about historical events without extensive research?
Is it possible to clone a polymorphic object without manually adding overridden clone method into each derived class in C++?
Leveling the sagging side of the home
Under what conditions can the right to remain silent be revoked in the USA?
Numerical value of Determinant far from what it is supposed to be
How to copy the rest of lines of a file to another file
What sort of fish is this
Giving a career talk in my old university, how prominently should I tell students my salary?
When an outsider describes family relationships, which point of view are they using?
Are these two graphs isomorphic? Why/Why not?
Did Amazon pay $0 in taxes last year?
How to educate team mate to take screenshots for bugs with out unwanted stuff
What will happen if my luggage gets delayed?
ESPP--any reason not to go all in?
If nine coins are tossed, what is the probability that the number of heads is even?
PTIJ: Who was the sixth set of priestly clothes for?
What can I do if someone tampers with my SSH public key?
Computation logic of Partway in TikZ
How do I increase the number of TTY consoles?
How is sheaf cohomology used in scheme theory?
Toy sheaf cohomology computationSheaf cohomology: what is it and where can I learn it?Geometric invariants of a schemeWhy topological stratification is useful?Tangent sheaf of the Picard schemeAlgebraic geometry: difference between variety approach and scheme approach?Relating a fiber of a sheaf and its cohomology, from Huybrechts & Lehn - The Geom. of Moduli Spaces of SheavesFirst course on scheme theory - opinions and comparisons, what text a novice should use?Very ample invertible sheaf relative to a schemeWhy the sheaf of abelian groups so fundamental?
$begingroup$
From my readings it is clear that schemes are the basis of algebraic geometry, and that sheaf cohomology is the main technical tool in algebraic geometry.
I am aware that the sheaf is fundamental to the definition of the scheme.
But I would really appreciate a clear explanation of why sheaf cohomology is so useful in studying schemes.
algebraic-geometry
$endgroup$
add a comment |
$begingroup$
From my readings it is clear that schemes are the basis of algebraic geometry, and that sheaf cohomology is the main technical tool in algebraic geometry.
I am aware that the sheaf is fundamental to the definition of the scheme.
But I would really appreciate a clear explanation of why sheaf cohomology is so useful in studying schemes.
algebraic-geometry
$endgroup$
add a comment |
$begingroup$
From my readings it is clear that schemes are the basis of algebraic geometry, and that sheaf cohomology is the main technical tool in algebraic geometry.
I am aware that the sheaf is fundamental to the definition of the scheme.
But I would really appreciate a clear explanation of why sheaf cohomology is so useful in studying schemes.
algebraic-geometry
$endgroup$
From my readings it is clear that schemes are the basis of algebraic geometry, and that sheaf cohomology is the main technical tool in algebraic geometry.
I am aware that the sheaf is fundamental to the definition of the scheme.
But I would really appreciate a clear explanation of why sheaf cohomology is so useful in studying schemes.
algebraic-geometry
algebraic-geometry
edited Mar 3 at 17:02
HinLear
asked Mar 3 at 16:51
HinLearHinLear
354
354
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
First: I'm by no means an expert on sheaf cohomology.
Lots of interesting geometry of a scheme $X$ can be understood by studying 'vector bundles' over $X$; i.e. one tries to analyze the category of (quasi-)coherent sheaves $mathcalQCoh(X)/mathcalCoh(X)$ on $X$.
Personally I think of this as an analogon of how one often studies $R$-modules, when one is interested in the ring $R$. For example, if $X = mathrmSpec A$ is affine, one has an equivalence of categories of $mathcalMod_A cong mathcalQCoh(X)$.
So.. like one glues ("geometrized" versions of) rings to obtain schemes, one glues ("geometrized" versions of) modules over those rings to obtain quasicoherent modules over those schemes.
The coherent case furthermore restricts some finiteness conditions (geometrically I think this means restricting to "finite-rank" vector bundles).
(Vector bundles correspond to locally free sheaves (of finite rank); one can also think of $mathcalQCoh(X)/mathcalCoh(X)$ as the smallest abelian subcategories of the category of sheaves of $mathcalO_X$-modules that contains (things equivalent to) vector bundles/finite rank vector bundles; I'm not sure if it's possible to "formalize" this statement though.)
Now, sheaf cohomology seems to be a very valuable tool to study (quasi-)coherent modules over a scheme X.
As you probably know, the global section functor $Gamma(X,-)$ is left-exact, but not in general right-exact. As sheaf cohomology is the (right-)derived functor of $Gamma(X,-)$ it measures how far global sections are from being surjective.
I think this is quite a natural question:
If $ varphi:mathcalF rightarrow mathcalG$ is surjective this just means that locally, the given morphism is surjective, i.e. given any section $s in Gamma(X,mathcalG)$ and any point $xin X$ one know that there exists an open subset $x in U^x subseteq X$ s.t. $s|_U^x = varphi_U^x(t^x)$ for some $t^x in Gamma(U^x,mathcalF)$.
Now one might start to think about the following: When is it possible to choose the $t^x_xin X$ s.t. they glue to a global section $t in Gamma(X,mathcalF)$ (which then satisfies $varphi_X(t)=s$, as one easily verifies).
Tinkering a little bit with that question you might realize, that the existence of such a global section $t$ is equivalent to the vanishing of a certain cohomology class in $H^1(X, mathrmkervarphi)$ defined by the given data - namely: $0 rightarrow Gamma(X,mathrmkervarphi) rightarrow Gamma(X,mathcalF) rightarrow Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi) rightarrow cdots$ is exact and $s in Gamma(X,mathcalG)$ is in the image of $varphi_X$ iff. it is in the kernel of $Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi)$.
So sheaf cohomology serves a very "down-to-earth" purpose, namely measuring the obstruction of the existence of sections satisfying certain local conditions.
This concrete purpose however is combined with the "abstract machinery" of homological algebra to obtain "better behaved" algebra - long exact sequences etc.
(It is not easy/clear how to interpret higher cohomology groups though as far as I know)
Also note that lots of interesting geometric questions are at least related to being able to conclude things globally, if they are known locally.
So I think it's hardly surprising that sheaf cohomology is a very valuable tool in algebraic geometry (especially as other techniques commonly used in differential geometry - like partitions of unity - aren't really there in algebraic geometry as the algebro-geometric objects are too "rigid" in some sense).
Maybe others can give you more concrete examples, this is only my current understanding of the situation (which is far from perfect).
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3133727%2fhow-is-sheaf-cohomology-used-in-scheme-theory%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
First: I'm by no means an expert on sheaf cohomology.
Lots of interesting geometry of a scheme $X$ can be understood by studying 'vector bundles' over $X$; i.e. one tries to analyze the category of (quasi-)coherent sheaves $mathcalQCoh(X)/mathcalCoh(X)$ on $X$.
Personally I think of this as an analogon of how one often studies $R$-modules, when one is interested in the ring $R$. For example, if $X = mathrmSpec A$ is affine, one has an equivalence of categories of $mathcalMod_A cong mathcalQCoh(X)$.
So.. like one glues ("geometrized" versions of) rings to obtain schemes, one glues ("geometrized" versions of) modules over those rings to obtain quasicoherent modules over those schemes.
The coherent case furthermore restricts some finiteness conditions (geometrically I think this means restricting to "finite-rank" vector bundles).
(Vector bundles correspond to locally free sheaves (of finite rank); one can also think of $mathcalQCoh(X)/mathcalCoh(X)$ as the smallest abelian subcategories of the category of sheaves of $mathcalO_X$-modules that contains (things equivalent to) vector bundles/finite rank vector bundles; I'm not sure if it's possible to "formalize" this statement though.)
Now, sheaf cohomology seems to be a very valuable tool to study (quasi-)coherent modules over a scheme X.
As you probably know, the global section functor $Gamma(X,-)$ is left-exact, but not in general right-exact. As sheaf cohomology is the (right-)derived functor of $Gamma(X,-)$ it measures how far global sections are from being surjective.
I think this is quite a natural question:
If $ varphi:mathcalF rightarrow mathcalG$ is surjective this just means that locally, the given morphism is surjective, i.e. given any section $s in Gamma(X,mathcalG)$ and any point $xin X$ one know that there exists an open subset $x in U^x subseteq X$ s.t. $s|_U^x = varphi_U^x(t^x)$ for some $t^x in Gamma(U^x,mathcalF)$.
Now one might start to think about the following: When is it possible to choose the $t^x_xin X$ s.t. they glue to a global section $t in Gamma(X,mathcalF)$ (which then satisfies $varphi_X(t)=s$, as one easily verifies).
Tinkering a little bit with that question you might realize, that the existence of such a global section $t$ is equivalent to the vanishing of a certain cohomology class in $H^1(X, mathrmkervarphi)$ defined by the given data - namely: $0 rightarrow Gamma(X,mathrmkervarphi) rightarrow Gamma(X,mathcalF) rightarrow Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi) rightarrow cdots$ is exact and $s in Gamma(X,mathcalG)$ is in the image of $varphi_X$ iff. it is in the kernel of $Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi)$.
So sheaf cohomology serves a very "down-to-earth" purpose, namely measuring the obstruction of the existence of sections satisfying certain local conditions.
This concrete purpose however is combined with the "abstract machinery" of homological algebra to obtain "better behaved" algebra - long exact sequences etc.
(It is not easy/clear how to interpret higher cohomology groups though as far as I know)
Also note that lots of interesting geometric questions are at least related to being able to conclude things globally, if they are known locally.
So I think it's hardly surprising that sheaf cohomology is a very valuable tool in algebraic geometry (especially as other techniques commonly used in differential geometry - like partitions of unity - aren't really there in algebraic geometry as the algebro-geometric objects are too "rigid" in some sense).
Maybe others can give you more concrete examples, this is only my current understanding of the situation (which is far from perfect).
$endgroup$
add a comment |
$begingroup$
First: I'm by no means an expert on sheaf cohomology.
Lots of interesting geometry of a scheme $X$ can be understood by studying 'vector bundles' over $X$; i.e. one tries to analyze the category of (quasi-)coherent sheaves $mathcalQCoh(X)/mathcalCoh(X)$ on $X$.
Personally I think of this as an analogon of how one often studies $R$-modules, when one is interested in the ring $R$. For example, if $X = mathrmSpec A$ is affine, one has an equivalence of categories of $mathcalMod_A cong mathcalQCoh(X)$.
So.. like one glues ("geometrized" versions of) rings to obtain schemes, one glues ("geometrized" versions of) modules over those rings to obtain quasicoherent modules over those schemes.
The coherent case furthermore restricts some finiteness conditions (geometrically I think this means restricting to "finite-rank" vector bundles).
(Vector bundles correspond to locally free sheaves (of finite rank); one can also think of $mathcalQCoh(X)/mathcalCoh(X)$ as the smallest abelian subcategories of the category of sheaves of $mathcalO_X$-modules that contains (things equivalent to) vector bundles/finite rank vector bundles; I'm not sure if it's possible to "formalize" this statement though.)
Now, sheaf cohomology seems to be a very valuable tool to study (quasi-)coherent modules over a scheme X.
As you probably know, the global section functor $Gamma(X,-)$ is left-exact, but not in general right-exact. As sheaf cohomology is the (right-)derived functor of $Gamma(X,-)$ it measures how far global sections are from being surjective.
I think this is quite a natural question:
If $ varphi:mathcalF rightarrow mathcalG$ is surjective this just means that locally, the given morphism is surjective, i.e. given any section $s in Gamma(X,mathcalG)$ and any point $xin X$ one know that there exists an open subset $x in U^x subseteq X$ s.t. $s|_U^x = varphi_U^x(t^x)$ for some $t^x in Gamma(U^x,mathcalF)$.
Now one might start to think about the following: When is it possible to choose the $t^x_xin X$ s.t. they glue to a global section $t in Gamma(X,mathcalF)$ (which then satisfies $varphi_X(t)=s$, as one easily verifies).
Tinkering a little bit with that question you might realize, that the existence of such a global section $t$ is equivalent to the vanishing of a certain cohomology class in $H^1(X, mathrmkervarphi)$ defined by the given data - namely: $0 rightarrow Gamma(X,mathrmkervarphi) rightarrow Gamma(X,mathcalF) rightarrow Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi) rightarrow cdots$ is exact and $s in Gamma(X,mathcalG)$ is in the image of $varphi_X$ iff. it is in the kernel of $Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi)$.
So sheaf cohomology serves a very "down-to-earth" purpose, namely measuring the obstruction of the existence of sections satisfying certain local conditions.
This concrete purpose however is combined with the "abstract machinery" of homological algebra to obtain "better behaved" algebra - long exact sequences etc.
(It is not easy/clear how to interpret higher cohomology groups though as far as I know)
Also note that lots of interesting geometric questions are at least related to being able to conclude things globally, if they are known locally.
So I think it's hardly surprising that sheaf cohomology is a very valuable tool in algebraic geometry (especially as other techniques commonly used in differential geometry - like partitions of unity - aren't really there in algebraic geometry as the algebro-geometric objects are too "rigid" in some sense).
Maybe others can give you more concrete examples, this is only my current understanding of the situation (which is far from perfect).
$endgroup$
add a comment |
$begingroup$
First: I'm by no means an expert on sheaf cohomology.
Lots of interesting geometry of a scheme $X$ can be understood by studying 'vector bundles' over $X$; i.e. one tries to analyze the category of (quasi-)coherent sheaves $mathcalQCoh(X)/mathcalCoh(X)$ on $X$.
Personally I think of this as an analogon of how one often studies $R$-modules, when one is interested in the ring $R$. For example, if $X = mathrmSpec A$ is affine, one has an equivalence of categories of $mathcalMod_A cong mathcalQCoh(X)$.
So.. like one glues ("geometrized" versions of) rings to obtain schemes, one glues ("geometrized" versions of) modules over those rings to obtain quasicoherent modules over those schemes.
The coherent case furthermore restricts some finiteness conditions (geometrically I think this means restricting to "finite-rank" vector bundles).
(Vector bundles correspond to locally free sheaves (of finite rank); one can also think of $mathcalQCoh(X)/mathcalCoh(X)$ as the smallest abelian subcategories of the category of sheaves of $mathcalO_X$-modules that contains (things equivalent to) vector bundles/finite rank vector bundles; I'm not sure if it's possible to "formalize" this statement though.)
Now, sheaf cohomology seems to be a very valuable tool to study (quasi-)coherent modules over a scheme X.
As you probably know, the global section functor $Gamma(X,-)$ is left-exact, but not in general right-exact. As sheaf cohomology is the (right-)derived functor of $Gamma(X,-)$ it measures how far global sections are from being surjective.
I think this is quite a natural question:
If $ varphi:mathcalF rightarrow mathcalG$ is surjective this just means that locally, the given morphism is surjective, i.e. given any section $s in Gamma(X,mathcalG)$ and any point $xin X$ one know that there exists an open subset $x in U^x subseteq X$ s.t. $s|_U^x = varphi_U^x(t^x)$ for some $t^x in Gamma(U^x,mathcalF)$.
Now one might start to think about the following: When is it possible to choose the $t^x_xin X$ s.t. they glue to a global section $t in Gamma(X,mathcalF)$ (which then satisfies $varphi_X(t)=s$, as one easily verifies).
Tinkering a little bit with that question you might realize, that the existence of such a global section $t$ is equivalent to the vanishing of a certain cohomology class in $H^1(X, mathrmkervarphi)$ defined by the given data - namely: $0 rightarrow Gamma(X,mathrmkervarphi) rightarrow Gamma(X,mathcalF) rightarrow Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi) rightarrow cdots$ is exact and $s in Gamma(X,mathcalG)$ is in the image of $varphi_X$ iff. it is in the kernel of $Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi)$.
So sheaf cohomology serves a very "down-to-earth" purpose, namely measuring the obstruction of the existence of sections satisfying certain local conditions.
This concrete purpose however is combined with the "abstract machinery" of homological algebra to obtain "better behaved" algebra - long exact sequences etc.
(It is not easy/clear how to interpret higher cohomology groups though as far as I know)
Also note that lots of interesting geometric questions are at least related to being able to conclude things globally, if they are known locally.
So I think it's hardly surprising that sheaf cohomology is a very valuable tool in algebraic geometry (especially as other techniques commonly used in differential geometry - like partitions of unity - aren't really there in algebraic geometry as the algebro-geometric objects are too "rigid" in some sense).
Maybe others can give you more concrete examples, this is only my current understanding of the situation (which is far from perfect).
$endgroup$
First: I'm by no means an expert on sheaf cohomology.
Lots of interesting geometry of a scheme $X$ can be understood by studying 'vector bundles' over $X$; i.e. one tries to analyze the category of (quasi-)coherent sheaves $mathcalQCoh(X)/mathcalCoh(X)$ on $X$.
Personally I think of this as an analogon of how one often studies $R$-modules, when one is interested in the ring $R$. For example, if $X = mathrmSpec A$ is affine, one has an equivalence of categories of $mathcalMod_A cong mathcalQCoh(X)$.
So.. like one glues ("geometrized" versions of) rings to obtain schemes, one glues ("geometrized" versions of) modules over those rings to obtain quasicoherent modules over those schemes.
The coherent case furthermore restricts some finiteness conditions (geometrically I think this means restricting to "finite-rank" vector bundles).
(Vector bundles correspond to locally free sheaves (of finite rank); one can also think of $mathcalQCoh(X)/mathcalCoh(X)$ as the smallest abelian subcategories of the category of sheaves of $mathcalO_X$-modules that contains (things equivalent to) vector bundles/finite rank vector bundles; I'm not sure if it's possible to "formalize" this statement though.)
Now, sheaf cohomology seems to be a very valuable tool to study (quasi-)coherent modules over a scheme X.
As you probably know, the global section functor $Gamma(X,-)$ is left-exact, but not in general right-exact. As sheaf cohomology is the (right-)derived functor of $Gamma(X,-)$ it measures how far global sections are from being surjective.
I think this is quite a natural question:
If $ varphi:mathcalF rightarrow mathcalG$ is surjective this just means that locally, the given morphism is surjective, i.e. given any section $s in Gamma(X,mathcalG)$ and any point $xin X$ one know that there exists an open subset $x in U^x subseteq X$ s.t. $s|_U^x = varphi_U^x(t^x)$ for some $t^x in Gamma(U^x,mathcalF)$.
Now one might start to think about the following: When is it possible to choose the $t^x_xin X$ s.t. they glue to a global section $t in Gamma(X,mathcalF)$ (which then satisfies $varphi_X(t)=s$, as one easily verifies).
Tinkering a little bit with that question you might realize, that the existence of such a global section $t$ is equivalent to the vanishing of a certain cohomology class in $H^1(X, mathrmkervarphi)$ defined by the given data - namely: $0 rightarrow Gamma(X,mathrmkervarphi) rightarrow Gamma(X,mathcalF) rightarrow Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi) rightarrow cdots$ is exact and $s in Gamma(X,mathcalG)$ is in the image of $varphi_X$ iff. it is in the kernel of $Gamma(X,mathcalG) rightarrow H^1(X, mathrmkervarphi)$.
So sheaf cohomology serves a very "down-to-earth" purpose, namely measuring the obstruction of the existence of sections satisfying certain local conditions.
This concrete purpose however is combined with the "abstract machinery" of homological algebra to obtain "better behaved" algebra - long exact sequences etc.
(It is not easy/clear how to interpret higher cohomology groups though as far as I know)
Also note that lots of interesting geometric questions are at least related to being able to conclude things globally, if they are known locally.
So I think it's hardly surprising that sheaf cohomology is a very valuable tool in algebraic geometry (especially as other techniques commonly used in differential geometry - like partitions of unity - aren't really there in algebraic geometry as the algebro-geometric objects are too "rigid" in some sense).
Maybe others can give you more concrete examples, this is only my current understanding of the situation (which is far from perfect).
edited yesterday
answered yesterday
lushlush
607112
607112
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3133727%2fhow-is-sheaf-cohomology-used-in-scheme-theory%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown