Skip to main content
added 1 character in body
Source Link

Let me unravel the kind suggestion by Sasha in the comments section.

  1. The point $F=[0:1:0]$ is a flex of the cubic $Y^2Z=X(X-Z)(X-\lambda Z)$. Let us call $t_0$ the tangent line through $F$, which is actually $Z=0$. There are exactly three more tangents $t_1,t_2,t_3$ to the cubic which pass through $F$, which are $$ X=0,\ X=Z,\ X=\lambda Z. $$ The cross ratio of the four lines $t_0,\dots,t_3$ (meeting in a single point) in $\mathbb P^2$ is, up to ordering the four lines, $\lambda$.

  2. Next, let $F'$ be any flex of the cubic, $t_0'$ the corresponding tangent. It can be shown that there are exactly three more tangents $t_i'$ ($i=1,2,3$) to the cubic through $F'$. Let $\lambda'$ be the cross ratio of the four lines $t_0',\dots,t_3'$ (meeting in a single point) - in some order. By the HINT, there is an automorphism of $\mathbb P^2$ fixing the cubic and sending $F'$ to $F$, thus sending $t_i'$ to $t_i$ (up to reordering), whence the cross-ratios $\lambda$ and $\lambda'$ share the same set $\Lambda(\lambda)=\Lambda(\lambda')$. This shows that one can really associate the set $\Lambda(\lambda)=:\Lambda(\mathcal C)$ to any cubic $\mathcal C$ by applying this recipe to any flex of $\mathcal C$.

  3. Finally, given two cubic curves $\mathcal C:Y^2Z=X(X-Z)(X-\lambda)$ and $\mathcal C':Y^2Z=X(X-Z)(X-\lambda'Z)$, we can compute $\Lambda(\mathcal C)$ and $\Lambda(\mathcal C')$ according to the 1. above as cross-ratios of four lines through a point in $\mathbb P ^2$. If $\mathcal C$ and $\mathcal C'$ are projectively equivalent, then these cross-ratios must be equal, i.e. $\Lambda(\lambda)=\Lambda(\lambda')$.

(Conversely, if $\Lambda(\lambda)=\Lambda(\lambda')$ it is easy to construct a projective equivalence of the two curves.)

Let me unravel the kind suggestion by Sasha in the comments section.

  1. The point $F=[0:1:0]$ is a flex of the cubic $Y^2Z=X(X-Z)(X-\lambda Z)$. Let us call $t_0$ the tangent line through $F$, which is actually $Z=0$. There are exactly three more tangents $t_1,t_2,t_3$ to the cubic which pass through $F$, which are $$ X=0,\ X=Z,\ X=\lambda Z. $$ The cross ratio of the four lines $t_0,\dots,t_3$ (meeting in a single point) in $\mathbb P^2$ is, up to ordering the four lines, $\lambda$.

  2. Next, let $F'$ be any flex of the cubic, $t_0'$ the corresponding tangent. It can be shown that there are exactly three more tangents $t_i'$ ($i=1,2,3$) to the cubic through $F'$. Let $\lambda'$ be the cross ratio of the four lines $t_0',\dots,t_3'$ (meeting in a single point) - in some order. By the HINT, there is an automorphism of $\mathbb P^2$ fixing the cubic and sending $F'$ to $F$, thus sending $t_i'$ to $t_i$ (up to reordering), whence the cross-ratios $\lambda$ and $\lambda'$ share the same set $\Lambda(\lambda)=\Lambda(\lambda')$. This shows that one can really associate the set $\Lambda(\lambda)=:\Lambda(\mathcal C)$ to any cubic $\mathcal C$ by applying this recipe to any flex of $\mathcal C$.

  3. Finally, given two cubic curves $\mathcal C:Y^2Z=X(X-Z)(X-\lambda)$ and $\mathcal C':Y^2Z=X(X-Z)(X-\lambda'Z)$, we can compute $\Lambda(\mathcal C)$ and $\Lambda(\mathcal C')$ according to the 1. as cross-ratios of four lines through a point in $\mathbb P ^2$. If $\mathcal C$ and $\mathcal C'$ are projectively equivalent, then these cross-ratios must be equal, i.e. $\Lambda(\lambda)=\Lambda(\lambda')$.

(Conversely, if $\Lambda(\lambda)=\Lambda(\lambda')$ it is easy to construct a projective equivalence of the two curves.)

Let me unravel the kind suggestion by Sasha in the comments section.

  1. The point $F=[0:1:0]$ is a flex of the cubic $Y^2Z=X(X-Z)(X-\lambda Z)$. Let us call $t_0$ the tangent line through $F$, which is actually $Z=0$. There are exactly three more tangents $t_1,t_2,t_3$ to the cubic which pass through $F$, which are $$ X=0,\ X=Z,\ X=\lambda Z. $$ The cross ratio of the four lines $t_0,\dots,t_3$ (meeting in a single point) in $\mathbb P^2$ is, up to ordering the four lines, $\lambda$.

  2. Next, let $F'$ be any flex of the cubic, $t_0'$ the corresponding tangent. It can be shown that there are exactly three more tangents $t_i'$ ($i=1,2,3$) to the cubic through $F'$. Let $\lambda'$ be the cross ratio of the four lines $t_0',\dots,t_3'$ (meeting in a single point) - in some order. By the HINT, there is an automorphism of $\mathbb P^2$ fixing the cubic and sending $F'$ to $F$, thus sending $t_i'$ to $t_i$ (up to reordering), whence the cross-ratios $\lambda$ and $\lambda'$ share the same set $\Lambda(\lambda)=\Lambda(\lambda')$. This shows that one can really associate the set $\Lambda(\lambda)=:\Lambda(\mathcal C)$ to any cubic $\mathcal C$ by applying this recipe to any flex of $\mathcal C$.

  3. Finally, given two cubic curves $\mathcal C:Y^2Z=X(X-Z)(X-\lambda)$ and $\mathcal C':Y^2Z=X(X-Z)(X-\lambda'Z)$, we can compute $\Lambda(\mathcal C)$ and $\Lambda(\mathcal C')$ according to 1 above as cross-ratios of four lines through a point in $\mathbb P ^2$. If $\mathcal C$ and $\mathcal C'$ are projectively equivalent, then these cross-ratios must be equal, i.e. $\Lambda(\lambda)=\Lambda(\lambda')$.

(Conversely, if $\Lambda(\lambda)=\Lambda(\lambda')$ it is easy to construct a projective equivalence of the two curves.)

Source Link

Let me unravel the kind suggestion by Sasha in the comments section.

  1. The point $F=[0:1:0]$ is a flex of the cubic $Y^2Z=X(X-Z)(X-\lambda Z)$. Let us call $t_0$ the tangent line through $F$, which is actually $Z=0$. There are exactly three more tangents $t_1,t_2,t_3$ to the cubic which pass through $F$, which are $$ X=0,\ X=Z,\ X=\lambda Z. $$ The cross ratio of the four lines $t_0,\dots,t_3$ (meeting in a single point) in $\mathbb P^2$ is, up to ordering the four lines, $\lambda$.

  2. Next, let $F'$ be any flex of the cubic, $t_0'$ the corresponding tangent. It can be shown that there are exactly three more tangents $t_i'$ ($i=1,2,3$) to the cubic through $F'$. Let $\lambda'$ be the cross ratio of the four lines $t_0',\dots,t_3'$ (meeting in a single point) - in some order. By the HINT, there is an automorphism of $\mathbb P^2$ fixing the cubic and sending $F'$ to $F$, thus sending $t_i'$ to $t_i$ (up to reordering), whence the cross-ratios $\lambda$ and $\lambda'$ share the same set $\Lambda(\lambda)=\Lambda(\lambda')$. This shows that one can really associate the set $\Lambda(\lambda)=:\Lambda(\mathcal C)$ to any cubic $\mathcal C$ by applying this recipe to any flex of $\mathcal C$.

  3. Finally, given two cubic curves $\mathcal C:Y^2Z=X(X-Z)(X-\lambda)$ and $\mathcal C':Y^2Z=X(X-Z)(X-\lambda'Z)$, we can compute $\Lambda(\mathcal C)$ and $\Lambda(\mathcal C')$ according to the 1. as cross-ratios of four lines through a point in $\mathbb P ^2$. If $\mathcal C$ and $\mathcal C'$ are projectively equivalent, then these cross-ratios must be equal, i.e. $\Lambda(\lambda)=\Lambda(\lambda')$.

(Conversely, if $\Lambda(\lambda)=\Lambda(\lambda')$ it is easy to construct a projective equivalence of the two curves.)