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?













3












$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$.










share|cite|improve this question







New contributor




user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$

















    3












    $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$.










    share|cite|improve this question







    New contributor




    user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$















      3












      3








      3





      $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$.










      share|cite|improve this question







      New contributor




      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $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






      share|cite|improve this question







      New contributor




      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question







      New contributor




      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question






      New contributor




      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked yesterday









      user125056user125056

      261




      261




      New contributor




      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      user125056 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






















          1 Answer
          1






          active

          oldest

          votes


















          4












          $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$.






          share|cite|improve this answer









          $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











          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.










          draft saved

          draft discarded


















          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









          4












          $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$.






          share|cite|improve this answer









          $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
















          4












          $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$.






          share|cite|improve this answer









          $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














          4












          4








          4





          $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$.






          share|cite|improve this answer









          $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$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          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














          • 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










          user125056 is a new contributor. Be nice, and check out our Code of Conduct.










          draft saved

          draft discarded


















          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.




          draft saved


          draft discarded














          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





















































          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







          Popular posts from this blog

          El tren de la libertad Índice Antecedentes "Porque yo decido" Desarrollo de la...

          Castillo d'Acher Características Menú de navegación

          Puerta de Hutt Referencias Enlaces externos Menú de navegación15°58′00″S 5°42′00″O /...