canonical bundle of Veronese embedding The Next CEO of Stack OverflowCanonical Vector Bundle associated to a complete intersectionHartshorne proof of adjunction formula proposition II.8.20Normal bundle to complete intersection in $mathbbP^n$Complete Intersection does not lie in a hyperplane?Canonical bundle of the Lagrangian GrassmannianCanonical divisor of smooth complete intersection curve is very ample for genus $g geq 2$.When is the canonical sheaf of a curve very ample?Pullback of line bundle of negative degree has no global sections.Proof of Generalized Bézout theorem using Veronese Embedding mapCanonical bundle of blow up at singular point
If/When UK leaves the EU, can a future goverment conduct a referendum to join the EU?
How do I reset passwords on multiple websites easily?
Is it possible to search for a directory/file combination?
How do we know the LHC results are robust?
Anatomically Correct Strange Women In Ponds Distributing Swords
If the heap is initialized for security, then why is the stack uninitialized?
Is there a way to save my career from absolute disaster?
Does it take more energy to get to Venus or to Mars?
What is "(CFMCC)" on an ILS approach chart?
Preparing Indesign booklet with .psd graphics for print
To not tell, not take, and not want
Which tube will fit a -(700 x 25c) wheel?
Why do we use the plural of movies in this phrase "We went to the movies last night."?
Can I run my washing machine drain line into a condensate pump so it drains better?
How to count occurrences of text in a file?
Indicator light circuit
Inappropriate reference requests from Journal reviewers
What flight has the highest ratio of time difference to flight time?
Multiple labels for a single equation
Why didn't Khan get resurrected in the Genesis Explosion?
What can we do to stop prior company from asking us questions?
In excess I'm lethal
Received an invoice from my ex-employer billing me for training; how to handle?
How does the Z80 determine which peripheral sent an interrupt?
canonical bundle of Veronese embedding
The Next CEO of Stack OverflowCanonical Vector Bundle associated to a complete intersectionHartshorne proof of adjunction formula proposition II.8.20Normal bundle to complete intersection in $mathbbP^n$Complete Intersection does not lie in a hyperplane?Canonical bundle of the Lagrangian GrassmannianCanonical divisor of smooth complete intersection curve is very ample for genus $g geq 2$.When is the canonical sheaf of a curve very ample?Pullback of line bundle of negative degree has no global sections.Proof of Generalized Bézout theorem using Veronese Embedding mapCanonical bundle of blow up at singular point
$begingroup$
Suppose we are given a complete intersection $X$ of codimension $r=n-d$ in $mathbbP^n$ where the degrees of the hypersurfaces are $d_i$ and $d$ is the dimension of $X$. Then the canonical bundle $omega_X=mathcalO_X(sum d_i-n-1)$. Now suppose we embedd $X$ via a Veronese embdding in some $mathbbP^N$ for some $N>>0$ so that one has inclusion $i:Xrightarrow mathbbP^N$. By Hartshorne Proposition 8.20 one can calculate $omega_X$ is this case but what is the normal bundle $mathcalN_X/mathbbP^N$ in this case?
algebraic-geometry
$endgroup$
add a comment |
$begingroup$
Suppose we are given a complete intersection $X$ of codimension $r=n-d$ in $mathbbP^n$ where the degrees of the hypersurfaces are $d_i$ and $d$ is the dimension of $X$. Then the canonical bundle $omega_X=mathcalO_X(sum d_i-n-1)$. Now suppose we embedd $X$ via a Veronese embdding in some $mathbbP^N$ for some $N>>0$ so that one has inclusion $i:Xrightarrow mathbbP^N$. By Hartshorne Proposition 8.20 one can calculate $omega_X$ is this case but what is the normal bundle $mathcalN_X/mathbbP^N$ in this case?
algebraic-geometry
$endgroup$
add a comment |
$begingroup$
Suppose we are given a complete intersection $X$ of codimension $r=n-d$ in $mathbbP^n$ where the degrees of the hypersurfaces are $d_i$ and $d$ is the dimension of $X$. Then the canonical bundle $omega_X=mathcalO_X(sum d_i-n-1)$. Now suppose we embedd $X$ via a Veronese embdding in some $mathbbP^N$ for some $N>>0$ so that one has inclusion $i:Xrightarrow mathbbP^N$. By Hartshorne Proposition 8.20 one can calculate $omega_X$ is this case but what is the normal bundle $mathcalN_X/mathbbP^N$ in this case?
algebraic-geometry
$endgroup$
Suppose we are given a complete intersection $X$ of codimension $r=n-d$ in $mathbbP^n$ where the degrees of the hypersurfaces are $d_i$ and $d$ is the dimension of $X$. Then the canonical bundle $omega_X=mathcalO_X(sum d_i-n-1)$. Now suppose we embedd $X$ via a Veronese embdding in some $mathbbP^N$ for some $N>>0$ so that one has inclusion $i:Xrightarrow mathbbP^N$. By Hartshorne Proposition 8.20 one can calculate $omega_X$ is this case but what is the normal bundle $mathcalN_X/mathbbP^N$ in this case?
algebraic-geometry
algebraic-geometry
asked Dec 27 '13 at 13:55
user109227user109227
28916
28916
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Suppose $M$ subset of $Bbb R^m$ is a closed embedded submanifold. if $M$ admits a global defining function, show that is normal bundle is trivial.
Conversely, if $M$ has trivial normal bundle, show that there is a nighborhood $U$ of $M$ in $Bbb R^n$ and a submersion $K$ from $U$ to $Bbb R^k$ such that $M=K^-1(U)$.
$endgroup$
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
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: "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%2f619596%2fcanonical-bundle-of-veronese-embedding%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$
Suppose $M$ subset of $Bbb R^m$ is a closed embedded submanifold. if $M$ admits a global defining function, show that is normal bundle is trivial.
Conversely, if $M$ has trivial normal bundle, show that there is a nighborhood $U$ of $M$ in $Bbb R^n$ and a submersion $K$ from $U$ to $Bbb R^k$ such that $M=K^-1(U)$.
$endgroup$
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
add a comment |
$begingroup$
Suppose $M$ subset of $Bbb R^m$ is a closed embedded submanifold. if $M$ admits a global defining function, show that is normal bundle is trivial.
Conversely, if $M$ has trivial normal bundle, show that there is a nighborhood $U$ of $M$ in $Bbb R^n$ and a submersion $K$ from $U$ to $Bbb R^k$ such that $M=K^-1(U)$.
$endgroup$
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
add a comment |
$begingroup$
Suppose $M$ subset of $Bbb R^m$ is a closed embedded submanifold. if $M$ admits a global defining function, show that is normal bundle is trivial.
Conversely, if $M$ has trivial normal bundle, show that there is a nighborhood $U$ of $M$ in $Bbb R^n$ and a submersion $K$ from $U$ to $Bbb R^k$ such that $M=K^-1(U)$.
$endgroup$
Suppose $M$ subset of $Bbb R^m$ is a closed embedded submanifold. if $M$ admits a global defining function, show that is normal bundle is trivial.
Conversely, if $M$ has trivial normal bundle, show that there is a nighborhood $U$ of $M$ in $Bbb R^n$ and a submersion $K$ from $U$ to $Bbb R^k$ such that $M=K^-1(U)$.
edited Mar 18 at 22:07
Yanior Weg
2,73211346
2,73211346
answered Jan 31 '16 at 9:44
AliAli
11
11
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
add a comment |
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
$begingroup$
The question is about projective algebraic geometry (over an algebraically closed field, I suppose) What you wrote does not fit that. Already a conic in the projective plane has a non-trivial normal bundle in this context.
$endgroup$
– Mariano Suárez-Álvarez
Jan 31 '16 at 10:45
add a comment |
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%2f619596%2fcanonical-bundle-of-veronese-embedding%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