Milnor Map
In mathematics, Milnor maps are named in honor of John Milnor, who introduced them to topology and algebraic geometry in his book ''Singular Points of Complex Hypersurfaces'' (Princeton University Press, 1968) and earlier lectures. The most studied Milnor maps are actually fibrations, and the phrase Milnor fibration is more commonly encountered in the mathematical literature. These were introduced to study isolated singularities by constructing numerical invariants related to the topology of a smooth deformation of the singular space. Definition Let f(z_0,\dots,z_n) be a non-constant polynomial function of n+1 complex variables z_0,\dots,z_n where the vanishing locus of :f(z)\ \text\ \frac(z) is only at the origin, meaning the associated variety X = V(f) is not smooth at the origin. Then, for K = X \cap S^_ (a sphere inside \mathbb^ of radius \varepsilon > 0) the Milnor fibrationpg 68 associated to f is defined as the map :\phi\colon (S_\varepsilon^\setminus K) \to S^1\ \text \ x ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the centre (geometry), centre of the sphere, and is the sphere's radius. The earliest known mentions of spheres appear in the work of the Greek mathematics, ancient Greek mathematicians. The sphere is a fundamental object in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubble (physics), Bubbles such as soap bubbles take a spherical shape in equilibrium. spherical Earth, The Earth is often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres rolling, roll smoothly in any direction, so mos ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fibered Knot
In knot theory, a branch of mathematics, a knot or link K in the 3-dimensional sphere S^3 is called fibered or fibred (sometimes Neuwirth knot in older texts, after Lee Neuwirth) if there is a 1-parameter family F_t of Seifert surfaces for K, where the parameter t runs through the points of the unit circle S^1, such that if s is not equal to t then the intersection of F_s and F_t is exactly K. Examples Knots that are fibered For example: * The unknot, trefoil knot, and figure-eight knot are fibered knots. * The Hopf link is a fibered link. Knots that are not fibered The Alexander polynomial of a fibered knot is monic, i.e. the coefficients of the highest and lowest powers of ''t'' are plus or minus 1. Examples of knots with nonmonic Alexander polynomials abound, for example the twist knots have Alexander polynomials qt-(2q+1)+qt^, where ''q'' is the number of half-twists. In particular the stevedore knot is not fibered. Related constructions Fibered knots and links ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Trefoil Knot
In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining together the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory. The trefoil knot is named after the three-leaf clover (or trefoil) plant. Descriptions The trefoil knot can be defined as the curve obtained from the following parametric equations: :\begin x &= \sin t + 2 \sin 2t \\ y &= \cos t - 2 \cos 2t \\ z &= -\sin 3t \end The (2,3)-torus knot is also a trefoil knot. The following parametric equations give a (2,3)-torus knot lying on torus (r-2)^2+z^2 = 1: :\begin x &= (2+\cos 3t) \cos 2t \\ y &= (2+\cos 3t )\sin 2t \\ z &= \sin 3t \end Any continuous deformation of the curve above is also considered a trefoil knot. Specifically, any curve isotopic to a trefoil knot is also considered to be a trefoil. In addition, the mi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Differentiable Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Square-free Polynomial
In mathematics, a square-free polynomial is a polynomial defined over a field (or more generally, an integral domain) that does not have as a divisor any square of a non-constant polynomial. A univariate polynomial is square free if and only if it has no multiple root in an algebraically closed field containing its coefficients. This motivates that, in applications in physics and engineering, a square-free polynomial is commonly called a polynomial with no repeated roots. In the case of univariate polynomials, the product rule implies that, if divides , then divides the formal derivative of . The converse is also true and hence, f is square-free if and only if 1 is a greatest common divisor of the polynomial and its derivative. A square-free decomposition or square-free factorization of a polynomial is a factorization into powers of square-free polynomials : f = a_1 a_2^2 a_3^3 \cdots a_n^n =\prod_^n a_k^k\, where those of the that are non-constant are pairwise coprime squar ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Singular Point Of A Curve
In geometry, a singular point on a curve is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied. Algebraic curves in the plane Algebraic curves in the plane may be defined as the set of points satisfying an equation of the form f(x,y) = 0, where is a polynomial function If is expanded as f = a_0 + b_0 x + b_1 y + c_0 x^2 + 2c_1 xy + c_2 y^2 + \cdots If the origin is on the curve then . If then the implicit function theorem guarantees there is a smooth function so that the curve has the form near the origin. Similarly, if then there is a smooth function so that the curve has the form near the origin. In either case, there is a smooth map from to the plane which defines the curve in the neighborhood of the origin. Note that at the origin b_0 = \frac, \; b_1 = \frac, so the curve is non-singular or ''regular'' at the origin if at least one of the partial derivatives o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Vanishing Cycle
In mathematics, vanishing cycles are studied in singularity theory and other parts of algebraic geometry. They are those homology cycles of a smooth fiber in a family which vanish in the singular fiber. For example, in a map from a connected complex surface to the complex projective line, a generic fiber is a smooth Riemann surface of some fixed genus g and, generically, there will be isolated points in the target whose preimages are nodal curves. If one considers an isolated critical value and a small loop around it, in each fiber, one can find a smooth loop such that the singular fiber can be obtained by pinching that loop to a point. The loop in the smooth fibers gives an element of the first homology group of a surface, and the monodromy of the critical value is defined to be the monodromy of the first homology of the fibers as the loop is traversed, i.e. an invertible map of the first homology of a (real) surface of genus g. A classical result is the Picard–Lefschetz form ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jacobian Ideal
In mathematics the Jacobian ideal or gradient ideal is the ideal generated by the Jacobian of a function or function germ. Let \mathcal(x_1,\ldots,x_n) denote the ring of smooth functions in n variables and f a function in the ring. The Jacobian ideal of f is : J_f := \left\langle \frac, \ldots, \frac \right\rangle. Relation to deformation theory In deformation theory, the deformations of a hypersurface given by a polynomial f is classified by the ring \frac This is shown using the Kodaira–Spencer map. Relation to Hodge theory In Hodge theory, there are objects called real Hodge structures which are the data of a real vector space H_\mathbb and an increasing filtration F^\bullet of H_\mathbb = H_\mathbb\otimes_\mathbb satisfying a list of compatibility structures. For a smooth projective variety X there is a canonical Hodge structure. Statement for degree d hypersurfaces In the special case X is defined by a homogeneous degree d polynomial f \in \Gamma(\mathbb^,\ma ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Milnor Number
In mathematics, and particularly singularity theory, the Milnor number, named after John Milnor, is an invariant of a function germ. If ''f'' is a complex-valued holomorphic function germ then the Milnor number of ''f'', denoted ''μ''(''f''), is either a nonnegative integer, or is infinite. It can be considered both a geometric invariant and an algebraic invariant. This is why it plays an important role in algebraic geometry and singularity theory. Algebraic definition Consider a holomorphic complex function germ : f : (\mathbb^n,0) \to (\mathbb,0) \ and denote by \mathcal_n the ring of all function germs (\mathbb^n,0) \to (\mathbb,0). Every level of a function is a complex hypersurface in \mathbb^n, therefore we will call f a hypersurface singularity. Assume it is an isolated singularity: in case of holomorphic mappings we say that a hypersurface singularity f is singular at 0 \in \mathbb^n if its gradient \nabla f is zero at 0 , a singular point is isolated if it is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bouquet Of Spheres
In topology, the wedge sum is a "one-point union" of a family of topological spaces. Specifically, if ''X'' and ''Y'' are pointed spaces (i.e. topological spaces with distinguished basepoints x_0 and y_0) the wedge sum of ''X'' and ''Y'' is the quotient space of the disjoint union of ''X'' and ''Y'' by the identification x_0 \sim y_0: X \vee Y = (X \amalg Y)\;/, where \,\sim\, is the equivalence closure of the relation \left\. More generally, suppose \left(X_i\right)_ is a indexed family of pointed spaces with basepoints \left(p_i\right)_. The wedge sum of the family is given by: \bigvee_ X_i = \coprod_ X_i\;/, where \,\sim\, is the equivalence closure of the relation \left\. In other words, the wedge sum is the joining of several spaces at a single point. This definition is sensitive to the choice of the basepoints \left(p_i\right)_, unless the spaces \left(X_i\right)_ are homogeneous. The wedge sum is again a pointed space, and the binary operation is associative and commut ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |