Holomorphic tangent bundle
In mathematics, and especially complex geometry, the holomorphic tangent bundle of a complex manifold [math]\displaystyle{ M }[/math] is the holomorphic analogue of the tangent bundle of a smooth manifold. The fibre of the holomorphic tangent bundle over a point is the holomorphic tangent space, which is the tangent space of the underlying smooth manifold, given the structure of a complex vector space via the almost complex structure [math]\displaystyle{ J }[/math] of the complex manifold [math]\displaystyle{ M }[/math].
Definition
Given a complex manifold [math]\displaystyle{ M }[/math] of complex dimension [math]\displaystyle{ n }[/math], its tangent bundle as a smooth vector bundle is a real rank [math]\displaystyle{ 2n }[/math] vector bundle [math]\displaystyle{ TM }[/math] on [math]\displaystyle{ M }[/math]. The integrable almost complex structure [math]\displaystyle{ J }[/math] corresponding to the complex structure on the manifold [math]\displaystyle{ M }[/math] is an endomorphism [math]\displaystyle{ J: TM \to TM }[/math] with the property that [math]\displaystyle{ J^2 = -\operatorname{Id} }[/math]. After complexifying the real tangent bundle to [math]\displaystyle{ TM\otimes \mathbb{C} \to M }[/math], the endomorphism [math]\displaystyle{ J }[/math] may be extended complex-linearly to an endomorphism [math]\displaystyle{ J:TM\otimes \mathbb{C} \to TM\otimes \mathbb{C} }[/math] defined by [math]\displaystyle{ J(X+iY) = J(X) + i J(Y) }[/math] for vectors [math]\displaystyle{ X,Y }[/math] in [math]\displaystyle{ TM }[/math].
Since [math]\displaystyle{ J^2 = -\operatorname{Id} }[/math], [math]\displaystyle{ J }[/math] has eigenvalues [math]\displaystyle{ i, -i }[/math] on the complexified tangent bundle, and [math]\displaystyle{ TM\otimes \mathbb{C} }[/math] therefore splits as a direct sum
- [math]\displaystyle{ TM\otimes \mathbb{C} = T^{1,0} M \oplus T^{0,1} M }[/math]
where [math]\displaystyle{ T^{1,0} M }[/math] is the [math]\displaystyle{ i }[/math]-eigenbundle, and [math]\displaystyle{ T^{0,1} M }[/math] the [math]\displaystyle{ -i }[/math]-eigenbundle. The holomorphic tangent bundle of [math]\displaystyle{ M }[/math] is the vector bundle [math]\displaystyle{ T^{1,0} M }[/math], and the anti-holomorphic tangent bundle is the vector bundle [math]\displaystyle{ T^{0,1} M }[/math].
The vector bundles [math]\displaystyle{ T^{1,0} M }[/math] and [math]\displaystyle{ T^{0,1} M }[/math] are naturally complex vector subbundles of the complex vector bundle [math]\displaystyle{ TM\otimes \mathbb{C} }[/math], and their duals may be taken. The holomorphic cotangent bundle is the dual of the holomorphic tangent bundle, and is written [math]\displaystyle{ T_{1,0}^* M }[/math]. Similarly the anti-holomorphic cotangent bundle is the dual of the anti-holomorphic tangent bundle, and is written [math]\displaystyle{ T_{0,1}^* M }[/math]. The holomorphic and anti-holomorphic (co)tangent bundles are interchanged by conjugation, which gives a real-linear (but not complex linear!) isomorphism [math]\displaystyle{ T^{1,0} M \to T^{0,1} M }[/math].
The holomorphic tangent bundle [math]\displaystyle{ T^{1,0} M }[/math] is isomorphic as a real vector bundle of rank [math]\displaystyle{ 2n }[/math] to the regular tangent bundle [math]\displaystyle{ TM }[/math]. The isomorphism is given by the composition [math]\displaystyle{ TM\hookrightarrow TM\otimes \mathbb{C} \xrightarrow{\operatorname{pr}_{1,0}} T^{1,0} M }[/math] of inclusion into the complexified tangent bundle, and then projection onto the [math]\displaystyle{ i }[/math]-eigenbundle.
The canonical bundle is defined by [math]\displaystyle{ K_M = \Lambda^n T_{1,0}^* M }[/math].
Alternative local description
In a local holomorphic chart [math]\displaystyle{ \varphi=(z^1,\dots,z^n): U \to \mathbb{C}^n }[/math] of [math]\displaystyle{ M }[/math], one has distinguished real coordinates [math]\displaystyle{ (x^1,\dots,x^n,y^1,\dots,y^n) }[/math] defined by [math]\displaystyle{ z^j = x^j + i y^j }[/math] for each [math]\displaystyle{ j=1,\dots,n }[/math]. These give distinguished complex-valued one-forms [math]\displaystyle{ dz^j = dx^j + i dy^j, d\bar{z}^j = dx^j - i dy^j }[/math] on [math]\displaystyle{ U }[/math]. Dual to these complex-valued one-forms are the complex-valued vector fields (that is, sections of the complexified tangent bundle),
- [math]\displaystyle{ \frac{\partial}{\partial z^j} = \frac{1}{2}\left(\frac{\partial}{\partial x^j} - i \frac{\partial}{\partial y^j}\right), \quad \frac{\partial}{\partial \bar{z}^j} = \frac{1}{2}\left(\frac{\partial}{\partial x^j} + i \frac{\partial}{\partial y^j}\right). }[/math]
Taken together, these vector fields form a frame for [math]\displaystyle{ \left.TM\otimes \mathbb{C}\right|_U }[/math], the restriction of the complexified tangent bundle to [math]\displaystyle{ U }[/math]. As such, these vector fields also split the complexified tangent bundle into two subbundles
- [math]\displaystyle{ \left.T^{1,0} M\right|_U := \operatorname{Span} \left\{ \frac{\partial}{\partial z^j} \right\},\quad \left.T^{0,1} M\right|_U := \operatorname{Span} \left\{ \frac{\partial}{\partial \bar{z}^j} \right\}. }[/math]
Under a holomorphic change of coordinates, these two subbundles of [math]\displaystyle{ \left.TM\otimes \mathbb{C}\right|_U }[/math] are preserved, and so by covering [math]\displaystyle{ M }[/math] by holomorphic charts one obtains a splitting of the complexified tangent bundle. This is precisely the splitting into the holomorphic and anti-holomorphic tangent bundles previously described. Similarly the complex-valued one-forms [math]\displaystyle{ dz^j }[/math] and [math]\displaystyle{ d\bar{z}^j }[/math] provide the splitting of the complexified cotangent bundle into the holomorphic and anti-holomorphic cotangent bundles.
From this perspective, the name holomorphic tangent bundle becomes transparent. Namely, the transition functions for the holomorphic tangent bundle, with local frames generated by the [math]\displaystyle{ \partial/\partial z^j }[/math], are given by the Jacobian matrix of the transition functions of [math]\displaystyle{ M }[/math]. Explicitly, if we have two charts [math]\displaystyle{ U_{\alpha}, U_{\beta} }[/math] with two sets of coordinates [math]\displaystyle{ z^j, w^k }[/math], then
- [math]\displaystyle{ \frac{\partial}{\partial z^j} = \sum_k \frac{\partial w^k}{\partial z^j} \frac{\partial}{\partial w^k}. }[/math]
Since the coordinate functions are holomorphic, so are any derivatives of them, and so the transition functions of the holomorphic tangent bundle are also holomorphic. Thus the holomorphic tangent bundle is a genuine holomorphic vector bundle. Similarly the holomorphic cotangent bundle is a genuine holomorphic vector bundle, with transition functions given by the inverse transpose of the Jacobian matrix. Notice that the anti-holomorphic tangent and cotangent bundles do not have holomorphic transition functions, but anti-holomorphic ones.
In terms of the local frames described, the almost-complex structure [math]\displaystyle{ J }[/math] acts by
- [math]\displaystyle{ J: \frac{\partial}{\partial z^j} \mapsto i\frac{\partial}{\partial z^j}, \quad \frac{\partial}{\partial \bar{z}^j} \mapsto -i \frac{\partial}{\partial \bar{z}^j}, }[/math]
or in real coordinates by
- [math]\displaystyle{ J: \frac{\partial}{\partial x^j} \mapsto \frac{\partial}{\partial y^j}, \quad \frac{\partial}{\partial y^j} \mapsto - \frac{\partial}{\partial x^j}. }[/math]
Holomorphic vector fields and differential forms
Since the holomorphic tangent and cotangent bundles have the structure of holomorphic vector bundles, there are distinguished holomorphic sections. A holomorphic vector field is a holomorphic section of [math]\displaystyle{ T^{1,0} M }[/math]. A holomorphic one-form is a holomorphic section of [math]\displaystyle{ T_{1,0}^* M }[/math]. By taking exterior powers of [math]\displaystyle{ T_{1,0}^* }[/math], one can define holomorphic [math]\displaystyle{ p }[/math]-forms for integers [math]\displaystyle{ p }[/math]. The Cauchy-Riemann operator of [math]\displaystyle{ M }[/math] may be extended from functions to complex-valued differential forms, and the holomorphic sections of the holomorphic cotangent bundle agree with the complex-valued differential [math]\displaystyle{ (p,0) }[/math]-forms that are annihilated by [math]\displaystyle{ \bar{\partial} }[/math]. For more details see complex differential forms.
See also
References
- Huybrechts, Daniel (2005). Complex Geometry: An Introduction. Springer. ISBN 3-540-21290-6.
- Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-05059-9
 |  |
