Bitangents of a quartic

Last updated March 11, 2024

The Trott curve and seven of its bitangents. The others are symmetric with respect to 90deg rotations through the origin. TrottCurveBiTangents7.svg — The Trott curve and seven of its bitangents. The others are symmetric with respect to 90° rotations through the origin.

The Trott curve with all 28 bitangents. TrottCurveBiTangents28.svg — The Trott curve with all 28 bitangents.

In the theory of algebraic plane curves, a general quartic plane curve has 28 bitangent lines, lines that are tangent to the curve in two places. These lines exist in the complex projective plane, but it is possible to define quartic curves for which all 28 of these lines have real numbers as their coordinates and therefore belong to the Euclidean plane.

An explicit quartic with twenty-eight real bitangents was first given by Plücker ( 1839 )^[1] As Plücker showed, the number of real bitangents of any quartic must be 28, 16, or a number less than 9. Another quartic with 28 real bitangents can be formed by the locus of centers of ellipses with fixed axis lengths, tangent to two non-parallel lines.^[2] Shioda (1995) gave a different construction of a quartic with twenty-eight bitangents, formed by projecting a cubic surface; twenty-seven of the bitangents to Shioda's curve are real while the twenty-eighth is the line at infinity in the projective plane.

Example

The Trott curve, another curve with 28 real bitangents, is the set of points (x,y) satisfying the degree four polynomial equation

\displaystyle 144(x^{4}+y^{4})-225(x^{2}+y^{2})+350x^{2}y^{2}+81=0.

These points form a nonsingular quartic curve that has genus three and that has twenty-eight real bitangents.^[3]

Like the examples of Plücker and of Blum and Guinand, the Trott curve has four separated ovals, the maximum number for a curve of degree four, and hence is an M-curve. The four ovals can be grouped into six different pairs of ovals; for each pair of ovals there are four bitangents touching both ovals in the pair, two that separate the two ovals, and two that do not. Additionally, each oval bounds a nonconvex region of the plane and has one bitangent spanning the nonconvex portion of its boundary.

Connections to other structures

The dual curve to a quartic curve has 28 real ordinary double points, dual to the 28 bitangents of the primal curve.

The 28 bitangents of a quartic may also be placed in correspondence with symbols of the form

{\begin{bmatrix}a&b&c\\d&e&f\\\end{bmatrix}}

where $a, b, c, d, e, f$ are all zero or one and where

ad+be+cf=1\ (\operatorname {mod} \ 2).

^[4]

There are 64 choices for $a, b, c, d, e, f$ , but only 28 of these choices produce an odd sum. One may also interpret $a, b, c$ as the homogeneous coordinates of a point of the Fano plane and $d, e, f$ as the coordinates of a line in the same finite projective plane; the condition that the sum is odd is equivalent to requiring that the point and the line do not touch each other, and there are 28 different pairs of a point and a line that do not touch.

The points and lines of the Fano plane that are disjoint from a non-incident point-line pair form a triangle, and the bitangents of a quartic have been considered as being in correspondence with the 28 triangles of the Fano plane.^[5] The Levi graph of the Fano plane is the Heawood graph, in which the triangles of the Fano plane are represented by 6-cycles. The 28 6-cycles of the Heawood graph in turn correspond to the 28 vertices of the Coxeter graph.^[6]

The 28 bitangents of a quartic also correspond to pairs of the 56 lines on a degree-2 del Pezzo surface,^[5] and to the 28 odd theta characteristics.

The 27 lines on the cubic and the 28 bitangents on a quartic, together with the 120 tritangent planes of a canonic sextic curve of genus 4, form a "trinity" in the sense of Vladimir Arnold, specifically a form of McKay correspondence,^[7]^[8]^[9] and can be related to many further objects, including E₇ and E₈, as discussed at trinities.

Notes

