Three Conics determine a Cubic

Given a cubic K . Then for each point P there is a conic C P associated to P . The conic C P is called the polar conic of K with respect to the pole P . We investigate the situation when three conics C 1 , C 2 , and C 3 are polar conics of K with respect to some poles P 1 , P 2 , and P 3 , respectively. In particular we show that any three conics C 1 , C 2 , C 3 in general position determine a unique cubic K and three points P 1 , P 2 , P 3 , such that C 1 , C 2 , C 3 are polar conics of K with respect to the three poles P 1 , P 2 , P 3 . This can be seen as a higher degree variant of von Staudt’s theorem.


Introduction
This work proceeds the paper [3], in which it is shown that two given conics C 0 and C 1 can always be considered as polar conics of a cubic K curve with respect to corresponding poles P 0 and P 1 .However, even though P 1 is determined by P 0 , neither the cubic nor the point P 0 is determined by the two conics C 0 and C 1 .This changes if we start with three conics C 1 , C 2 , C 3 in general position.In this situation, there is a unique cubic K and uniquely determined points P 1 , P 2 , P 3 such that C 1 , C 2 , C 3 are the polar conics of K with respect to the three poles P 1 , P 2 , P 3 .Instead of formulating the result in the abstract language of algebraic geometry, we propose an elementary and explicit approach that shows a concrete method to calculate the resulting cubic curve K and the poles P 1 , P 2 , P 3 , starting from the three given conic sections C 1 , C 2 , C 3 .In particular, the condition for uniqueness and existence becomes visible in this way.
Our result can be seen as a higher degree variant of von Staudt's Theorem which says that given three lines 1 , 2 , 3 and three points P 1 , P 2 , P 3 in perspective position determine a unique conic C such that the points P i are the poles of the lines i with respect to C (see [7, p. 135, § 241]).
The setting in which we work is the same as in [3], but for the sake of completeness we recall the notation and terminology.We will work in the real projective plane RP 2 = R 3 \ {0}/ ∼, where X ∼ Y ∈ R 3 \ {0} are equivalent, if X = λY for some λ ∈ R. Points X = (x 1 , x 2 , x 3 ) T ∈ R 3 \ {0} will be denoted by capital letters, the components with the corresponding small letter, and the equivalence class by [X].However, since we mostly work with representatives, we often omit the square brackets in the notation.A non-degenerate conic in this setting is then given by an equation of the form X, AX = 0, where A is a regular, real, symmetric 3 × 3matrix with mixed signature, i.e., A has eigenvalues of both signs, and •, • denotes the standard inner product of R 3 .
Let f be a non-constant homogeneous polynomial in the variables x 1 , x 2 , x 3 of degree n.Then f defines a projective algebraic curve is also a homogeneous polynomial in the variables x 1 , x 2 , x 3 .If the homogeneous polynomial f is of degree n, then C P f is an algebraic curve of degree n − 1.The curve C P f is called the polar curve of C f with respect to the pole P ; sometimes we call it the polar curve of P with respect to C f .In particular, when C f is a cubic curve (i.e., f is a homogeneous polynomial of degree 3), then C P f is a conic, which we call the polar conic of C f with respect to the pole P , and when C f is a conic, then C P f is a line, which we call the polar line of C f with respect to the pole P (see, for example, the classical book of Wieleitner [8] or Dolgachev [2,Chapter 3] for a modern view).Note that C P f is defined and can be a regular curve even if C f is singular or reducible.For some historical background, for the geometric interpretation of poles and polar lines, for the iterated construction of polar curves, as well as for the analytical method used today, see Monge [5, §3], Bobillier [1], and Joachimsthal [4, p. 373], or [3].

