TOPICS
Search

Ordinary Double Point


An ordinary double point of a complex plane curve is a singular point with two smooth local branches having distinct tangent lines. For a real plane curve, an ordinary double point with two real branches is a crunode, while one whose branches are nonreal complex conjugates is an acnode. The necessary vanishing conditions for an ordinary double point of a plane curve given by f(x,y)=0 are

 f=f_x=f_y=0,
(1)

where f_x denotes a partial derivative. The Hessian of f must also be nonsingular at the point.

SimpleDoublePoint

Let f:R->R^3 (or f:S^1->R^3) be a smooth immersion parametrizing a space curve. A point p in Im(f) subset R^3, where Im(f) denotes the image of f, is an ordinary double point of the space curve if its preimage under f consists of two values t_1 and t_2, and the two tangent vectors f^'(t_1) and f^'(t_2) are noncollinear. The two local branches corresponding to these preimages have distinct tangent lines.

Ordinary double points of an algebraic surface given by f(x,y,z)=0 satisfy the necessary conditions

 f=f_x=f_y=f_z=0,
(2)

where f_x denotes a partial derivative. The Hessian of f must also be nonsingular at the point. An algebraic surface has at most finitely many ordinary double points. Let mu(d) be the maximum possible number of ordinary double points on an algebraic surface of degree d in complex projective space P^3. The values for d=1, 2, ..., 6 and known bounds for larger d are 0, 1, 4, 16, 31, 65, 99<=mu(7)<=104, 168<=mu(8)<=174, 226<=mu(9)<=246, 345<=mu(10)<=360, 425<=mu(11)<=480, 600<=mu(12)<=645, ... (OEIS A046001; Chmutov 1992, Endraß 1995, Labs 2004, 2005).

The value mu(4)=16 was known to Kummer (1864, as cited by Chmutov 1992), while mu(5)=31 was proved by Beauville (1980) and mu(6)=65 by Jaffe and Ruberman (1997). For d>=3, the classical upper bound is

 mu(d)<=1/2[d(d-1)^2-3]
(3)

(Labs 2005, eq. 1.3). Examples of algebraic surfaces with many ordinary double points are given in the following table.

In complex algebraic geometry, an ordinary double point is the analytic hypersurface germ of a nondegenerate quadratic form. It is an isolated singularity of type A_1, with Coxeter-Dynkin diagram A_1, and is also called a "node" or "simple double point." In dimension n it has local analytic equation

 z_0^2+z_1^2+...+z_n^2=0.
(4)

Its normalized volume is 2(n-1)^n for n>=2 (Li 2018, Example 5.3).


See also

Algebraic Surface, Barth Decic, Barth Sextic, Cayley Cubic, Chmutov Surface, Cusp, Dervish, Double Point, Endraß Octic, Isolated Singularity, Kawamata Log Terminal Pair, Kummer Surface, Rational Double Point, Sarti Dodecic

Portions of this entry contributed by Sergei Duzhin

Explore with Wolfram|Alpha

References

Basset, A. B. "The Maximum Number of Double Points on a Surface." Nature 73, 246, 1906.Beauville, A. "Sur le nombre maximum de points doubles d'une surface dans P^3 (mu(5)=31)." Journées de géométrie algébrique d'Angers (1979). Sijthoff & Noordhoff, pp. 207-215, 1980.Chmutov, S. V. "Examples of Projective Surfaces with Many Singularities." J. Algebraic Geom. 1, 191-196, 1992.Endraß, S. "Flächen mit vielen Doppelpunkten." DMV-Mitteilungen 4, 17-20, Apr. 1995.Endraß, S. "Surfaces with Many Ordinary Nodes." https://web.archive.org/web/20031222231427/http://enriques.mathematik.uni-mainz.de/kon/docs/Eflaechen.shtml.Endraß, S. "Symmetrische Fläche mit vielen gewöhnlichen Doppelpunkten." PhD thesis. Erlangen, Germany: Friedrich-Alexander-Universität Erlangen-Nürnberg, 1996.Fischer, G. (Ed.). Mathematische Modelle aus den Sammlungen von Universitäten und Museen, Kommentarband. Braunschweig, Germany: Vieweg, pp. 12-13, 1986.Jaffe, D. B. and Ruberman, D. "A Sextic Surface Cannot Have 66 Nodes." J. Algebraic Geom. 6, 151-168, 1997.Kreiss, H. O. "Über syzygetische Flächen." Ann. Math. 41, 105-111, 1955.Labs, O. "A Septic with 99 Real Nodes." 20 Sep 2004. https://arxiv.org/abs/math/0409348.Labs, O. "Hypersurfaces with Many Singularities: History-Constructions-Algorithms-Visualization." PhD dissertation. Mainz, Germany: Johannes Gutenberg-Universität Mainz, 2005. https://oliverlabs.net/data/phdthesis_oliver_labs.pdf.Li, C. "Minimizing Normalized Volumes of Valuations." Math. Z. 289, 491-513, 2018. https://doi.org/10.1007/s00209-017-1963-3.Miyaoka, Y. "The Maximal Number of Quotient Singularities on Surfaces with Given Numerical Invariants." Math. Ann. 268, 159-171, 1984.Sloane, N. J. A. Sequence A046001 in "The On-Line Encyclopedia of Integer Sequences."Togliatti, E. G. "Sulle superficie algebriche col massimo numero di punti doppi." Rend. Sem. Mat. Torino 9, 47-59, 1950.Varchenko, A. N. "On the Semicontinuity of Spectrum and an Upper Bound for the Number of Singular Points on a Projective Hypersurface." Dokl. Acad. Nauk SSSR 270, 1309-1312, 1983.Walker, R. J. Algebraic Curves. New York: Springer-Verlag, pp. 56-57, 1978.

Referenced on Wolfram|Alpha

Ordinary Double Point

Cite this as:

Weisstein, Eric W., with contributions by Sergei Duzhin. "Ordinary Double Point." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/OrdinaryDoublePoint.html

Subject classifications