On the notion of projective isomorphism

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Assume that $X,Y$ are closed subschemes of some projective space $P$. I call $X,Y$ projectively isomorphic if there exists an isomorphism $f:Xrightarrow Y$ with $f^ast O_Y(1)=O_X(1)$. Here $O_X(1)$ is the pullback/restriction of $O_P(1)$. Does this imply that $f$ comes from an automorphism of $P$? I can easily prove the converse.










share|cite|improve this question

























    up vote
    0
    down vote

    favorite












    Assume that $X,Y$ are closed subschemes of some projective space $P$. I call $X,Y$ projectively isomorphic if there exists an isomorphism $f:Xrightarrow Y$ with $f^ast O_Y(1)=O_X(1)$. Here $O_X(1)$ is the pullback/restriction of $O_P(1)$. Does this imply that $f$ comes from an automorphism of $P$? I can easily prove the converse.










    share|cite|improve this question























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Assume that $X,Y$ are closed subschemes of some projective space $P$. I call $X,Y$ projectively isomorphic if there exists an isomorphism $f:Xrightarrow Y$ with $f^ast O_Y(1)=O_X(1)$. Here $O_X(1)$ is the pullback/restriction of $O_P(1)$. Does this imply that $f$ comes from an automorphism of $P$? I can easily prove the converse.










      share|cite|improve this question













      Assume that $X,Y$ are closed subschemes of some projective space $P$. I call $X,Y$ projectively isomorphic if there exists an isomorphism $f:Xrightarrow Y$ with $f^ast O_Y(1)=O_X(1)$. Here $O_X(1)$ is the pullback/restriction of $O_P(1)$. Does this imply that $f$ comes from an automorphism of $P$? I can easily prove the converse.







      algebraic-geometry






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 5 at 10:30









      Michel de Nostredame

      249310




      249310




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          I can take $X,Y$ to be 4 points in $mathbbP^1$, e.g. $X=0,1,infty,a$ and $Y=0,1,infty,b$, with $ane b$. Then clearly there is an isomorphism $f:Xrightarrow Y$ with $f^*mathcalO_Y(1) = mathcalO_X(1)$ but this does not come from an automorphism of $mathbbP^1$, since any such automorphism is determined by 3 points.






          share|cite|improve this answer




















          • +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
            – Michel de Nostredame
            Sep 5 at 21:46







          • 2




            @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
            – loch
            Sep 6 at 0:50










          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',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2906113%2fon-the-notion-of-projective-isomorphism%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          3
          down vote



          accepted










          I can take $X,Y$ to be 4 points in $mathbbP^1$, e.g. $X=0,1,infty,a$ and $Y=0,1,infty,b$, with $ane b$. Then clearly there is an isomorphism $f:Xrightarrow Y$ with $f^*mathcalO_Y(1) = mathcalO_X(1)$ but this does not come from an automorphism of $mathbbP^1$, since any such automorphism is determined by 3 points.






          share|cite|improve this answer




















          • +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
            – Michel de Nostredame
            Sep 5 at 21:46







          • 2




            @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
            – loch
            Sep 6 at 0:50














          up vote
          3
          down vote



          accepted










          I can take $X,Y$ to be 4 points in $mathbbP^1$, e.g. $X=0,1,infty,a$ and $Y=0,1,infty,b$, with $ane b$. Then clearly there is an isomorphism $f:Xrightarrow Y$ with $f^*mathcalO_Y(1) = mathcalO_X(1)$ but this does not come from an automorphism of $mathbbP^1$, since any such automorphism is determined by 3 points.






          share|cite|improve this answer




















          • +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
            – Michel de Nostredame
            Sep 5 at 21:46







          • 2




            @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
            – loch
            Sep 6 at 0:50












          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          I can take $X,Y$ to be 4 points in $mathbbP^1$, e.g. $X=0,1,infty,a$ and $Y=0,1,infty,b$, with $ane b$. Then clearly there is an isomorphism $f:Xrightarrow Y$ with $f^*mathcalO_Y(1) = mathcalO_X(1)$ but this does not come from an automorphism of $mathbbP^1$, since any such automorphism is determined by 3 points.






          share|cite|improve this answer












          I can take $X,Y$ to be 4 points in $mathbbP^1$, e.g. $X=0,1,infty,a$ and $Y=0,1,infty,b$, with $ane b$. Then clearly there is an isomorphism $f:Xrightarrow Y$ with $f^*mathcalO_Y(1) = mathcalO_X(1)$ but this does not come from an automorphism of $mathbbP^1$, since any such automorphism is determined by 3 points.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 5 at 13:19









          loch

          1,623189




          1,623189











          • +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
            – Michel de Nostredame
            Sep 5 at 21:46







          • 2




            @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
            – loch
            Sep 6 at 0:50
















          • +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
            – Michel de Nostredame
            Sep 5 at 21:46







          • 2




            @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
            – loch
            Sep 6 at 0:50















          +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
          – Michel de Nostredame
          Sep 5 at 21:46





          +1 Interesting. Do you also know an example if $X$ and $Y$ are irreducible?
          – Michel de Nostredame
          Sep 5 at 21:46





          2




          2




          @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
          – loch
          Sep 6 at 0:50




          @MicheldeNostredame Consider $X$ embedded in a $mathbbP^2 hookrightarrow mathbbP^3$ as a cubic curve and $Y$ to be the twisted cubic in $mathbbP^3$. Any automorphism of $mathbbP^3$ necessarily maps a $mathbbP^2$ to another $mathbbP^2$, but the twisted cubic is nondegenerate.
          – loch
          Sep 6 at 0:50

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2906113%2fon-the-notion-of-projective-isomorphism%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Carbon dioxide

          Why am i infinitely getting the same tweet with the Twitter Search API?