Hitchin–Thorpe Inequality
In differential geometry the Hitchin–Thorpe inequality is a relation which restricts the topology of 4-manifolds that carry an Einstein metric. Statement of the Hitchin–Thorpe inequality Let ''M'' be a closed, oriented, four-dimensional smooth manifold. If there exists a Riemannian metric on ''M'' which is an Einstein metric, then : \chi(M) \geq \frac, \tau(M), , where is the Euler characteristic of and is the signature of . This inequality was first stated by John Thorpe in a footnote to a 1969 paper focusing on manifolds of higher dimension. Nigel Hitchin then rediscovered the inequality, and gave a complete characterization of the equality case in 1974; he found that if is an Einstein manifold for which equality in the Hitchin-Thorpe inequality is obtained, then the Ricci curvature of is zero; if the sectional curvature is not identically equal to zero, then is a Calabi–Yau manifold whose universal cover is a K3 surface. Already in 1961, Marcel Ber ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Calabi–Yau Manifold
In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by , after who first conjectured that such surfaces might exist, and who proved the Calabi conjecture. Calabi–Yau manifolds are complex manifolds that are generalizations of K3 surfaces in any number of complex dimensions (i.e. any even number of real dimensions). They were originally defined as compact Kähler manifolds with a vanishing first Chern class and a Ricci-flat metric, though many other similar but inequivalent definitions are sometimes used. Definitions The motivational definition given by Shing-Tung Yau is of a compact Kähl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemannian Manifolds
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz Riemannian metrics or measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as angle at an intersection, length of a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Claude LeBrun
Claude R. LeBrun (born 1956) is an American mathematician who holds the position of SUNY Distinguished Professor of Mathematics at Stony Brook University. Much of his research concerns the Riemannian geometry of 4-manifolds, or related topics in complex and differential geometry. LeBrun earned his D.Phil. (Oxford equivalent of a Ph.D.) from the University of Oxford in 1980, under the supervision of Roger Penrose, and in the same year took a faculty position at Stony Brook.Math Department and Institute Faculty - by Rank Stony Brook University, retrieved 2013-01-30. Since then, he has also held positions at the Institut des Hautes Ét ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sufficient Condition
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If then ", is necessary for , because the truth of is guaranteed by the truth of (equivalently, it is impossible to have without ). Similarly, is sufficient for , because being true always implies that is true, but not being true does not always imply that is not true. In general, a necessary condition is one that must be present in order for another condition to occur, while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary ''and'' sufficient" condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true, or simultaneously false. In ordinary English (also natural language) "necessary" and "sufficient" indicate relations betw ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scalar Curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor. The definition of scalar curvature via partial derivatives is also valid in the more general setting of pseudo-Riemannian manifolds. This is significant in general relativity, where scalar curvature of a Lorentzian metric is one of t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Marcel Berger
Marcel Berger (14 April 1927 – 15 October 2016) was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Formerly residing in Le Castera in Lasseube, Berger was instrumental in Mikhail Gromov's accepting positions both at the University of Paris and at the IHÉS. Awards and honors *1956 Prix Peccot, Collège de France *1962 Prix Maurice Audin *1969 Prix Carrière, Académie des Sciences *1978 Prix Leconte, Académie des Sciences *1979 Prix Gaston Julia *1979–1980 President of the French Mathematical Society. *1991 Lester R. Ford Award Selected publications * Berger, M.Geometry revealed Springer, 2010. * Berger, M.: What is... a Systole? Notices of the AMS 55 (2008), no. 3, 374–376online text* * * *Berger, Marcel; Gauduchon, Paul; Mazet, Edmond: Le spectre d'une variété riemannienne. (French) Lecture Notes in Mathematics, Vol. 194 Springer-Verlag, Berlin-New York 1971. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
K3 Surface
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic varieti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Universal Cover
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 space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ricci Curvature
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space. The Ricci tensor can be characterized by measurement of how a shape is deformed as one moves along geodesics in the space. In general relativity, which involves the pseudo-Riemannian setting, this is reflected by the presence of the Ricci tensor in the Raychaudhuri equation. Partly for this reason, the Einstein field equations propose that spacetime can be described by a pseudo-Riemannian metric, with a strikingly simple relationship between the Ricci tensor and the matter content of the universe. Like the metric tensor, the Ricci tensor assigns to each tangent space of the manifold a symmetric bili ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic). 4-manifolds are important in physics because in General Relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold. Topological 4-manifolds The homotopy type of a simply connected compact 4-manifold only depends on the intersection form on the middle dimensional homology. A famous theorem of implies that the homeomorphism type of the manifold only depends on this intersection form, and on a \Z/2\Z invariant called the Kirby–Siebenmann invariant, and moreover that every combination of unimodular form and Ki ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |