Projective space in the context of Cubic plane curve

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 (called "points at infinity") to Euclidean points, and vice versa.

Properties meaningful for projective geometry are respected by this new idea of transformation, which is more radical in its effects than can be expressed by a transformation matrix and translations (the affine transformations). The first issue for geometers is what kind of geometry is adequate for a novel situation. Unlike in Euclidean geometry, the concept of an angle does not apply in projective geometry, because no measure of angles is invariant with respect to projective transformations, as is seen in perspective drawing from a changing perspective. One source for projective geometry was indeed the theory of perspective. Another difference from elementary geometry is the way in which parallel lines can be said to meet in a point at infinity, once the concept is translated into projective geometry's terms. Again this notion has an intuitive basis, such as railway tracks meeting at the horizon in a perspective drawing. See Projective plane for the basics of projective geometry in two dimensions.

In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, some collineations are not homographies, but the fundamental theorem of projective geometry asserts that is not so in the case of real projective spaces of dimension at least two. Synonyms include projectivity, projective transformation, and projective collineation.

Historically, homographies (and projective spaces) have been introduced to study perspective and projections in Euclidean geometry, and the term homography, which, etymologically, roughly means "similar drawing", dates from this time. At the end of the 19th century, formal definitions of projective spaces were introduced, which extended Euclidean and affine spaces by the addition of new points called points at infinity. The term "projective transformation" originated in these abstract constructions. These constructions divide into two classes that have been shown to be equivalent. A projective space may be constructed as the set of the lines of a vector space over a given field (the above definition is based on this version); this construction facilitates the definition of projective coordinates and allows using the tools of linear algebra for the study of homographies. The alternative approach consists in defining the projective space through a set of axioms, which do not involve explicitly any field (incidence geometry, see also synthetic geometry); in this context, collineations are easier to define than homographies, and homographies are defined as specific collineations, thus called "projective collineations".

In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension n − 1, which is embedded in an ambient space of dimension n, generally a Euclidean space, an affine space or a projective space.Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally (near every point), and sometimes globally.

A hypersurface in a (Euclidean, affine, or projective) space of dimension two is a plane curve. In a space of dimension three, it is a surface.

In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways.

Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding.

In algebraic geometry, a Kummer quartic surface, first studied by Ernst Kummer (1864), is an irreducible nodal surface of degree 4 in ${\displaystyle \mathbb {P} ^{3}}$ with the maximal possible number of 16 double points. Any such surface is the Kummer variety of the Jacobian variety of a smooth hyperelliptic curve of genus 2; i.e. a quotient of the Jacobian by the Kummer involution x ↦ −x. The Kummer involution has 16 fixed points: the 16 2-torsion point of the Jacobian, and they are the 16 singular points of the quartic surface. Resolving the 16 double points of the quotient of a (possibly nonalgebraic) torus by the Kummer involution gives a K3 surface with 16 disjoint rational curves; these K3 surfaces are also sometimes called Kummer surfaces.

Other surfaces closely related to Kummer surfaces include Weddle surfaces, wave surfaces, and tetrahedroids.

In projective geometry and mathematics more generally, a projective line is, roughly speaking, the extension of a usual line by a point called a point at infinity. The statement and the proof of many theorems of geometry are simplified by the resulting elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case).

There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field K, commonly denoted P(K), as the set of one-dimensional subspaces of a two-dimensional K-vector space. This definition is a special instance of the general definition of a projective space.

