Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Holomorphic vector bundle
Summary
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 .
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood