Geometric Interpretation of Automorphisms of Projective Bundles Announcing the arrival of...

Antler Helmet: Can it work?

Why does Python start at index -1 when indexing a list from the end?

"Seemed to had" is it correct?

How to find all the available tools in macOS terminal?

If Jon Snow became King of the Seven Kingdoms what would his regnal number be?

Is the Standard Deduction better than Itemized when both are the same amount?

Is there a concise way to say "all of the X, one of each"?

What are the motives behind Cersei's orders given to Bronn?

Why don't the Weasley twins use magic outside of school if the Trace can only find the location of spells cast?

Is the address of a local variable a constexpr?

Why is "Consequences inflicted." not a sentence?

Is 1 ppb equal to 1 μg/kg?

How can I make names more distinctive without making them longer?

How does cp -a work

Can a non-EU citizen traveling with me come with me through the EU passport line?

ListPlot join points by nearest neighbor rather than order

What happens to sewage if there is no river near by?

Storing hydrofluoric acid before the invention of plastics

3 doors, three guards, one stone

Is high blood pressure ever a symptom attributable solely to dehydration?

Do I really need recursive chmod to restrict access to a folder?

Should gear shift center itself while in neutral?

What is a Meta algorithm?

How to bypass password on Windows XP account?



Geometric Interpretation of Automorphisms of Projective Bundles



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)relative dualizing sheafInverse image of a line bundle on $mathbb{P}^1$ and Euler-like exact sequenceWhat is the poinacre dual of the projectivization of a line bundle inside the projectivization of the sum of two line bundles?Invertible sheaves on arithmetic surfaces and gcd.What is the class group of the complement of three lines in the projective plane?Intersection product of line bundles with $mathcal{F}$.$mathcal{Ext}^i(mathcal{O}_{L_1}, mathcal{O}_{L_2})$ and $text{Ext}^i(mathcal{O}_{L_1}, mathcal{O}_{L_2})$ for two lines in $mathbb{P}^3$Quick question: Splitting of sheaves on the planeHow to understand the projective compactification of a vector bundle?Automorphisms of $mathbb{F}_{n}$.












2












$begingroup$


Let $mathcal{E}$ be a rank three vector bundle on $mathbb{P}^1$. It splits as $mathcal{E}congmathcal{O}(a_1)oplusmathcal{O}(a_2)oplusmathcal{O}(a_3)$. It's not hard to see that any automorphism of $mathbb{P}(mathcal{E})$ acts trivially on the Picard group, which is generated by the class $f$ of a fiber and the class $h$ of $mathcal{O}_{mathbb{P}(mathcal{E})}(1)$. In particular, because any automorphism takes fibers to fibers, we obtain a surjective map $text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)$. We get an exact sequence
$$
1rightarrow Grightarrow text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)rightarrow 1
$$

