Math 2.0

Several complex variables and analytic spaces Definition

Positive line bundle

Builds on Holomorphic line bundleHermitian metric on a vector bundleChern connectionComplex manifoldPositive definite matrix

Definition

Let XX be a complex manifold and let L→XL \to X be a holomorphic line bundle. For a Hermitian metric hh on LL, let Θh\Theta_h be the curvature of its Chern connection, a (1,1)(1,1)-form on XX. In local coordinates z1,…,znz_1, \dots, z_n write iΘh=i∑j,kajk dzj∧dzˉki \Theta_h = i \sum_{j,k} a_{jk}\, dz_j \wedge d\bar z_k; the matrix (ajk)(a_{jk}) is Hermitian. The line bundle LL is positive if some Hermitian metric hh on LL has (ajk(x))(a_{jk}(x)) positive definite at every point x∈Xx \in X.

Remarks

If ee is a local holomorphic frame of LL and ∣e∣h2=e−φ\abs{e}_h^2 = e^{-\varphi}, then iΘh=i∂∂ˉφi \Theta_h = i \partial \bar\partial \varphi. So LL is positive exactly when some metric has local weights φ\varphi that are strictly plurisubharmonic. The form i2πΘh\frac{i}{2\pi} \Theta_h represents the first Chern class c1(L)c_1(L), so positivity implies that c1(L)c_1(L) contains a Kähler form.

Example: 𝒪(1)\mathcal{O}(1) on ℙn\mathbb{P}^n with the metric dual to the standard metric on 𝒪(−1)\mathcal{O}(-1). On {z0≠0}\set{z_0 \ne 0} with affine coordinates zz, the dual frame e∗e^* has ∣e∗∣2=(1+∣z∣2)−1\abs{e^*}^2 = (1 + \abs{z}^2)^{-1}, so φ=log⁡(1+∣z∣2)\varphi = \log(1 + \abs{z}^2). Then i∂∂ˉφi \partial \bar\partial \varphi is the Fubini–Study form, which is positive definite at each point.

Non-example: the trivial line bundle on a compact connected complex manifold XX of positive dimension. Any metric is ∣1∣h2=e−φ\abs{1}_h^2 = e^{-\varphi} for a global smooth function φ\varphi. At a maximum point of φ\varphi the complex Hessian (∂2φ/∂zj∂zˉk)(\partial^2 \varphi / \partial z_j \partial \bar z_k) is negative semidefinite, so it is not positive definite there.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Chern connection concept
  2. Complex manifold concept
  3. Hermitian metric on a vector bundle concept
  4. Holomorphic line bundle concept
  5. Positive definite matrix concept
  6. Positive line bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Ample_line_bundle
About this page
Tag9TTJRYP841
URIm2://9TTJRYP841
Kinddefinition
WritingW0 stub
MSC32L05, 32Q15, 14C20
DefinesPositive line bundle
UsesHolomorphic line bundle, Hermitian metric on a vector bundle, Chern connection, Complex manifold, Positive definite matrix

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.