Intersection of lines in $ mathbbP^3 $ can be given as zero locus of homogeneous linear polynomial in $ mathbbP^5 $Every curve in $mathbbA^3$ is the zero-locus of $3$ polynomialsWorking out an example of a Chern classGeneric fibers of the Gauss map are linear spacesOpen cover of a grassmannianFinding ideal generators of the ideal of relations among a certain set of polynomials$mathbb P^1(mathbb C)$ inside $Gr(2,4)$Linear polynomial whose multiplication with a given quadratic polynomial vanishes in the Jacobi ringDimension of irreducible components of single homogeneous polynomialWhich subspaces of exterior power have decomposable bases?Projection of singular del Pezzo from the sigunlar point

Zip/Tar file compressed to larger size?

Why would the Red Woman birth a shadow if she worshipped the Lord of the Light?

Size of subfigure fitting its content (tikzpicture)

A friend helped me with a presentation – plagiarism or not?

Can a virus destroy the BIOS of a modern computer?

How can saying a song's name be a copyright violation?

Personal Teleportation: From Rags to Riches

What is the most common color to indicate the input-field is disabled?

ssTTsSTtRrriinInnnnNNNIiinngg

Gatling : Performance testing tool

Extract rows of a table, that include less than x NULLs

Why is consensus so controversial in Britain?

What exploit are these user agents trying to use?

What does the expression "A Mann!" means

Examples of smooth manifolds admitting inbetween one and a continuum of complex structures

Can we compute the area of a quadrilateral with one right angle when we only know the lengths of any three sides?

How dangerous is XSS?

Can my sorcerer use a spellbook only to collect spells and scribe scrolls, not cast?

Why no variance term in Bayesian logistic regression?

How badly should I try to prevent a user from XSSing themselves?

Why is this clock signal connected to a capacitor to gnd?

Intersection Puzzle

Bullying boss launched a smear campaign and made me unemployable

Dreadful Dastardly Diseases, or Always Atrocious Ailments



Intersection of lines in $ mathbbP^3 $ can be given as zero locus of homogeneous linear polynomial in $ mathbbP^5 $


Every curve in $mathbbA^3$ is the zero-locus of $3$ polynomialsWorking out an example of a Chern classGeneric fibers of the Gauss map are linear spacesOpen cover of a grassmannianFinding ideal generators of the ideal of relations among a certain set of polynomials$mathbb P^1(mathbb C)$ inside $Gr(2,4)$Linear polynomial whose multiplication with a given quadratic polynomial vanishes in the Jacobi ringDimension of irreducible components of single homogeneous polynomialWhich subspaces of exterior power have decomposable bases?Projection of singular del Pezzo from the sigunlar point













1












$begingroup$


I'm currently stuck at Exercise 8.19 b) in the notes to Algebraic Geometry from Gathmann




Let $L subset mathbbP^3$ be an arbitrary line. Show that the set of lines in $mathbbP^3$ that intersect $L$, considered as a subset of $G(2,4) subset mathbbP^5 $, is the zero locus of a homogeneous linear polynomial.




I tried solving the problem by first fixing a line in $mathbbP^3$ and looking at all lines that intersect it and then derive the form of the needed linear homogeneous linear polynomial. But have no idea how.



