HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, singularity theory studies spaces that are almost
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
s, but not quite. A string can serve as an example of a one-dimensional manifold, if one neglects its thickness. A singularity can be made by balling it up, dropping it on the floor, and flattening it. In some places the flat string will cross itself in an approximate "X" shape. The points on the
floor A floor is the bottom surface of a room or vehicle. Floors vary from simple dirt in a cave to many layered surfaces made with modern technology. Floors may be stone, wood, bamboo, metal or any other material that can support the expected load ...
where it does this are one kind of singularity, the double point: one
bit The bit is the most basic unit of information in computing and digital communications. The name is a portmanteau of binary digit. The bit represents a logical state with one of two possible values. These values are most commonly represente ...
of the floor corresponds to more than one bit of string. Perhaps the string will also touch itself without crossing, like an underlined "U". This is another kind of singularity. Unlike the double point, it is not ''stable'', in the sense that a small push will lift the bottom of the "U" away from the "underline".
Vladimir Arnold Vladimir Igorevich Arnold (alternative spelling Arnol'd, russian: link=no, Влади́мир И́горевич Арно́льд, 12 June 1937 – 3 June 2010) was a Soviet and Russian mathematician. While he is best known for the Kolmogorov–A ...
defines the main goal of singularity theory as describing how objects depend on parameters, particularly in cases where the properties undergo sudden change under a small variation of the parameters. These situations are called perestroika (russian: ), bifurcations or catastrophes. Classifying the types of changes and characterizing sets of parameters which give rise to these changes are some of the main mathematical goals. Singularities can occur in a wide range of mathematical objects, from matrices depending on parameters to wavefronts.


How singularities may arise

In singularity theory the general phenomenon of points and sets of singularities is studied, as part of the concept that manifolds (spaces without singularities) may acquire special, singular points by a number of routes.
Projection Projection, projections or projective may refer to: Physics * Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction * The display of images by a projector Optics, graphic ...
is one way, very obvious in visual terms when three-dimensional objects are projected into two dimensions (for example in one of our eyes); in looking at classical statuary the folds of drapery are amongst the most obvious features. Singularities of this kind include
caustic Caustic most commonly refers to: * Causticity, a property of various corrosive substances ** Sodium hydroxide, sometimes called ''caustic soda'' ** Potassium hydroxide, sometimes called ''caustic potash'' ** Calcium oxide, sometimes called ''caus ...
s, very familiar as the light patterns at the bottom of a swimming pool. Other ways in which singularities occur is by degeneration of manifold structure. The presence of
symmetry Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definit ...
can be good cause to consider
orbifold In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space which is locally a finite group quotient of a Euclidean space. D ...
s, which are manifolds that have acquired "corners" in a process of folding up, resembling the creasing of a table napkin.


Singularities in algebraic geometry


Algebraic curve singularities

Historically, singularities were first noticed in the study of
algebraic curve In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane c ...
s. The ''double point'' at (0, 0) of the curve :y^2 = x^2 + x^3 and the
cusp A cusp is the most pointed end of a curve. It often refers to cusp (anatomy), a pointed structure on a tooth. Cusp or CUSP may also refer to: Mathematics * Cusp (singularity), a singular point of a curve * Cusp catastrophe, a branch of bifurc ...
there of :y^2 = x^3\ are qualitatively different, as is seen just by sketching.
Isaac Newton Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
carried out a detailed study of all
cubic curve In mathematics, a cubic plane curve is a plane algebraic curve defined by a cubic equation : applied to homogeneous coordinates for the projective plane; or the inhomogeneous version for the affine space determined by setting in such an eq ...
s, the general family to which these examples belong. It was noticed in the formulation of
Bézout's theorem Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of polynomials in indeterminates. In its original form the theorem states that ''in general'' the number of common zeros equals the product of the deg ...
that such ''singular points'' must be counted with
multiplicity Multiplicity may refer to: In science and the humanities * Multiplicity (mathematics), the number of times an element is repeated in a multiset * Multiplicity (philosophy), a philosophical concept * Multiplicity (psychology), having or using mult ...
(2 for a double point, 3 for a cusp), in accounting for intersections of curves. It was then a short step to define the general notion of a
singular point of an algebraic variety In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In cas ...
; that is, to allow higher dimensions.


The general position of singularities in algebraic geometry

Such singularities in
algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
are the easiest in principle to study, since they are defined by
polynomial equation In mathematics, an algebraic equation or polynomial equation is an equation of the form :P = 0 where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation' ...
s and therefore in terms of a
coordinate system In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
. One can say that the ''extrinsic'' meaning of a singular point isn't in question; it is just that in ''intrinsic'' terms the coordinates in the ambient space don't straightforwardly translate the geometry of the
algebraic variety Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
at the point. Intensive studies of such singularities led in the end to
Heisuke Hironaka is a Japanese mathematician who was awarded the Fields Medal in 1970 for his contributions to algebraic geometry. Career Hironaka entered Kyoto University in 1949. After completing his undergraduate studies at Kyoto University, he received his ...
's fundamental theorem on
resolution of singularities In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety ''V'' has a resolution, a non-singular variety ''W'' with a proper birational map ''W''→''V''. For varieties over fields of characterist ...
(in
birational geometry In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational fu ...
in characteristic 0). This means that the simple process of "lifting" a piece of string off itself, by the "obvious" use of the cross-over at a double point, is not essentially misleading: all the singularities of algebraic geometry can be recovered as some sort of very general ''collapse'' (through multiple processes). This result is often implicitly used to extend
affine geometry In mathematics, affine geometry is what remains of Euclidean geometry when ignoring (mathematicians often say "forgetting") the metric notions of distance and angle. As the notion of ''parallel lines'' is one of the main properties that is inde ...
to
projective geometry 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, pro ...
: it is entirely typical for an
affine variety In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime idea ...
to acquire singular points on the
hyperplane at infinity In geometry, any hyperplane ''H'' of a projective space ''P'' may be taken as a hyperplane at infinity. Then the set complement is called an affine space. For instance, if are homogeneous coordinates for ''n''-dimensional projective space, then ...
, when its closure in
projective space In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally ...
is taken. Resolution says that such singularities can be handled rather as a (complicated) sort of
compactification Compactification may refer to: * Compactification (mathematics), making a topological space compact * Compactification (physics), the "curling up" of extra dimensions in string theory See also * Compaction (disambiguation) Compaction may refer t ...
, ending up with a ''compact'' manifold (for the strong topology, rather than the
Zariski topology In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is n ...
, that is).


The smooth theory and catastrophes

At about the same time as Hironaka's work, the catastrophe theory of
René Thom René Frédéric Thom (; 2 September 1923 – 25 October 2002) was a French mathematician, who received the Fields Medal in 1958. He made his reputation as a topologist, moving on to aspects of what would be called singularity theory; he became w ...
was receiving a great deal of attention. This is another branch of singularity theory, based on earlier work of
Hassler Whitney Hassler Whitney (March 23, 1907 – May 10, 1989) was an American mathematician. He was one of the founders of singularity theory, and did foundational work in manifolds, embeddings, immersions, characteristic classes, and geometric integration t ...
on critical points. Roughly speaking, a ''critical point'' of a
smooth function In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over some domain, called ''differentiability cl ...
is where the
level set In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is: : L_c(f) = \left\~, When the number of independent variables is two, a level set is calle ...
develops a singular point in the geometric sense. This theory deals with differentiable functions in general, rather than just polynomials. To compensate, only the ''stable'' phenomena are considered. One can argue that in nature, anything destroyed by tiny changes is not going to be observed; the visible ''is'' the stable. Whitney had shown that in low numbers of variables the stable structure of critical points is very restricted, in local terms. Thom built on this, and his own earlier work, to create a ''catastrophe theory'' supposed to account for discontinuous change in nature.


Arnold's view

While Thom was an eminent mathematician, the subsequent fashionable nature of elementary catastrophe theory as propagated by
Christopher Zeeman Sir Erik Christopher Zeeman FRS (4 February 1925 – 13 February 2016), was a British mathematician, known for his work in geometric topology and singularity theory. Overview Zeeman's main contributions to mathematics were in topology, partic ...
caused a reaction, in particular on the part of
Vladimir Arnold Vladimir Igorevich Arnold (alternative spelling Arnol'd, russian: link=no, Влади́мир И́горевич Арно́льд, 12 June 1937 – 3 June 2010) was a Soviet and Russian mathematician. While he is best known for the Kolmogorov–A ...
. He may have been largely responsible for applying the term ''singularity theory'' to the area including the input from algebraic geometry, as well as that flowing from the work of Whitney, Thom and other authors. He wrote in terms making clear his distaste for the too-publicised emphasis on a small part of the territory. The foundational work on smooth singularities is formulated as the construction of
equivalence relation In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. Each equivalence relation ...
s on singular points, and germs. Technically this involves
group action In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism ...
s of
Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
s on spaces of jets; in less abstract terms
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor serie ...
are examined up to change of variable, pinning down singularities with enough
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
s. Applications, according to Arnold, are to be seen in
symplectic geometry Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed differential form, closed, nondegenerate form, nondegenerate different ...
, as the geometric form of
classical mechanics Classical mechanics is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
.


Duality

An important reason why singularities cause problems in mathematics is that, with a failure of manifold structure, the invocation of
Poincaré duality In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold (compact ...
is also disallowed. A major advance was the introduction of
intersection cohomology In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them ov ...
, which arose initially from attempts to restore duality by use of strata. Numerous connections and applications stemmed from the original idea, for example the concept of
perverse sheaf The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space ''X'', which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was intro ...
in
homological algebra Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precurs ...
.


Other possible meanings

The theory mentioned above does not directly relate to the concept of
mathematical singularity In mathematics, a singularity is a point at which a given mathematical object is not defined, or a point where the mathematical object ceases to be well-behaved in some particular way, such as by lacking differentiability or analyticity. For exam ...
as a value at which a function is not defined. For that, see for example
isolated singularity In complex analysis, a branch of mathematics, an isolated singularity is one that has no other singularities close to it. In other words, a complex number ''z0'' is an isolated singularity of a function ''f'' if there exists an open disk ''D'' ...
,
essential singularity In complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits odd behavior. The category ''essential singularity'' is a "left-over" or default group of isolated singularities that a ...
,
removable singularity In complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourh ...
. The
monodromy In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of ''mono ...
theory of
differential equation In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
s, in the complex domain, around singularities, does however come into relation with the geometric theory. Roughly speaking, ''monodromy'' studies the way a
covering map A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete spa ...
can degenerate, while ''singularity theory'' studies the way a ''manifold'' can degenerate; and these fields are linked.


See also

*
Tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
*
Zariski tangent space In algebraic geometry, the Zariski tangent space is a construction that defines a tangent space at a point ''P'' on an algebraic variety ''V'' (and more generally). It does not use differential calculus, being based directly on abstract algebra, an ...
*
General position In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the ''general case'' situation, as opposed to some more special or coincidental cases that ar ...
*
Contact (mathematics) In mathematics, two functions have a contact of order ''k'' if, at a point ''P'', they have the same value and ''k'' equal derivatives. This is an equivalence relation, whose equivalence classes are generally called jets. The point of osculati ...
*
Singular solution A singular solution ''ys''(''x'') of an ordinary differential equation is a solution that is singular or one for which the initial value problem (also called the Cauchy problem by some authors) fails to have a unique solution at some point on the so ...
*
Stratification (mathematics) Stratification has several usages in mathematics. In mathematical logic In mathematical logic, stratification is any consistent assignment of numbers to Predicate (logic), predicate symbols guaranteeing that a unique formal Interpretation (logic) ...
*
Intersection homology In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them ov ...
*
Mixed Hodge structure In algebraic geometry, a mixed Hodge structure is an algebraic structure containing information about the cohomology of general algebraic varieties. It is a generalization of a Hodge structure, which is used to study smooth projective varieties. ...
*
Whitney umbrella frame, Section of the surface In geometry, the Whitney umbrella (or Whitney's umbrella, named after American mathematician Hassler Whitney, and sometimes called a Cayley umbrella) is a specific self-intersecting ruled surface placed in three dime ...
* Round function *
Victor Goryunov Victor Vladimirovich Goryunov is a Russian mathematician born in 1956. He is a leading figure in Singularity theory, whose contributions to the subject are fundamental. He has published several books and a variety of papers in singularity theory, ...


Notes


References

* * {{Manifolds