|
Theodore Frankel
Theodore Frankel (June 17, 1929 – August 5, 2017) was a mathematician who introduced the Andreotti–Frankel theorem and the Frankel conjecture. Frankel received his Ph.D. from the University of California, Berkeley in 1955. His doctoral advisor was Harley Flanders. A Professor Emeritus of Mathematics at University of California, San Diego, Frankel was a longtime member of the Institute for Advanced Study in Princeton, New Jersey. He is known for his work in global differential geometry, Morse theory, and relativity theory. He joined the UC San Diego mathematics department in 1965, after serving on the faculties at Stanford University and Brown University. Research In the 1930s, John Synge established what is now known as Synge's theorem, by applying the second variation formula for arclength to a minimal loop. Frankel adapted Synge's method to higher-dimensional objects. As a consequence, he was able to prove that, when given a positively curved Riemannian metric ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andreotti–Frankel Theorem
In mathematics, the Andreotti–Frankel theorem, introduced by , states that if V is a smooth, complex affine variety of complex dimension n or, more generally, if V is any Stein manifold of dimension n, then V admits a Morse function with critical points of index at most ''n'', and so V is homotopy equivalent to a CW complex of real dimension In mathematics, complex dimension usually refers to the dimension of a complex manifold or a complex dimension of an algebraic variety, algebraic variety. These are spaces in which the local neighborhoods of points (or of non-singular points in the ... at most ''n''. Consequently, if V \subseteq \C^r is a closed connected complex submanifold of complex dimension n, then V has the homotopy type of a CW complex of real dimension \le n. Therefore :H^i(V; \Z)=0,\texti>n and :H_i(V; \Z)=0,\texti>n. This theorem applies in particular to any smooth, complex affine variety of dimension n. References * * Chapter 7. Complex manifolds ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Manifold
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics. Every smooth complex projective variety is a Kähler manifold. Hodge theory is a central part of algebraic geometry, proved using Kähler metrics. Definitions Since Kähler manifolds are equipped with several compatible structures, they can be described from different points of view: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interior Product
In mathematics, the interior product (also known as interior derivative, interior multiplication, inner multiplication, inner derivative, insertion operator, or inner derivation) is a degree −1 (anti)derivation on the exterior algebra of differential forms on a smooth manifold. The interior product, named in opposition to the exterior product, should not be confused with an inner product. The interior product \iota_X \omega is sometimes written as X \mathbin \omega. Definition The interior product is defined to be the contraction of a differential form with a vector field. Thus if X is a vector field on the manifold M, then \iota_X : \Omega^p(M) \to \Omega^(M) is the map which sends a p-form \omega to the (p - 1)-form \iota_X \omega defined by the property that (\iota_X\omega)\left(X_1, \ldots, X_\right) = \omega\left(X, X_1, \ldots, X_\right) for any vector fields X_1, \ldots, X_. The interior product is the unique antiderivation of degree −1 on the exterior alg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Mapping
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be embedded as a smooth submanifold of R2''n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Killing Vector Field
In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object. Definition Specifically, a vector field ''X'' is a Killing field if the Lie derivative with respect to ''X'' of the metric ''g'' vanishes: :\mathcal_ g = 0 \,. In terms of the Levi-Civita connection, this is :g\left(\nabla_Y X, Z\right) + g\left(Y, \nabla_Z X\right) = 0 \, for all vectors ''Y'' and ''Z''. In local coordinates, this amounts to the Killing equation :\nabla_\mu X_\nu + \nabla_ X_\mu = 0 \,. This condition is expressed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morse Inequalities
In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differentiable function on a manifold will reflect the topology quite directly. Morse theory allows one to find CW structures and handle decompositions on manifolds and to obtain substantial information about their homology. Before Morse, Arthur Cayley and James Clerk Maxwell had developed some of the ideas of Morse theory in the context of topography. Morse originally applied his theory to geodesics ( critical points of the energy functional on the space of paths). These techniques were used in Raoul Bott's proof of his periodicity theorem. The analogue of Morse theory for complex manifolds is Picard–Lefschetz theory. Basic concepts To illustrate, consider a mountainous landscape surface M (more generally, a manifold). If f is the function M \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Critical Point (mathematics)
Critical point is a wide term used in many branches of mathematics. When dealing with functions of a real variable, a critical point is a point in the domain of the function where the function is either not differentiable or the derivative is equal to zero. When dealing with complex variables, a critical point is, similarly, a point in the function's domain where it is either not holomorphic or the derivative is equal to zero. Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient is undefined or is equal to zero. The value of the function at a critical point is a critical value. This sort of definition extends to differentiable maps between and a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable maps between differentiable manifolds, as the points where the rank of the Jacobian matrix decreases. In this case, critical points are al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Form
In mathematics, a quadratic form is a polynomial with terms all of degree two ("form" is another name for a homogeneous polynomial). For example, :4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong to a fixed field , such as the real or complex numbers, and one speaks of a quadratic form over . If K=\mathbb R, and the quadratic form takes zero only when all variables are simultaneously zero, then it is a definite quadratic form, otherwise it is an isotropic quadratic form. Quadratic forms occupy a central place in various branches of mathematics, including number theory, linear algebra, group theory (orthogonal group), differential geometry (Riemannian metric, second fundamental form), differential topology ( intersection forms of four-manifolds), and Lie theory (the Killing form). Quadratic forms are not to be confused with a quadratic equation, which has only one variable and includes terms of degree two or less. A quadratic form is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Part
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number a+bi, is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature "imaginary", complex numbers are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted by \lambda, is the factor by which the eigenvector is scaled. Geometrically, an eigenvector, corresponding to a real nonzero eigenvalue, points in a direction in which it is stretched by the transformation and the eigenvalue is the factor by which it is stretched. If the eigenvalue is negative, the direction is reversed. Loosely speaking, in a multidimensional vector space, the eigenvector is not rotated. Formal definition If is a linear transformation from a vector space over a field into itself and is a nonzero vector in , then is an eigenvector of if is a scalar multiple of . This can be written as T(\mathbf) = \lambda \mathbf, where is a scalar in , known as the eigenvalue, characteristic value, or characteristic root ass ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Hyperplane Theorem
In mathematics, specifically in algebraic geometry and algebraic topology, the Lefschetz hyperplane theorem is a precise statement of certain relations between the shape of an algebraic variety and the shape of its subvarieties. More precisely, the theorem says that for a variety ''X'' embedded in projective space and a hyperplane section ''Y'', the homology (mathematics), homology, cohomology, and homotopy groups of ''X'' determine those of ''Y''. A result of this kind was first stated by Solomon Lefschetz for homology groups of complex algebraic varieties. Similar results have since been found for homotopy groups, in positive characteristic, and in other homology and cohomology theories. A far-reaching generalization of the hard Lefschetz theorem is given by the decomposition theorem. The Lefschetz hyperplane theorem for complex projective varieties Let ''X'' be an ''n''-dimensional complex projective algebraic variety in CP''N'', and let ''Y'' be a hyperplane section of ''X'' s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aldo Andreotti
Aldo Andreotti (15 March 1924 – 21 February 1980) was an Italian mathematician who worked on algebraic geometry, on the Several complex variables, theory of functions of several complex variables and on partial differential operators. Notably he proved the Andreotti–Frankel theorem, the Andreotti–Grauert theorem, the Andreotti–Vesentini theorem and introduced, jointly with François Norguet, the Andreotti–Norguet integral representation for functions of several complex variables. Andreotti was a visiting scholar at the Institute for Advanced Study in 1951 and again from 1957 through 1959. Selected publications Aldo Andreotti published 100 scientific works, including papers, books and lecture notes: many of them, except all his books but , are collected in his "''Selecta''" . In his "Selecta" are also included three unpublished sets of lecture notes, the first one prepared by Philippe Artzner from a course on the theory of analytic functions of several complex variables ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
