View source for Glossary of classical algebraic geometry

{{Short description|none}}
{{more footnotes|date=October 2023}}
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.

{{harvs|txt|last=Dolgachev|year=2012}} translates many of the classical terms in algebraic geometry into scheme-theoretic terminology. Other books defining some of the classical terminology include {{harvs|txt|last=Baker|year1=1922a|year2=1922b|year3=1923|year4=1925|year5=1933a|year6=1933b}}, {{harvtxt|Coolidge|1931}}, {{harvtxt|Coxeter|1969}}, {{harvtxt|Hudson|1990}}, {{harvtxt|Salmon|1879}}, {{harvtxt|Semple|Roth|1949}}.

{{Compact ToC|short1|pre1=Conventions|sym=yes|x=[[#XYZ|XYZ]]|y=|z=|seealso=yes|refs=yes}}

== Conventions ==

{{quotebox|width=30%|align=right|
quote=On the other hand, while most of the material treated in the book exists in classical treatises in algebraic geometry, their somewhat archaic terminology and what is by now completely forgotten background knowledge makes these books useful to but a handful of experts in the classical literature.
| source={{harv|Dolgachev|2012|loc=p.iii–iv}}
}}

The change in terminology from around 1948 to 1960 is not the only difficulty in understanding classical algebraic geometry. There was also a lot of background knowledge and assumptions, much of which has now changed. This section lists some of these changes.

* In classical algebraic geometry, adjectives were often used as nouns: for example, "quartic" could also be short for "quartic curve" or "quartic surface".
* In classical algebraic geometry, all curves, surfaces, varieties, and so on came with fixed embeddings into projective space, whereas in scheme theory they are more often considered as abstract varieties. For example, a [[Veronese surface]] was not just a copy of the projective plane, but a copy of the projective plane together with an embedding into projective 5-space.
* Varieties were often considered only up to birational isomorphism, whereas in scheme theory they are usually considered up to biregular isomorphism. {{harv|Semple|Roth|1949|loc=p.20–21}}
* Until circa 1950, many of the proofs in classical algebraic geometry were incomplete (or occasionally just wrong). In particular authors often did not bother to check degenerate cases.
* Words (such as azygetic or bifid) were sometimes formed from Latin or Greek roots without further explanation, assuming that readers would use their [[Classics|classical education]] to figure out the meaning.

{{quotebox|width=30%|align=right
| quote=...we refer to a certain degree of informality of language, sacrificing precision to brevity, ..., and which has long characterized most geometrical writing. ...[The meaning] depends always on the context and is invariably assumed to be capable of unambiguous interpretation by the reader.
| source={{harv|Semple|Roth|1949|loc=p.iii}} }}

* Definitions in classical algebraic geometry were often somewhat vague, and it is futile to try to find the precise meaning of some of the older terms because many of them never had a precise meaning. In practice this did not matter much when the terms were only used to describe particular examples, as in these cases their meaning was usually clear: for example, it was obvious what the 16 tropes of a [[Kummer surface]] were, even if "trope" was not precisely defined in general.
* Algebraic geometry was often implicitly done over the [[complex number]]s (or sometimes the real numbers).
* Readers were often assumed to know classical (or synthetic) projective geometry, and in particular to have a thorough knowledge of conics, and authors would use terminology from this area without further explanation.
* Several terms, such as "Abelian group", "complete", "complex", "flat", "harmonic", "homology", "monoid", "normal", "pole", "regular", now have meanings that are unrelated to their original meanings. Other terms, such as "circle", have their meanings tacitly changed to work in complex projective space; for example, a circle in complex algebraic geometry is a conic passing through the circular points at infinity and has underlying topological space a 2-sphere rather than a 1-sphere.
* Sometimes capital letters are tacitly understood to stand for points, and small letters for lines or curves.

== {{anchor|!$@}} Symbols ==
{{glossary}}
{{term|1=[1], [2], . . . , [''n'']}}
{{defn|1=  Projective space of dimension <math>1, 2, \ldots, n</math>. This notation was introduced by {{harvs|txt|last=Schubert|year=1886|authorlink=Hermann Schubert}}.}}
{{term|1=∞¹, ∞², ...}}
{{defn|1=  A family of dimension 1, 2, ...}}
{{term|{1}, {2}, ...,{''n''} }}
{{defn|A family or variety of dimension <math>1, 2, \ldots, n</math>. {{harv|Semple|Roth|1949|loc=p.288}}}}
{{glossary end}}

== A ==
{{glossary}}

{{term|1=Abelian group}}
{{defn|no=1|1=An archaic name for the [[symplectic group]].}}
{{defn|no=2| A [[commutative group]].}}

{{term|1=  aberrancy}}
{{defn|1=  The deviation of a curve from circular form. See {{harvtxt|Salmon|1879|loc=p. 356 }}.}}

{{term|1=absolute}}
{{defn|no=1|1=A fixed choice of something in projective space, used to construct some other geometry from projective geometry. For example, choosing a plane, called the '''absolute plane''', of projective space can be used to make its complement into a copy of affine space. Choosing a suitable conic or polarity, called the [[Cayley absolute]], '''absolute conic''' or '''absolute polarity''', in the absolute plane provides the means to put a metric on affine space so that it becomes a metric space.}}
{{defn|no=2|[[Absolute geometry]] is roughly Euclidean geometry without the parallel postulate.}}

{{term|accidental}}
{{defn|An accidental (or improper) double point of a surface in 4-dimensional projective space is a double point with two distinct tangent planes. {{harv|Baker|1933b|loc=vol 6, p. 157}} }}

{{term|1=acnode}}
{{defn|1=An [[acnode]] is an isolated point of a real curve. See {{harvtxt|Salmon|1879|loc=p.23  }}.}}

{{term|1=adjoint}}
{{defn|1=If ''C'' is a curve, an adjoint of ''C'' is a curve such that any point of ''C'' of multiplicity ''r'' has multiplicity at least ''r''–1 on the adjoint. Sometimes the multiple points of ''C'' are required to be ordinary, and if theis condition is not satisfied the term "sub-adjoint" is used. {{harv|Semple|Roth|1949|loc=p.55, 231}} }}

{{term|affine}}
{{defn|no=1|[[Affine space]] is roughly a vector space where one has forgotten which point is the origin.}}
{{defn|no=2|An [[affine variety]] is a variety in affine space.}}

{{term|affinity}}
{{defn|An automorphism of affine space.}}

{{term|aggregate}}
{{defn|A set.}}

{{term|ambient}}
{{defn|An [[ambient variety]] is a large variety containing all the points, curves, divisors, and so on that  one is interested in.}}

{{term|anharmonic ratio}}
{{defn|[[Cross-ratio]]}}

{{term|1= antipoint }}
{{defn|1= One of a pair of points constructed from two foci of a curve. See {{harvtxt|Salmon|1879|loc=p.119  }}.}}

{{term|apparent}}
{{defn|An apparent singularity is a singularity of a projection of a variety into a hyperplane. They are so called because they appear to be singularities to an observer at the point being projected from. {{harv|Semple|Roth|1949|loc=p.55, 231}}}}

{{term|1=apolar}}
{{defn|1=Orthogonal under the polar pairing between the symmetric algebra of a vector space and its dual.}}

{{term|1=arithmetic genus}}
{{defn|1=The [[arithmetic genus]] of a variety is a variation of the Euler characteristic of the trivial line bundle; see [[Hodge number]].}}

{{term|Aronhold set}}
{{defn|One of the 288 sets of 7 of the 28 bitangents of a quartic curve corresponding to the 7 odd theta characteristics of a normal set. }}

{{term|associated}}
{{defn|no=1|An associated curve is the image of a projective curve in a Grassmannian, given by taking the tangent lines, or osculating planes, and so on. }}

{{term|axial}}
{{term|axis|multi=y}}
{{defn|A special line or linear subspace associated with some family of geometric objects. For example, a special linear complex in 4-dimensional space consists of all lines meeting a given plane, that is called the axial plane of the complex. {{harv|Semple|Roth|1949|loc=p.274}} Similar to directrix.}}

{{term|azygetic}}
{{defn|Unpaired. Opposite of syzygetic, meaning paired. Example: azygetic triad, azygetic tetrad, azygetic set.}}

{{glossary end}}

== B ==
{{glossary}}

{{term|1=base}}
{{defn|no=1|1=A '''base point''' is a point common to all members of a family.}}
{{defn|no=2|The '''base number''' ρ is the rank of the [[Neron–Severi group]].}}

{{term|1= bicircular }}
{{defn|1= Having nodes at the two circular points at infinity, as in [[bicircular curve]]. See {{harvtxt|Salmon|1879|loc=p.231  }}.}}

{{term|bicorn}}
{{defn|A [[bicorn]] is a curve with two cusps.}}

{{term|1=bicuspidal}}
{{defn|1=Having two cusps}}

{{term|bidegree}}
{{defn|A pair of integers giving the degrees of a bihomogeneous polynomial in two sets of variables}}

{{term|bielliptic}}
{{defn|no=1|A bielliptic curve is a branched double cover of an elliptic curve.}}
{{defn|no=2|A bielliptic surface is the same as a [[hyperelliptic surface]].}}

{{term|1=bifid}}
{{defn|no=1|Split into two equal parts}}
{{defn|no=2|1=A '''bifid map''' is an element of the vector space of dimension 2''g'' over the field with 2 elements, consisting of the 2''g''+1-dimensional space of even-cardinality subsets of a set ''S'' of 2+2''g'' elements, modulo the 1-dimensional space {0,''S''}. {{harv|Dolgachev|2012|loc=p.215}} }}
{{defn|no=3|1=  A '''bifid substitution''' is a permutation of the 28 bitangents of a quartic curve depending on one of the 35 decompositions of 8 symbols into two sets of 4 symbols. See {{harvtxt|Salmon|1879|loc=p.223  }}.}}

{{term|1=biflecnode}}
{{defn|1= Same as fleflecnode. See {{harvtxt|Salmon|1879|loc=p.210}}.}}

{{term|1=bigenus}}
{{defn|1= The second [[plurigenus]] ''P''<sub>2</sub> of a surface. }}

{{term|bihomogeneous}}
{{defn|Homogeneous in each of two sets of variables, as in bihomogeneous form.}}

{{term|binary}}
{{defn|Depending on two variables, as in [[binary form]]}}

{{term|1=binodal}}
{{defn|1=Having two nodes}}

{{term|1=binode}}
{{defn|1= A double point of a surface whose tangent cone consists of two different planes. See unode. {{harv|Semple|Roth|1949|loc=p.424}}}}

{{term|1=bipartite}}
{{defn|1=  Having two connected components. See {{harvtxt|Salmon|1879|loc=p.165  }}.}}

{{term|bipunctual}}
{{defn|no=1|Having two points}}
{{defn|no=2| For a bipunctual conic with respect to 3 points see {{harvtxt|Baker|1922b|loc=vol 2, p. 123}}. }}

{{term|1=birational}}
{{defn|no=1|Two varieties are birational if they are isomorphic off lower-dimensional subsets}}
{{defn|no=2|A [[birational map]] is a rational map with rational "inverse"}}

{{term|biregular}}
{{defn|no=1|A [[biregular map]] is a regular map with regular inverse}}
{{defn|no=2|Two varieties are biregular if there is a biregular map from one to the other, in other words if they are isomorphic as abstract varieties.}}

{{term|biscribed}}
{{defn|Both circumscribed and inscribed, or in other words having vertices that lie on a curve and sides that are tangent to the curve, as in biscribed triangle. {{harv|Dolgachev|2012}}}}

{{term|1=bitangent}}
{{defn|1=  A [[bitangent]] is a line that is tangent to a curve at two points. See {{harvtxt|Salmon|1879|loc=p. 328 }}.}}

{{term|bitangential}}
{{defn|Meeting a curve at the tangency points of its bitangents}}

{{term|Brianchon hexagon}}
{{defn|A non-planar hexagon whose three diagonals meet. {{harv|Baker|1922a|loc=vol 1, p. 47}} }}

{{glossary end}}

== C ==
{{glossary}}

{{term|1=canonical}}
{{defn|no=1|1=The canonical series is the linear series of the canonical line bundle}}
{{defn|no=2|1=The [[canonical bundle]] is the line bundle of differential forms of highest degree.}}
{{defn|no=3|The '''canonical map''' or '''canonical embedding''' is the map to the projective space of the sections of the canonical bundle}}
{{defn|no=4|A '''canonical curve''' (or variety) is the image of a curve (or variety) under the canonical map}}
{{defn|no=5|The '''canonical class''' is the divisor class of a canonical divisor}}
{{defn|no=6|A '''canonical divisor''' is a divisor of a section of the canonical line bundle.}}

{{term|1=Canonizant}}
{{defn|1=A [[canonizant]] is a covariant of forms.}}

{{term|1=catalecticant}}
{{defn|1=A [[catalecticant]] is an invariant of a binary form of degree 2''n'' that vanishes when the form is a sum of powers of ''n'' linear forms.}}

{{term|1=caustic}}
{{defn|1=A [[caustic (mathematics)|caustic]] is the envelope of light rays from a point reflected in a curve}}

{{term|Cayley}}
{{term|1=Cayleyan}}
{{defn|Named after [[Arthur Cayley]]}}
{{defn|no=1|1= {{main|Cayleyan}} See {{harvtxt|Salmon|1879}}}}
{{defn|no=2|A '''Cayley octad''' is a set of 8 points in projective space given by the intersection of three quadrics. {{harv|Dolgachev|2012|loc=6.3.1}} }}
{{defn|no=3|The Cayley lines or Cayley–Salmon lines are the 20 lines passing through 3 Kirkman points.}}
{{defn|no=4|A [[Cayley absolute]] is a conic or quadric used to define a metric.}}

{{term|1=center}}
{{term|1=centre|multi=y}}
{{defn|no=1|A special point associated with some geometric object}}
{{defn|no=2|1=The center of a perspectivity}}
{{defn|no=3|1=The center of an isologue}}

{{term|character}}
{{term|characteristic|multi=y}}
{{defn|no=1|An integer associated with a projective variety, such as its degree, rank, order, class, type. {{harv|Semple|Roth|1949|loc=p.189}} In particular the '''Plücker characteristics''' of a curve are the order, class, number of nodes, number of bitangents, number of cusps, and number of inflections. {{harv|Coolidge|1931|loc=p.99}} }}
{{defn|no=2|A characteristic exponent is an exponent of a power series with non-negative coefficient, that is not divisible by the highest common factor of preceding exponents with non-zero coefficients. {{harv|Coolidge|1931|loc=p.220}} }}
{{defn|no=3|The characteristic series of a linear system of divisors on a surface is the linear system of 0-cycles on one of the divisors given by its intersections with the other divisors.}}

{{term|1=chord}}
{{defn|1=A line joining two points of a variety}}

{{term|chordal variety}}
{{defn|A [[chordal variety]] is the union of the chords and tangent spaces of a projective variety}}

{{term|circle}}
{{defn|A plane conic passing through the circular points at infinity. For real projective geometry this is much the same as a circle in the usual sense, but for complex projective geometry it is different: for example, circles have underlying topological spaces given by a 2-sphere rather than a 1-sphere. }}

{{term|circuit}}
{{defn|A component of a real algebraic curve. A circuit is called '''even''' or '''odd''' depending on whether it has an even or odd number of intersections with a generic line. {{harv|Coolidge|1931|loc=p. 50}}}}

{{term|1=circular}}
{{defn|no=1|1=A circular point is one of the two points at infinity (1: ''i'': 0), (1: −''i'': 0) through which all circles pass}}
{{defn|no=2| A [[circular algebraic curve]] is a curve passing through the two circular points at infinity. See also bicircular.}}

{{term|circumscribed}}
{{defn|no=1|Having edges tangent to some curve, as in [[Tangential quadrilateral|circumscribed quadrilateral]].}}
{{defn|no=2|Passing through the vertices of something, as in [[circumscribed circle]].}}

{{term|1=cissoid}}
{{defn|1= A [[cissoid]] is the curve generated from two curves and a point. See {{harvtxt|Salmon|1879}}.}}

{{term|1=class}}
{{defn|no=1|The class of a plane curve is the number of proper tangents passing through a generic point of the plane.  {{harv|Semple|Roth|1949|loc=p.28}}}}
{{defn|no=2|The class of a space curve is the number of osculating planes passing through a generic point of space.  {{harv|Semple|Roth|1949|loc=p.85}}}}
{{defn|no=3|The class of a surface in ''r''dimensional projective space is the number of tangent planes meeting a generic codimension 2 subspace in a line.  {{harv|Semple|Roth|1949|loc=p.28}}}}
{{defn|no=4|The degree of a contravariant or concomitant in the covariant variables.}}

{{term|coaxal}}
{{term|coaxial|multi=y}}
{{defn|A pencil of circles is called coaxal if their centers all lie on a line (called the axis).}}
{{defn|A family of plane circles all passing through the same two points (other than the circular points at infinity). {{harv|Baker|1922b|loc=vol 2, p. 66}} }}

{{term|1=coincidence}}
{{defn|no=1|A coincidence quadric is a quadric associated to a correlation, given by the locus of points lying in the corresponding hyperplane.  {{harv|Semple|Roth|1949|loc=p.8}}}}
{{defn|no=2|A fixed point of a correspondence, in other words a point of a variety corresponding to itself under a correspondence. {{harv|Coolidge|1931|loc=p. 126}}}}

{{term|collinear}}
{{defn|On the same line}}

{{term|1=collineation}}
{{defn|1=A [[collineation]] is an isomorphism from one projective space to another, often to itself. {{harv|Semple|Roth|1949|loc=p.6}} See correlation.}}

{{term|1=complete}}
{{defn|no=1|1=A linear series of divisors is called complete if it is not contained in a larger linear series.{{harv|Semple|Roth|1949|loc=p.351}}}}
{{defn|no=2|1=A scheme is called [[complete variety|complete]] if the map to a point is proper}}
{{defn|no=3|1=A [[complete quadrangle]] is 4 points and the 6 lines joining pairs}}
{{defn|no=4|1=A [[complete quadrilateral]] is 4 lines meeting in pairs in 6 points}}
{{defn|no=5|1=A [[complete conic]] in the plane is a (possibly degenerate) conic, together with a pair of (possibly equal) points on it if it is a double line}}

{{term|1=complex}}
{{defn|no=1|1=  (Noun.) A [[line complex]], a family of lines of codimension 1 in the family of all lines in some projective space, in particular a 3-dimensional family of lines in 3-dimensional projective space.  {{harv|Semple|Roth|1949|loc=p.236}} See congruence.}}
{{defn|no=2|defn=(Adjective.) Related to the complex numbers.}}
{{defn|no=3|The (line) complex group is an old name for the [[symplectic group]].}}

{{term|1=composite}}
{{defn|1=Reducible (meaning having more than one irreducible component). }}

{{term|1=conchoid}}
{{defn|1=A [[conchoid (mathematics)|conchoid]] is the curve given by the [[cissoid]] of a circle and another curve. See {{harvtxt|Salmon|1879}}.}}

{{term|concomitant}}
{{defn|A (mixed) concomitant is an invariant homogeneous polynomial in the coefficients of a form, a covariant variable, and a contravariant variable. In other words it is a (tri)homogeneous polynomial on ''SV''&oplus;''V''&oplus;''V''* for some vector space ''V'', where ''SV'' is some symmetric power of ''V'' and ''V''* its dual, that is invariant under the special linear group of ''V''. In practice ''V'' often has dimension 2. The degree, class, and order of a concomitant are its degrees in the three types of variable. Concomitants are generalizations of covariants, contravariants, and invariants. }}

{{term|1=concurrent }}
{{defn|1=Meeting at a point}}

{{term|1=cone}}
{{defn|no=1|1=The union of the lines joining an algebraic set with a linear algebraic set. Called a point-cone, line-cone, ... if the linear set is a point, line, ...{{harv|Semple|Roth|1949|loc=p.18}}}}
{{defn|no=2|1=A subset of a vector space closed under multiplication by scalars. }}

{{term|1=configuration}}
{{defn|1=A [[Geometric configuration|configuration]] is a finite set of points and lines (and sometimes planes), generally with equal numbers of points per line and equal numbers of lines per point.}}

{{term|1=confocal }}
{{defn|1=Having the same foci <!-- Hudson -->}}

{{term|1=congruence}}
{{defn|1=A family of lines in projective space such that there are a nonzero finite number of lines through a generic point {{harv|Semple|Roth|1949|loc=p.238, 288}}. See complex.}}

{{term|conic}}
{{defn|A [[conic]] is a degree 2 curve. Short for "conic section", the intersection of a cone with a plane.}}

{{term|1=conjugate}}
{{defn|no=1|1=A conjugate point is an [[acnode]]. {{harv|Salmon|1879|loc=p.23}}}}
{{defn|no=2| A conjugate point is a point lying on the hyperplane corresponding to another point under a polarity.}}
{{defn|no=3|A conjugate line is a line containing the point corresponding to another line under a polarity (or plane conic). {{harv|Baker|1922b|loc=vol 2, p. 26}} }}
{{defn|no=4|For '''harmonic conjugate'''  see harmonic.}}

{{term|connex}}
{{defn|A correspondence between a projective space and its dual.}}

{{term|1=consecutive}}
{{defn|1=Infinitesimally near. For example, a tangent line to a curve is a line through two consecutive points of the curve, and a focal point is the intersection of the normals of two consecutive points. }}

{{term|contravariant}}
{{defn|no=1|A bihomogeneous polynomial in dual variables of ''x'', ''y'', ... and the coefficients of some homogeneous form in ''x'', ''y'',... that is invariant under some group of linear transformations. In other words it is a bihomogeneous polynomial on ''SV''&oplus;''V'' for some vector space ''V'', where ''SV'' is some symmetric power of ''V'' and ''V''* its dual, that is invariant under the special linear group of ''V''. In practice ''V'' often has dimension at least 3, because when it has dimension 2 these are more or less the same as covariants. The degree and class of a contravariant are its degrees in the two types of variable. Contravariants generalize invariants and are special cases of concomitants, and are in some sense dual to covariants.}}

{{term|coplanar}}
{{defn|In the same plane}}

{{term|1=correlation}}
{{defn|1=An isomorphism from a projective space to the dual of a projective space, often to the dual of itself. A correlation on the projective space of a vector space is essentially the same as a nonsingular bilinear form on the vector space, up to multiplication by constants.  {{harv|Semple|Roth|1949|loc=p.7}}}}

{{term|1= coresidual }}
{{defn|1=  See {{harvtxt|Salmon|1879|loc=p.131  }}}}

{{term|1=correspondence}}
{{defn|1=A correspondence from ''X'' to ''Y'' is an algebraic subset of ''X''&times;''Y''}}

{{term|1=cosingular }}
{{defn|1=Having the same singularities<!-- Hudson -->}}

{{term|couple}}
{{defn|An ordered pair}}

{{term|covariant}}
{{defn|no=1|A bihomogeneous polynomial in ''x'', ''y'', ... and the coefficients of some homogeneous form in ''x'', ''y'',... that is invariant under some group of linear transformations. In other words it is a bihomogeneous polynomial on ''SV''&oplus;''V''* for some vector space ''V'', where ''SV'' is some symmetric power of ''V'' and ''V''* its dual, that is invariant under the special linear group of ''V''. In practice ''V'' often has dimension 2. The degree and order of a covariant are its degrees in the two types of variable. Covariants generalize invariants and are special cases of concomitants, and are in some sense dual to contravariants}}
{{defn|no=2|The variety defined by a covariant. In particular the curve defined by the Hessian or Steinerian covariants of a curve are called covariant curves. {{harv|Coolidge|1931|loc=p.151}}}}

{{term|Cremona transformation}}
{{defn|A [[Cremona transformation]] is a birational map from a projective space to itself}}

{{term|1=cross-ratio}}
{{defn|1=The [[cross-ratio]] is an invariant of 4 points on a projective line.}}

{{term|1=crunode}}
{{defn|1= [[Crunode]] is an archaic term for a node, a double point with distinct tangent directions. }}

{{term|1=cubic}}
{{defn|1=Degree 3, especially a degree 3 projective variety}}

{{term|cubo-cubic}}
{{defn|A cubo-cubic transformation is a Cremona transformation such that the homaloids of the transformation and its inverse all have degree 3. {{harvtxt|Semple|Roth|1949|loc=p.179}}}}

{{term|1=curve}}
{{defn|1=A curve together with an embedding into projective space.}}

{{term|cusp}}
{{defn|A [[cusp (singularity)|cusp]] is a singular point of a curve whose tangent cone is a line.}}

{{term|cuspidal edge}}
{{defn|The locus of the focal points of a family of planes {{harv|Semple|Roth|1949|loc=p.85, 87}}}}

{{term|1=cyclide}}
{{defn|1=A [[cyclide]] is a quartic surface passing doubly through the absolute conic. {{harv|Semple|Roth|1949|loc=p.141}}}}

{{glossary end}}

== D ==
{{glossary}}
{{term|1=decic}}
{{term|decimic|multi=y}}
{{defn|no=1|defn= (Adjective) Degree 10}}
{{defn|no=2|defn= (Noun) A degree 10 projective variety}}

{{term|1=deficiency }}
{{defn|no=1|1=The deficiency of a linear system is its codimension in the corresponding complete linear system.}}
{{defn|no=2|1= The deficiency ''D'' of a plane curve is an approximation to its genus, equal to the genus when all singular points are ordinary, given by (''n''–1)(''n''–2)/2 –(''a''–1)(''a''–2)/2 – (''b''–1)(''b''–2)/2 –..., where ''n'' is the degree of the curve and ''a''. ''b'', ... are the multiplicities of its singular points. {{harv|Semple|Roth|1949|loc=p.30}}, {{harv|Salmon|1879|loc=p. 28 }}}}

{{term|degree}}
{{defn|no=1|The number of intersection points of a projective variety with a generic linear subspace of complementary dimension}}
{{defn|no=2|The number of points of a divisor on a curve}}

{{term|Desargues}}
{{defn|The Desargues figure or configuration is a configuration of 10 lines and 10 points in [[Desargues' theorem]].}}

{{term|1=desmic system}}
{{defn|1= A desmic system is a configuration of three [[desmic tetrahedra]].}}

{{term|1=developable}}
{{defn|no=1|defn= (Noun) A 1-dimensional family of planes in 3-dimensional projective space {{harv|Semple|Roth|1949|loc=p.85}}.}}
{{defn|no=2|defn=(Noun) The envelope of the normals of a curve}}
{{defn|no=3|(Noun) Short for a [[developable surface]], one that can be unrolled to a plane }}
{{defn|no=4|defn= The [[tangent developable]] of a curve is the surface consisting of its tangent lines.}}
{{defn|no=5|Flat, as in [[developable surface]]}}

{{term|differential}}
{{defn|no=1|A differential of the first kind is a holomorphic 1-form.}}
{{defn|no=2|A differential of the second kind is a meromorphic 1-form such that the residues of all poles are 0. Sometimes it is only allowed to have one pole that must be of order 2. }}
{{defn|no=3|A differential of the third kind is sometimes a meromorphic 1-form such that all poles are simple (order 1).  Sometimes it is only allowed to have 2 poles.}}

{{term|director}}
{{defn|The [[director circle]] of a conic is the locus of points where two orthogonal tangent lines to the conic meet. More generally the '''director conic''' of a conic in regard to two points is defined in a similar way. {{harv|Baker|1922b|loc=vol 2, p. 26}} }}

{{term|1=directrix}}
{{defn|1= A straight line, or more generally a projective space, associated with some geometric configuration, such as the [[directrix of a conic section]] or the [[directrix of a rational normal scroll]]}}

{{term|1=discriminant}}
{{defn|1= The invariant (on the vector space of forms of degree ''d'' in ''n'' variables) which vanishes exactly when the corresponding hypersurface in '''P'''<sup>n-1</sup> is singular.}}

{{term|1=double curve}}
{{defn|A 1-dimensional singularity, usually of a surface, of multiplicity 2}}

{{term|1=double point}}
{{defn|no=1|A 0-dimensional singularity of multiplicity 2, such as a node.}}
{{defn|One of the two points fixed by an involution of a projective line. {{harv|Baker|1922b|loc=vol 2, p.3}} }}

{{term|1=double six}}
{{defn|The [[Schläfli double six]] configuration}}

{{term|1=duad}}
{{defn|A set of two points}}

{{term|1=dual}}
{{defn|no=1|defn=The [[duality (projective geometry)|dual of a projective space]] is the set of hyperplanes, considered as another projective space.}}
{{defn|no=2|defn=The [[dual curve]] of a plane curve is the set of its tangent lines, considered as a curve in the dual projective plane.}}
{{defn|no=3|A [[dual number]] is a number of the form ''a''+ε''b'' where ε has square 0. {{harvtxt|Semple|Roth|1949|loc=p.268}}}}

{{glossary end}}

== E ==
{{glossary}}
env
{{term|Eckardt point}}
{{defn|An [[Eckardt point]] is a point of intersection of 3 lines on a [[cubic surface]].}}

{{term|effective}}
{{defn|An effective cycle or divisor is one with no negative coefficients}}

{{term|elation}}
{{defn|A collineation that fixes all points on a line (called its '''axis''') and all lines though a point on the axis (called its center).}}

{{term|eleven-point conic}}
{{defn|The [[eleven-point conic]] is a conic containing 11 special points associated to four points and a line. {{harv|Baker|1922b|loc=vol 2, p. 49}} }}

{{term|embedded}}
{{defn|An embedded variety is one contained in a larger variety, sometimes called the ambient variety.}}

{{term|enneaedro}}
{{defn|A set of 9 tritangent planes to a cubic surface containing the 27 lines.}}

{{term|1= envelope }}
{{defn|1= A curve tangent to a family of curves. See {{harvtxt|Salmon|1879|loc=p. 65 }}.}}

{{term|1=epitrochoid}}
{{defn|1= An [[epitrochoid]] is the curve traced by a point of a disc rolling along another disc. {{harvtxt|Salmon|1879}}}}

{{term|equiaffine}}
{{term|equiaffinity|multi=y}}
{{defn|An equiaffinity is an equiaffine transformation, meaning an affine transformation preserving area.}}

{{term|1=equianharmonic}}
{{defn|no=1|Four points whose cross ratio (or anharmonic ratio) is a cube root of 1}}
{{defn|no=2|An [[equianharmonic]] cubic is a cubic curve with ''j''-invariant 0}}

{{term|1=equivalence}}
{{defn|1=In intersection theory, a positive-dimensional variety sometimes behaves formally as if it were a finite number of points; this number is called its equivalence. }}

{{term|1= evectant }}
{{defn|1=  A contravariant defined by Sylvester depending on an invariant. See {{harvtxt|Salmon|1879|loc=p. 184 }}.}}

{{term|1= evolute }}
{{defn|1= An [[evolute]] is the envelope of the normal lines of a plane curve. See {{harvtxt|Salmon|1879|loc=p. 40 }}.}}

{{term|exceptional}}
{{defn|no=1|Corresponding to something of lower dimension under a birational correspondence, as in [[exceptional curve]], [[exceptional divisor]]}}
{{defn|no=2|1=An '''exceptional curve''' on a surface is one that corresponds to a simple point on another surface under a birational correspondence. It is called an '''exceptional curve of the first kind''' if it is transformed into a point of the other surface, and an  '''exceptional curve of the second kind''' if it is transformed into a curve of the other surface.}}

{{glossary end}}

== F ==
{{glossary}}

{{term|facultative}}
{{defn|A facultative point is one where a given function is positive. {{harv|Salmon|1885|loc=p.243}}{{vn|date=June 2020}} }}

{{term|first kind}}
{{defn|holomorphic or regular (when applied to differentials)}}

{{term|flat}}
{{defn|no=1|(Noun) A linear subspace of projective space, such as a point, line, plane, hyperplane.}}
{{defn|no=2|(Adjective) Having curvature zero.}}
{{defn|no=3|(Adjective) For the term "flat" in scheme theory see [[flat module]], [[flat morphism]].}}

{{term|1=flecnode }}
{{defn|1= A double point that is also a point of inflexion of one branch. {{harv|Cayley|1852}}. {{harv|Salmon|1879|loc=p.210}}}}

{{term|1=fleflecnode }}
{{defn|1=A double point that is also a point of inflexion of both branches. {{harv|Cayley|1852}}.}}

{{term|1=flex}}
{{defn|1=Short for point of inflection}}

{{term|focal}}
{{defn|no=1|A focal point, line, plane, ... is the intersection of several consecutive elements of a family of linear subspaces. {{harv|Semple|Roth|1949|loc=p. 85, 252}}}}
{{defn|no=2|A focal curve, surface and so on is the locus of the focal points of a family of linear subspaces. {{harv|Semple|Roth|1949|loc=p.252}}}}

{{term|1= focus }}
{{defn|1=  A focal point. See {{harvtxt|Salmon|1879|loc=p. 116 }}, {{harv|Semple|Roth|1949|loc=p. 85,251}}}}

{{term|1=foliate singularity}}
{{defn|1=See {{harv|Semple|Roth|1949|loc=p.422}}}}

{{term|form}}
{{defn|no=1|A homogeneous polynomial in several variables. Same as quantic.}}
{{defn|no=2|A [[differential form]].}}

{{term|1=free intersection}}
{{defn|1=An intersection point of two members of a family that is not a base point.}}

{{term|1=freedom}}
{{defn|1= Dimension, as in [[degrees of freedom]]. {{harv|Semple|Roth|1949|loc=p.26}}.}}

{{term|1=fundamental}}
{{defn|This term seem to be ambiguous and poorly defined: Zariski states: "I can find no clear-cut definition of a fundamental curve in the literature".}}
{{defn|no=1|1=The fundamental set or fundamental locus of a birational correspondence appears to mean (roughly) either the set of points where it is not a bijection or the set of points where it is not defined.}}
{{defn|no=2|1=A fundamental point, curve, or variety is a point, curve, or variety in the fundamental set of a birational correspondence.}}

{{glossary end}}

== G ==
{{glossary}}
{{term|1=g|content=''g''{{su|p=''r''|b=''d''}}, γ{{su|p=''r''|b=''d''}}}}
{{defn|1=A linear or algebraic system of divisors of dimension ''r'' and degree ''d'' on a curve. The letter ''g'' is used for linear systems, and the letter γ is used for algebraic systems.}}
{{term|1=generator}}
{{defn|One of the lines of a ruled surface {{harv|Semple|Roth|1949|loc=p.204}} or more generally an element of some family of linear spaces.}}

{{quotebox|width=30%|align=right
| quote= Most particularly we refer to the recurrent use of such adjectives as `general' or `generic', or such phrases as `in general', whose meaning, wherever they are used, depends always on the context and is invariably assumed to be capable of unambiguous interpretation by the reader.
| source={{harv|Semple|Roth|1949|loc=p.iii}} }}
{{term|1=generic}}
{{defn|no=1|1=Not having some special properties, which are usually not stated explicitly.}}
{{defn|no=2|1=A generic point is one having coordinates that are algebraically independent over the base field.}}
{{defn|no=3|1= The [[generic point]] of a scheme.}}

{{term|1=genus}}
{{defn|no=1|defn=The dimension of the space of sections of the canonical bundle, as in the [[genus of a curve]] or the [[geometric genus]] of a surface}}
{{defn|no=2|defn=[[arithmetic genus]] of a surface}}
{{defn|no=3|defn=[[plurigenus]]}}

{{term|1=geometric genus}}
{{defn|1=The [[geometric genus]] is the dimension of the space of holomorphic ''n''-forms on an ''n''-dimensional non-singular projective variety.}}

{{term|1=grade}}
{{defn|1=The grade of a linear system of divisors on an ''n''-dimensional variety is the number of free intersection points of ''n'' generic divisors. In particular the grade of a linear series of divisors on a curve is now called the degree and is the number of points in each divisor {{harv|Semple|Roth|1949|loc=p.345}}, and the grade of a net of curves on a surface is the number of free intersections of two generic curves. {{harv|Semple|Roth|1949|loc=p.45}} {{harv|Semple|Roth|1949|loc=p.159}} }}

{{term|Grassmannian}}
{{defn|A [[Grassmannian]] is a variety parameterizing linear subspaces of projective space}}

{{term|1=group}}
{{defn|no=1|A '''group''' or '''point-group''' is an archaic term for an effective divisor on a curve. This usage is particularly confusing, because some such divisors are called normal, with the result that there are "normal sub-groups" having nothing to do with the normal subgroups of group theory. {{harv|Coolidge|1931}} }}
{{defn|no=2|A [[Group (mathematics)|group]] in the usual sense.}}

{{glossary end}}

== H ==
{{glossary}}

{{term|1=harmonic}}
{{defn|no=1|Two pairs of points on a line are harmonic if their cross ratio is –1. The 4 points are called a '''harmonic set''', and the points of one pair are called '''harmonic conjugates''' with respect to the other pair. }}
{{defn|no=2|A harmonic cubic is an elliptic curve with ''j''-invariant 1728, given by a double cover of the projective line branched at 4 points with cross ratio –1.}}
{{defn|no=3|Satisfying some analogue of the [[Laplace equation]], as in harmonic form.}}
{{defn|no=4|The '''harmonic polar line''' of an inflection point of a cubic curve is the component of the polar conic other than the tangent line. {{harv|Dolgachev|2012|loc=3.1.2}} }}
{{defn|no=5|A '''harmonic net''' is a set of points on a line containing the harmonic conjugate of any point with respect to any other two points. {{harv|Baker|1922a|loc=vol 1, p. 133}} }}
{{defn|no=6|For harmonically conjugate conics see {{harv|Baker|1922b|loc=vol 2, p. 122}}. }}

{{term|Hesse}}
{{term|1=Hessian }}
{{defn|Named after [[Otto Hesse]].}}
{{defn|no=1|1=A [[Hessian matrix]], or a variety associated with it. See {{harvtxt|Salmon|1879|loc=p.55}}.}}
{{defn|no=2|The Hessian line is a line associated to 3 points ''A'', ''B'', ''C'', of a conic, containing the three points given by the intersections of the tangents at ''A'', ''B'', ''C'' with the lines ''BC'', ''CA'', ''AB''. }}
{{defn|no=3|The Hessian point is a point associated to three lines tangent to a conic, whose construction is dual to that of a Hessian line.}}
{{defn|no=4|The [[Hessian pair]] or Hessian duad of three points on a projective line is the pair of points fixed by the projective transformations of order 3 permuting the 3 points. More generally the Hessian pair is also defined in a similar way for triples of points of a rational curve, or triples of elements of a pencil. }}
{{defn|no=5|The [[Hesse configuration]] is the configuration of inflection points of a plane cubic.}}
{{defn|no=6|The [[Hesse group]] is the group of automorphisms of the Hesse configuration, of order 216.}}

{{term|1=hexad}}
{{defn|1=A set of 6 points}}

{{term|1=homaloid}}
{{defn|An element of a homaloidal system, in particular the image of a hyperlpane under a [[Cremona transformation]].}}
{{term| homaloidal}}
{{defn|no=1|1=
A homaloidal linear system of divisors is a linear system of grade 1, such as the image of the linear system of hyperplanes of projective space under a [[Cremona transformation]]. {{harv|Semple|Roth|1949|loc=p.45}} {{harv|Coolidge|1931|loc=p. 442}} When the linear system has dimension 2 or 3 it is called a '''homaloidal net''' or '''homaloidal web'''.}}
{{defn|no=2|Homaloidal means similar to a flat plane. }}

{{term|1= homographic }}
{{defn|no=1| Having the same invariants. See {{harvtxt|Salmon|1879|loc=p.232  }}.}}
{{defn|no=2|A homographic transformation is an automorphism of projective space over a field, in other words an element of the projective general linear group. {{harv|Salmon|1879|loc=p.283  }}}}

{{term|homography}}
{{defn|no=1|An isomorphism between projective spaces induced by an isomorphism of vector spaces.}}
{{defn|no=2|An '''axis of homography''' is a line associated to two related ranges of a conic. {{harv|Baker|1922b|loc=vol 2, p. 16}} }}

{{term|homology}}
{{defn|no=1|As in [[homology group]]}}
{{defn|no=2|A collineation fixing all lines through a point (the center) and all points through a line (the axis) not containing the center. See elation. This terminology was introduced by Lie.}}
{{defn|no=3|An automorphism of projective space with a hyperplane of fixed points (called the '''axis'''). It is called a '''harmonic homology''' if it has order 2, in which case it has an isolated fixed point called its '''center'''.}}

{{term|Hurwitz curve}}
{{term|Hurwitz surface|multi=y}}
{{defn|A [[Hurwitz curve]] is a complex algebraic curve of genus ''g''>0 with the maximum possible number 84(''g''–1) of automorphisms.}}

{{term|1= hyperbolism }}
{{defn|1=  Essentially a blow-up of a curve at a point. See {{harvtxt|Salmon|1879|loc=p.175  }}.}}

{{term|hypercusp}}
{{defn|A singularity of a curve of some multiplicity ''r'' whose tangent cone is a single line meeting the curve with order ''r''+1. {{harv|Coolidge|1931|loc=p. 18}}}}

{{term|1=hyperelliptic}}
{{defn|1=A [[hyperelliptic curve]] is a curve with a degree 2 map to the projective line.}}

{{term|hyperflex}}
{{defn|Same as point of undulation: a point of a curve where the tangent line has contact of order at least 4.}}

{{term|hyperosculating point}}
{{defn|A point where the tangent space meets with order higher than normal. }}

{{term|hyperplane}}
{{defn|A linear subspace of projective space of codimension 1. Same as prime.}}

{{glossary end}}

== I ==
{{glossary}}

{{term|index of speciality}}
{{defn|The dimension of the first cohomology group of the line bundle of a divisor ''D''; often denoted by ''i'' or ''i''(''D''). {{harvtxt|Semple|Roth|1949|loc=p.381}} }}

{{term|infinitely near point}}
{{defn|A point on a blow up of a variety}}

{{term|1= inflection}}
{{term|inflexion |multi=y}}
{{defn|1=  An inflection is a point where the curvature vanishes, or in other words where the tangent line meets with order at least 3. Differential geometry uses the slightly stricter condition that the curvature changes sign at the point. See {{harvtxt|Salmon|1879|loc=p. 32 }}}}

{{term|inpolar quadric}}
{{defn|See {{harv|Baker|1923|loc=vol 3, p. 52, 88}}}}

{{term|inscribed}}
{{defn|no=1|Having vertices on a curve, as in [[inscribed figure]].}}
{{defn|no=2|Tangent to some lines, as in [[inscribed circle]].}}

{{term|integral}}
{{defn || An integral is (more or less) what is now called a closed differential form, or sometimes the result of integrating such a form.}}
{{defn|no=1|An integral of the first kind is a holomorphic closed differential form.}}
{{defn|no=2|An integral of the second kind is a meromorphic closed differential form with no residues.}}
{{defn|no=3|An integral of the third kind is a meromorphic closed differential form whose poles are all simple.}}
{{defn|no=4|A simple integral is a closed 1-form, or the result of integrating a 1-form.}}
{{defn|no=5|A double integral is a closed 2-form, or the result of integrating a 2-form.}}

{{term|invariant}}
{{defn|(Noun) A polynomial in the coefficients of a homogeneous form, invariant under some group of linear transformations. See also covariant, contravariant, concomitant.}}

{{term|1= inversion}}
{{defn|1= An [[inversive geometry|inversion]] is a transformation of order 2 exchanging the inside and outside of a circle. See {{harvtxt|Salmon|1879|loc=p.103  }}.}}

{{term|1= involute }}
{{defn|1= An [[involute]] is a curve obtained by unrolling a string around a curve. See {{harvtxt|Salmon|1879|loc=p. 278 }}.}}

{{term|involution}}
{{defn|no=1|A transformation whose square is the identity.  [[Cremona transformation]]s that are involutions include [[Bertini involution]]s, [[Geiser involution]]s, and [[De Jonquières involution]]s.}}

{{term|1=irregularity  }}
{{defn|1=The [[irregularity of a surface]] is the dimension of the space of holomorphic 1-forms on a non-singular projective surface; see [[Hodge number]].}}

{{term|isologue}}
{{defn|1=Given a Cremoma transformation ''T'', the isologue of a point ''p'' is the set of points ''x'' such that ''p'', ''x'', ''T''(''x'') are collinear. The point ''p'' is called the center of the isologue.}}

{{glossary end}}

== J ==
{{glossary}}

{{term|1=Jacobian}}
{{defn|no=1|1=The [[Jacobian variety]] of a curve}}
{{defn|no=2|1=A Jacobian curve; see below}}

{{term|1=Jacobian curve}}
{{defn|1=The locus of double points of curves of a net. {{harv|Semple|Roth|1949|loc=p.115}}}}

{{term|1=Jacobian set}}
{{defn|1=The set of free double points of a pencil of curves. {{harv|Semple|Roth|1949|loc=p.119}}}}

{{term|1=Jacobian system}}
{{defn|1=The linear system generated by Jacobian curves. {{harv|Semple|Roth|1949|loc=p.117}}}}

{{term|join}}
{{defn|The join of two linear spaces is the smallest linear space containing both of them.}}

{{glossary end}}

== K ==
{{glossary}}

{{term|kenotheme}}
{{defn| An intersection of ''n'' hypersurfaces in ''n''-dimensional projective space. {{harvs|last=Sylvester|year=1853|loc=Glossary p. 543–548}} Archaic. }}

{{term|1=keratoid}}
{{defn|1= Horn-like. A keratoid cusp is one whose two branches curve in opposite direction; see ramphoid cusp.  {{harvtxt|Salmon|1879}}}}

{{term|Kirkman point}}
{{defn|One of the 60 points lying on 3 of the  [[Plücker line]]s associated with 6 points on a conic.}}

{{term|Klein}}
{{defn|no=1|[[Felix Klein]]}}
{{defn|no=2|The [[Klein icosahedral surface]] is a certain cubic surface}}
{{defn|no=3|The [[Klein quartic]] is the curve <math>x^3y + y^3z + z^3x = 0.</math>}}

{{term|1=Kronecker index}}
{{defn|1=The [[intersection number]] of two curves on a surface}}

{{term|Kummer surface}}
{{defn|{{main|Kummer surface}} A quartic surface with 16 nodes}}

{{glossary end}}

== L ==
{{glossary}}

{{term|1=Laguerre net}}
{{defn|1=A net ''V'' of plane curves of some degree ''d'' such that the base locus of a generic pencil of ''V'' is the base locus of ''V'' together with ''d''–1 collinear points {{harv|Dolgachev|2012|loc=theorem 7.3.5}} {{harv|Coolidge|1931|loc=p. 423}} }}

{{term|1=lemniscate }}
{{defn|1=A lemniscate is a curve resembling a figure 8. See {{harvtxt|Salmon|1879|loc=p.42}}}}

{{term|1=limaçon}}
{{defn|1= A [[limaçon]] is a curve traced by a point on a circle rolling around a similar circle. See {{harvtxt|Salmon|1879|loc=p.43}}}}

{{term|line}}
{{defn|A line in projective space; in other words a subvariety of degree 1 and dimension 1.}}

{{term|1= line coordinates }}
{{defn|1= Projective coordinates. See {{harvtxt|Salmon|1879|loc=p. 7 }}}}

{{term|1= linear }}
{{defn|1=  Degree 1}}

{{term|1=linear system}}
{{defn|1=A [[linear system of divisors]], given by the zeros of elements of a vector space of sections of a line bundle}}

{{term|1=locus}}
{{defn|1-A subset of projective space given by points satisfying some condition}}

{{glossary end}}

== M ==
{{glossary}}

{{term|manifold}}
{{defn|An algebraic manifold is a cycle of projective space, in other words a formal linear combination of irreducible subvarieties. Algebraic manifolds may have singularities, so their underlying topological spaces need not be manifolds in the sense of differential topology. {{harvtxt|Semple|Roth|1949|loc=p.14–15}} }}

{{term|meet}}
{{defn|The meet of two sets is their intersection.}}

{{term|Möbius tetrads}}
{{defn|{{main|Möbius configuration}} Two tetrads such that the plane containing any three points of one tetrad contains a point of the other. {{harv|Baker|1922a|loc=vol 1, p. 62}} }}

{{term|model}}
{{defn|no=1|A variety whose points (or sometimes hyperplane sections) correspond to elements of some family. Similar to what is now called a parameter space or moduli space. }}
{{defn|no=2|A model for a field extension ''K'' of a field ''k'' is a projective variety over ''k'' together with an isomorphism between ''K'' and its field of rational functions.}}

{{term|modulus}}
{{defn|A function of algebraic varieties depending only on the isomorphism type; in other words, a function on a [[moduli space]]}}

{{term|Moebius tetrads}}
{{defn|See [[#Möbius tetrads]] }}

{{term|monoid}}
{{defn|A surface of degree ''n'' with a point of multiplicity ''n''–1. {{harv|Semple|Roth|1949|loc=p.187}}}}

{{term|monoidal transformation}}
{{defn|A Cremona transformation of projective space generated by a family of monoids with the same point of multiplicity ''n''–1. More generally a blow-up along a subvariety, called the center of the monoidal transformation. {{harv|Semple|Roth|1949|loc=p.187}}}}

{{term|multiple}}
{{defn|1=A multiple point is a singular point (one with a non-regular local ring).}}

{{term|multiplicity}}
{{defn|The multiplicity of a point on a hypersurface is the degree of the first non-vanishing coefficient of the Taylor series at the point. More generally one can define the multiplicity of any point of a variety as the multiplicity of its [[local ring]]. A point has multiplicity 1 if and only if it is non-singular. }}

{{glossary end}}

== N ==
{{glossary}}

{{term|Néron–Severi group}}
{{defn|1=The [[Néron–Severi group]] is the group of divisors module numerical equivalence.}}

{{term|nest}}
{{defn|Two components (circuits) of a real algebraic curve are said to nest if one is inside the other. {{harv|Coolidge|1931}}}}

{{term|1=net}}
{{defn|no=1|1= A 2-dimensional linear system. See "pencil" and "web". See also Laguerre net.   }}
{{defn|no=2|A harmonic net is a set of points on a line containing the harmonic conjugate of any point with respect to any other two points. {{harv|Baker|1922a|loc=vol 1, p. 133}} }}

{{term|Newton polygon}}
{{defn|{{main|Newton polygon}} The convex hull of the points with coordinates given by the exponents of the terms of a polynomial.}}

{{term|1=nodal}}
{{defn|1=A nodal tangent to a singular point of a curve is one of the lines of its [[tangent cone]]. {{harv|Semple|Roth|1949|loc=p.26}} }}

{{term|1=node}}
{{defn|1=A [[Singular point of an algebraic variety|singular point]] ''p'' of a hypersurface ''f'' = 0, usually with the determinant of the Hessian of ''f'' not zero at ''p''. {{harv|Cayley|1852}}}}

{{term|1= node cusp }}
{{defn|1=  A singularity of a curve where a node and a cusp coincide at the same point. {{harv|Salmon|1879|loc=p. 207 }}}}

{{term|1=normal}}
{{defn|no=1|defn=A subvariety of projective space is [[linearly normal]] if the linear system defining the embedding is complete; see [[rational normal curve]].}}
{{defn|no=2|defn=Orthogonal to the tangent space, such as a line orthogonal to the tangent space or the [[normal bundle]].}}
{{defn|no=3|1=A normal intersection is an intersection with the "expected" codimension (given a sum of codimensions). {{harv|Semple|Roth|1949|loc=p.16}} }}
{{defn|no=4|defn=Local rings are integrally closed; see [[normal scheme]].}}
{{term|1=null-polarity}}
{{defn|1=A correlation given by a skew symmetric matrix. A null-polarity of the projective space of a vector space is essentially a non-degenerate skew-symmetric bilinear form, up to multiplication by scalars. See also polarity. {{harv|Semple|Roth|1949|loc=p.9}}}}

{{glossary end}}

== O ==
{{glossary}}

{{term|1=octad}}
{{defn|1=A set of 8 points}}

{{term|1=octic}}
{{defn|no=1|1=(Adjective) Degree 8}}
{{defn|no=2|(Noun) A degree 8 projective variety}}

{{term|1=ombilic}}
{{defn|1=The curve [[point at infinity|at infinity]] which is the intersection of any [[sphere]] with the plane at infinity. All points of the ombilic are non-real.}}

{{term|1=order }}
{{defn|no=1|Now called [[degree of an algebraic variety]]: the number of intersection points with a generic linear subspace of complementary dimension. {{harv|Semple|Roth|1949|loc=p.15}} }}
{{defn|no=2|The order of a covariant or concomitant: its degree in the contravariant variables.}}
{{defn|no=3|1=The order of a [[Cremona transformation]] is the order (degree) of its homaloids. {{harv|Semple|Roth|1949|loc=p.46}} }}

{{term|1=ordinary}}
{{defn|1=An ordinary point of multiplicity ''m'' of a curve is one with ''m'' distinct tangent lines.}}

{{term|1=oscnode}}
{{defn|1= A double point of a plane curve that is also a point of osculation; in other words the two branches meet to order at least 3. {{harv|Cayley|1852}}}}

{{term|1= osculate }}
{{defn|1= Kiss; to meet with high order. See {{harvtxt|Salmon|1879|loc=p. 356 }}.}}

{{term|1=osculating plane}}
{{defn|A tangent plane of a space curve having third order contact with it.}}

{{term|outpolar quadric}}
{{defn|See {{harv|Baker|1922b|loc=vol 2, p. 33}} and {{harv|Baker|1923|loc=vol 3, p. 52}}}}

{{glossary end}}

== P ==
{{glossary}}

{{term|Pappus}}
{{defn|no=1| [[Pappus of Alexandria]].}}
{{defn|no=2|The [[Pappus configuration]] is the configuration of 9 lines and 9 points that occurs in [[Pappus's hexagon theorem]].}}

{{term|1=parabolic point}}
{{defn|1=A point of a variety that also lies in the Hessian.}}

{{term|parallel}}
{{defn|no=1|Meeting at the line or plane at infinity, as in parallel lines}}
{{defn|no=2|A parallel curve is the envelope of a circle of fixed radius moving along another curve. {{harv|Coolidge|1931|loc=p.192}} }}

{{term|1=  partitivity}}
{{defn|1=  The number of connected components of a real algebraic curve. See {{harvtxt|Salmon|1879|loc=p.165  }}.}}

{{term|Pascal}}
{{defn|Short for '''Pascal line''', the line determined by 6 points of a conic in [[Pascal's theorem]]}}

{{term|1=  pedal}}
{{defn|1= The [[pedal curve]] of ''C'' with respect to a pedal point ''P'' is the locus of points ''X'' such that the line through ''X'' orthogonal to ''PX'' is tangent to ''C''. {{harv|Salmon|1879|loc=p.96  }}}}

{{term|1=pencil}}
{{defn|1= A 1-dimensional linear system. See [[pencil (mathematics)]] and [[Lefschetz pencil]].}}

{{term|1=pentad}}
{{defn|1=A set of 5 points}}

{{term|pentahedron}}
{{defn|A union of 5 planes, in particular the [[Sylvester pentahedron]] of a cubic surface.}}

{{term|period}}
{{defn|The integral of a differential form over a submanifold}}

{{term|1=perspectivity}}
{{defn|1=An isomorphism between two projective lines (or ranges) of projective space such that the lines joining each point of one line to the corresponding point of the other line all pass through a fixed point, called the center of the perspectivity or the perspector.}}

{{term|1=perspector}}
{{defn|1=The center of a perspectivity}}

{{term|1=perspectrix}}
{{defn|1=The line in [[Desargues theorem]] on which the intersections of pairs of sides of two perspective triangles lie}}

{{term|1=pinch }}
{{defn|1= A [[pinch point (mathematics)|pinch point]] is a singular point of a surface, where the two tangent planes of a point on a double curve coincide in a double plane, called the '''pinch plane'''.   {{harv|Semple|Roth|1949|loc=p.175}}}}

{{term|1=pippian}}
{{defn|1= Introduced by {{harvs|txt|last=Cayley|year=1857}}. Now called the [[Cayleyan]]. See also quippian. }}

{{term|Plücker }}
{{defn|{{main|Julius Plücker}} }}
{{defn|no=1|For Plücker characteristic see characteristic}}
{{defn|no=2|A [[Plücker line]] is one of the 15 lines containing 4 of the 20 Steiner points associated to 6 points on a conic. The Plücker lines meet in threes at the 60 Kirkman points. {{harv|Dolgachev|2012|loc=p.124}} }}

{{term|plurigenus}}
{{defn|Plural '''plurigenera'''}}
{{defn|The ''d''th [[plurigenus]] of a variety is the dimension of the space of sections of the ''d''th power of the canonical line bundle.}}

{{term|point-star}}
{{defn|A family of lines with a common point}}

{{term|1=polar}}
{{defn|no=1|1=(Adjective) Related by a polarity}}
{{defn|no=2|The polar conic is the zero set of the quadratic form associated to a polarity, or equivalently the set of self-conjugate points of the polarity.}}
{{defn|no=3|1=(Noun) The first polar, second polar, and so on are varieties of degrees ''n''–1, ''n''–2, ... formed from a point and a hypersurface of degree ''n'' by polarizing the equation of the hypersurface. {{harv|Semple|Roth|1949|loc=p.11}}}}
{{defn|no=4| A '''polar''' or '''polar line''' is the line corresponding to a point under a polarity of the projective plane.}}

{{term|1=polarity}}
{{defn|1=A correlation given by a symmetrical matrix, or a correlation of period 2. A polarity of the projective space of a vector space is essentially a non-degenerate symmetric bilinear form, up to multiplication by scalars. See also null-polarity. {{harv|Semple|Roth|1949|loc=p.9}}}}

{{term|1=pole}}
{{defn|no=1|1= The point corresponding to a hyperplane under a polarity.}}
{{defn|no=2|1= A singularity of a rational function.}}

{{term|poloconic}}
{{term|polocubic|multi=y}}
{{term|poloquartic|multi=y}}
{{defn|The poloconic (also called conic polar) of a line in the plane with respect to a cubic curve is the locus of points whose first polar is tangent to the line. {{harv|Dolgachev|2012|loc=p. 156–157}} }}

{{term|polygonal}}
{{defn|A polygonal (or ''k''-gonal) curve is a curve together with a map (of degree ''k'') to the projective line. The degree of the map is called the gonality of the curve. When the degree is 1, 2, or 3 the curve is called rational, hyperelliptic, or trigonal.}}

{{term|1=porism}}
{{defn|no=1|1=A [[porism]] is a corollary, especially in geometry, as in [[Poncelet's porism]]. The precise meaning seems to be controversial.}}
{{defn|no=2|1=An arrangement of geometrical figures (such as lines or circles) that are inscribed in one curve and circumscribed around another, as in [[Poncelet's porism]] or [[Steiner's porism]]. There seems to be some confusion about whether "porism" refers to the geometrical configuration or to the statement of the result.}}
{{term|poristic}}
{{defn|Having either no solutions or infinitely many {{harv|Semple|Roth|1949|loc=p.186}}. For example, [[Poncelet's porism]] and [[Steiner's porism]] imply that if there is one way to arrange lines or circles then there are infinitely many ways. }}

{{term|postulated}}
{{defn| A postulated object (point, line, and so on) is an object in some larger space. For example, a point at infinity of projective space is a postulated point of affine space. {{harv|Baker|1922a|loc=vol 1, {{pn|date=June 2020}}}} }}

{{term|1=postulation}}
{{defn|1=The postulation of a variety for some family is the number of independent conditions needed to force an elements of the family to contain the variety. {{harv|Semple|Roth|1949|loc=p.440}} }}

{{term|power of a point}}
{{defn|Laguerre defined the [[power of a point]] with respect to an algebraic curve of degree ''n'' to be the product of the distances from the point to the intersections with a circle through it, divided by the ''n''th power of the diameter. He showed that this is independent of the choice of circle through the point. {{harv|Coolidge|1931|loc=p.176}} }}

{{term|1=prime}}
{{defn|1= An old term for a hyperplane in a [[projective space]]. {{harv|Semple|Roth|1949|loc=p.1}}}}

{{term|1=primal}}
{{defn|1= An old term for a [[projective hypersurface]]. {{harv|Semple|Roth|1949|loc=p.10}}}}

{{term|1=projectivity}}
{{defn|1=An isomorphism between two projective lines (or ranges). A projectivity is a product of at most three perspectivities.}}

{{term|propinquity}}
{{defn|A number depending on two branches at a point, defined by {{harvtxt|Coolidge|1931|loc=p. 224}}.
<!-- Not clear if anyone else uses this definition. -->}}

{{term|proximate}}
{{defn|For proximate points see {{harv|Zariski|1935|loc=p.9}}. }}

{{term|1=pure}}
{{defn|1=All components are of the same dimension. Now called [[equidimensional scheme|equidimensional]]. {{harv|Semple|Roth|1949|loc=p.15}} }}

{{glossary end}}

== Q ==
{{glossary}}
{{term|1=quadratic transformation}}
{{defn|no=1|1=A Cremona transformation of degree 2. A standard quadratic transformation is one similar to the map taking each coordinate to its inverse.}}
{{defn|no=2|1=A monomial transformation with center a point, or in other words a blowup at a point.}}

{{term|1=quadric}}
{{defn|1=Degree 2, especially a degree 2 projective variety. Not to be confused with quantic or quartic.}}

{{term|1=quadrisecant}}
{{defn|1=A [[quadrisecant]] is a line meeting something in four points}}

{{term|1=quadro-cubic, quadro-quartic}}
{{defn|1=A quadro-cubic or quadro-quartic transformation is a Cremona transformation such that the homaloids of the transformation have degree 2 and those of its inverse have degree 3 or 4. {{harv|Semple|Roth|1949|loc=p.180, 188}}}}

{{term|1=quantic}}
{{defn|1=A homogeneous polynomial in several variables, now usually called a form. Not to be confused with quartic or quadric.}}

{{term|1=quarto-quartic}}
{{defn|1=A Quarto-quartic transformation is a Cremona transformation such that the homaloids of the transformation and its inverse all have degree 4. {{harv|Semple|Roth|1949|loc=p.187}}}}

{{term|1=quaternary}}
{{defn|Depending on four variables, as in quaternary form.}}

{{term|1=quartic}}
{{defn|1=Degree 4, especially a degree 4 projective variety. Not to be confused with quantic or quadric.}}

{{term|1=quintic}}
{{defn|1=Degree 5, especially a degree 5 projective variety.}}

{{term|1=quippian}}
{{defn|1= A [[quippian]] is a degree 5 class 3 contravariant of a plane cubic introduced by {{harvs|txt|last=Cayley|year=1857}} and discussed by {{harvtxt|Dolgachev|2012|loc=p.157}}. See also pippian.}}

{{term|quotient ring}}
{{defn|The quotient ring of a point (or more generally a subvariety) is what is now called its [[local ring]], formed by adding inverses to all functions that do not vanish identically on it.}}

{{glossary end}}

== R ==
{{glossary}}

{{term|1=ramphoid}}
{{defn|1= Beak-like. A ramphoid cusp is one whose two branches curve in the same direction; see keratoid cusp. }} {{harvtxt|Salmon|1879|loc=p.46}}

{{term|rank}}
{{defn|no=1|The rank of a projective curve is the number of tangents to the curve meeting a generic linear subspace of codimension 2. {{harv|Semple|Roth|1949|loc=p.84}}}}
{{defn|no=2|The rank of a projective surface is the rank of a curve given by the intersection of the surface with a generic hyperplane. {{harv|Semple|Roth|1949|loc=p.193}} See order, class, type.}}

{{term|1=range}}
{{defn|no=1|1=The set of all points on a line. {{harv|Coxeter|1969|loc=p.242}} }}
{{defn|no=2|A labeled or finite ordered set of points on a line.}}

{{term|1=rational}}
{{defn|no=1|1=Birational to projective space.}}
{{defn|no=2|1=Defined over the rational numbers.}}

{{term|ray}}
{{defn|A line, especially one in a family of lines}}

{{term|1=regular}}
{{defn|no=1|defn= A regular surface is one whose  [[irregularity of a surface|irregularity]]  is zero.}}
{{defn|no=2|defn= Having no singularities; see [[regular local ring]].}}
{{defn|no=3|Symmetrical, as in [[regular polygon]], [[regular polyhedron]].}}
{{defn|no=4|Defined everywhere, as in regular (birational) map.}}

{{term|regulus}}
{{defn|One of the two pencils of lines on a product of two projective planes or a quadric surface.}}

{{term|related}}
{{defn|Two ranges (labeled sets) of points on a line are called related if there is a projectivity taking one range to the other.}}

{{term|representative manifold}}
{{defn|A parameter space or moduli space for some family of varieties}}

{{term|1=residual}}
{{defn|1=The residual intersection of two varieties consists of the "non-obvious" part of their intersection.}}

{{term|1=resultant}}
{{defn|no=1|The [[resultant]] of two polynomials, given by the determinant of the [[Sylvester matrix]] of two binary forms, that vanishes if they have a common root. }}
{{defn|no=2|1=A [[Cremona transformation]] formed from ''n'' correlations of ''n''-dimensional projective space. {{harv|Semple|Roth|1949|loc=p.180}} }}

{{term|reverse}}
{{defn|Inverse (of a function or birational map)}}

{{term|1=ruled}}
{{defn|1=Covered by lines, as in [[ruled surface]]. See also scroll.}}

{{glossary end}}

== S ==
{{glossary}}
{{term|1=s|content=''S''<sub>''n''</sub>}}
{{defn|1=Projective space of dimension ''n''.}}

{{term|Salmon conic}}
{{defn|The Salmon conic of a pair of plane conics is the locus of points such that the pairs of tangents to the two conics are harmonically conjugate. {{harv|Dolgachev|2012|loc=p. 119}} }}

{{term|1=satellite }}
{{defn|no=1|  If a line meets a cubic curve in 3 points, the residual intersections of the tangents of these points with the cubic all lie on a line, called the satellite line of the original line. See {{harvtxt|Salmon|1879|loc=p. 127 }}.}}
{{defn|no=2|A certain plane curve of degree (''n''–1)(''n''–2) constructed from a plane curve of degree ''n'' and a generic point. {{harv|Coolidge|1931|loc=p. 159–161}} }}
{{defn|no=3|For satellite points see {{harv|Zariski|1935|loc=p.8}}. Possibly something to do with base points. }}

{{term|1=scroll}}
{{defn|1= A [[ruled surface]] with an embedding into projective space so that the lines of the ruled surface are also lines of projective space.}}

{{term|1=secant}}
{{defn|no=1|1=A line intersecting a variety in 2 points, or more generally an ''n''-dimensional projective space meeting a variety in ''n''+1 points.}}
{{defn|no=2|1=A secant variety is the union of the secants of a variety.}}

{{term|second kind}}
{{defn|All residues at poles are zero}}

{{term|1=secundum}}
{{defn|1= An intersection of two primes (hyperplanes) in projective space. {{harv|Semple|Roth|1949|loc=p.2}}}}

{{term|Segre}}
{{defn|no=1|Named after either [[Beniamino Segre]] or [[Corrado Segre]]}}
{{defn|no=2|A [[Segre variety]] or [[Segre embedding]] is the product of two projective spaces, or an embedding of this into a larger projective space.}}
{{defn|no=3|The [[Segre cubic]] is a cubic hypersurface in 4-dimensional projective space.}}

{{term|1=self-conjugate}}
{{term|self-polar|multi=y}}
{{defn|no=1|1=Incident with its image under a polarity. In particular the self-conjugate points of a polarity form the polar conic.}}
{{defn|no=2|A self-conjugate (or self-polar) triangle (or triad) is a triangle such that each vertex corresponds to the opposite edge under a polarity.}}
{{defn|no=3|A self-conjugate tetrad is a set of 4 points such that the pole of each side lies on the opposite side. {{harv|Dolgachev|2012|loc=p.123}} }}

{{term|1=septic}}
{{term|septimic|multi=y}}
{{defn|no=1|(Adjective) Degree 7}}
{{defn|no=2|(Noun) A degree 7 projective variety}}
{{defn|no=3|(Noun) A degree 7 form}}

{{term|1= sextactic point }}
{{defn|1=  One of the 27 points of an elliptic curve of order dividing 6 but not 3. {{harv|Salmon|1879|loc=p.132  }}}}

{{term|1=sextic}}
{{defn|1=Degree 6, especially a degree 6 projective variety}}

{{term|simple}}
{{defn|1=A simple point of a variety is a non-singular point. More generally a simple subvariety ''W'' of a variety ''V'' is one with a regular local ring, which means roughly that most points of ''W'' are simple points of ''V''.}}

{{term|1=singular}}
{{defn|1=Special in some way, including but not limited to the current sense of having a singularity}}

{{term|1=skew}}
{{defn|1=Intersecting in a set that is either empty or of the "expected" dimension. For example skew lines in projective 3-space do not intersect, while skew planes in projective 4-space intersect in a point. }}

{{term|1=solid}}
{{defn|1=A 3-dimensional linear subspace of projective space, or in other words the 3-dimensional analogue of a point, line, or plane. {{harv|Semple|Roth|1949|loc=p.4}} }}

{{term|1=special divisor}}
{{defn|An effective divisor whose first cohomology group (of the associated invertible sheaf) is non-zero.}}

{{term|1=spinode}}
{{defn|1= A cusp. {{harv|Cayley|1852}}, {{harvtxt|Salmon|1879|loc=p.23  }}}}

{{term|star}}
{{defn|A collection of lines (and sometimes planes and so on) with a common point, called the center of the star. {{harv|Baker|1922a|loc=vol 1, p. 109}} }}

{{term|1=  stationary point}}
{{defn|1=  A cusp. See {{harvtxt|Salmon|1879|loc=p.23  }}.}}

{{term|1=Steiner}}
{{term|1=Steinerian|multi=y}}
{{defn|no=1|Named after [[Jakob Steiner]]}}
{{defn|no=2|1= A [[Steinerian]] is the locus of the singular points of the polar quadrics of a hypersurface. {{harvtxt|Salmon|1879}}}}
{{defn|no=3|A [[Steiner surface]] is a certain embedding of the projective plane into projective 3-space.}}
{{defn|no=4|a Steiner point is one of the 20 points lying on 3 of the  [[Pascal line]]s associated with 6 points on a conic.}}

{{term|1= Steiner–Hessian }}
{{defn|1= One of Cayley's names for the [[Cayleyan]]. See {{harvtxt|Salmon|1879|loc=p. 352 }}.}}

{{term|1=surface}}
{{defn|1=An abstract surface together with an embedding into projective space.}}

{{term|1=superabundance of a divisor on a surface. }}
{{defn|1=The dimension of the first cohomology group of the corresponding sheaf. }}

{{term|1=symmetroid}}
{{defn|The zeros of the determinant of a symmetric matrix of linear forms}}

{{term|1=syntheme}}
{{defn|A partition of a set of 6 elements into 3 pairs, or an element of the symmetric group on 6 points of cycle shape 222. {{harv|Dolgachev|2012}}}}

{{term|1=system}}
{{defn|A family of algebraic sets in projective space; for example, a line system is a family of lines.}}

{{term|1=syzygetic}}
{{defn|Paired. Opposite of azygetic, meaning unpaired. Example: syzygetic triad, syzygetic tetrad, syzygetic set, [[syzygetic pencil]].}}

{{term|1=syzygy}}
{{defn|no=1|A point is in syzygy with some other points if it is in the linear subspace generated by them. {{harv|Baker|1922a|loc=vol 1, p. 33}} A syzygy is a linear relation between points in an affine space.}}
{{defn|no=2|An algebraic relation between generators of a ring, especially a ring of invariants or covariants.}}
{{defn|no=3|A linear relation between generators of a module, or more generally an element of the kernel of a homomorphism of modules.}}
{{defn|no=4|A global syzygy is a resolution of a module or sheaf.}}
{{glossary end}}

== T ==
{{glossary}}

{{term|1=tacnode}}
{{defn|1= A [[tacnode]] is a point of a curve where two branches meet in the same direction. {{harv|Cayley|1852}}}}

{{term|tacnode-cusp}}
{{defn|A singularity of a plane curve where a tacnode and a cusp are combined at the same point. {{harv|Salmon|1879|loc=p.207}}}}

{{term|1= tact-invariant }}
{{defn|1=  An invariant of two curves that vanishes if they touch each other. See {{harvtxt|Salmon|1879|loc=p.76}}.}}

{{term|tangent cone}}
{{defn|A [[tangent cone]] is a cone defined by the non-zero terms of smallest degree in the Taylor series at a point of a hypersurface.}}

{{term|tangential equation}}
{{defn|The tangential equation of a plane curve is an equation giving the condition for a line to be tangent to the curve. In other words it is the equation of the dual curve. It is not the equation of a tangent to a curve.}}

{{term|1=ternary}}
{{defn|Depending on three variables, as in [[ternary form]]}}

{{term|1=tetrad}}
{{defn|1=A set of 4 points}}

{{term|1=tetragram}}
{{defn|1=Synonym for [[complete quadrilateral]]}}

{{term|1=tetrahedroid}}
{{defn|1=A [[tetrahedroid]] is a special kind of [[Kummer surface]].}}

{{term|1=tetrahedron}}
{{defn|A geometric configuration consisting of 4 points and the 6 lines joining pairs. This is similar to the lines and infinite edges of a polyhedral [[tetrahedron]], but in algebraic geometry one sometimes does not include the faces of the tetrahedron.}}

{{term|1=tetrastigm}}
{{defn|1=Synonym for [[complete quadrangle]]}}

{{term|third kind}}
{{defn|All poles are simple (order 1)}}

{{term|threefold}}
{{defn|no=1|(Adjective) Three-dimensional}}
{{defn|no=2|(Noun) A 3-dimensional variety}}

{{term|1=torsal generator.}}
{{defn|A generator of a scroll (ruled surface) that meets its consecutive generator. See {{harv|Semple|Roth|1949|loc=p.204}}.}}

{{term|1=torse }}
{{defn|1=[[Developable surface]].}}
{{term|transvectant}}
{{defn|An invariant depending on two forms. }}

{{term|1=transversal}}
{{defn|1=A line meeting several other lines. For example, 4 generic lines in projective 3-space have 2 transversals meeting all of them.}}

{{term|1=triad}}
{{defn|1=A set of 3 points}}

{{term|tricircular}}
{{defn|A [[tricircular curve]] is one that passes through the circular points at infinity with order 3.}}

{{term|1=tricuspidal}}
{{defn|1=Having three cusps}}

{{term|trigonal}}
{{defn|A trigonal curve is one with a degree three map to the projective line. See hyperelliptic.}}

{{term|trihedral}}
{{defn|A set of 3 planes A Steiner trihedral is a set of three tritangent planes of a cubic surface whose intersection point is not on the surface. {{harv|Semple|Roth|1949|loc=p.152}} }}

{{term|1=trilinear coordinates}}
{{defn|1=Coordinates based on distance from sides of a triangle: [[Trilinear coordinates]].}}

{{term|1=trinodal}}
{{defn|1=Having three nodes}}

{{term|1=tripartite}}
{{defn|1=Having three connected components. {{harvtxt|Salmon|1879|loc=p.165  }}}}

{{term|1=trisecant}}
{{defn|1=A line meeting a variety in 3 points. See [[trisecant identity]].}}

{{term|1=tritangent}}{{anchor|Tritangent}}
{{defn|1=Meeting something in 3 tangent points, such as a tritangent conic to a cubic curve or a tritangent plane of a cubic surface.}}

{{term|1=trope}}
{{defn|1= A [[trope (mathematics)|trope]] is a singular (meaning special) tangent space. {{harv|Cayley|1869|loc=p.202}} The word is mostly used for a tangent space of a [[Kummer surface]] touching it along a conic.}}

{{term|1=twisted }}
{{defn|1=A [[twisted cubic]] is a degree 3 embedding of the projective line in projective 3-space}}

{{term|total}}
{{defn|A set of 5 partitions of a 6-element set into three pairs, such that no two elements of the total have a pair in common. For example,  {(12)(36)(45), (13)(24)(56), (14)(26)(35), (15)(23)(46), (16)(25)(34)} {{harv|Dolgachev|2012}}}}

{{term|type}}
{{defn|The type of a projective surface is the number of tangent planes meeting a generic linear subspace of codimension 4. {{harv|Semple|Roth|1949|loc=p.193}}}}

{{glossary end}}

== U ==
{{glossary}}

{{term|1= undulation }}
{{defn|1=  A point of undulation of a curve is where the tangent meets the curve to fourth order; also called a hyperflex. See inflection point. {{harv|Salmon|1879|loc=p.35, 211  }}}}

{{term|unibranch}}
{{defn|Having only one branch at a point. For example, a cusp of a plane curve is unibranch, while a node is not.}}

{{term|1= unicursal  }}
{{defn|1=  A unicursal curve is one that is [[rational variety|rational]], in other words birational to the projective line. See {{harvtxt|Salmon|1879|loc=p. 29 }}.}}

{{term|1= unipartite }}
{{defn|1=  [[Connected (topology)|Connected]]. See {{harvtxt|Salmon|1879|loc=p.165  }}}}

{{term|1=unirational}}
{{defn|no=1|1=A correspondence is called unirational if it is generically injective, in other words a rational map. {{harv|Semple|Roth|1949|loc=p.20}} }}
{{defn|no=2|A variety is called [[unirational]] if it is finitely covered by a rational variety.}}

{{term|1=united point}}
{{defn|1=A point in the intersection of the diagonal and a correspondence from a set to itself.}}

{{term|1=unode}}
{{defn|1= A double point of a surface whose tangent cone consists of one double plane. See binode.}}

{{glossary end}}

== V ==
{{glossary}}

{{term|valence}}
{{term|valency|multi=y}}
{{defn|The valence or valency of a correspondence ''T'' on a curve is a number ''k'' such that the divisors  ''T''(''P'')+''kP'' are all linearly equivalent. A correspondence need not have a valency. {{harv|Semple|Roth|1949|loc=p.368}}}}

{{term|1=Veronese surface}}
{{defn|1={{main|Veronese surface}} An embedding of the projective plane in 5-dimensional projective space.}}

{{term|1=virtual}}
{{defn|1=An estimate for something that is often but not always correct, such as virtual genus, virtual dimension, and so on. If some number is given by the dimension of a space of sections of some sheaf, the corresponding virtual number is sometimes given by the corresponding Euler characteristic, and equal to the dimension when all higher cohomology groups vanish. See superabundance.}}

{{glossary end}}

== W ==
{{glossary}}

{{term|1=web}}
{{defn|1= A 3-dimensional linear system. See "net" and "pencil". {{harv|Semple|Roth|1949|loc=p.160}}}}

{{term|Weddle surface}}
{{defn|1={{main|Weddle surface}} A quartic surface in projective space given by the locus of the vertex of a cone passing through 6 points in general position.}}

{{term|Weierstrass point}}
{{defn|{{Main|Weierstrass point}} A point on a curve where the dimension of the space of rational functions whose only singularity is a pole of some order at the point is higher than normal. }}

{{term|Wirtinger sextic}}
{{defn|{{main|Wirtinger sextic}} A degree 4 genus 6 plane curve with nodes at the 6 points of a [[complete quadrangle]].}}

{{glossary end}}

== XYZ ==
{{glossary}}

{{term|1=Zeuthen–Segre invariant}}
{{defn|1= The [[Zeuthen–Segre invariant]] is 4 less than the Euler characteristic of a non-singular projective surface.}}

{{glossary end}}

== See also ==

* [[Glossary of algebraic geometry]]
* [[Glossary of arithmetic and Diophantine geometry]]
* [[Glossary of commutative algebra]]
* [[Glossary of differential geometry and topology]]
* [[Glossary of invariant theory]]
* [[Glossary of Riemannian and metric geometry]]
* [[Glossary of scheme theory]]
* [[List of complex and algebraic surfaces]]
* [[List of surfaces]]
* [[List of curves]]

== References ==

* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 1. Foundations | url=https://archive.org/details/principlesofgeom01bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01777-0 |mr=2849917 | year=1922a | doi=10.1017/CBO9780511718267.007}}
* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 2. Plane geometry, Conics, circles, non-Euclidean geometry | url=https://archive.org/details/principlesofgeom02bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01778-7  |mr=2857757  | year=1922b | doi=10.1017/CBO9780511718298.009}}
* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 3. Solid geometry. Quadrics, cubic curves in space, cubic surfaces. | url=https://archive.org/details/principlesofgeom03bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01779-4  |mr=2857520  | year=1923}}
* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 4. Higher geometry. Being illustrations of the utility of the consideration of higher space, especially of four and five dimensions | url=https://archive.org/details/principlesofgeom04bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01780-0 |mr=2849669  | year=1925}}
* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 5. Analytical principals of the theory of curves | url=https://archive.org/details/principlesofgeom05bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01781-7 |mr=2850139  | year=1933a}}
* {{Citation | last1=Baker | first1=Henry Frederick | title=Principles of geometry. Volume 6. Introduction to the theory of algebraic surfaces and higher loci. | url=https://archive.org/details/principlesofgeom06bake | publisher=[[Cambridge University Press]] | series=Cambridge Library Collection | isbn=978-1-108-01782-4 |mr=2850141  | year=1933b}}
* {{Citation | last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=On the singularities of surfaces | url=http://resolver.sub.uni-goettingen.de/purl?PPN600493962_0007 | year=1852 | journal=[[The Cambridge and Dublin Mathematical Journal]] | volume=7 | pages=166}}
* {{Citation | last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=A Memoir on Curves of the Third Order | publisher=The Royal Society | year=1857 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=147 | pages= 415–446 | jstor=108626 | doi=10.1098/rstl.1857.0021| doi-access=free }}
* {{Citation | last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=A Memoir on the Theory of Reciprocal Surfaces | publisher=The Royal Society | year=1869 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=159 | pages=201–229 | jstor=108996 | doi=10.1098/rstl.1869.0009| s2cid=109359205 }}
* {{Citation | author-link=Julian Coolidge | last1=Coolidge | first1=Julian Lowell | title=A treatise on algebraic plane curves | url=https://books.google.com/books?id=Y7WEf6V0XwgC | publisher=[[Oxford University Press]] | isbn=978-0-486-49576-7 |mr=0120551 | year=1931}}
* {{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | title=Introduction to Geometry | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-50458-0 |mr=123930 | year=1969}}
* {{Citation | author-link=Igor Dolgachev | last1=Dolgachev | first1=Igor V. | title=Classical Algebraic Geometry: a modern view | url=http://www.math.lsa.umich.edu/~idolga/CAG.pdf | publisher=[[Cambridge University Press]] | isbn=978-1-107-01765-8 | year=2012 | access-date=2012-04-06 | archive-url=https://web.archive.org/web/20140531105635/http://www.math.lsa.umich.edu/~idolga/CAG.pdf | archive-date=2014-05-31 | url-status=dead }}
* {{Citation | author-link=R. W. H. T. Hudson | last1=Hudson | first1=R. W. H. T. | title=Kummer's quartic surface | publisher=[[Cambridge University Press]] | series=Cambridge Mathematical Library | isbn=978-0-521-39790-2 |mr=1097176 | year=1990}}
* {{Citation | author-link=Charles Minshall Jessop | last1=Jessop | first1=Charles Minshall | title=Quartic surfaces with singular points | url=https://archive.org/details/cu31924062545383 | publisher=Cambridge University Press | isbn=978-1-112-28262-1 | year=1916}}
* {{Citation | author-link=George Salmon | last1=Salmon | first1=George | title=A treatise on the higher plane curves | publisher=Hodges, Foster and Figgis | location=New York | isbn=978-1-4181-8252-6 |mr=0115124 | year=1879|url=https://archive.org/details/atreatiseonhigh01caylgoog|orig-year=1852}}
*{{Citation |last1=Salmon |first1=George |title=Lessons introductory to the modern higher algebra |orig-year=1859 |url=https://archive.org/details/salmonalgebra00salmrich |publisher=Dublin, Hodges, Figgis, and Co. |edition=4th |isbn=978-0-8284-0150-0 |year=1885}}
* {{Citation | last=Schubert | first=Hermann | author-link=Hermann Schubert| title=Die ''n''-dimensionalen Verallgemeinerungen der fundamentalen Anzahlen unseres Raums | publisher=Springer Berlin / Heidelberg | year=1886 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=26 | pages=26–51 | doi=10.1007/BF01443568| s2cid=119948968 |url=https://zenodo.org/record/2404627}}
* {{Citation | author-link1=John Greenlees Semple | author-link2= Leonard Roth | last1=Semple | first1=John G. | last2=Roth | first2=Leonard | title=Introduction to algebraic geometry | publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853363-4 |mr=814690 | year=1949}}
* {{Citation | last=Sylvester | first=James Joseph | author-link=James Joseph Sylvester| title=On a Theory of the Syzygetic Relations of Two Rational Integral Functions, Comprising an Application to the Theory of Sturm's Functions, and That of the Greatest Algebraical Common Measure | publisher=The Royal Society | year=1853 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=143 | pages=407–548 | jstor=108572 | doi=10.1098/rstl.1853.0018| s2cid=186210189 | url=https://zenodo.org/record/1432412 | doi-access=free }}
* {{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=Algebraic surfaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Classics in Mathematics | isbn=978-3-540-58658-6 |mr=1336146 | year=1935 | volume=61 | doi=10.1007/978-3-642-61991-5}}

[[Category:Algebraic geometry| ]]
[[Category:History of geometry]]
[[Category:Glossaries of mathematics|Geometry]]
[[Category:Wikipedia glossaries using description lists]]