↑ See e.g. Gray (1982).
↑ Blum & Guinand (1964).
↑ Trott (1997).
↑ Riemann (1876); Cayley (1879).
1 2 Manivel (2006).
↑ Dejter, Italo J. (2011), "From the Coxeter graph to the Klein graph", Journal of Graph Theory, 70: 1–9, arXiv: 1002.1960 , doi:10.1002/jgt.20597, S2CID 754481 .
↑ le Bruyn, Lieven (17 June 2008), Arnold's trinities, archived from the original on 2011-04-11
↑ Arnold 1997, p. 13 – Arnold, Vladimir, 1997, Toronto Lectures, Lecture 2: Symplectization, Complexification and Mathematical Trinities, June 1997 (last updated August, 1998). TeX, PostScript, PDF
↑ ( McKay & Sebbar 2007 , p. 11)

Related Research Articles

In analytic geometry, an asymptote of a curve is a line such that the distance between the curve and the line approaches zero as one or both of the x or y coordinates tends to infinity. In projective geometry and related contexts, an asymptote of a curve is a line which is tangent to the curve at a point at infinity.

In mathematics, the graph of a function $is the set of ordered pairs, where In the common case where and are real numbers, these pairs are Cartesian coordinates of points in a plane and often form a curve. The graphical representation of the graph of a function is also known as a plot .$

In finite geometry, the Fano plane is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here, PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.

In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus $3$ with the highest possible order automorphism group for this genus, namely order $168$ orientation-preserving automorphisms, and $168 \times 2 = 336$ automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to $PSL(2, 7)$ , the second-smallest non-abelian simple group after the alternating group A₅. The quartic was first described in (Klein 1878b).

In mathematics, a cubic surface is a surface in 3-dimensional space defined by one polynomial equation of degree 3. Cubic surfaces are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space, and so cubic surfaces are generally considered in projective 3-space $. The theory also becomes more uniform by focusing on surfaces over the complex numbers rather than the real numbers; note that a complex surface has real dimension 4. A simple example is the Fermat cubic surface$

In mathematics, the ADE classification is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, rather than a posteriori verification of a parallelism, was posed in. The complete list of simply laced Dynkin diagrams comprises

<span class="mw-page-title-main">Cubic plane curve</span> Type of a mathematical curve

In mathematics, a cubic plane curve is a plane algebraic curve $C$ defined by a cubic equation

In mathematics, a plane curve is a curve in a plane that may be either a Euclidean plane, an affine plane or a projective plane. The most frequently studied cases are smooth plane curves, and algebraic plane curves. Plane curves also include the Jordan curves and the graphs of continuous functions.

In the mathematical field of graph theory, the Heawood graph is an undirected graph with 14 vertices and 21 edges, named after Percy John Heawood.

<span class="mw-page-title-main">Villarceau circles</span> Intersection of a torus and a plane

In geometry, Villarceau circles are a pair of circles produced by cutting a torus obliquely through its center at a special angle.

<span class="mw-page-title-main">Cassini oval</span> Class of quartic plane curves

In geometry, a Cassini oval is a quartic plane curve defined as the locus of points in the plane such that the product of the distances to two fixed points (foci) is constant. This may be contrasted with an ellipse, for which the sum of the distances is constant, rather than the product. Cassini ovals are the special case of polynomial lemniscates when the polynomial used has degree 2.

<span class="mw-page-title-main">Bitangent</span> Line tangent to a curve at two locations

In geometry, a bitangent to a curve $C$ is a line $L$ that touches $C$ in two distinct points $P$ and $Q$ and that has the same direction as $C$ at these points. That is, $L$ is a tangent line at $P$ and at $Q$ .

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 the mathematical field of graph theory, the Hoffman–Singleton graph is a 7-regular undirected graph with 50 vertices and 175 edges. It is the unique strongly regular graph with parameters (50,7,0,1). It was constructed by Alan Hoffman and Robert Singleton while trying to classify all Moore graphs, and is the highest-order Moore graph known to exist. Since it is a Moore graph where each vertex has degree 7, and the girth is 5, it is a (7,5)-cage.

