3264 conics tangent to five conics

All of them can be real.

A conic in the plane $\mathbb{R}^2$ is the zero set of a quadratic polynomial in two variables:

$$ a_1 x^2 + a_2 xy + a_3 y^2 + a_4 x + a_5 y + a_6 .$$

Geometrically, a conic can be either a circle, an ellipse, a hyperbola, a parabola or a union of two lines. The last case is a degenerate conic. Double lines are allowed.

A classic problem in enumerative geometry is Steiner's conic problem which asks:

*How many conics are tangent to five given conics?*

Here is an example of Steiner's problem:

The picture shows in blue the 5 given conics below. The red ellipse is tangent to the 5 blue conics.

Steiner claimed in 1848 that there are at most 7776 conics tangent to 5 given conics. He phrased his problem as that of solving five equations of degree six on the 5-dimensional projective space $\mathbb{P}^5$. Using Bézout's Theorem he argued that the equations coming from this question have $6^5 = 7776$ solutions over the complex numbers. However, this number over counts because there is a Veronese surface of extraneous solutions, namely the conics that are squares of linear forms, i.e., double lines.

The correct count of non-degenerate conics is 3264. This was shown in 1859 by Jonquières and independently in 1864 by Chasles. The number 3264 appears prominently in the book 3264 and all that by Eisenbud and Harris.

A delightful introduction to Steiner's problem was given by Bashelor, Ksir and Traves. Ronga, Tognoli and Vust and Sottile showed how to choose 5 real conics such that all 3264 complex solutions are real. Although their proofs starts with an explicit construction, it is not constructive.

Using methods from numerical algebraic geometry we adapted the proposed construction to find an explicit instance for which there are 3264 real conics. We use numerical homotopy continuation to compute the 3264 conics. Smale's $\alpha$-theory provides a way to give a mathematical proof that we found 3264 real conics; the keyword is alphaCertified. The computational proof can be downloaded here.

An illustration of the arrangement is shown below.

There are 3264 real conics, which are tangent to the 5 blue conics. The 5 blue conics are given by $$ \small{ \begin{array}{rcrcrcrcrcl} \frac{10124547}{662488724}x^2 &+&\frac{8554609}{755781377}xy&+& \frac{5860508}{2798943247}y^2 &-&\frac{251402893}{1016797750}x &-&\frac{25443962}{277938473} y &+& 1\\[1em] \frac{520811}{1788018449}x^2 &+&\frac{2183697}{542440933}xy &+&\frac{9030222}{652429049}y^2 &-& \frac{12680955}{370629407} x &-& \frac{24872323}{105706890} y&+& 1 \\[1em] \frac{6537193}{241535591}x^2 &-& \frac{7424602}{363844915}xy&+& \frac{6264373}{1630169777} y^2&+& \frac{13097677}{39806827} x &-& \frac{29825861}{240478169} y&+& 1 \\[1em] \frac{13173269}{2284890206}x^2 &+& \frac{4510030}{483147459}xy&+& \frac{2224435}{588965799} y^2&+& \frac{33318719}{219393000}x &+& \frac{92891037}{755709662} y&+& 1 \\[1em] \frac{8275097}{452566634}x^2 &-& \frac{19174153}{408565940}xy&+& \frac{5184916}{172253855}y^2&-& \frac{23713234}{87670601}x &+& \frac{28246737}{81404569} y &+& 1 \end{array} } $$

It looks like the arrangement consists of 5 blue lines, rather than 5 blue conics. The next picture clarifies the situation.

The red ellipse is tangential to all 5 blue conics. The close ups show that the conics that look like double lines, are actually hyperbolas.

More details on the geometry of these five special conics are in our article 3264 conics in a Second. There is also an interactive plot for GeoGebra, which lets you zoom in at the points of tangency.

Published by