定理 を 上の 1-form を成分とする列ベクトルとし， 行列 は可逆であるとする． このときつぎは同値． (1) 任意の に対し， をみたす 写像 が存在する． (2) 上の 1-form を成分とする 行列 が存在して，

http://jp.arxiv.org/abs/0912.3785