Cohomology of tangent sheaf of a hypersurfaceDimension of irreducible components of tangent bundle Big...
Cohomology of tangent sheaf of a hypersurface
Dimension of irreducible components of tangent bundle Big tangent bundleEmbedding a projective curve in a smooth surface (using a Bertini theorem)Cremona transformationsSpecial linear sections of a hypersurfaceVanishing of sheaf cohomology with compact supportCohomology of tangent sheaf of a singular hypersurfaceHessian of an hypersurfaceIntersection numbers in $mathbb{P}^1$-bundlesHow to write down the connection morphism in the long exact sequence in Čech cohomology explicitly in this specific case?
$begingroup$
Let $Xsubsetmathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is the tangent sheaf of $X$.
For instance $h^0(X,T_X)$ gives the dimension of the automorphism group of $X$.
ag.algebraic-geometry sheaf-theory projective-geometry birational-geometry sheaf-cohomology
New contributor
$endgroup$
add a comment |
$begingroup$
Let $Xsubsetmathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is the tangent sheaf of $X$.
For instance $h^0(X,T_X)$ gives the dimension of the automorphism group of $X$.
ag.algebraic-geometry sheaf-theory projective-geometry birational-geometry sheaf-cohomology
New contributor
$endgroup$
add a comment |
$begingroup$
Let $Xsubsetmathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is the tangent sheaf of $X$.
For instance $h^0(X,T_X)$ gives the dimension of the automorphism group of $X$.
ag.algebraic-geometry sheaf-theory projective-geometry birational-geometry sheaf-cohomology
New contributor
$endgroup$
Let $Xsubsetmathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is the tangent sheaf of $X$.
For instance $h^0(X,T_X)$ gives the dimension of the automorphism group of $X$.
ag.algebraic-geometry sheaf-theory projective-geometry birational-geometry sheaf-cohomology
ag.algebraic-geometry sheaf-theory projective-geometry birational-geometry sheaf-cohomology
New contributor
New contributor
New contributor
asked yesterday
user125056user125056
261
261
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Use the normal sequence
$$
0 to T_X to T_{mathbb{P}^n}vert_X to N_{X/mathbb{P}^n} to 0,
$$
exact sequences
$$
0 to mathcal{O}_{mathbb{P}^n} to mathcal{O}_{mathbb{P}^n}(d) to i_*N_{X/mathbb{P}^n} to 0
$$
(we identify here $N_{X/mathbb{P}^n}$ with $mathcal{O}_X(d)$ and denote by $i$ the embedding $X to mathbb{P}^n$) and
$$
0 to T_{mathbb{P}^n}(-d) to T_{mathbb{P}^n} to i_*(T_{mathbb{P}^n}vert_X) to 0,
$$
and Borel-Bott-Weil Theorem to compute cohomology on $mathbb{P}^n$.
$endgroup$
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
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: "504"
};
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
});
}
});
user125056 is a new contributor. Be nice, and check out our Code of Conduct.
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%2fmathoverflow.net%2fquestions%2f324710%2fcohomology-of-tangent-sheaf-of-a-hypersurface%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$
Use the normal sequence
$$
0 to T_X to T_{mathbb{P}^n}vert_X to N_{X/mathbb{P}^n} to 0,
$$
exact sequences
$$
0 to mathcal{O}_{mathbb{P}^n} to mathcal{O}_{mathbb{P}^n}(d) to i_*N_{X/mathbb{P}^n} to 0
$$
(we identify here $N_{X/mathbb{P}^n}$ with $mathcal{O}_X(d)$ and denote by $i$ the embedding $X to mathbb{P}^n$) and
$$
0 to T_{mathbb{P}^n}(-d) to T_{mathbb{P}^n} to i_*(T_{mathbb{P}^n}vert_X) to 0,
$$
and Borel-Bott-Weil Theorem to compute cohomology on $mathbb{P}^n$.
$endgroup$
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
add a comment |
$begingroup$
Use the normal sequence
$$
0 to T_X to T_{mathbb{P}^n}vert_X to N_{X/mathbb{P}^n} to 0,
$$
exact sequences
$$
0 to mathcal{O}_{mathbb{P}^n} to mathcal{O}_{mathbb{P}^n}(d) to i_*N_{X/mathbb{P}^n} to 0
$$
(we identify here $N_{X/mathbb{P}^n}$ with $mathcal{O}_X(d)$ and denote by $i$ the embedding $X to mathbb{P}^n$) and
$$
0 to T_{mathbb{P}^n}(-d) to T_{mathbb{P}^n} to i_*(T_{mathbb{P}^n}vert_X) to 0,
$$
and Borel-Bott-Weil Theorem to compute cohomology on $mathbb{P}^n$.
$endgroup$
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
add a comment |
$begingroup$
Use the normal sequence
$$
0 to T_X to T_{mathbb{P}^n}vert_X to N_{X/mathbb{P}^n} to 0,
$$
exact sequences
$$
0 to mathcal{O}_{mathbb{P}^n} to mathcal{O}_{mathbb{P}^n}(d) to i_*N_{X/mathbb{P}^n} to 0
$$
(we identify here $N_{X/mathbb{P}^n}$ with $mathcal{O}_X(d)$ and denote by $i$ the embedding $X to mathbb{P}^n$) and
$$
0 to T_{mathbb{P}^n}(-d) to T_{mathbb{P}^n} to i_*(T_{mathbb{P}^n}vert_X) to 0,
$$
and Borel-Bott-Weil Theorem to compute cohomology on $mathbb{P}^n$.
$endgroup$
Use the normal sequence
$$
0 to T_X to T_{mathbb{P}^n}vert_X to N_{X/mathbb{P}^n} to 0,
$$
exact sequences
$$
0 to mathcal{O}_{mathbb{P}^n} to mathcal{O}_{mathbb{P}^n}(d) to i_*N_{X/mathbb{P}^n} to 0
$$
(we identify here $N_{X/mathbb{P}^n}$ with $mathcal{O}_X(d)$ and denote by $i$ the embedding $X to mathbb{P}^n$) and
$$
0 to T_{mathbb{P}^n}(-d) to T_{mathbb{P}^n} to i_*(T_{mathbb{P}^n}vert_X) to 0,
$$
and Borel-Bott-Weil Theorem to compute cohomology on $mathbb{P}^n$.
answered yesterday
SashaSasha
20.8k22755
20.8k22755
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
add a comment |
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
1
1
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
$begingroup$
I think that the first exact sequence you wrote holds only if $X$ is smooth. What if $X$ is singular?
$endgroup$
– user125056
yesterday
2
2
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
This is right (I missed the absence of the smoothness assumption in the question). In the singular case the first sequence is not exact in the right term, but its cokernel is not so hard to control. It is isomorphic to $mathcal{O}_Z(d)$, where $Z subset mathbb{P}^n$ is the subscheme defined by ${ partial F/partial x_0 = partial F/partial x_1 = dots partial F/partial x_n = 0 }$, where $F$ is the equation of $X$.
$endgroup$
– Sasha
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
$begingroup$
An addendum: this nice paper by Sernesi (arxiv.org/pdf/1306.3736.pdf) gives informations on how to control the deformations of a singular reduced hypersurface in terms of the local cohomology of the cokernel that Sasha was mentioning.
$endgroup$
– Enrico
yesterday
add a comment |
user125056 is a new contributor. Be nice, and check out our Code of Conduct.
user125056 is a new contributor. Be nice, and check out our Code of Conduct.
user125056 is a new contributor. Be nice, and check out our Code of Conduct.
user125056 is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f324710%2fcohomology-of-tangent-sheaf-of-a-hypersurface%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