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}$.
$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))$?
algebraic-geometry
$endgroup$
add a comment |
$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))$?
algebraic-geometry
$endgroup$
add a comment |
$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))$?
algebraic-geometry
$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
algebraic-geometry
edited Mar 25 at 19:12
Samir Canning
asked Mar 23 at 21:45
Samir CanningSamir Canning
50839
50839
add a comment |
add a comment |
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
});
}
});
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%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
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%2f3159842%2fgeometric-interpretation-of-automorphisms-of-projective-bundles%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