Linear system of conics

Last updated

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.

Contents

In the most elementary treatments a linear system appears in the form of equations

with λ and μ unknown scalars, not both zero. Here C and C are given conics. Abstractly we can say that this is a projective line in the space of all conics, on which we take

as homogeneous coordinates. Geometrically we notice that any point Q common to C and C is also on each of the conics of the linear system. According to Bézout's theorem C and C will intersect in four points (if counted correctly). Assuming these are in general position, i.e. four distinct intersections, we get another interpretation of the linear system as the conics passing through the four given points (note that the codimension four here matches the dimension, one, in the five-dimensional space of conics). Note that of these conics, exactly three are degenerate, each consisting of a pair of lines, corresponding to the ways of choosing 2 pairs of points from 4 points (counting via the multinomial coefficient, and accounting for the overcount by a factor of 2 that makes when interested in counting pairs of pairs rather than just selections of size 2).

Applications

A striking application of such a family is in ( Faucette 1996 ) which gives a geometric solution to a quartic equation by considering the pencil of conics through the four roots of the quartic, and identifying the three degenerate conics with the three roots of the resolvent cubic.

Example

External video
Nuvola apps kaboodle.svg Type I linear system, (Coffman).

For example, given the four points the pencil of conics through them can be parameterized as which are the affine combinations of the equations and corresponding to the parallel vertical lines and horizontal lines; this yields degenerate conics at the standard points of A less elegant but more symmetric parametrization is given by in which case inverting a () interchanges x and y, yielding the following pencil; in all cases the center is at the origin:

(intersection point at [1:0:0])
(intersection point at [0:1:0])
(dividing by and taking the limit as yields )
(intersection point at [0:0:1])

In the terminology of ( Levy 1964 ), this is a Type I linear system of conics, and is animated in the linked video.

Classification

There are 8 types of linear systems of conics over the complex numbers, depending on intersection multiplicity at the base points, which divide into 13 types over the real numbers, depending on whether the base points are real or imaginary; this is discussed in ( Levy 1964 ) and illustrated in ( Coffman ).

Related Research Articles

Analytic geometry Study of geometry using a coordinate system

In classical mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.

In mathematics, an equation is a statement that asserts the equality of two expressions. The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English any equality is an equation.

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, a degenerate case is a limiting case of a class of objects which appears to be qualitatively different from the rest of the class, and the term degeneracy is the condition of being a degenerate case.

Algebraic curve Curve defined as zeros of polynomials

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 geometry, a degenerate conic is a conic that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers as the product of two linear polynomials.

Line (geometry) straight object with negligible width and depth

The notion of line or straight line was introduced by ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects. Until the 17th century, lines were defined as the "[…] first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which […] will leave from its imaginary moving some vestige in length, exempt of any width. […] The straight line is that which is equally extended between its points."

Pencil (mathematics) 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.

Cayley–Bacharach theorem

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

Dual curve

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.

In mathematics, intersection theory is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form.

In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear. In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row".

Polar curve curve associated to a point and another algebraic curve

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 mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

Conic section Curve obtained by intersecting a cone and a plane

In mathematics, a conic section is a curve obtained as the intersection of the surface of a cone with 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 historically it was sometimes called 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, just as two (distinct) points determine a line, five points determine a conic. 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.

Intersection (Euclidean geometry) point, line, or curve common to two or more objects such as lines, curves, planes, and surfaces

In geometry, an intersection is a point, line, or curve common to two or more objects. The simplest case in Euclidean geometry is the intersection of two distinct lines, which either is one point or does not exist if the lines are parallel.

In mathematics, a generalized conic is a geometrical object defined by a property which is a generalization of some defining property of the classical conic. For example, in elementary geometry, an ellipse can be defined as the locus of a point which moves in a plane such that the sum of its distances from two fixed points – the foci – in the plane is a constant. The curve obtained when the set of two fixed points is replaced by an arbitrary, but fixed, finite set of points in the plane is called an n–ellipse and can be thought of as a generalized ellipse. Since an ellipse is the equidistant set of two circles, the equidistant set of two arbitrary sets of points in a plane can be viewed as a generalized conic. In rectangular Cartesian coordinates, the equation y = x2 represents a parabola. The generalized equation y = xr, for r ≠ 0 and r ≠ 1, can be treated as defining a generalized parabola. The idea of generalized conic has found applications in approximation theory and optimization theory.

Confocal conic sections

In geometry, two conic sections are called confocal, if they have the same foci. Because ellipses and hyperbolas possess two foci, there are confocal ellipses, confocal hyperbolas and confocal mixtures of ellipses and hyperbolas. In the mixture of confocal ellipses and hyperbolas, any ellipse intersects any hyperbola orthogonally. Parabolas possess only one focus, so, by convention, confocal parabolas have the same focus and the same axis of symmetry. Consequently, any point not on the axis of symmetry lies on two confocal parabolas which intersect orthogonally.

References