|
Constant Scalar Curvature Kähler Metric
In differential geometry, a constant scalar curvature Kähler metric (cscK metric), is (as the name suggests) a Kähler metric on a complex manifold whose scalar curvature is constant. A special case is Kähler–Einstein metric, and a more general case is extremal Kähler metric. , Tian and Yau K-Stability#Yau–Tian–Donaldson Conjecture, conjectured that the existence of a cscK metric on a polarised projective manifold is equivalent to the polarised manifold being K-Stability, K-polystable. Recent developments in the field suggest that the correct equivalence may be to the polarised manifold being ''uniformly'' K-polystable . When the polarisation is given by the (anti)-canonical line bundle (i.e. in the case of Fano or Calabi–Yau manifolds) the notions of K-stability and K-polystability coincide, cscK metrics are precisely Kähler-Einstein metrics and the Yau-Tian-Donaldson conjecture is known to hold . Extremal Kähler metrics Constant scalar curvature Kähler metrics ar ... [...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] |
K-stability
In mathematics, and especially differential geometry, differential and algebraic geometry, K-stability is an Algebraic Geometry, algebro-geometric stability condition, for complex manifolds and complex algebraic variety, complex algebraic varieties. The notion of K-stability was first introduced by Tian Gang, Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the K-stability of Fano varieties, special case of Fano variety, Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is #Yau–Tian–Donaldson Conjecture, conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics (cscK metrics). History In 1954, Eugenio Calabi formulated a conjecture about the existence of Kähler metrics on compact Kähler manifolds, now known as the Calabi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Futaki Invariant
In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics (cscK metrics). History In 1954, Eugenio Calabi formulated a conjecture about the existence of Kähler metrics on compact Kähler manifolds, now known as the Calabi conjecture. One formulation of the conjecture is that a compact Kähler manifold X admits a unique Kähler–Einstein metric in the class c_1(X). In the particu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism Group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the group of invertible linear transformations from ''X'' to itself (the general linear group of ''X''). If instead ''X'' is a group, then its automorphism group \operatorname(X) is the group consisting of all group automorphisms of ''X''. Especially in geometric contexts, an automorphism group is also called a symmetry group. A subgroup of an automorphism group is sometimes called a transformation group. Automorphism groups are studied in a general way in the field of category theory. Examples If ''X'' is a set with no additional structure, then any bijection from ''X'' to itself is an automorphism, and hence the automorphism group of ''X'' in this case is precisely the symmetric group of ''X''. If the set ''X'' has additional struct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted [x,y]. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative property, associative. Lie algebras are closely related to Lie groups, which are group (mathematics), groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected space, connected Lie group unique up to finite coverings (Lie's third theorem). This Lie group–Lie algebra correspondence, correspondence allows one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Summation Notation
In mathematics, especially the usage of linear algebra in Mathematical physics, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving brevity. As part of mathematics it is a notational subset of Ricci calculus; however, it is often used in physics applications that do not distinguish between tangent and cotangent spaces. It was introduced to physics by Albert Einstein in 1916. Introduction Statement of convention According to this convention, when an index variable appears twice in a single term and is not otherwise defined (see Free and bound variables), it implies summation of that term over all the values of the index. So where the indices can range over the set , : y = \sum_^3 c_i x^i = c_1 x^1 + c_2 x^2 + c_3 x^3 is simplified by the convention to: : y = c_i x^i The upper indices are not exponents but are indices of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Vector Field
In mathematics, and especially complex geometry, the holomorphic tangent bundle of a complex manifold M is the holomorphic analogue of the tangent bundle of a smooth manifold. The fibre of the holomorphic tangent bundle over a point is the holomorphic tangent space, which is the tangent space of the underlying smooth manifold, given the structure of a complex vector space via the almost complex structure J of the complex manifold M. Definition Given a complex manifold M of complex dimension n, its tangent bundle as a smooth vector bundle is a real rank 2n vector bundle TM on M. The integrable almost complex structure J corresponding to the complex structure on the manifold M is an endomorphism J: TM \to TM with the property that J^2 = -\operatorname. After complexifying the real tangent bundle to TM\otimes \mathbb \to M, the endomorphism J may be extended complex-linearly to an endomorphism J:TM\otimes \mathbb \to TM\otimes \mathbb defined by J(X+iY) = J(X) + i J(Y) for vectors X,Y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hamiltonian Vector Field
In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics. Hamiltonian vector fields can be defined more generally on an arbitrary Poisson manifold. The Lie bracket of two Hamiltonian vector fields corresponding to functions ''f'' and ''g'' on the manifold is itself a Hamiltonian vector field, with the Hamiltonian given by the Poisson bracket of ''f'' and ''g''. Definition Suppose that is a symplectic ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Function
In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all Order of derivation, orders in its Domain of a function, domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or C^ function). Differentiability classes Differentiability class is a classification of functions according to the properties of their derivatives. It is a measure of the highest order of derivative that exists and is continuous for a function. Consider an open set U on the real line and a function f defined on U with real values. Let ''k'' be a non-negative integer. The function f is said to be of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moment Map
In mathematics, specifically in symplectic geometry, the momentum map (or, by false etymology, moment map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums. Formal definition Let ''M'' be a manifold with symplectic form ω. Suppose that a Lie group ''G'' acts on ''M'' via symplectomorphisms (that is, the action of each ''g'' in ''G'' preserves ω). Let \mathfrak be the Lie algebra of ''G'', \mathfrak^* its dual, and :\langle, \rangle : \mathfrak^* \times \mathfrak \to \mathbf the pairing between the two. Any ξ in \mathfrak induces a vector field ρ(ξ) on ''M'' describing the infinitesimal action of ξ. To be precise, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mabuchi Functional
In mathematics, and especially complex geometry, the Mabuchi functional or K-energy functional is a functional on the space of Kähler potentials of a compact Kähler manifold whose critical points are constant scalar curvature Kähler metrics. The Mabuchi functional was introduced by Toshiki Mabuchi in 1985 as a functional which integrates the Futaki invariant, which is an obstruction to the existence of a Kähler–Einstein metric on a Fano manifold. The Mabuchi functional is an analogy of the log-norm functional of the moment map in geometric invariant theory and symplectic reduction. The Mabuchi functional appears in the theory of K-stability as an analytical functional which characterises the existence of constant scalar curvature Kähler metrics. The slope at infinity of the Mabuchi functional along any geodesic ray in the space of Kähler potentials is given by the Donaldson–Futaki invariant of a corresponding test configuration. Due to the variational techniques of Berma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Smooth Function")