Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [holomorphic-bundles]

A complex vector bundle $\pi \colon E \to M$ is a vector bundle whose fiber bundles $\pi^{-1}(m)$ are a copy of $\mathbb{C}^k$. $\pi$ is a holomorphic vector bundle if it is a holomorphic map between complex manifolds and its transition functions are holomorphic. The simplest example is a ...

1
vote
0answers
37 views

(1,0)-forms/bundle problem

I'm reading the book of Andrei Moroianu, "Lectures on kahler geometry" and at the page 69 is this exercise: Can some one give me a hint? I'm kinda new to the subject.
1
vote
1answer
18 views

Holomorphic bundle - holomorphic structure problem

I'm reading the book of Andrei Moroianu, "Lectures on kahler geometry" and at the page 72 is this theorem: And the proof gose like this: And so on. My question is at the second to last proposition. ...
3
votes
0answers
27 views

Deformation theory of holomorphic vector bundles in Donaldson-Kronheimer

There is the Proposition 6.4.3 in Donaldson-Kronheimer as follows: Proposition (6.4.3) (i) There is a holomorphic map $\psi$ from a neighborhood of $0$ in $H^1(\operatorname{End} \mathscr{E})...
2
votes
0answers
33 views

A question about Narasimhan-Seshadri Donaldson theorem.

I see a statement of the theorem in Jonathan Evans' lecture note 13 An indecomposable Hermitian holomorphic vector bundle $\mathcal E$ on a Riemann surface $M$ is stable if and only if there is a ...
1
vote
0answers
51 views

(Real) holomorphic vector fields on Compact Kähler manifolds

I am trying to prove Proposition 2.1.1 of Gauduchon's note on Kähler extremal metrics (pag. 67). In order to show that, for compact Kähler manifolds, the complex Lie algebra of real holomorphic vector ...
1
vote
1answer
60 views

Is $\bigwedge^{p,0}M$ a holomorphic vector bundle?

I have difficulties in understanding how to show that a vector bundle is holomorphic. For instance, how can I prove that $\bigwedge^{p,0}M$ is a holomorphic vector bundle, where $M$ is a complex ...
1
vote
0answers
25 views

Let $M$ be a complex manifold. Why are the bundles $\bigwedge^{p, q}M$ not holomorphic vector bundles over $M$ for $q \neq 0$ ?

Let $M$ be a complex manifold. Can anyone help me understand why $\bigwedge^{p, q}M$ are not holomorphic vector bundles over $M$ for $q \neq 0$ ? I think it suffices to show that the transition maps ...
1
vote
1answer
29 views

Pullback of local sections over the total space

Let $\pi\colon P\to X$ be some $G$-principal bundle; $\{U_\alpha\}$ a cover of $X$; and $\{s_\alpha\colon U_\alpha\to\pi^{-1}(U_\alpha)\}$ a collection of local sections. Claim: The pullback $\pi^*P$ ...
3
votes
0answers
61 views

Three 'equivalent' definitions of a holomorphic vector bundle

I'm aware that similar questions have been asked here and here but neither of these seems to have settled my issue. I have the following three definitions of a holomorphic vector bundle (in all cases $...
1
vote
0answers
35 views

Complex Vector Bundle vs Holomorphic Vector Bundle vs Almost Complex Structures

I am writing because I am extremely confused with the structure of complex vector bundles. Ok first of all I understand that a complex vector bundle is a just a vector bundle $\pi:E\to X$ such that ...
0
votes
0answers
52 views

Picard Group coincides with Chern Classes via $H^1(X, \mathcal{C}_X ^*) = Pic(X)$

