Math 2.0

Several complex variables and analytic spaces Definition

(p,q)-form

Builds on Differential formExterior algebraSmooth function

Definition

Let U⊆ℂnU \subseteq \C^n be an open set, with coordinates zj=xj+iyjz_j = x_j + i y_j. Consider complex-valued differential forms on UU, and put dzj=dxj+i dyjdz_j = dx_j + i\, dy_j and dzˉj=dxj−i dyjd\bar z_j = dx_j - i\, dy_j. For increasing tuples I=(i1<⋯<ip)I = (i_1 < \cdots < i_p) and J=(j1<⋯<jq)J = (j_1 < \cdots < j_q) of elements of {1,…,n}\set{1, \dots, n}, write dzI=dzi1∧⋯∧dzipdz_I = dz_{i_1} \wedge \cdots \wedge dz_{i_p} and dzˉJ=dzˉj1∧⋯∧dzˉjqd\bar z_J = d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}. Let p,q≥0p, q \ge 0 be integers. A (p,q)(p, q)-form on UU is a differential form ω=∑∣I∣=p, ∣J∣=qωIJ dzI∧dzˉJ,\omega = \sum_{\abs{I} = p, \ \abs{J} = q} \omega_{IJ} \, dz_I \wedge d\bar z_J, where the sum runs over increasing tuples and each ωIJ ⁣:U→ℂ\omega_{IJ} \colon U \to \C is a smooth function.

Remarks

The forms dzI∧dzˉJdz_I \wedge d\bar z_J with ∣I∣+∣J∣=k\abs{I} + \abs{J} = k form a basis of the complex kk-th exterior power of the cotangent space at each point. So every complex kk-form is, in a unique way, a sum of (p,q)(p, q)-forms with p+q=kp + q = k. Example: ω=zˉ1 dz1∧dzˉ2\omega = \bar z_1 \, dz_1 \wedge d\bar z_2 on ℂ2\C^2 is a (1,1)(1, 1)-form, with ω(1)(2)=zˉ1\omega_{(1)(2)} = \bar z_1 and all other coefficients zero. Non-example: dx1=12dz1+12dzˉ1dx_1 = \tfrac12 dz_1 + \tfrac12 d\bar z_1 is a 11-form whose (1,0)(1, 0) and (0,1)(0, 1) parts are both nonzero, so it is not a (p,q)(p, q)-form for any (p,q)(p, q). A holomorphic change of coordinates w=F(z)w = F(z) gives dwk=∑j∂Fk∂zjdzjdw_k = \sum_j \frac{\partial F_k}{\partial z_j} dz_j with no dzˉjd\bar z_j terms, so the type (p,q)(p, q) is preserved; thus (p,q)(p, q)-forms are defined on complex manifolds. The space of (p,q)(p, q)-forms on UU is often written ℰp,q(U)\mathcal{E}^{p, q}(U).

Reading path

To understand this page from the ground up, read these 4 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. Differential form concept
  2. Exterior algebra concept
  3. Smooth function concept
  4. (p,q)-form definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Complex_differential_form
About this page
TagP3PJGESDSF
URIm2://P3PJGESDSF
Kinddefinition
WritingW0 stub
MSC32W05, 58A10
Defines(p,q)-form
UsesDifferential form, Exterior algebra, Smooth function

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.