CR多様体
CR多様体とは,微分可能多様体 M {\displaystyle M} とその上の複素化(英語版)(complexified)された接束 C T M = T M ⊗ C {\displaystyle \mathbb {C} TM=TM\otimes \mathbb {C} } の部分ベクトル束 L {\displaystyle L} で次の条件を満たすものの組 ( M , L ) {\displaystyle (M,L)} のことである:
[ L , L ] ⊂ L {\displaystyle [L,L]\subset L} ( L {\displaystyle L} は可積分(integrable)である ),
L ∩ L ̄ = { 0 } {\displaystyle L\cap {\bar {L}}=\{0\}} .