We think of $G$ as automorphisms that fix each fiber as a set and leave $mathbb{P}^1$ fixed. Algebraically, we can see $G=mathbb{P}text{Aut}(mathcal{E})$. We have $text{Aut}(mathcal{E})subset text{End}(mathcal{E})=H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$. We can view an element of $H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$ as a $3times 3$ matrix with entries $a_{ij}in H^0(mathbb{P}^1,mathcal{O}(a_i-a_j))$. I'd like to get my hands on what these automorphisms do in a geometric sense. It may be instructive to consider a specific example. Let $mathcal{E}=mathcal{O}(3)oplusmathcal{O}(3)oplusmathcal{O}(4)$. Our matrix is
$begin{pmatrix}
a & b & 0 \
c & d & 0 \
l_1 & l_2 & e
end{pmatrix} $
where $a,b,c,d,e$ are scalars and $l_1, l_2in H^0(mathbb{P}^1,mathcal{O}(1))$. The condition that this matrix defines an automorphism is that the determinant doesn't vanish, which just means that $(ad-bc)eneq 0$. After projectivizing, we can set $e=1$. Intuitively, this matrix breaks up in to a few parts. The top left $2times 2$ block seems to be a $GL_2$. The bottom left part is a $H^0(mathcal{O}(1))^{oplus 2}=mathbb{A}^4$. How can I interpret these parts of the matrix geometrically? What types of automorphisms do they correspond to? One idea I have is the following. There is a natural divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(4))$ inside $mathbb{P}(mathcal{E})$ given by one of the obvious inclusions. Using the well-known Chow ring of $mathbb{P}(mathcal{E})$, I was able to compute that this divisor lies in class $h-3f$. Using the projection formula, we see that $h^0(mathbb{P}(mathcal{E}),mathcal{O}(h-3f))=4$. From here, it seems like the bottom left part of the matrix moves around divisors in the class $h-3f$. Is this a reasonable interpretation? What about the $GL_2$ block? Perhaps it corresponds in some way to the divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(3))$?










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    Let $mathcal{E}$ be a rank three vector bundle on $mathbb{P}^1$. It splits as $mathcal{E}congmathcal{O}(a_1)oplusmathcal{O}(a_2)oplusmathcal{O}(a_3)$. It's not hard to see that any automorphism of $mathbb{P}(mathcal{E})$ acts trivially on the Picard group, which is generated by the class $f$ of a fiber and the class $h$ of $mathcal{O}_{mathbb{P}(mathcal{E})}(1)$. In particular, because any automorphism takes fibers to fibers, we obtain a surjective map $text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)$. We get an exact sequence
    $$
    1rightarrow Grightarrow text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)rightarrow 1
    $$

    We think of $G$ as automorphisms that fix each fiber as a set and leave $mathbb{P}^1$ fixed. Algebraically, we can see $G=mathbb{P}text{Aut}(mathcal{E})$. We have $text{Aut}(mathcal{E})subset text{End}(mathcal{E})=H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$. We can view an element of $H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$ as a $3times 3$ matrix with entries $a_{ij}in H^0(mathbb{P}^1,mathcal{O}(a_i-a_j))$. I'd like to get my hands on what these automorphisms do in a geometric sense. It may be instructive to consider a specific example. Let $mathcal{E}=mathcal{O}(3)oplusmathcal{O}(3)oplusmathcal{O}(4)$. Our matrix is
    $begin{pmatrix}
    a & b & 0 \
    c & d & 0 \
    l_1 & l_2 & e
    end{pmatrix} $
    where $a,b,c,d,e$ are scalars and $l_1, l_2in H^0(mathbb{P}^1,mathcal{O}(1))$. The condition that this matrix defines an automorphism is that the determinant doesn't vanish, which just means that $(ad-bc)eneq 0$. After projectivizing, we can set $e=1$. Intuitively, this matrix breaks up in to a few parts. The top left $2times 2$ block seems to be a $GL_2$. The bottom left part is a $H^0(mathcal{O}(1))^{oplus 2}=mathbb{A}^4$. How can I interpret these parts of the matrix geometrically? What types of automorphisms do they correspond to? One idea I have is the following. There is a natural divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(4))$ inside $mathbb{P}(mathcal{E})$ given by one of the obvious inclusions. Using the well-known Chow ring of $mathbb{P}(mathcal{E})$, I was able to compute that this divisor lies in class $h-3f$. Using the projection formula, we see that $h^0(mathbb{P}(mathcal{E}),mathcal{O}(h-3f))=4$. From here, it seems like the bottom left part of the matrix moves around divisors in the class $h-3f$. Is this a reasonable interpretation? What about the $GL_2$ block? Perhaps it corresponds in some way to the divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(3))$?










    share|cite|improve this question











    $endgroup$















      2












      2








      2





      $begingroup$


      Let $mathcal{E}$ be a rank three vector bundle on $mathbb{P}^1$. It splits as $mathcal{E}congmathcal{O}(a_1)oplusmathcal{O}(a_2)oplusmathcal{O}(a_3)$. It's not hard to see that any automorphism of $mathbb{P}(mathcal{E})$ acts trivially on the Picard group, which is generated by the class $f$ of a fiber and the class $h$ of $mathcal{O}_{mathbb{P}(mathcal{E})}(1)$. In particular, because any automorphism takes fibers to fibers, we obtain a surjective map $text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)$. We get an exact sequence
      $$
      1rightarrow Grightarrow text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)rightarrow 1
      $$

      We think of $G$ as automorphisms that fix each fiber as a set and leave $mathbb{P}^1$ fixed. Algebraically, we can see $G=mathbb{P}text{Aut}(mathcal{E})$. We have $text{Aut}(mathcal{E})subset text{End}(mathcal{E})=H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$. We can view an element of $H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$ as a $3times 3$ matrix with entries $a_{ij}in H^0(mathbb{P}^1,mathcal{O}(a_i-a_j))$. I'd like to get my hands on what these automorphisms do in a geometric sense. It may be instructive to consider a specific example. Let $mathcal{E}=mathcal{O}(3)oplusmathcal{O}(3)oplusmathcal{O}(4)$. Our matrix is
      $begin{pmatrix}
      a & b & 0 \
      c & d & 0 \
      l_1 & l_2 & e
      end{pmatrix} $
      where $a,b,c,d,e$ are scalars and $l_1, l_2in H^0(mathbb{P}^1,mathcal{O}(1))$. The condition that this matrix defines an automorphism is that the determinant doesn't vanish, which just means that $(ad-bc)eneq 0$. After projectivizing, we can set $e=1$. Intuitively, this matrix breaks up in to a few parts. The top left $2times 2$ block seems to be a $GL_2$. The bottom left part is a $H^0(mathcal{O}(1))^{oplus 2}=mathbb{A}^4$. How can I interpret these parts of the matrix geometrically? What types of automorphisms do they correspond to? One idea I have is the following. There is a natural divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(4))$ inside $mathbb{P}(mathcal{E})$ given by one of the obvious inclusions. Using the well-known Chow ring of $mathbb{P}(mathcal{E})$, I was able to compute that this divisor lies in class $h-3f$. Using the projection formula, we see that $h^0(mathbb{P}(mathcal{E}),mathcal{O}(h-3f))=4$. From here, it seems like the bottom left part of the matrix moves around divisors in the class $h-3f$. Is this a reasonable interpretation? What about the $GL_2$ block? Perhaps it corresponds in some way to the divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(3))$?










      share|cite|improve this question











      $endgroup$




      Let $mathcal{E}$ be a rank three vector bundle on $mathbb{P}^1$. It splits as $mathcal{E}congmathcal{O}(a_1)oplusmathcal{O}(a_2)oplusmathcal{O}(a_3)$. It's not hard to see that any automorphism of $mathbb{P}(mathcal{E})$ acts trivially on the Picard group, which is generated by the class $f$ of a fiber and the class $h$ of $mathcal{O}_{mathbb{P}(mathcal{E})}(1)$. In particular, because any automorphism takes fibers to fibers, we obtain a surjective map $text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)$. We get an exact sequence
      $$
      1rightarrow Grightarrow text{Aut}(mathbb{P}(mathcal{E}))rightarrow text{Aut}(mathbb{P}^1)rightarrow 1
      $$

      We think of $G$ as automorphisms that fix each fiber as a set and leave $mathbb{P}^1$ fixed. Algebraically, we can see $G=mathbb{P}text{Aut}(mathcal{E})$. We have $text{Aut}(mathcal{E})subset text{End}(mathcal{E})=H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$. We can view an element of $H^0(mathbb{P}^1,mathcal{E}otimes mathcal{E}^{vee})$ as a $3times 3$ matrix with entries $a_{ij}in H^0(mathbb{P}^1,mathcal{O}(a_i-a_j))$. I'd like to get my hands on what these automorphisms do in a geometric sense. It may be instructive to consider a specific example. Let $mathcal{E}=mathcal{O}(3)oplusmathcal{O}(3)oplusmathcal{O}(4)$. Our matrix is
      $begin{pmatrix}
      a & b & 0 \
      c & d & 0 \
      l_1 & l_2 & e
      end{pmatrix} $
      where $a,b,c,d,e$ are scalars and $l_1, l_2in H^0(mathbb{P}^1,mathcal{O}(1))$. The condition that this matrix defines an automorphism is that the determinant doesn't vanish, which just means that $(ad-bc)eneq 0$. After projectivizing, we can set $e=1$. Intuitively, this matrix breaks up in to a few parts. The top left $2times 2$ block seems to be a $GL_2$. The bottom left part is a $H^0(mathcal{O}(1))^{oplus 2}=mathbb{A}^4$. How can I interpret these parts of the matrix geometrically? What types of automorphisms do they correspond to? One idea I have is the following. There is a natural divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(4))$ inside $mathbb{P}(mathcal{E})$ given by one of the obvious inclusions. Using the well-known Chow ring of $mathbb{P}(mathcal{E})$, I was able to compute that this divisor lies in class $h-3f$. Using the projection formula, we see that $h^0(mathbb{P}(mathcal{E}),mathcal{O}(h-3f))=4$. From here, it seems like the bottom left part of the matrix moves around divisors in the class $h-3f$. Is this a reasonable interpretation? What about the $GL_2$ block? Perhaps it corresponds in some way to the divisor $mathbb{P}(mathcal{O}(3)oplusmathcal{O}(3))$?







      algebraic-geometry






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 25 at 19:12







      Samir Canning

















      asked Mar 23 at 21:45









      Samir CanningSamir Canning

      50839




      50839






















          0






          active

          oldest

          votes












          Your Answer








          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
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159842%2fgeometric-interpretation-of-automorphisms-of-projective-bundles%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159842%2fgeometric-interpretation-of-automorphisms-of-projective-bundles%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

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister