Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Holomorphic vector bundle
Résumé
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X 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.
Specifically, one requires that the trivialization maps
are biholomorphic maps. This is equivalent to requiring that the transition functions
are holomorphic maps. The holomorphic structure on the tangent bundle of a complex manifold is guaranteed by the remark that the derivative (in the appropriate sense) of a vector-valued holomorphic function is itself holomorphic.
Let E be a holomorphic vector bundle. A local section s : U → EU is said to be holomorphic if, in a neighborhood of each point of U, it is holomorphic in some (equivalently any) trivialization.
This condition is local, meaning that holomorphic sections form a sheaf on X. This sheaf is sometimes denoted , or abusively by E. Such a sheaf is always locally free of the same rank as the rank of the vector bundle. If E is the trivial line bundle then this sheaf coincides with the structure sheaf of the complex manifold X.
There are line bundles over whose global sections correspond to homogeneous polynomials of degree (for a positive integer). In particular, corresponds to the trivial line bundle. If we take the covering then we can find charts defined byWe can construct transition functions defined byNow, if we consider the trivial bundle we can form induced transition functions . If we use the coordinate on the fiber, then we can form transition functionsfor any integer . Each of these are associated with a line bundle .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.