Math 2.0

Several complex variables and analytic spaces Definition

CR manifold

Builds on Smooth manifoldTangent bundleVector bundleLie bracket of vector fields

Definition

Let MM be a smooth manifold and let TℂM=TM⊗ℝℂT_\C M = TM \otimes_\R \C be its complexified tangent bundle. A CR structure on MM is a complex vector subbundle L⊆TℂML \subseteq T_\C M such that:

  1. L∩L‾=0L \cap \overline{L} = 0, where L‾\overline{L} is the complex conjugate subbundle;
  2. LL is involutive: for all smooth sections XX, YY of LL, the Lie bracket [X,Y][X, Y] is a section of LL.

A CR manifold is a smooth manifold with a CR structure. The complex rank of LL is its CR dimension, and dim⁡ℝM−2rank⁡ℂL\dim_\R M - 2 \operatorname{rank}_\C L is its CR codimension.

Remarks

Example: let MM be a smooth real hypersurface of ℂn\C^n, and let Lp=Tp1,0ℂn∩(TpM⊗ℂ)L_p = T^{1,0}_p \C^n \cap (T_p M \otimes \C) for p∈Mp \in M, where T1,0ℂnT^{1,0}\C^n is spanned by the ∂/∂zj\partial / \partial z_j. This is a subbundle of rank n−1n - 1. Clause 1 holds because T1,0ℂn∩T0,1ℂn=0T^{1,0} \C^n \cap T^{0,1} \C^n = 0. Clause 2 holds because T1,0ℂnT^{1,0} \C^n is involutive and vector fields tangent to MM have brackets tangent to MM. So MM is a CR manifold of CR dimension n−1n - 1 and CR codimension 11.

Non-example: on M=ℝM = \R, the complex line bundle LL spanned by ∂/∂x\partial / \partial x is involutive but satisfies L‾=L\overline{L} = L, so clause 1 fails.

When rank⁡ℂL=1\operatorname{rank}_\C L = 1, clause 2 holds automatically, since [fX,gX]=(f Xg−g Xf)X[fX, gX] = (f \, Xg - g \, Xf) X. When dim⁡ℝM=2rank⁡ℂL\dim_\R M = 2 \operatorname{rank}_\C L, a CR structure is the same as an integrable almost complex structure, by the Newlander–Nirenberg theorem. Some authors call a structure that satisfies only clause 1 an almost CR structure.

Reading path

To understand this page from the ground up, read these 5 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. Lie bracket of vector fields concept
  2. Smooth manifold concept
  3. Tangent bundle concept
  4. Vector bundle concept
  5. CR manifold definition

Further reading

  1. Web https://en.wikipedia.org/wiki/CR_manifold
About this page
TagA2VXXBYX6A
URIm2://A2VXXBYX6A
Kinddefinition
WritingW0 stub
MSC32V05, 32V40
DefinesCR manifold
UsesSmooth manifold, Tangent bundle, Vector bundle, Lie bracket of vector fields

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.