In algebraic geometry, a quartic plane curve is a plane algebraic curve of the fourth degree. It can be defined by a bivariate quartic equation:

<span class="mw-page-title-main">Euclidean plane</span> Geometric model of the planar projection of the physical universe

In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted $or . It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement.$

In Euclidean plane geometry, a tangent line to a circle is a line that touches the circle at exactly one point, never entering the circle's interior. Tangent lines to circles form the subject of several theorems, and play an important role in many geometrical constructions and proofs. Since the tangent line to a circle at a point $P$ is perpendicular to the radius to that point, theorems involving tangent lines often involve radial lines and orthogonal circles.

In mathematics, especially in algebraic geometry, a quartic surface is a surface defined by an equation of degree 4.

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

Blum, R.; Guinand, A. P. (1964). "A quartic with 28 real bitangents". Canadian Mathematical Bulletin . 7 (3): 399–404. doi:10.4153/cmb-1964-038-6.
Cayley, Arthur (1879), "On the bitangents of a quartic", Salmon's Higher Plane Curves, pp. 387–389. In The collected mathematical papers of Arthur Cayley, Andrew Russell Forsyth, ed., The University Press, 1896, vol. 11, pp. 221–223.
Gray, Jeremy (1982), "From the history of a simple group", The Mathematical Intelligencer , 4 (2): 59–67, CiteSeerX 10.1.1.163.2944 , doi:10.1007/BF03023483, MR 0672918, S2CID 14602496 . Reprinted in Levy, Silvio, ed. (1999), The Eightfold Way, MSRI Publications, vol. 35, Cambridge University Press, pp. 115–131, ISBN 0-521-66066-1, MR 1722415 .
Manivel, L. (2006), "Configurations of lines and models of Lie algebras", Journal of Algebra, 304 (1): 457–486, arXiv: math/0507118 , doi: 10.1016/j.jalgebra.2006.04.029 , S2CID 17374533 .
McKay, John; Sebbar, Abdellah (2007). "Replicable Functions: An Introduction". Frontiers in Number Theory, Physics, and Geometry II. pp. 373–386. doi:10.1007/978-3-540-30308-4_10. ISBN 978-3-540-30307-7.
Plücker, J. (1839), Theorie der algebraischen Curven: gegrundet auf eine neue Behandlungsweise der analytischen Geometrie, Berlin: Adolph Marcus.
Riemann, G. F. B. (1876), "Zur Theorie der Abel'schen Funktionen für den Fall p = 3", Ges. Werke, Leipzig, pp. 456–472{{citation}}: CS1 maint: location missing publisher (link). As cited by Cayley.
Shioda, Tetsuji (1995), "Weierstrass transformations and cubic surfaces" (PDF), Commentarii Mathematici Universitatis Sancti Pauli, 44 (1): 109–128, MR 1336422
Trott, Michael (1997), "Applying GroebnerBasis to Three Problems in Geometry", Mathematica in Education and Research, 6 (1): 15–28.

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.

[1] See e.g. Gray (1982).

[2] Blum & Guinand (1964).

[3] Trott (1997).

[4] Riemann (1876); Cayley (1879).

[M06-5] 1 2 Manivel (2006).

[6] Dejter, Italo J. (2011), "From the Coxeter graph to the Klein graph", Journal of Graph Theory, 70: 1–9, arXiv: 1002.1960 , doi:10.1002/jgt.20597, S2CID 754481 .

[arntrin-7] Bruyn, Lieven (17 June 2008), Arnold's trinities, archived from the original on 2011-04-11

[8] Arnold 1997, p. 13 – Arnold, Vladimir, 1997, Toronto Lectures, Lecture 2: Symplectization, Complexification and Mathematical Trinities, June 1997 (last updated August, 1998). TeX, PostScript, PDF

[9] ( McKay & Sebbar 2007 , p. 11)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]