In mathematics, a cubic plane curve , often called simply a cubic is a plane algebraic curve defined by a homogeneous polynomial of degree 3 in three variables ${\displaystyle F(X,Y,Z)}$ or by the corresponding polynomial in two variables ${\displaystyle f(x,y)=F(X,Y,1).}$ Starting from ⁠${\displaystyle f}$⁠, one can recover ⁠${\displaystyle F}$⁠ as ⁠${\displaystyle F(X,Y,Z)=Z^{3}f(X/Z,(Y/Z)}$⁠.

Typically, the coefficients of the polynomial belong to ${\displaystyle \mathbb {R} ,}$ but they may belong to any field ⁠${\displaystyle k}$⁠, in which case, one talks of a cubic defined over ⁠${\displaystyle k}$⁠. The points of the cubic are the points of the projective space of dimension three over the field of the complex numbers (or over an algebraic closure of ⁠${\displaystyle k}$⁠), whose projective coordinates satisfy the equation of the cubic$${\displaystyle F(X,Y,Z)=0.}$$A point at infinity of the cubic is a point such that ⁠${\displaystyle Z=0}$⁠. A real point of the cubic is a point with real coordinates. A point defined over ⁠${\displaystyle k}$⁠ is a point with coordinates in ⁠${\displaystyle k}$⁠.

A finite geometry is any geometric system that has only a finite number of points.The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points. A geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are many systems that could be called finite geometries, attention is mostly paid to the finite projective and affine spaces because of their regularity and simplicity. Other significant types of finite geometry are finite Möbius or inversive planes and Laguerre planes, which are examples of a general type called Benz planes, and their higher-dimensional analogs such as higher finite inversive geometries.

Finite geometries may be constructed via linear algebra, starting from vector spaces over a finite field; the affine and projective planes so constructed are called Galois geometries. Finite geometries can also be defined purely axiomatically. Most common finite geometries are Galois geometries, since any finite projective space of dimension three or greater is isomorphic to a projective space over a finite field (that is, the projectivization of a vector space over a finite field). However, dimension two has affine and projective planes that are not isomorphic to Galois geometries, namely the non-Desarguesian planes. Similar results hold for other kinds of finite geometries.

In algebraic geometry, a toric variety or torus embedding is a kind of algebraic variety that contains an algebraic torus whose group action extends to the whole variety. Toric varieties form an important and rich class of examples in algebraic geometry, which often provide a testing ground for theorems. The geometry of a toric variety is fully determined by the combinatorics of its associated fan, which often makes computations far more tractable. For a certain special but still quite general class of toric varieties, this information is also encoded in a convex polytope, which creates a powerful connection of the subject with convex geometry. Familiar examples of toric varieties are affine space, projective spaces, products of projective spaces and bundles over projective space.

In finite geometry, the Fano plane (named after Gino Fano) 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 (it is a plane, of dimension 2) and the second parameter is the order (the number of points per line, minus one).

The Fano plane is an example of a finite incidence structure, so many of its properties can be established using combinatorial techniques and other tools used in the study of incidence geometries. Since it is a projective space, algebraic techniques can also be effective tools in its study.

In mathematics, the real projective plane, denoted ⁠${\displaystyle \mathbf {RP} ^{2}}$⁠ or ⁠${\displaystyle \mathbb {P} _{2}}$⁠, is a two-dimensional projective space, similar to the familiar Euclidean plane in many respects but without the concepts of distance, circles, angle measure, or parallelism. It is the setting for planar projective geometry, in which the relationships between objects are not considered to change under projective transformations. The name projective comes from perspective drawing: projecting an image from one plane onto another as viewed from a point outside either plane, for example by photographing a flat painting from an oblique angle, is a projective transformation.

The fundamental objects in the projective plane are points and straight lines, and as in Euclidean geometry, every pair of points determines a unique line passing through both, but unlike in the Euclidean case in projective geometry every pair of lines also determines a unique point at their intersection (in Euclidean geometry, parallel lines never intersect). In contexts where there is no ambiguity, it is simply called the projective plane; the qualifier "real" is added to distinguish it from other projective planes such as the complex projective plane and finite projective planes.

In projective geometry, a collineation is a one-to-one and onto map (a bijection) from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. A collineation is thus an isomorphism between projective spaces, or an automorphism from a projective space to itself. Some authors restrict the definition of collineation to the case where it is an automorphism. The set of all collineations of a space to itself form a group, called the collineation group.

In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work Der barycentrische Calcul, are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix. They are also used in fundamental elliptic curve cryptography algorithms.

If homogeneous coordinates of a point are multiplied by a non-zero scalar then the resulting coordinates represent the same point. Since homogeneous coordinates are also given to points at infinity, the number of coordinates required to allow this extension is one more than the dimension of the projective space being considered. For example, two homogeneous coordinates are required to specify a point on the projective line and three homogeneous coordinates are required to specify a point in the projective plane.

In mathematics, a twisted cubic is a smooth, rational curve C of degree three in projective 3-space P. It is a fundamental example of a skew curve. It is essentially unique, up to projective transformation (the twisted cubic, therefore). In algebraic geometry, the twisted cubic is a simple example of a projective variety that is not linear or a hypersurface, in fact not a complete intersection. It is the three-dimensional case of the rational normal curve, and is the image of a Veronese map of degree three on the projective line.

In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in ${\displaystyle \mathbb {P} ^{n}}$ of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.

A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial.

In algebraic geometry, a nodal surface is a surface in a (usually complex) projective space whose only singularities are nodes. A major problem about them is to find the maximum number of nodes of a nodal surface of given degree.

The following table gives some known upper and lower bounds for the maximal number of nodes on a complex surface of given degree. In degree 7, 9, 11, and 13, the upper bound is given by Varchenko (1983), which is better than the one by Miyaoka (1984).

In algebraic geometry, a Weddle surface, introduced by Thomas Weddle (1850, footnote on page 69), is a quartic surface in 3-dimensional projective space, given by the locus of vertices of the family of cones passing through 6 points in general position.

Weddle surfaces have 6 nodes and are birational to Kummer surfaces.