So i started with fixing $L$ as $Lin(e_1 ,e_2) $ this leads to coordinate $(1:0:0:0:0:0)$ in $mathbbP^5$ with Plücker embedding. Obviously the lines $(e_1,e_3),(e_1,e_4),(e_2,e_3),(e_2,e_4),(e_3,e_4)$ intersect $L$ and have coordinates $(0:1:0:0:0:0),...,(0:0:0:0:1:0)$.
Now i need to also include lines that are linear combinations of my basis vectors for example $(e_1+e_2,e_2+e_3)$. My question is how to find all of these lines and how to build a homogeneous linear polynomial from them.










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    I'm currently stuck at Exercise 8.19 b) in the notes to Algebraic Geometry from Gathmann




    Let $L subset mathbbP^3$ be an arbitrary line. Show that the set of lines in $mathbbP^3$ that intersect $L$, considered as a subset of $G(2,4) subset mathbbP^5 $, is the zero locus of a homogeneous linear polynomial.




    I tried solving the problem by first fixing a line in $mathbbP^3$ and looking at all lines that intersect it and then derive the form of the needed linear homogeneous linear polynomial. But have no idea how.



    So i started with fixing $L$ as $Lin(e_1 ,e_2) $ this leads to coordinate $(1:0:0:0:0:0)$ in $mathbbP^5$ with Plücker embedding. Obviously the lines $(e_1,e_3),(e_1,e_4),(e_2,e_3),(e_2,e_4),(e_3,e_4)$ intersect $L$ and have coordinates $(0:1:0:0:0:0),...,(0:0:0:0:1:0)$.
    Now i need to also include lines that are linear combinations of my basis vectors for example $(e_1+e_2,e_2+e_3)$. My question is how to find all of these lines and how to build a homogeneous linear polynomial from them.










    share|cite|improve this question









    $endgroup$














      1












      1








      1


      1



      $begingroup$


      I'm currently stuck at Exercise 8.19 b) in the notes to Algebraic Geometry from Gathmann




      Let $L subset mathbbP^3$ be an arbitrary line. Show that the set of lines in $mathbbP^3$ that intersect $L$, considered as a subset of $G(2,4) subset mathbbP^5 $, is the zero locus of a homogeneous linear polynomial.




      I tried solving the problem by first fixing a line in $mathbbP^3$ and looking at all lines that intersect it and then derive the form of the needed linear homogeneous linear polynomial. But have no idea how.



      So i started with fixing $L$ as $Lin(e_1 ,e_2) $ this leads to coordinate $(1:0:0:0:0:0)$ in $mathbbP^5$ with Plücker embedding. Obviously the lines $(e_1,e_3),(e_1,e_4),(e_2,e_3),(e_2,e_4),(e_3,e_4)$ intersect $L$ and have coordinates $(0:1:0:0:0:0),...,(0:0:0:0:1:0)$.
      Now i need to also include lines that are linear combinations of my basis vectors for example $(e_1+e_2,e_2+e_3)$. My question is how to find all of these lines and how to build a homogeneous linear polynomial from them.










      share|cite|improve this question









      $endgroup$




      I'm currently stuck at Exercise 8.19 b) in the notes to Algebraic Geometry from Gathmann




      Let $L subset mathbbP^3$ be an arbitrary line. Show that the set of lines in $mathbbP^3$ that intersect $L$, considered as a subset of $G(2,4) subset mathbbP^5 $, is the zero locus of a homogeneous linear polynomial.




      I tried solving the problem by first fixing a line in $mathbbP^3$ and looking at all lines that intersect it and then derive the form of the needed linear homogeneous linear polynomial. But have no idea how.



      So i started with fixing $L$ as $Lin(e_1 ,e_2) $ this leads to coordinate $(1:0:0:0:0:0)$ in $mathbbP^5$ with Plücker embedding. Obviously the lines $(e_1,e_3),(e_1,e_4),(e_2,e_3),(e_2,e_4),(e_3,e_4)$ intersect $L$ and have coordinates $(0:1:0:0:0:0),...,(0:0:0:0:1:0)$.
      Now i need to also include lines that are linear combinations of my basis vectors for example $(e_1+e_2,e_2+e_3)$. My question is how to find all of these lines and how to build a homogeneous linear polynomial from them.







      algebraic-geometry grassmannian






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 28 at 21:26









      ASPASP

      224




      224




















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          Let $L$ be the line given by the projectivization of the span of $e_1, e_2$. In other words, $L$ is the vanishing locus of $e_3$ and $e_4$. Let $v, w in (mathbbC^4)^*$ be linearly independent dual vectors (i.e., homogeneous linear forms, whose vanishing loci are planes), and let $L'$ be the line whose image in the Plucker embedding is given by $v wedge w$ (i.e., $L'$ is the vanishing locus of the functionals $v,w$). Then $L cap L'$ is nonempty precisely when there exists $[a : b ] in mathbbP^1$ such that $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$. Let $v = sum_i = 1^4 c_ie_i^*$ and $w = sum_i = 1^4 d_ie_i^*$. Then $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$ is equivalent to saying that $ac_1 + bc_2 = ad_1 + bd_2 = 0$, so $L cap L'$ is nonempty precisely when the matrix $left[beginarraycc c_1 & c_2 \ d_1 & d_2endarrayright]$ has vanishing determinant, which occurs when $c_1d_2 - d_1c_2 = 0$. But the $e_1^* wedge e_2^*$ coordinate of $v wedge w$ is given by $c_1d_2 - d_1c_2$, so $L cap L'$ is nonempty precisely when $L'$ has vanishing $e_1^* wedge e_2^*$ coordinate under the Plucker embedding, and this is obviously a hyperplane condition on the $mathbbP^5$ in which $G(2,4)$ sits.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
            $endgroup$
            – ASP
            Mar 29 at 9:19






          • 1




            $begingroup$
            $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
            $endgroup$
            – Ashvin Swaminathan
            Mar 29 at 11:32











          • $begingroup$
            I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
            $endgroup$
            – ASP
            Mar 31 at 1:03






          • 1




            $begingroup$
            I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 1:33







          • 1




            $begingroup$
            (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 23:44












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



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166440%2fintersection-of-lines-in-mathbbp3-can-be-given-as-zero-locus-of-homogene%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









          1












          $begingroup$

          Let $L$ be the line given by the projectivization of the span of $e_1, e_2$. In other words, $L$ is the vanishing locus of $e_3$ and $e_4$. Let $v, w in (mathbbC^4)^*$ be linearly independent dual vectors (i.e., homogeneous linear forms, whose vanishing loci are planes), and let $L'$ be the line whose image in the Plucker embedding is given by $v wedge w$ (i.e., $L'$ is the vanishing locus of the functionals $v,w$). Then $L cap L'$ is nonempty precisely when there exists $[a : b ] in mathbbP^1$ such that $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$. Let $v = sum_i = 1^4 c_ie_i^*$ and $w = sum_i = 1^4 d_ie_i^*$. Then $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$ is equivalent to saying that $ac_1 + bc_2 = ad_1 + bd_2 = 0$, so $L cap L'$ is nonempty precisely when the matrix $left[beginarraycc c_1 & c_2 \ d_1 & d_2endarrayright]$ has vanishing determinant, which occurs when $c_1d_2 - d_1c_2 = 0$. But the $e_1^* wedge e_2^*$ coordinate of $v wedge w$ is given by $c_1d_2 - d_1c_2$, so $L cap L'$ is nonempty precisely when $L'$ has vanishing $e_1^* wedge e_2^*$ coordinate under the Plucker embedding, and this is obviously a hyperplane condition on the $mathbbP^5$ in which $G(2,4)$ sits.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
            $endgroup$
            – ASP
            Mar 29 at 9:19






          • 1




            $begingroup$
            $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
            $endgroup$
            – Ashvin Swaminathan
            Mar 29 at 11:32











          • $begingroup$
            I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
            $endgroup$
            – ASP
            Mar 31 at 1:03






          • 1




            $begingroup$
            I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 1:33







          • 1




            $begingroup$
            (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 23:44
















          1












          $begingroup$

          Let $L$ be the line given by the projectivization of the span of $e_1, e_2$. In other words, $L$ is the vanishing locus of $e_3$ and $e_4$. Let $v, w in (mathbbC^4)^*$ be linearly independent dual vectors (i.e., homogeneous linear forms, whose vanishing loci are planes), and let $L'$ be the line whose image in the Plucker embedding is given by $v wedge w$ (i.e., $L'$ is the vanishing locus of the functionals $v,w$). Then $L cap L'$ is nonempty precisely when there exists $[a : b ] in mathbbP^1$ such that $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$. Let $v = sum_i = 1^4 c_ie_i^*$ and $w = sum_i = 1^4 d_ie_i^*$. Then $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$ is equivalent to saying that $ac_1 + bc_2 = ad_1 + bd_2 = 0$, so $L cap L'$ is nonempty precisely when the matrix $left[beginarraycc c_1 & c_2 \ d_1 & d_2endarrayright]$ has vanishing determinant, which occurs when $c_1d_2 - d_1c_2 = 0$. But the $e_1^* wedge e_2^*$ coordinate of $v wedge w$ is given by $c_1d_2 - d_1c_2$, so $L cap L'$ is nonempty precisely when $L'$ has vanishing $e_1^* wedge e_2^*$ coordinate under the Plucker embedding, and this is obviously a hyperplane condition on the $mathbbP^5$ in which $G(2,4)$ sits.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
            $endgroup$
            – ASP
            Mar 29 at 9:19






          • 1




            $begingroup$
            $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
            $endgroup$
            – Ashvin Swaminathan
            Mar 29 at 11:32











          • $begingroup$
            I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
            $endgroup$
            – ASP
            Mar 31 at 1:03






          • 1




            $begingroup$
            I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 1:33







          • 1




            $begingroup$
            (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 23:44














          1












          1








          1





          $begingroup$

          Let $L$ be the line given by the projectivization of the span of $e_1, e_2$. In other words, $L$ is the vanishing locus of $e_3$ and $e_4$. Let $v, w in (mathbbC^4)^*$ be linearly independent dual vectors (i.e., homogeneous linear forms, whose vanishing loci are planes), and let $L'$ be the line whose image in the Plucker embedding is given by $v wedge w$ (i.e., $L'$ is the vanishing locus of the functionals $v,w$). Then $L cap L'$ is nonempty precisely when there exists $[a : b ] in mathbbP^1$ such that $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$. Let $v = sum_i = 1^4 c_ie_i^*$ and $w = sum_i = 1^4 d_ie_i^*$. Then $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$ is equivalent to saying that $ac_1 + bc_2 = ad_1 + bd_2 = 0$, so $L cap L'$ is nonempty precisely when the matrix $left[beginarraycc c_1 & c_2 \ d_1 & d_2endarrayright]$ has vanishing determinant, which occurs when $c_1d_2 - d_1c_2 = 0$. But the $e_1^* wedge e_2^*$ coordinate of $v wedge w$ is given by $c_1d_2 - d_1c_2$, so $L cap L'$ is nonempty precisely when $L'$ has vanishing $e_1^* wedge e_2^*$ coordinate under the Plucker embedding, and this is obviously a hyperplane condition on the $mathbbP^5$ in which $G(2,4)$ sits.






          share|cite|improve this answer











          $endgroup$



          Let $L$ be the line given by the projectivization of the span of $e_1, e_2$. In other words, $L$ is the vanishing locus of $e_3$ and $e_4$. Let $v, w in (mathbbC^4)^*$ be linearly independent dual vectors (i.e., homogeneous linear forms, whose vanishing loci are planes), and let $L'$ be the line whose image in the Plucker embedding is given by $v wedge w$ (i.e., $L'$ is the vanishing locus of the functionals $v,w$). Then $L cap L'$ is nonempty precisely when there exists $[a : b ] in mathbbP^1$ such that $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$. Let $v = sum_i = 1^4 c_ie_i^*$ and $w = sum_i = 1^4 d_ie_i^*$. Then $v(ae_1 + be_2) = w(ae_1 +be_2) = 0$ is equivalent to saying that $ac_1 + bc_2 = ad_1 + bd_2 = 0$, so $L cap L'$ is nonempty precisely when the matrix $left[beginarraycc c_1 & c_2 \ d_1 & d_2endarrayright]$ has vanishing determinant, which occurs when $c_1d_2 - d_1c_2 = 0$. But the $e_1^* wedge e_2^*$ coordinate of $v wedge w$ is given by $c_1d_2 - d_1c_2$, so $L cap L'$ is nonempty precisely when $L'$ has vanishing $e_1^* wedge e_2^*$ coordinate under the Plucker embedding, and this is obviously a hyperplane condition on the $mathbbP^5$ in which $G(2,4)$ sits.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 29 at 21:50

























          answered Mar 28 at 23:43









          Ashvin SwaminathanAshvin Swaminathan

          1,695520




          1,695520











          • $begingroup$
            Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
            $endgroup$
            – ASP
            Mar 29 at 9:19






          • 1




            $begingroup$
            $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
            $endgroup$
            – Ashvin Swaminathan
            Mar 29 at 11:32











          • $begingroup$
            I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
            $endgroup$
            – ASP
            Mar 31 at 1:03






          • 1




            $begingroup$
            I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 1:33







          • 1




            $begingroup$
            (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 23:44

















          • $begingroup$
            Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
            $endgroup$
            – ASP
            Mar 29 at 9:19






          • 1




            $begingroup$
            $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
            $endgroup$
            – Ashvin Swaminathan
            Mar 29 at 11:32











          • $begingroup$
            I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
            $endgroup$
            – ASP
            Mar 31 at 1:03






          • 1




            $begingroup$
            I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 1:33







          • 1




            $begingroup$
            (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
            $endgroup$
            – Ashvin Swaminathan
            Mar 31 at 23:44
















          $begingroup$
          Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
          $endgroup$
          – ASP
          Mar 29 at 9:19




          $begingroup$
          Hi, thank you for answering my question. Now i have two questions with regards two to answer. First im unfamiliar with the notation $e_i^*$ what is the difference to $e_i$. Second you wrote that $L cap L' $ is nonempty when $e_1^* land e_2^*$ vanished under the Plücker embedding. But $L cap L$ is nonempty and $e_1 land e_2 neq 0 $ and would this not also mean that $L cap (e_3 land e_4) $ should have a nonempty intersection.
          $endgroup$
          – ASP
          Mar 29 at 9:19




          1




          1




          $begingroup$
          $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
          $endgroup$
          – Ashvin Swaminathan
          Mar 29 at 11:32





          $begingroup$
          $e_i^*$ simply means the linear function $mathbbC^4 to mathbbC$ that sends $e_i$ to $1$ and $e_j$ to $0$ for all $j neq i$. The Plucker embedding sends a line in $mathbbP^3$ defined as the vanishing locus of a pair of linear forms $v,w$ to the vector $v wedge w$. I mean that $L cap L'$ is nonempty when the coordinate of the basis vector $e_1^* wedge e_2^*$ in $v wedge w$ is $0$ (i.e., write $v wedge w$ in the basis $e_i^* wedge e_j^*: 1 leq i < j leq 4$, and the coefficient of $e_1^* wedge e_2^*$ has to be $0$). I am not saying that $e_1 wedge e_2 = 0$.
          $endgroup$
          – Ashvin Swaminathan
          Mar 29 at 11:32













          $begingroup$
          I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
          $endgroup$
          – ASP
          Mar 31 at 1:03




          $begingroup$
          I try understand your explanation by running through it for fixed $ L = Lin(e_1,e_2) $ and $L' = Lin(e_1+e_4, e_2 -e_4) $ correct me if i go wrong somewhere. Then $ Lcap L' $ is nonempty when $v(ae_1+be_2)=w(ae_1+be_2)=0$ , in this case if i take as base for my dual space $e_1,e_2,e_3,e_4$. This should be $ a = b = 0$ , but i should have something wrong here since $(0:0) notin mathbbP^1$.
          $endgroup$
          – ASP
          Mar 31 at 1:03




          1




          1




          $begingroup$
          I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
          $endgroup$
          – Ashvin Swaminathan
          Mar 31 at 1:33





          $begingroup$
          I think you may have mistakenly taken $v = e_1^* + e_4^*$ and $w = e_2^* - e_4^*$. In this case you ought to take, for example, $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$, because you need $L'$ to be the intersection of the vanishing loci of $v$ and $w$. Note that with my choice of $v$ and $w$, you get $v(e_1 + e_4) = v(e_2 - e_4) = w(e_1 + e_4) = w(e_2 - e_4) = 0$. So $v(ae_1+be_2) = a-b$ and $w(ae_1+be_2) = 0$. So taking $a = b neq 0$ works.
          $endgroup$
          – Ashvin Swaminathan
          Mar 31 at 1:33





          1




          1




          $begingroup$
          (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
          $endgroup$
          – Ashvin Swaminathan
          Mar 31 at 23:44





          $begingroup$
          (1) Notice that every point on $operatornameLin(e_1, e_2)$ corresponds to a linear combination $ae_1 + be_2$, so for that point to lie on the line $L'$, it must be in the vanishing locus of both $v,w$, because the line $L'$ is defined to be the vanishing locus of $v$ and $w$. (2) You just need to choose any $2$ different homogeneous linear forms vanishing on both $e_1 + e_4$ and $e_2 - e_4$. After some playing around, I found the forms $v = e_1^* - e_2^* - e_4^*$ and $w = e_3^*$ in my previous comment.
          $endgroup$
          – Ashvin Swaminathan
          Mar 31 at 23:44


















          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%2f3166440%2fintersection-of-lines-in-mathbbp3-can-be-given-as-zero-locus-of-homogene%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