|
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] |
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 with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Complex Manifold
In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not complex manifolds. Almost complex structures have important applications in symplectic geometry. The concept is due to Charles Ehresmann and Heinz Hopf in the 1940s. Formal definition Let ''M'' be a smooth manifold. An almost complex structure ''J'' on ''M'' is a linear complex structure (that is, a linear map which squares to −1) on each tangent space of the manifold, which varies smoothly on the manifold. In other words, we have a smooth tensor field ''J'' of degree such that J^2=-1 when regarded as a vector bundle isomorphism J\colon TM\to TM on the tangent bundle. A manifold equipped with an almost complex structure is called an almost complex manifold. If ''M'' admits an almost complex structure, it must be even-dimensional. This ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holonomy Group
In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features. Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy. The most common forms of holonomy are for connections possessing some kind of symmetry. Important examples include: holonomy of the Levi-Civita connection in Riemannian geometry (called Riemannian holonomy), holonomy of connections in vector bundles, holonomy of Cartan connections, and holonomy of connections in principal bundles. In each of these cases, the holonomy of the connection can be identified with a Lie g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Rham Cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties. On any smooth manifold, every exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of "holes" in the manifold, and the de Rham cohomology groups comprise a set of topological invariants of smooth manifolds that precisely quantify this relationship. Definition The de Rham complex is the cochain complex of differential forms on some smooth manifold , with the exterior derivative as the differential: :0 \to \Omega^0(M)\ \stackrel\ \Omega^1(M)\ \stackrel\ \Omega^2(M)\ \stackrel\ \Omega^3(M) \to \cd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coordinate Chart
In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure). Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure. Formal definition A topological space ''X'' is called locally Euclidean if there is a non-negative integer ''n'' such that every point in ''X'' has a neighborhood which is homeomorphic t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (''analytic''). Holomorphic functions are the central objects of study in complex analysis. Though the term ''analytic function'' is often used interchangeably with "holomorphic function", the word "analytic" is defined in a broader sense to denote any function (real, complex, or of more general type) that can be written as a convergent power series in a neighbourhood of each point in its domain. That all holomorphic functions are complex analytic functions, and vice versa, is a major theorem in complex analysis. Holomorphic functions are also sometimes referred to as ''regular fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Differential Form
In mathematics, a complex differential form is a differential form on a manifold (usually a complex manifold) which is permitted to have complex coefficients. Complex forms have broad applications in differential geometry. On complex manifolds, they are fundamental and serve as the basis for much of algebraic geometry, Kähler geometry, and Hodge theory. Over non-complex manifolds, they also play a role in the study of almost complex structures, the theory of spinors, and CR structures. Typically, complex forms are considered because of some desirable decomposition that the forms admit. On a complex manifold, for instance, any complex ''k''-form can be decomposed uniquely into a sum of so-called (''p'', ''q'')-forms: roughly, wedges of ''p'' differentials of the holomorphic coordinates with ''q'' differentials of their complex conjugates. The ensemble of (''p'', ''q'')-forms becomes the primitive object of study, and determines a finer geometrical structure on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermitian Form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix ''sesqui-'' meaning "one and a half". The basic concept of the dot product – producing a scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector. A motivating special case is a sesquilinear form on a complex vector space, . This is a map that is linear in one argument and "twists" the linearity of the other argument by complex conjugation (referred to as being antilinear in the other argument). This case arises naturally in mathematical physics applications. Another important case allows the scalars to co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed And Exact Differential Forms
In mathematics, especially vector calculus and differential topology, a closed form is a differential form ''α'' whose exterior derivative is zero (), and an exact form is a differential form, ''α'', that is the exterior derivative of another differential form ''β''. Thus, an ''exact'' form is in the '' image'' of ''d'', and a ''closed'' form is in the ''kernel'' of ''d''. For an exact form ''α'', for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''. Because , every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the topology of the domain of interest. On a contractible domain, every closed form is exact by the Poincaré lemma. More general questions of this ki ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermitian Manifold
In mathematics, and more specifically in differential geometry, a Hermitian manifold is the complex analogue of a Riemannian manifold. More precisely, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a real manifold with a Riemannian metric that preserves a complex structure. A complex structure is essentially an almost complex structure with an integrability condition, and this condition yields a unitary structure ( U(n) structure) on the manifold. By dropping this condition, we get an almost Hermitian manifold. On any almost Hermitian manifold, we can introduce a fundamental 2-form (or cosymplectic structure) that depends only on the chosen metric and the almost complex structure. This form is always non-degenerate. With the extra integrability condition that it is closed (i.e., it is a symplectic form), we get an almost Kähler structure. If both the almos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definite Quadratic Form
In linguistics, definiteness is a semantic feature of noun phrases, distinguishing between referents or senses that are identifiable in a given context (definite noun phrases) and those which are not (indefinite noun phrases). The prototypical definite noun phrase picks out a unique, familiar, specific referent such as ''the sun'' or ''Australia'', as opposed to indefinite examples like ''an idea'' or ''some fish''. There is considerable variation in the expression of definiteness across languages, and some languages such as Japanese do not generally mark it so that the same expression could be definite in some contexts and indefinite in others. In other languages, such as English, it is usually marked by the selection of determiner (e.g., ''the'' vs ''a''). In still other languages, such as Danish, definiteness is marked morphologically. Definiteness as a grammatical category There are times when a grammatically marked definite NP is not in fact identifiable. For example, ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
