Steiner's conic problem

Last updated November 09, 2023

In enumerative geometry, Steiner's conic problem is the problem of finding the number of smooth conics tangent to five given conics in the plane in general position. If the problem is considered in the complex projective plane CP², the correct solution is 3264 (Bashelor, Ksir & Traves (2008)). The problem is named after Jakob Steiner who first posed it and who gave an incorrect solution in 1848.

History

Steiner (1848) claimed that the number of conics tangent to 5 given conics in general position is 7776 = 6⁵, but later realized this was wrong. The correct number 3264 was found in about 1859 by Ernest de Jonquières who did not publish because of Steiner's reputation, and by Chasles ( 1864 ) using his theory of characteristics, and by Berner in 1865. However these results, like many others in classical intersection theory, do not seem to have been given complete proofs until the work of Fulton and MacPherson in about 1978.

Formulation and solution

The space of (possibly degenerate) conics in the complex projective plane CP² can be identified with the complex projective space CP⁵ (since each conic is defined by a homogeneous degree-2 polynomial in three variables, with 6 complex coefficients, and multiplying such a polynomial by a non-zero complex number does not change the conic). Steiner observed that the conics tangent to a given conic form a degree 6 hypersurface in CP⁵. So the conics tangent to 5 given conics correspond to the intersection points of 5 degree 6 hypersurfaces, and by Bézout's theorem the number of intersection points of 5 generic degree 6 hypersurfaces is 6⁵ = 7776, which was Steiner's incorrect solution. The reason this is wrong is that the five degree 6 hypersurfaces are not in general position and have a common intersection in the Veronese surface, corresponding to the set of double lines in the plane, all of which have double intersection points with the 5 conics. In particular the intersection of these 5 hypersurfaces is not even 0-dimensional but has a 2-dimensional component. So to find the correct answer, one has to somehow eliminate the plane of spurious degenerate conics from this calculation.

One way of eliminating the degenerate conics is to blow up CP⁵ along the Veronese surface. The Chow ring of the blowup is generated by H and E, where H is the total transform of a hyperplane and E is the exceptional divisor. The total transform of a degree 6 hypersurface is 6H, and Steiner calculated (6H)⁵ = 6⁵P as H⁵=P (where P is the class of a point in the Chow ring). However the number of conics is not (6H)⁵ but (6H−2E)⁵ because the strict transform of the hypersurface of conics tangent to a given conic is 6H−2E.

Suppose that L = 2H−E is the strict transform of the conics tangent to a given line. Then the intersection numbers of H and L are given by H⁵=1P, H⁴L=2P, H³L²=4P, H²L³=4P, H¹L⁴=2P, L⁵=1P. So we have (6H−2E)⁵ = (2H+2L)⁵ = 3264P.

Fulton & MacPherson (1978) gave a precise description of exactly what "general position" means (although their two propositions about this are not quite right, and are corrected in a note on page 29 of their paper). If the five conics have the properties that

there is no line such that every one of the 5 conics is either tangent to it or passes through one of two fixed points on it (otherwise there is a "double line with 2 marked points" tangent to all 5 conics)
no three of the conics pass through any point (otherwise there is a "double line with 2 marked points" tangent to all 5 conics passing through this triple intersection point)
no two of the conics are tangent
no three of the five conics are tangent to a line
a pair of lines each tangent to two of the conics do not intersect on the fifth conic (otherwise this pair is a degenerate conic tangent to all 5 conics)

then the total number of conics C tangent to all 5 (counted with multiplicities) is 3264. Here the multiplicity is given by the product over all 5 conics C_i of (4 − number of intersection points of C and C_i). In particular if C intersects each of the five conics in exactly 3 points (one double point of tangency and two others) then the multiplicity is 1, and if this condition always holds then there are exactly 3264 conics tangent to the 5 given conics.

Over other algebraically closed fields the answer is similar, unless the field has characteristic 2 in which case the number of conics is 51 rather than 3264.

Related Research Articles

Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of $n$ polynomials in $n$ indeterminates. In its original form the theorem states that in general the number of common zeros equals the product of the degrees of the polynomials. It is named after Étienne Bézout.

In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice-versa.

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation $h (x, y, t) = 0$ can be restricted to the affine algebraic plane curve of equation $h (x, y, 1) = 0$ . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the general case situation, as opposed to some more special or coincidental cases that are possible, which is referred to as special position. Its precise meaning differs in different settings.

<span class="mw-page-title-main">Pascal's theorem</span> Theorem on the collinearity of three points generated from a hexagon inscribed on a conic

In projective geometry, Pascal's theorem states that if six arbitrary points are chosen on a conic and joined by line segments in any order to form a hexagon, then the three pairs of opposite sides of the hexagon meet at three points which lie on a straight line, called the Pascal line of the hexagon. It is named after Blaise Pascal.

In the mathematical field of algebraic geometry, a singular point of an algebraic variety $V$ is a point $P$ that is 'special', in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth.

Michel Floréal Chasles was a French mathematician.

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga posed and solved this famous problem in his work Ἐπαφαί ; this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets.

<span class="mw-page-title-main">Pencil (geometry)</span> Family of geometric objects with a common property

In geometry, a pencil is a family of geometric objects with a common property, for example the set of lines that pass through a given point in a plane, or the set of circles that pass through two given points in a plane.

In mathematics, the Cayley–Bacharach theorem is a statement about cubic curves in the projective plane $P 2$ . The original form states:

In mathematics, enumerative geometry is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory.

In mathematics, a Plücker formula, named after Julius Plücker, is one of a family of formulae, of a type first developed by Plücker in the 1830s, that relate certain numeric invariants of algebraic curves to corresponding invariants of their dual curves. The invariant called the genus, common to both the curve and its dual, is connected to the other invariants by similar formulae. These formulae, and the fact that each of the invariants must be a positive integer, place quite strict limitations on their possible values.

In projective geometry, a dual curve of a given plane curve $C$ is a curve in the dual projective plane consisting of the set of lines tangent to $C$ . There is a map from a curve to its dual, sending each point to the point dual to its tangent line. If $C$ is algebraic then so is its dual and the degree of the dual is known as the class of the original curve. The equation of the dual of $C$ , given in line coordinates, is known as the tangential equation of $C$ . Duality is an involution: the dual of the dual of $C$ is the original curve $C$ .

<span class="mw-page-title-main">Polar curve</span>

In algebraic geometry, the first polar, or simply polar of an algebraic plane curve C of degree n with respect to a point Q is an algebraic curve of degree n−1 which contains every point of C whose tangent line passes through Q. It is used to investigate the relationship between the curve and its dual, for example in the derivation of the Plücker formulas.

In algebraic geometry, the conic sections in the projective plane form a linear system of dimension five, as one sees by counting the constants in the degree two equations. The condition to pass through a given point P imposes a single linear condition, so that conics C through P form a linear system of dimension 4. Other types of condition that are of interest include tangency to a given line L.

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

In Euclidean and projective geometry, five points determine a conic, just as two (distinct) points determine a line. There are additional subtleties for conics that do not exist for lines, and thus the statement and its proof for conics are both more technical than for lines.

The terminology of algebraic geometry changed drastically during the twentieth century, with the introduction of the general methods, initiated by David Hilbert and the Italian school of algebraic geometry in the beginning of the century, and later formalized by André Weil, Jean-Pierre Serre and Alexander Grothendieck. Much of the classical terminology, mainly based on case study, was simply abandoned, with the result that books and papers written before this time can be hard to read. This article lists some of this classical terminology, and describes some of the changes in conventions.

References

Bashelor, Andrew; Ksir, Amy; Traves, Will (2008), "Enumerative algebraic geometry of conics" (PDF), Amer. Math. Monthly, 115 (8): 701–728, doi:10.1080/00029890.2008.11920584, JSTOR 27642583, MR 2456094
Chasles, M. (1864), "Construction des coniques qui satisfont à cinque conditions", C. R. Acad. Sci. Paris, 58: 297–308
Eisenbud, David; Joe, Harris (2016), 3264 and All That: A Second Course in Algebraic Geometry, C. U.P., ISBN 978-1107602724
Fulton, William; MacPherson, Robert (1978), "Defining algebraic intersections", Algebraic geometry (Proc. Sympos., Univ. Tromsø, Tromsø, 1977), Lecture Notes in Math., vol. 687, Berlin: Springer, pp. 1–30, doi:10.1007/BFb0062926, ISBN 978-3-540-08954-4, MR 0527228
Steiner, J. (1848), "Elementare Lösung einer geometrischen Aufgabe, und über einige damit in Beziehung stehende Eigenschaften der Kegelschnitte", J. Reine Angew. Math., 37: 161–192

External links

Ghys, Étienne, TROIS MILLE DEUX CENT SOIXANTE-QUATRE… Comment Jean-Yves a récemment précisé un théorème de géométrie (in French)
Welschinger, Jean-Yves (2006), "ÉNUMÉRATION DE FRACTIONS RATIONNELLES RÉELLES", Images des Mathématiques

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.