Holomorphic bundles on O(-k) are algebraic

Elizabeth Gasparim
DOI: https://doi.org/10.48550/arXiv.alg-geom/9608027
1996-09-10
Abstract:We show that holomorphic bundles on O(-k) for k > 0 are algebraic. We also show holomorphic bundles on O(-1) are trivial outside the zero section.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the algebraic properties of holomorphic bundles on specific manifolds. Specifically, the author Elizabeth Gasparim studied the properties of holomorphic bundles on the projective line bundle \(O(-k)\) and proved the following two main conclusions: 1. **Algebraicity of Holomorphic Bundles**: The author proved that for \(k > 0\), the holomorphic bundles defined on \(O(-k)\) are algebraic (that is, they can be described by objects in algebraic geometry). This solves the problem of whether holomorphic bundles have an algebraic structure. 2. **Triviality outside the Zero - Section**: The author further proved that the holomorphic bundles on \(O(-1)\) are trivial outside the zero - section, which means that these vector bundles can be simplified to a simpler form in the part after removing the zero - section. ### Analysis of Specific Problems #### 1. Algebraicity of Holomorphic Bundles The author proved that the holomorphic bundles on \(O(-k)\) are algebraic through the following steps: - **Lemma 2.1**: Holomorphic bundles can be represented as extensions of line bundles. By constructing appropriate coordinate transformations, the author simplified the transition matrix to the form of an upper triangular matrix, thus proving this point. - **Theorem 2.2**: For a holomorphic bundle \(E\) of any rank, its restriction on \(O(-k)\) can be described by a specific polynomial transition matrix, thus proving that it is algebraic. #### 2. Triviality outside the Zero - Section The author proved that the holomorphic bundles on \(O(-1)\) are trivial outside the zero - section through the following steps: - **Lemma 3.1**: Line bundles are trivial outside the zero - section. By constructing global holomorphic sections, the author proved this point. - **Theorem 3.2**: For a holomorphic bundle \(E\) on \(O(-1)\), its restriction \(F\) outside the zero - section is trivial. By considering the Blow - up map \(\pi\) from \(O(-1)\) to \(\mathbb{C}^2\), the author proved that \(\pi^*(F)\) is trivial on \(\mathbb{C}^2-\{0\}\), thus deducing that \(F\) is also trivial. ### Summary The main contribution of this paper is to prove that the holomorphic bundles on \(O(-k)\) have an algebraic structure and that the holomorphic bundles on \(O(-1)\) are trivial outside the zero - section. These results provide an important theoretical basis for understanding the geometric and algebraic properties of holomorphic bundles. If you have more specific questions or need further explanations, please feel free to let me know!