Image of the Segre embedding of an hypersurface











up vote
0
down vote

favorite
1












Suppose that my initial envoirenment space is $mathbb{P}^{4}$ with homogeneous coordinates $[x_{0}:x_{1}:x_{2}:x_{3}:x_{4}]$ and I define an hypersurface with equation (for example) $h:x_{0}x_{3}+2x_{1}x_{2}-3x_{4}^2=0$.



I also define the coordinates $[y_{0}:y_{1}]$ for a second projective space $mathbb{P}^{1}$.



Now I embedd the product of the two projective varieties using the Segre embedding $mathbb{P}^{4}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{9}$ with coordintes $[x_{0}y_{0},x_{1}y_{0},x_{2}y_{0},x_{3}y_{0},x_{4}y_{0},x_{0}y_{1},x_{1}y_{1},x_{2}y_{1},x_{3}y_{1},x_{4}y_{1}]$



What I understand is that now my envoirenment space is going to be $mathbb{P}^{9}$, but what I want to know is the following: which are going to be the defining equations of my hypersurface $h$ when it is embedded into $mathbb{P}^{9}$?





I have no idea about how to proceed, maybe I am misunderstanding something important. My only "reasonable" guess is that now the hypersurface could be:



$h=left{begin{matrix}
x_{0}y_{0}x_{3}y_{0}+2x_{1}y_{0}x_{2}y_{0}-3(x_{4}y_{0})^2=0\
x_{0}y_{1}x_{3}y_{1}+2x_{1}y_{1}x_{2}y_{1}-3(x_{4}y_{1})^2=0
end{matrix}right.$



(At least in this way there is kind of a "match" in the dimensions as $mathbb{P}^{3}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{7}$ and generally (for a complete intersection) two equations in $mathbb{P}^{9}$ will define a $7-$manifold)










share|cite|improve this question




















  • 2




    There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
    – Michael Burr
    yesterday










  • $h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
    – DKS
    18 hours ago










  • Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
    – Chequez
    18 hours ago

















up vote
0
down vote

favorite
1












Suppose that my initial envoirenment space is $mathbb{P}^{4}$ with homogeneous coordinates $[x_{0}:x_{1}:x_{2}:x_{3}:x_{4}]$ and I define an hypersurface with equation (for example) $h:x_{0}x_{3}+2x_{1}x_{2}-3x_{4}^2=0$.



I also define the coordinates $[y_{0}:y_{1}]$ for a second projective space $mathbb{P}^{1}$.



Now I embedd the product of the two projective varieties using the Segre embedding $mathbb{P}^{4}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{9}$ with coordintes $[x_{0}y_{0},x_{1}y_{0},x_{2}y_{0},x_{3}y_{0},x_{4}y_{0},x_{0}y_{1},x_{1}y_{1},x_{2}y_{1},x_{3}y_{1},x_{4}y_{1}]$



What I understand is that now my envoirenment space is going to be $mathbb{P}^{9}$, but what I want to know is the following: which are going to be the defining equations of my hypersurface $h$ when it is embedded into $mathbb{P}^{9}$?





I have no idea about how to proceed, maybe I am misunderstanding something important. My only "reasonable" guess is that now the hypersurface could be:



$h=left{begin{matrix}
x_{0}y_{0}x_{3}y_{0}+2x_{1}y_{0}x_{2}y_{0}-3(x_{4}y_{0})^2=0\
x_{0}y_{1}x_{3}y_{1}+2x_{1}y_{1}x_{2}y_{1}-3(x_{4}y_{1})^2=0
end{matrix}right.$



(At least in this way there is kind of a "match" in the dimensions as $mathbb{P}^{3}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{7}$ and generally (for a complete intersection) two equations in $mathbb{P}^{9}$ will define a $7-$manifold)










share|cite|improve this question




















  • 2




    There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
    – Michael Burr
    yesterday










  • $h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
    – DKS
    18 hours ago










  • Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
    – Chequez
    18 hours ago















up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





Suppose that my initial envoirenment space is $mathbb{P}^{4}$ with homogeneous coordinates $[x_{0}:x_{1}:x_{2}:x_{3}:x_{4}]$ and I define an hypersurface with equation (for example) $h:x_{0}x_{3}+2x_{1}x_{2}-3x_{4}^2=0$.



I also define the coordinates $[y_{0}:y_{1}]$ for a second projective space $mathbb{P}^{1}$.



Now I embedd the product of the two projective varieties using the Segre embedding $mathbb{P}^{4}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{9}$ with coordintes $[x_{0}y_{0},x_{1}y_{0},x_{2}y_{0},x_{3}y_{0},x_{4}y_{0},x_{0}y_{1},x_{1}y_{1},x_{2}y_{1},x_{3}y_{1},x_{4}y_{1}]$



What I understand is that now my envoirenment space is going to be $mathbb{P}^{9}$, but what I want to know is the following: which are going to be the defining equations of my hypersurface $h$ when it is embedded into $mathbb{P}^{9}$?





I have no idea about how to proceed, maybe I am misunderstanding something important. My only "reasonable" guess is that now the hypersurface could be:



$h=left{begin{matrix}
x_{0}y_{0}x_{3}y_{0}+2x_{1}y_{0}x_{2}y_{0}-3(x_{4}y_{0})^2=0\
x_{0}y_{1}x_{3}y_{1}+2x_{1}y_{1}x_{2}y_{1}-3(x_{4}y_{1})^2=0
end{matrix}right.$



(At least in this way there is kind of a "match" in the dimensions as $mathbb{P}^{3}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{7}$ and generally (for a complete intersection) two equations in $mathbb{P}^{9}$ will define a $7-$manifold)










share|cite|improve this question















Suppose that my initial envoirenment space is $mathbb{P}^{4}$ with homogeneous coordinates $[x_{0}:x_{1}:x_{2}:x_{3}:x_{4}]$ and I define an hypersurface with equation (for example) $h:x_{0}x_{3}+2x_{1}x_{2}-3x_{4}^2=0$.



I also define the coordinates $[y_{0}:y_{1}]$ for a second projective space $mathbb{P}^{1}$.



Now I embedd the product of the two projective varieties using the Segre embedding $mathbb{P}^{4}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{9}$ with coordintes $[x_{0}y_{0},x_{1}y_{0},x_{2}y_{0},x_{3}y_{0},x_{4}y_{0},x_{0}y_{1},x_{1}y_{1},x_{2}y_{1},x_{3}y_{1},x_{4}y_{1}]$



What I understand is that now my envoirenment space is going to be $mathbb{P}^{9}$, but what I want to know is the following: which are going to be the defining equations of my hypersurface $h$ when it is embedded into $mathbb{P}^{9}$?





I have no idea about how to proceed, maybe I am misunderstanding something important. My only "reasonable" guess is that now the hypersurface could be:



$h=left{begin{matrix}
x_{0}y_{0}x_{3}y_{0}+2x_{1}y_{0}x_{2}y_{0}-3(x_{4}y_{0})^2=0\
x_{0}y_{1}x_{3}y_{1}+2x_{1}y_{1}x_{2}y_{1}-3(x_{4}y_{1})^2=0
end{matrix}right.$



(At least in this way there is kind of a "match" in the dimensions as $mathbb{P}^{3}timesmathbb{P}^{1}hookrightarrowmathbb{P}^{7}$ and generally (for a complete intersection) two equations in $mathbb{P}^{9}$ will define a $7-$manifold)







algebraic-geometry projective-varieties






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 18 hours ago

























asked yesterday









Chequez

8462511




8462511








  • 2




    There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
    – Michael Burr
    yesterday










  • $h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
    – DKS
    18 hours ago










  • Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
    – Chequez
    18 hours ago
















  • 2




    There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
    – Michael Burr
    yesterday










  • $h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
    – DKS
    18 hours ago










  • Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
    – Chequez
    18 hours ago










2




2




There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
– Michael Burr
yesterday




There's also the Segre equations, basically the equations that define the image of the Segre map. Also, is your hypersurface ${h=0}timesmathbb{P}$ or something else?
– Michael Burr
yesterday












$h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
– DKS
18 hours ago




$h$ isn't even homogeneous; can you elaborate? There are equations for finding the image of the Segre embedding, I think Milne's notes has a good treatment. I would link them but I'm on mobile.
– DKS
18 hours ago












Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
– Chequez
18 hours ago






Sorry you´re right, I have just re-written $h$ (the thing is that $h$ is not my interest case but this one math.stackexchange.com/questions/2989121/… (that´s the reason why I haven´t check $h$ case more carefully)), I have also taken a look to Milne´s notes and I haven´t seen anything clarifier
– Chequez
18 hours ago

















active

oldest

votes











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: 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%2f2994763%2fimage-of-the-segre-embedding-of-an-hypersurface%23new-answer', 'question_page');
}
);

Post as a guest





































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2994763%2fimage-of-the-segre-embedding-of-an-hypersurface%23new-answer', 'question_page');
}
);

Post as a guest




















































































Popular posts from this blog

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?