|
Complex Vector Bundle
In mathematics, a complex vector bundle is a vector bundle whose fibers are complex vector spaces. Any complex vector bundle can be viewed as a real vector bundle through the restriction of scalars. Conversely, any real vector bundle E can be promoted to a complex vector bundle, the complexification :E \otimes \mathbb ; whose fibers are E_x\otimes_\R \C. Any complex vector bundle over a paracompact space admits a hermitian metric. The basic invariant of a complex vector bundle is a Chern class. A complex vector bundle is canonically oriented; in particular, one can take its Euler class. A complex vector bundle is a holomorphic vector bundle if X is a complex manifold and if the local trivializations are biholomorphic. Complex structure A complex vector bundle can be thought of as a real vector bundle with an additional structure, the complex structure. By definition, a complex structure is a bundle map between a real vector bundle E and itself: :J: E \to E such that J ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a mani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Vector Bundle
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold such that the total space is a complex manifold and the projection map is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety ''X'' (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.e., locally free sheaves of finite rank) on ''X''. Definition through trivialization Specifically, one requires that the trivialization maps :\phi_U : \pi^(U) \to U \times \mathbf^k are biholomorphic maps. This is equivalent to requiring that the transition functions :t_ : U\cap V \to \mathrm_k(\mathbf) are holomorphic maps. The holomorphic structure on the tangent bundle of a complex manifold is guaran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Form
In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra ''g''0 is called a real form of a complex Lie algebra ''g'' if ''g'' is the complexification of ''g''0: : \mathfrak\simeq\mathfrak_0\otimes_\mathbb. The notion of a real form can also be defined for complex Lie groups. Real forms of complex semisimple Lie groups and Lie algebras have been completely classified by Élie Cartan. Real forms for Lie groups and algebraic groups Using the Lie correspondence between Lie groups and Lie algebras, the notion of a real form can be defined for Lie groups. In the case of linear algebraic groups, the notions of complexification and real form have a natural description in the language of algebraic geometry. Classification Just as complex semisimple Lie algebras are classified by Dynkin diagrams, the real forms of a semisimple Lie algebra are classified by Satake diagrams, which are obtained from the Dynk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Bundle
In mathematics, the dual bundle is an operation on vector bundles extending the operation of duality for vector spaces. Definition The dual bundle of a vector bundle \pi: E \to X is the vector bundle \pi^*: E^* \to X whose fibers are the dual spaces to the fibers of E. Equivalently, E^* can be defined as the Hom bundle ''\mathrm(E,\mathbb \times X),'' that is, the vector bundle of morphisms from ''E'' to the trivial line bundle ''\R \times X \to X.'' Constructions and examples Given a local trivialization of ''E'' with transition functions t_, a local trivialization of E^* is given by the same open cover of ''X'' with transition functions t_^* = (t_^T)^ (the inverse of the transpose). The dual bundle E^* is then constructed using the fiber bundle construction theorem. As particular cases: * The dual bundle of an associated bundle is the bundle associated to the dual representation of the structure group. * The dual bundle of the tangent bundle of a differentiable manifold i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorem Of Newlander And Nirenberg
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 function, smooth tensor field ''J'' of Tensor#Tensor degree, 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, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Complex Structure
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] |
Biholomorphic
In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic. Formal definition Formally, a ''biholomorphic function'' is a function \phi defined on an open subset ''U'' of the n-dimensional complex space C''n'' with values in C''n'' which is holomorphic and one-to-one, such that its image is an open set V in C''n'' and the inverse \phi^:V\to U is also holomorphic. More generally, ''U'' and ''V'' can be complex manifolds. As in the case of functions of a single complex variable, a sufficient condition for a holomorphic map to be biholomorphic onto its image is that the map is injective, in which case the inverse is also holomorphic (e.g., see Gunning 1990, Theorem I.11 or Corollary E.10 pg. 57). If there exists a biholomorphism \phi \colon U \to V, we say that ''U'' and ''V'' are biholomorphically equivalent or tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such that the transition maps are Holomorphic function, holomorphic. The term "complex manifold" is variously used to mean a complex manifold in the sense above (which can be specified as an ''integrable'' complex manifold) or an almost complex manifold, ''almost'' complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth manifold, smooth and complex manifolds have very different flavors: compact space, compact complex manifolds are much closer to algebraic variety, algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be Embedding, embedded as a smooth subma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler Class
In mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic. It is named after Leonhard Euler because of this. Throughout this article E is an oriented, real vector bundle of rank r over a base space X. Formal definition The Euler class e(E) is an element of the integral cohomology group :H^r(X; \mathbf), constructed as follows. An orientation of E amounts to a continuous choice of generator of the cohomology :H^r(\mathbf^, \mathbf^ \setminus \; \mathbf)\cong \tilde^(S^;\mathbf)\cong \mathbf of each fiber \mathbf^ relative to the complement \mathbf^ \setminus \ of zero. From the Thom isomorphism, this induces an orientation class :u \in H^r(E, E \setminus E_0; \mathbf) in the cohomology of E relative to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', can be added together and multiplied ("scaled") by numbers called ''scalars''. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. Real vector spaces and complex vector spaces are kinds of vector spaces based on different kinds of scalars: real numbers and complex numbers. Scalars can also be, more generally, elements of any field. Vector spaces generalize Euclidean vectors, which allow modeling of physical quantities (such as forces and velocity) that have not only a magnitude, but also a direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrices, which allows computing in vector spaces. This provides a concise and synthetic way for manipulating and studying systems of linear equations. Vector spaces are characterized by their dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oriented Vector Bundle
In mathematics, an orientation of a real vector bundle is a generalization of an orientation of a vector space; thus, given a real vector bundle π: ''E'' →''B'', an orientation of ''E'' means: for each fiber ''E''''x'', there is an orientation of the vector space ''E''''x'' and one demands that each trivialization map (which is a bundle map) :\phi_U : \pi^(U) \to U \times \mathbf^n is fiberwise orientation-preserving, where R''n'' is given the standard orientation. In more concise terms, this says that the structure group of the frame bundle of ''E'', which is the real general linear group ''GL''n(R), can be reduced to the subgroup consisting of those with positive determinant. If ''E'' is a real vector bundle of rank ''n'', then a choice of metric on ''E'' amounts to a reduction of the structure group to the orthogonal group ''O''(''n''). In that situation, an orientation of ''E'' amounts to a reduction from ''O''(''n'') to the special orthogonal group ''SO''(''n''). A vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