Algebraic Curves and Multilinear Forms
Let C f be a conic given by the non-constant homogeneous polynomial Then, the symmetric matrix has the property that a point X belongs to C f (i.e., f (X) = 0), if and only if X, T (X) = 0. Thus, the conic C f is represented by the matrix T .Since the expression X, T (Y ) defines a bilinear form R 3 × R 3 → R, (X, Y ) → X, T (Y ) , we can consider the matrix T also as a purely covariant tensor of rank 2 (i.e., a tensor whose rank of covariance is 2 and whose rank of contravariance is 0).More precisely, if we consider the matrix T as a (0, 2)-tensor, where for X = (x 1 , x 2 , x 3 ) and Y = (y 1 , y 2 , y 3 ) we define then the expression X, T (X) = 0 is equivalent to T (X, X) = 0.In order to obtain the coefficients of the (0, 2)-tensor T = (a ij ) 1≤i,j≤3 from a conic C f defined by a non-constant homogeneous polynomial f , we just set for all 1 ≤ i, j ≤ 3.
The next result shows that this relation between a conic C f and the corresponding (0, 2)-tensor T f = (a ij ) 1≤i,j≤3 can be generalised to algebraic curves of arbitrary degree.
Lemma 2.1.Let Γ f be an algebraic curve of degree d given by the non-constant homogeneous polynomial , where Then T f is a symmetric (0, d)-tensor and a point X is on the curve Γ f if and only if T f (X, . . ., X d-times Proof.Since for every rearrangement π of the sequence i 1 , . . ., i d we have and therefore a we get that the tensor T f is symmetric.Furthermore, assume that the monomial Now, it is easy to see that the number of coefficients a i 1 ...i d such that for 1 ≤ i ≤ 3 the number i appears n i -times in the sequence i 1 , . . ., i d is given by the trinomial coefficient This shows that for any point X we have T f (X, . . ., X) = 0 if and only if f (X) = 0, or in other words, X is on the curve Γ. q.e.d.
Let us turn our attention now to polar curves.For this, we consider first polar curves of conics C f with corresponding (0, 2)-tensor T f = (a ij ) 1≤i,j≤3 .Above we have seen that for a given point P ∈ RP 2 , a point X is on the polar curve C P f (X) of C f with respect to the pole P if and only if P f (X) := P, ∇f (X) = 0. Now, for P, X ∈ RP 2 , a short calculation shows that P f (X) = 2 • T f (P, X), and hence, we get P f (X) = 0 ⇐⇒ T f (P, X) = 0.
Since T f is symmetric, we have T f (P, X) = T f (X, P ), which shows that if X is a point on the polar curve of C f with respect to the pole P , then P is a point on the polar curve of C f with respect to the pole X.The next result shows that also this result can be generalised to algebraic curves of arbitrary degree.
Lemma 2.2.Let Γ f be an algebraic curve of degree d given by the non-constant homogeneous polynomial f , let T f be the corresponding symmetric (0, d)-tensor, and let P ∈ RP 2 be a point.Then In particular, a point X ∈ RP 2 is on the polar curve of Γ f with respect to the pole P if and only if T f (P, X, . . ., X) = 0.
Proof.Notice first that for P = (p 1 , p 2 , p 3 ) and X = (x 1 , x 2 , x 3 ) we have: Now, assume again that the monomial 3 appears in f .Then, for each 1 ≤ j ≤ 3 we have where n j = n j − 1 and n i = n i for i = j.Without loss of generality we assume that j = 1 and n 1 ≥ 1.Now, it is easy to see that the number of coefficients a 1 i 2 ...i d such that for 1 ≤ i ≤ 3, the number i appears n i -times in the sequence 1, . . ., i d is given by the trinomial coefficient This shows that for any points P, X ∈ RP 2 we have d • T f (P, X, . . ., X) = P, ∇f (X) , in particular, we get P f (X) = 0 ⇐⇒ T f (P, X, . . ., X) = 0. q.e.d.
It is obvious how the iterated construction of polar curves is carried out: If, for example, P, Q, R ∈ RP 2 are given and Γ f is an algebraic curve of degree d ≥ 3, then the polar curve of the polar curve of the polar curve of Γ f with respect to the points P, Q, R, respectively, is given by the zeros of the (0, d − 3)-tensor T f (P, Q, R, X, . . ., X).Notice that since T f is symmetric, the order of P, Q, R is irrelevant.As a consequence, we obtain the following Fact 2.3.Let K be a cubic curve, let P 1 , P 2 , P 3 ∈ RP 2 , and for 1 ≤ j ≤ 3 let T j be the (0, 2)-tensor of the polar conic of K with respect to the point P j .Then for 1 ≤ j 1 , j 2 ≤ 3 we have in particular, if we consider the tensors T j as 3 × 3-matrices, we obtain that The question that we want to treat below, is embedded in a more general problem, namely the study of the relation of a hypersurface and its Hessian variety.In a recent work Sendra-Arranz [6] investigated the Hessian correspondence for the cases of hypersurfaces of degree 3 and 4 in an n-dimensional projective space.In particular, he showed that for degree 3 and dimension n = 1, the Hessian correspondence is two to one, and that for degree 3 and n ≥ 2, and for degree 4, it is birational (see Sections 2.3 and 2.4 in [6]).In particular, by introducing the variety of kgradients as the variety of k-planes containing all the first order derivatives of a polynomial, he obtains algorithms which allow to reconstruct a hypersurface of degree 3 from its Hessian variety in the cases n ≥ 1, and for degree 4 if n is even.More specifically, Sendra-Arranz proves in his Proposition 2.18 that for n ≥ 2 a cubic can be recovered by the pencil spanned by its polars.Our main result in Theorem 2.4 is less general, but provides more specific information about the special case of degree 3 in 2 dimensions.Namely, what we show is that three conics in general position (i.e., three points of the Hessian variety) determine a unique cubic.More precisely, given three different conics C 1 , C 2 , C 3 which satisfy a nondegeneracy condition, we show how to construct the unique cubic K such that for three points P 1 , P 2 , P 3 ∈ RP 2 determined by the three conics, the conic C j (for 1 ≤ j ≤ 3) is the polar conic of K with respect to the pole P j .The construction we provide in the next section proves our main result, Theorem 2.4.
Theorem 2.4.Let C 1 , C 2 , C 3 be three non-degenerate conics and let T 1 , T 2 , T 3 be the corresponding (0, 2)-tensors given by 3 × 3-matrices.Assume that the matrices T 1 , T 2 , T 3 satisfy the following condition: (C) For all P ∈ ker T 3 T −1 1 T 2 − T 2 T −1 1 T 3 , we have det T 1 P, T 2 P, T 3 P = 0. Then there are exactly three points P 1 , P 2 , P 3 , determined by the conics C 1 , C 2 , C 3 , and a unique cubic curve K, such that for 1 ≤ j ≤ 3, C j is the polar conic of K with respect to the pole P j .The cubic K only depends on the two-dimensional pencil (b) Observe also that (C) implies that However, for P = (x 1 , x 2 , x 3 ), det(T 1 P, T 2 P, T 3 P ) = 0 is a homogeneous cubic polynomial in the three variables x 1 , x 2 , x 3 , which always has non-trivial solutions.
(c) Consider the following example: Notice that T 1 does not belong to the pencil spanned by T 2 and T 3 .Here, we have that But det(T 1 P, T 2 P, T 3 P ) = 0 whenever the second coordinate of P is 0. So, the example shows that condition (C) can be violated even in the case when the pencil of T 1 , T 2 , T 3 is two-dimensional.On the other hand, it is easy to see that condition (C) implies that the pencil of T 1 , T 2 , T 3 is two-dimensional.
Example: Let C 1 , C 2 , C 3 be given by the following three non-constant homogeneous polynomials f 1 , f 2 , f 3 , respectively: Figure 1 shows these three conics.Notice that all three conics meet in the origin, which is not excluded by the condition (C), as we will see below.Notice also that one of the conics is a circle, which is not a restriction since we can transform any conic by a projective transformation into a circle.
Then the corresponding matrices are: It is easy to verify that the matrices T 1 , T 2 , T 3 satisfy condition (C): Observe that ker Let us turn back to our general construction and construct the three points P 1 , P 2 , P 3 : By Fact 2.3, the points P 1 , P 2 , P 3 satisfy the following three necessary conditions which is equivalent to and implies that P 1 satisfies Since the matrices T j are symmetric, for Hence, the pole P 1 is uniquely determined by equation ( 1), and we obtain P 2 = (T −1 1 T 2 )P 1 and P 3 = (T −1 1 T 3 )P 1 .Before we proceed, let us compute the points P 1 , P 2 , P 3 in our example.
The goal of our construction is to find a (0, 3)-tensor T K of a cubic K, such that we have T K (P j , X, X) = T j (X, X) for 1 ≤ j ≤ 3.
Then, by equation ( 2), the tensor T K is symmetric and has the property that for 1 ≤ i ≤ 3, T K ( Pi , X, X) = Ti (X, X).
For the corresponding cubic K we therefore have that Ci is the polar conic of K with respect to the pole Pi .
Since every point Q = (q 1 , q 2 , q 3 ) ∈ RP 2 can be written as Q = q 1 P 1 + q 2 P 2 + q 3 P 3 , we have which shows that the polar conic of K with respect to the point Q belongs to the pencil spanned by the conics T1 , T2 and T3 .Now, the re-transformed cubic K has the property that the conics C 1 , C 2 , C 3 are the polar conics of K with respect to the poles P 1 , P 2 , P 3 , respectively.Furthermore, by the observation above, if, for example, the conic C 3 is replaced by a conic C3 in the two-dimensional pencil of C 1 , C 2 , C 3 such that C 1 , C 2 , C3 satisfy condition (C), then the conics C 1 , C 2 and C3 are the polar conics of K with respect to the poles P 1 , P 2 and some point Q, where the three points P 1 , P 2 , Q are not collinear.Figure 3 shows the cubic K together with the three polar conics C i with respect to their three poles P i .Recall that the lines connecting P i and the points of intersection of K with the polar curve C i are tangent to K. Remark 2. We close this discussion by considering the situation when condition (C) is violated for three given conics C 1 , C 2 , C 3 .Suppose that K is a cubic such that C j is the polar conic with respect to some pole P j for j = 1, 2, 3.Then, det(T 1 P 1 , T 2 P 1 , T 3 P 1 ) = 0 in condition (C) for P 1 ∈ ker(T 3 T −1 1 T 2 − T 2 T −1 1 T 3 ) means that the polar lines g 1 = T 1 P 1 , g 2 = T 2 P 1 = T 1 P 2 , g 3 = T 3 P 1 = T 1 P 3 of the conics C 1 , C 2 , C 3 with respect to the poles P 1 , P 2 , P 3 are concurrent, which in turn means that P 1 , P 2 , P 3 are collinear.Hence, C 1 , C 2 , C 3 are identical or span only a one-dimensional pencil.This shows that for the three conics in Remark 1.(c), there is no cubic K with the property that C 1 , C 2 , C 3 are conic sections with respect

Remark 1 .
C 3 are replaced by any other conics C1 , C2 , C3 in P satisfying condition (C), then the same cubic K results.With respect to condition (C), we would like to mention a few facts.(a) First, condition (C) is symmetric in the three indices: To see this, notice that

Figure 1 :
Figure 1: The three conics C 1 , C 2 , and C 3 of the example.

3 Figure 2 :
Figure 2: The three conics C 1 , C 2 , C 3 of the example with the three poles P 1 , P 2 , P 3 .