Ddbar Lemma
In complex geometry, the \partial \bar \partial lemma (pronounced ddbar lemma) is a mathematical lemma about the de Rham cohomology class of a complex differential form. The \partial \bar \partial-lemma is a result of Hodge theory and the Kähler identities on a Compact space, compact Kähler manifold. Sometimes it is also known as the dd^c-lemma, due to the use of a related operator d^c = -\frac(\partial - \bar \partial), with the relation between the two operators being i\partial \bar \partial = dd^c and so \alpha = dd^c \beta. Statement The \partial \bar \partial lemma asserts that if (X,\omega) is a compact Kähler manifold and \alpha \in \Omega^(X) is a complex differential form of bidegree (p,q) (with p,q\ge 1) whose class [\alpha] \in H_^(X,\mathbb) is zero in de Rham cohomology, then there exists a form \beta\in \Omega^(X) of bidegree (p-1,q-1) such that \alpha = i\partial \bar \partial \beta, where \partial and \bar \partial are the Dolbeault operators of the complex mani ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complex Geometry
In mathematics, complex geometry is the study of geometry, geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of space (mathematics), spaces such as complex manifolds and Complex algebraic variety, complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaf, coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis. Complex geometry sits at the intersection of algebraic geometry, differential geometry, and complex analysis, and uses tools from all three areas. Because of the blend of techniques and ideas from various areas, problems in complex geometry are often more tractable or concrete than in general. For example, the classification of complex manifolds and complex algebraic varieties ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Adjoint
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function (in the style of a higher-order function in computer science). This article considers mainly linear differential operators, which are the most common type. However, non-linear differential operators also exist, such as the Schwarzian derivative. Definition Given a nonnegative integer ''m'', an order-m linear differential operator is a map P from a function space \mathcal_1 on \mathbb^n to another function space \mathcal_2 that can be written as: P = \sum_a_\alpha(x) D^\alpha\ , where \alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n) is a multi-index of non-negative integers, , \alpha, = \alpha_1 + \alpha_2 + \cdots + \alpha_n, and for each \alpha, a_\alpha(x) is a function on some open domain in ''n''-dimensional space ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Monge–Ampère Equation
In mathematics, a (real) Monge–Ampère equation is a nonlinear second-order partial differential equation of special kind. A second-order equation for the unknown function ''u'' of two variables ''x'',''y'' is of Monge–Ampère type if it is linear in the determinant of the Hessian matrix of ''u'' and in the second-order partial derivatives of ''u''. The independent variables (''x'',''y'') vary over a given domain ''D'' of R2. The term also applies to analogous equations with ''n'' independent variables. The most complete results so far have been obtained when the equation is elliptic. Monge–Ampère equations frequently arise in differential geometry, for example, in the Weyl and Minkowski problems in differential geometry of surfaces. They were first studied by Gaspard Monge in 1784 and later by André-Marie Ampère in 1820. Important results in the theory of Monge–Ampère equations have been obtained by Sergei Bernstein, Aleksei Pogorelov, Charles Fefferman, and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kähler–Einstein Metric
In differential geometry, a Kähler–Einstein metric on a complex manifold is a Riemannian metric that is both a Kähler metric and an Einstein metric. A manifold is said to be Kähler–Einstein if it admits a Kähler–Einstein metric. The most important special case of these are the Calabi–Yau manifolds, which are Kähler and Ricci-flat. The most important problem for this area is the existence of Kähler–Einstein metrics for compact Kähler manifolds. This problem can be split up into three cases dependent on the sign of the first Chern class of the Kähler manifold: * When the first Chern class is negative, there is always a Kähler–Einstein metric, as Thierry Aubin and Shing-Tung Yau proved independently. * When the first Chern class is zero, there is always a Kähler–Einstein metric, as Yau proved in the Calabi conjecture. That leads to the name Calabi–Yau manifolds. He was awarded with the Fields Medal partly because of this work. * The third case, the p ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical Analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (mathematics), series, and analytic functions. These theories are usually studied in the context of Real number, real and Complex number, complex numbers and Function (mathematics), functions. Analysis evolved from calculus, which involves the elementary concepts and techniques of analysis. Analysis may be distinguished from geometry; however, it can be applied to any Space (mathematics), space of mathematical objects that has a definition of nearness (a topological space) or specific distances between objects (a metric space). History Ancient Mathematical analysis formally developed in the 17th century during the Scientific Revolution, but many of its ideas can be traced back to earlier mathematicians. Early results in analysis were ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Plurisubharmonic Function
In mathematics, plurisubharmonic functions (sometimes abbreviated as psh, plsh, or plush functions) form an important class of functions used in complex analysis. On a Kähler manifold, plurisubharmonic functions form a subset of the subharmonic functions. However, unlike subharmonic functions (which are defined on a Riemannian manifold) plurisubharmonic functions can be defined in full generality on complex analytic spaces. Formal definition A function f \colon G \to \cup\, with ''domain'' G \subset ^n is called plurisubharmonic if it is upper semi-continuous, and for every complex line :\\subset ^n, with a, b \in ^n, the function z \mapsto f(a + bz) is a subharmonic function on the set :\. In full generality, the notion can be defined on an arbitrary complex manifold or even a complex analytic space X as follows. An upper semi-continuous function f \colon X \to \cup \ is said to be plurisubharmonic if for any holomorphic map \varphi\colon\Delta\to X the function f ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kahler Potential
Kahler may refer to: Places * Kahler, Luxembourg, a small town in the commune of Garnich * Kahler Asten, a German mountain range Other uses * Kahler (surname) * Kahler's disease, a cancer otherwise known as ''multiple myeloma'' *Kahler Tremolo System, a type of bridge hardware for electric guitars *'' Kahler v. Kansas'', a 2019 United States Supreme Court case * Kahler, a fictional alien species in the science fiction television series ''Doctor Who ''Doctor Who'' is a British science fiction television series broadcast by the BBC since 1963. The series, created by Sydney Newman, C. E. Webber and Donald Wilson (writer and producer), Donald Wilson, depicts the adventures of an extraterre ...''. See also * Kähler (other) {{disambiguation ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ddbar Lemma
In complex geometry, the \partial \bar \partial lemma (pronounced ddbar lemma) is a mathematical lemma about the de Rham cohomology class of a complex differential form. The \partial \bar \partial-lemma is a result of Hodge theory and the Kähler identities on a Compact space, compact Kähler manifold. Sometimes it is also known as the dd^c-lemma, due to the use of a related operator d^c = -\frac(\partial - \bar \partial), with the relation between the two operators being i\partial \bar \partial = dd^c and so \alpha = dd^c \beta. Statement The \partial \bar \partial lemma asserts that if (X,\omega) is a compact Kähler manifold and \alpha \in \Omega^(X) is a complex differential form of bidegree (p,q) (with p,q\ge 1) whose class [\alpha] \in H_^(X,\mathbb) is zero in de Rham cohomology, then there exists a form \beta\in \Omega^(X) of bidegree (p-1,q-1) such that \alpha = i\partial \bar \partial \beta, where \partial and \bar \partial are the Dolbeault operators of the complex mani ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dolbeault Cohomology
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let ''M'' be a complex manifold. Then the Dolbeault cohomology groups H^(M, \Complex) depend on a pair of integers ''p'' and ''q'' and are realized as a subquotient of the space of complex differential forms of degree (''p'',''q''). Construction of the cohomology groups Let Ω''p'',''q'' be the vector bundle of complex differential forms of degree (''p'',''q''). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections :\bar:\Omega^\to\Omega^ Since :\bar^2=0 this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space :H^(M,\Complex)=\frac . Dolbeault cohomology of vector bundles If ''E'' is a holomorphic vector bundle on a complex manifold ''X'', then one can define likewise a fi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Poincaré Lemma
In mathematics, the Poincaré lemma gives a sufficient condition for a closed differential form to be exact (while an exact form is necessarily closed). Precisely, it states that every closed ''p''-form on an open ball in R''n'' is exact for ''p'' with . The lemma was introduced by Henri Poincaré in 1886. Informal Discussion Especially in calculus, the Poincaré lemma also says that every closed 1-form on a simply connected open subset in \mathbb^n is exact. In simpler terms, it means that if a differential form is closed in a region that can be shrunk to a point, then it can be written as the derivative of another form; i.e. if dα = 0 on a simplely connected region, we can always find α = dβ; therefore we have d(dβ) = 0, expressed simply as d2 = 0. This concept is used in mathematical physics, particularly in the context of electromagnetism and differential geometry, where it relates to the fact that the boundary of a boundary is always empty, i.e. if you have a surface (a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemannian Metric
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifold, manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them. Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport. Any smooth surface in three-dimensional Eucl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |