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

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?