Let $X$ be a topological space, $\mathcal{C}_X$ the sheaf of $\mathbb{C}$-valued continuous functions. Let $Pic(X)$ the Picard groups, so the group of invertible line bundles $L \to X$ (or ...
1
vote
0answers
13 views

Holomorphic functions on Complex Space

Let $E$ be a holomorphic $m$-dimensional vector bundle over complex (analytic) space $X$ with projection $p:E \to X$. We now want to endow $E$ with sheaf structure $\mathcal{O}_E$ as follows: We set ...
1
vote
0answers
27 views

Extension of a vector bundle

I've got two isomorphic holomorphic vector bundle $E,E' \to X$, where $X=X'-\{x_0\}$ where $X'$ is a complex variety. I know that $E'$ is the restriction of an holomorphic bundle over $X'$. Can I ...
0
votes
1answer
72 views

conjugate bundle

The conjugate bundle $\bar{E}$ of a complex vector bundle E is defined as a complex vector bundle which is the same smooth manifold as E and same projection map but on each fiber has the complex ...
0
votes
0answers
26 views

Embedding holomorphic projective bundles into trivial bundles

I know that every finite-rank $\mathbb{R}$-vector bundle over a smooth manifold $M$ is a direct summand (hence a subbundle) of some trivial bundle $M\times\mathbb{R}^N$. I was wondering whether this ...
1
vote
1answer
80 views

Chern classes and the Jacobian

I am under the impression that a holomorphic line bundle is determined by its first Chern class. I mean this in the sense that $c_1 : H^1(X,\mathcal{O}_X^\ast) \to H^2(X,\mathbb{Z})$ is injective. I ...
0
votes
0answers
62 views

Simple question about Kahler polarization

Differential geometry: Let $S$ be a Kahler surface. That is a 4 real dimensional surface or a complex 2 dimensional one. Since by definition $S$ is complex it comes equipped with a Kahler 2-form $J$. ...
2
votes
0answers
141 views

The global sections of the holomorphic line bundles $E^k \to P_1(\mathbb{C})$

Here $U_{r,n}$ is the disjoint union of the $r$-planes ($r$-dimensional $\mathbb{C}$-linear subspaces) in $\mathbb{C}^n$. I am confused with how he used $f_i\circ\phi_i^{-1}$ to get $\mathcal{O}(P_1(\...
1
vote
2answers
221 views

Rank and smooth section of a tautological vector bundle on $\mathbb{C}P^{1}$

The tautological vector bundle on $\mathbb{C}P^{1}=S^2$ is given by $L=\{(l,v) \ \vert \ l \subset \mathbb{C}^{2},\ \dim_{\mathbb{C}}l=1,\ v \in l\}$. How do I find it's rank as a real vector bundle; ...
2
votes
1answer
54 views

The definition of the line bundle $E^k\to P_1(\mathbb{C})$

Here is an example from the book of differential analysis on compact manifold. But I feel confused with using the transition function $g_{0,1}^k$ to define the line bundle $E^k\to P_1(\mathbb{C})$. ...
5
votes
0answers
212 views

Applying Riemann-Roch on the tangent bundle

Recently, I encountered the version of the Riemann-Roch theorem for line bundles $\mathscr L$ on a compact Riemann surface $X$: $$\dim H^0(X,\mathscr L) - \dim H^1(X,\mathscr L) = 1 - g + c_1(\mathscr ...
3
votes
0answers
33 views

Connection of $\mathcal{O}_{\mathbb{P}^1 \times \mathbb{P}^1}(a,b)$

In this question- Connection of $\mathcal{O}(n)$ on a toric manifold, it is explained that the covariant derivative on $\mathcal{O}(n)$ is given by $$ \nabla=d+nA, $$ where $A$ is the connection on a ...
0
votes
0answers
33 views

Elementary question about toric realization of $\mathbb{P}^2$

I am studying a physics paper entitled "Branes and Toric Geometry" by Leung and Vafa, where (on page 6) they introduce the toric realization of $\mathbb{P}^2$ by drawing a (right-angled) triangle a ...
7
votes
0answers
135 views

How to write holomorphic line bundles on compact Riemann surfaces in coordinates

I would like to write down coordinate charts for holomorphic vector bundles on a smooth complex (compact) curve $C$. For example, if $C = \mathbb C \mathbb P^1 = \{ [x_0 : x_1 ] \}$, let \begin{...
2
votes
0answers
173 views

holomorphic line bundles

Consider the unit disk $\mathbb D \subset \mathbb R^2$, and a holomorphic map $f :\mathbb D \to \mathbb D$. $df$ can be thought of as $df: T^{0,1}D \to f^*(T^{0,1}D)$(the pull back), that is, an ...
2
votes
0answers
95 views

Narasimhan-Seshadri and Weil's theorem

I am trying to make sense of how the following two statements fit together. Here, $X$ is a compact Riemann surface and $E$ is a holomorphic vector bundle of rank $r$ over $X$. Theorem 1 (Weil): Let $...
3
votes
1answer
52 views

the natural isomorphism $H^0(\mathbb P^n, T_{\mathbb P^n}(-1)) \cong H^0(\mathbb P^n, \mathcal O_{\mathbb P^n}(1))^\vee $

I have trouble in proving the natural isomorphism $$H^0(\mathbb P^n, T_{\mathbb P^n}(-1)) \cong H^0(\mathbb P^n, \mathcal O_{\mathbb P^n}(1))^\vee $$ where '$\vee$' stands for the dual space, and $T_{\...
1
vote
1answer
103 views

Isomorphism of Holomorphic Vector Bundles

Given two holomorphic vector bundles $E,F \rightarrow X$ over a complex manifold $X$, an isomorphism is defined to be a holomorphic map $f: E \to F$ such that $f_x: E_x \to F_x$ is a linear ...
2
votes
0answers
47 views

Subbundles of Direct Sum of Holomorphic Line Bundles

Given a holomorphic line bundle $L$ on a Riemann surface $M\,,$ with $L^2$ nontrivial, when is it true that the only holomorphic subbundles of $$L\oplus L^{-1}$$ are $L\oplus\{0\}$ and $\{0\}\oplus L^{...
1
vote
0answers
146 views

meaning of positive line bundle $\mathcal{O}_X(Y)= (\mathcal{I}_Y)$*

I am reading Voisin Hodge theory part 2. On page 37 a condition to a theorem (theorem 1.29) is written as: positive line bundle $\mathcal{O}_X(Y)= (\mathcal{I}_Y)$*. Y a smooth hyper surface of X= $\...
3
votes
1answer
243 views

Which line bundles on a product of projective spaces are ample?

We know that $\text{Pic}(\mathbb{P}^r \times \mathbb{P}^s) \cong \mathbb{Z}^2$ via the pullbacks of the hyperplane bundles from the factors, namely $\mathcal{O}_{\mathbb{P}^r \times \mathbb{P}^s}(1,0)$...
0
votes
1answer
180 views

Exact sequences of vector bundles/spaces and isomorphisms between exterior powers

$$\DeclareMathOperator{\rk}{rk}$$ Remark. Given a short exact sequence of holomorphic vector bundles: $$0\to E\to F\to G\to0,$$ we cannot, in general, write $F\cong E\oplus G$, but it ...
4
votes
0answers
237 views

Roots of a canonical line bundle on a compact Riemann surface

Suppose we have a compact Riemann surface $X$ of genus $g$. Let $K$ denote the canonical line bundle on $X$, it's well known that $deg\ K=2g-2$. A square root of $K$ by definition is a holomorphic ...
2
votes
1answer
282 views

Bundle cohomology of a tensor product of line bundles

Consider a complex manifold $X$, and let $V$ be a holomorphic vector bundle on $X$ given by a Whitney sum of $n$ holomorphic line bundles $L_i$, i.e. let $V=\oplus_{i=1}^n L_i$. Further, if it is ...
1
vote
1answer
152 views

Sections of holomorphic vector bundles

Let $f:E\rightarrow F$ be a surjective morphism of holomorphic vector bundles on a complex manifold $X$. How I can prove that for each holomorphic section $s: U\rightarrow F$ there exists a section $t:...
4
votes
1answer
149 views

Available techniques for computing normal bundles of rational curves

If you have a complex manifold $Z$, and if you have a $\mathbb{C}P^1$ embedded in $Z$, what are the available techniques/methods for computing the normal bundle of such a $\mathbb{C}P^1$? I am aware ...
1
vote
1answer
101 views

Neron-Severi group= $H^{(1,1)}(X,\mathbb{Z})$

Where does my confusion arise from? I am getting $H^{(1,1)}(X,\mathbb{Z})=NS(X)$, the Neron-Severi group, however in any reference I don't find this remarkable thing. Let $X$ be a Kahler manifold. ...
3
votes
0answers
80 views

Natural line bundle over $\mathbb{P}^n$

What follows is from the book "Mirror Symmetry" by Hori et. al. From the definition of $\mathbb{P}^n$ we see there is a natural line bundle over $\mathbb{P}^n$ whose fiber over a point $l$ in $\...
3
votes
1answer
87 views

Vanishing of $H^0(X,\mathcal{L})$ and $H^0(X,\mathcal{L}^{-1})$

We have this fact: If $X$ is a smooth projective variety, and $\mathcal{L}$ is a line bundle, and $\mathcal{L}^{-1}$ its dual, then $H^0(X,\mathcal{L})$ and $H^0(X,\mathcal{L}^{-1})$ cannot both ...
2
votes
1answer
273 views

Why is every holomorphic line bundle over $\mathbb{C}$ trivial?

Why is every holomorphic line bundle over $\mathbb{C}$ necessarily trivial? I am having a hard time finding a proof to this seemingly innocuous fact. I have tried showing that such a line bundle ...
2
votes
1answer
175 views

Determinants of exact sequence of bundles

Let $X$ be a complex manifold. Let $$0\rightarrow E\rightarrow F\rightarrow G\rightarrow 0$$ be an exact sequence of holomorphic bundles over $X$. Show that $\det F\cong\det E\otimes\det G$. I ...
3
votes
0answers
152 views

When are two line bundles isomorphic?

Probably not a very deep question follows. I struggle to understand the idea of the Picard group. I want to understand when two line bundles are isomorphic. Is there a nice illustrative example? For ...
10
votes
1answer
245 views

Confusion about Positive Curvature in Holomorphic Bundles.

I'm trying to understand the principle that curvature decreases in holomorphic subbundles and increases in quotient bundles as shown in G-H (Griffiths Harris) page 78-79. Setup: Let $E\rightarrow M$...
1
vote
0answers
41 views

Abel Jacobi Theorem from sheaf theory

I studied the Abel Jacobi Theorem defining the Picard group as $$Pic(X) = \frac{ \{ D: X \rightarrow \mathbb{Z} \; \text{ with support free from accumulation point} \}}{ \{ \text{divisors of non ...
1
vote
0answers
84 views

What is the difference between $\mathcal{O}_X$ and $\mathcal{O}_X(n)$?

I would like to understand is the difference between the line bundle $\mathcal{O}_X$ and the fiber bundle $\mathcal{O}_X(n)$ which can be written as $\bigotimes_n \mathcal{O}_X(1)$ on $\mathbb{P}^1$. $...
4
votes
1answer
140 views

Adjunction formula for sub varieties of $\mathbb{P}^n$

I am having some trouble in using the adjunction formula to compute the canonical bundle of a hyper surface of degree d in $\mathbb{P}^n$. My first question is more general and deals with the ...
6
votes
1answer
211 views

Atiyah Bundles over Elliptic Curves

I am reading the paper "Vector Bundles over Elliptic Curves" by Atiyah. I get a problem in understanding the "uniqueness" of the Atiyah bundles. Let me fix the notation first: $X$ is an elliptic over ...
6
votes
1answer
491 views

If a holomorphic bundle is smoothly trivial, is it holomorphically trivial?

Let $E\rightarrow X$ be a holomorphic vector bundle which is smoothly trivial (i.e. $E$ has a smooth global frame). Can we say that $E$ is holomorphically trivial? If yes, then what about the ...
6
votes
2answers
304 views

Holomorphic vector bundles on almost complex manifolds

Let $M$ be a real manifold with complex structure $J$, making $M$ into an almost complex manifold. I know that the complexification $T_{\textbf{C}}M = TM\otimes \textbf{C}$ of the tangent bundle $TM$ ...
2
votes
0answers
97 views

Basic question: Curvature transforms under Complexified Gauge Transformation

Let $E$ be a holomorphic vector bundle over a Riemann surface $M$ equipped with a Hermitian metric. Let $\nabla$ be the compatible connection on $E$ amd $g$ is a self adjoint complexified gauge ...