|
Complex Hyperbolic Space
In mathematics, hyperbolic complex space is a Hermitian manifold which is the equivalent of the real hyperbolic space in the context of complex manifolds. The complex hyperbolic space is a Kähler manifold, and it is characterised by being the only simply connected Kähler manifold whose holomorphic sectional curvature is constant equal to -1. Its underlying Riemannian manifold has non-constant negative curvature, pinched between -1 and -1/4 (or -4 and -1, according to the choice of a normalization of the metric): in particular, it is a CAT(-1/4) space. Complex hyperbolic spaces are also the symmetric spaces associated with the Lie groups PU(n,1). They constitute one of the three families of rank one symmetric spaces of noncompact type, together with real and quaternionic hyperbolic spaces, classification to which must be added one exceptional space, the Cayley plane. Construction of the complex hyperbolic space Projective model Let \langle u,v\rangle := -u_1\overline + u_2 ... [...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 vi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Space
In mathematics, a homogeneous space is, very informally, a space that looks the same everywhere, as you move through it, with movement given by the action of a group. Homogeneous spaces occur in the theories of Lie groups, algebraic groups and topological groups. More precisely, a homogeneous space for a group ''G'' is a non-empty manifold or topological space ''X'' on which ''G'' acts transitively. The elements of ''G'' are called the symmetries of ''X''. A special case of this is when the group ''G'' in question is the automorphism group of the space ''X'' – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, ''X'' is homogeneous if intuitively ''X'' looks locally the same at each point, either in the sense of isometry (rigid geometry), diffeomorphism (differential geometry), or homeomorphism (topology). Some authors insist that the action of ''G'' be faithful (non-identity elements act non-trivially), althou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kobayashi Metric
In mathematics and especially complex geometry, the Kobayashi metric is a pseudometric intrinsically associated to any complex manifold. It was introduced by Shoshichi Kobayashi in 1967. Kobayashi hyperbolic manifolds are an important class of complex manifolds, defined by the property that the Kobayashi pseudometric is a metric. Kobayashi hyperbolicity of a complex manifold ''X'' implies that every holomorphic map from the complex line C to ''X'' is constant. Definition The origins of the concept lie in Schwarz's lemma in complex analysis. Namely, if ''f'' is a holomorphic function on the open unit disc ''D'' in the complex numbers C such that ''f''(0) = 0 and , ''f''(''z''), 0 for all ''x'' ≠ ''y'' in ''X''. Informally, this means that there is a genuine bound on the size of discs mapping holomorphically into ''X''. In these terms, Schwarz's lemma says that the unit disc ''D'' is Kobayashi hyperbolic, and more precisely that the Kobayashi metric on ''D'' is exactly the Poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bergman Metric
In differential geometry, the Bergman metric is a Hermitian metric that can be defined on certain types of complex manifold. It is so called because it is derived from the Bergman kernel, both of which are named after Stefan Bergman. Definition Let G \subset ^n be a domain and let K(z,w) be the Bergman kernel on ''G''. We define a Hermitian metric on the tangent bundle A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold M is ... T_z^n by : g_ (z) := \frac \log K(z,z) , for z \in G. Then the length of a tangent vector \xi \in T_z^n is given by :\left\vert \xi \right\vert_:=\sqrt. This metric is called the Bergman metric on ''G''. The length of a (piecewise) ''C''1 curve \gamma \colon ,1\to ^n is then computed as : \ell (\gamma) = \int_0^1 \left\vert \frac(t) \right\vert_ dt . The distan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniformization Theorem
In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces. Since every Riemann surface has a universal cover which is a simply connected Riemann surface, the uniformization theorem leads to a classification of Riemann surfaces into three types: those that have the Riemann sphere as universal cover ("elliptic"), those with the plane as universal cover ("parabolic") and those with the unit disk as universal cover ("hyperbolic"). It further follows that every Riemann surface admits a Riemannian metric of constant curvature, where the curvature can be taken to be 1 in the elliptic, 0 in the parabolic and -1 in the hyperbolic case. The uniformization theorem also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simply Connected Space
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed into any other such path while preserving the two endpoints in question. Intuitively, this corresponds to a space that has no disjoint parts and no holes that go completely through it, because two paths going around different sides of such a hole cannot be continuously transformed into each other. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial. Definition and equivalent formulations A topological space X is called if it is path-connected and any loop in X defined by f : S^1 \to X can be contracted to a point: there exists a continuous map F : D^2 \to X such that F restricted to S^1 is f. Here, S^1 and D^2 denotes the unit c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action
In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group also acts on triangles by transforming triangles into triangles. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures dra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the locally shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a " straight line". The noun '' geodesic'' and the adjective '' geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of havi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unipotent
In mathematics, a unipotent element ''r'' of a ring ''R'' is one such that ''r'' − 1 is a nilpotent element; in other words, (''r'' − 1)''n'' is zero for some ''n''. In particular, a square matrix ''M'' is a unipotent matrix if and only if its characteristic polynomial ''P''(''t'') is a power of ''t'' − 1. Thus all the eigenvalues of a unipotent matrix are 1. The term quasi-unipotent means that some power is unipotent, for example for a diagonalizable matrix with eigenvalues that are all roots of unity. In the theory of algebraic groups, a group element is unipotent if it acts unipotently in a certain natural group representation. A unipotent affine algebraic group is then a group with all elements unipotent. Definition Definition with matrices Consider the group \mathbb_n of upper-triangular matrices with 1's along the diagonal, so they are the group of matrices :\mathbb_n = \left\. Then, a unipotent group can be define ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heisenberg Group
In mathematics, the Heisenberg group H, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form : \begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end under the operation of matrix multiplication. Elements ''a, b'' and ''c'' can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group"). The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical systems, especially in the context of the Stone–von Neumann theorem. More generally, one can consider Heisenberg groups associated to ''n''-dimensional systems, and most generally, to any symplectic vector space. Three-dimensional case In the three-dimensional case, the product of two Heisenberg matrices is given by : \begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end \begin 1 & a' & c'\\ 0 & 1 & b'\\ 0 & 0 & ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unitary Group
*
*
{{disambiguation ...
Unitary may refer to: Mathematics * Unitary divisor * Unitary element * Unitary group * Unitary matrix * Unitary morphism * Unitary operator * Unitary transformation * Unitary representation * Unitarity (physics) * ''E''-unitary inverse semigroup Politics * Unitary authority * Unitary state See also * Unital (other) * Unitarianism Unitarianism () is a Nontrinitarianism, nontrinitarian sect of Christianity. Unitarian Christians affirm the wikt:unitary, unitary God in Christianity, nature of God as the singular and unique Creator deity, creator of the universe, believe that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Iwasawa Decomposition
In mathematics, the Iwasawa decomposition (aka KAN from its expression) of a semisimple Lie group generalises the way a square real matrix can be written as a product of an orthogonal matrix and an upper triangular matrix (QR decomposition, a consequence of Gram–Schmidt orthogonalization). It is named after Kenkichi Iwasawa, the Japanese mathematician who developed this method. Definition *''G'' is a connected semisimple real Lie group. * \mathfrak_0 is the Lie algebra of ''G'' * \mathfrak is the complexification of \mathfrak_0 . *θ is a Cartan involution of \mathfrak_0 * \mathfrak_0 = \mathfrak_0 \oplus \mathfrak_0 is the corresponding Cartan decomposition * \mathfrak_0 is a maximal abelian subalgebra of \mathfrak_0 *Σ is the set of restricted roots of \mathfrak_0 , corresponding to eigenvalues of \mathfrak_0 acting on \mathfrak_0 . *Σ+ is a choice of positive roots of Σ * \mathfrak_0 is a nilpotent Lie algebra given as the sum of the root spaces of Σ+ *''K' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
