Pairs of differential forms: a framework for precontact geometry

技術要約：微分形式のペア：プレコンタクト幾何学のための枠組み

問題提起
本論文は、コンタクト力学の文脈において、特異なラグランジュ系を研究するための厳密な幾何学的枠組みの必要性に対処している。コンタクト幾何学は散逸系を効果的にモデル化できるが、標準的な定式化はしばにリープ（Reeb）ベクトル場の存在と一意性に依存している。プレコンタクト構造（非積分条件を弱めたコンタクト構造の一般化）を定義しようとするこれまでの試みは、リープベクトル場の存在を仮定していたため、特異なケースでは必ずしも成立しないという限界があった。さらに、既存のプレコンタクト形式の定義は、外微分（exterior derivative）のランクの定数性を必ずしも保証しておらず、潜在的な退化を引き起こす可能性があった。著者らは、プレコンタクト構造を、1形式と2形式のペアというより一般的な対象の特殊なケースとして分析することにより、プレコンタクト構造の幾何学的基礎を明確にすることを目的としている。

方法論
著者らは、滑らかな多様体 $M$ 上の微分1形式 $\tau$ と2形式 $\omega$ のペアである「ダブルレット（doublet）」$(\tau, \omega)$ を研究するという一般的なアプローチを採用している。彼らは緩やかな正則性条件を課しており、具体的には、このペアが一定の「クラス（class）」を持つことを要求している。

方法論は以下のステップを通じて進行する：

1. クラスの一般化： 微分形式の「クラス」という概念を、ペア $(\tau, \omega)$ へと拡張する。クラスは、特性分布 $K_{(\tau, \omega)} = \text{Ker}\,\tau \cap \text{Ker}\,\omega$ の余次元として定義される。
2. 代数的特徴付け： 著者らは、$\omega$ の外冪およびウェッジ積 $\tau \wedge \omega^r$ を含む代数的条件を通じて、これらのペアを特徴付ける。彼らは、クラスのパリティ（奇偶）と特定のベクトル場の存在との関係を確立する。
3. 幾何学的対象： 特性テンソル場 $B = \tau \otimes \tau + \omega$、拡張された特性分布、および拡張された3形式 $\tau \wedge \omega$ を含む、関連する幾何学的構造を導入し、分析する。
4. プレコンタクト形式への適用： プレコンタクト多様体の特定のケースは、決して零ではない1形式 $\eta$ のペア $(\eta, d\eta)$ として扱われる。一般的な結果を適用することで、奇数および偶数のクラスを持つプレコンタクト形式を特徴付ける。
5. 共形解析： 共形変換（関数 $e^f$ によるスケーリング）がクラスのパリティにどのように影響するかを調査し、クラスを偶数から奇数へ変化させる、あるいは奇数のパリティを保持するための関数の必要十分条件を導出する。

主要な貢献と結果

• クラスのパリティによる分類： 本論文は、ダブルレット $(\tau, \omega)$ のクラスのパリティが、以下の特別なベクトル場の存在を決定することを確立している：

  • 奇数クラス ($2r+1$): リープベクトル場 $R$（$\iota_R \tau = 1, \iota_R \omega = 0$ を満たす）の存在と等価である。この場合、特性分布は $\omega$ の核に含まれるが、その逆は成立しない。
  • 偶数クラス ($2r+2$): リウヴィルベクトル場 $\Delta$（$\iota_\Delta \omega = \tau$ を満たす）の存在と等価である。ここで、$\text{Ker}\,\omega \subset \text{Ker}\,\tau$ である。
    決定的なことに、リープベクトル場とリウヴィルベクトル場が同一のペアに対して共存することはない。

• 代数的特徴付け： 著者らは、クラスに関する明示的な代数的基準を提供する：

  • クラス $2r+1$: $\omega^{r+1} = 0$ かつ $\tau \wedge \omega^r \neq 0$。
  • クラス $2r+2$: $\omega^{r+1} = 0$, $\omega^r \neq 0$, かつ $\tau \wedge \omega^r = 0$。
    これらの条件により、ベクトル場を明示的に構成することなくクラスを判定することが可能となる。

• 幾何学的構造：

  • 特性テンソル： テンソル $B = \tau \otimes \tau + \omega$ は束の射（bundle morphism）を定義する。奇数クラスの場合、$B$ が同型であるための必要十分条件は、特性分布がゼロであること（コンタクトの場合）である。偶数クラスの場合、$B$ の核はリウヴィル場に関連する。
  • 拡張された特性分布： ベクトル $v \in \text{Ker}\,\tau$ であって $\iota_v \omega = a\tau$ を満たすものとして定義される。本論文は、この分布が奇数クラスでは特性分布と一致するが、偶数クラスでは（特性分布とリウヴィル場によって生成されるため）それよりも厳密に大きくなることを示している。
  • 拡張された3形式： $\tau \wedge \omega$ という形式は、クラスが多様体の次元に等しい（かつ奇数である）場合にのみ、マルチシンプレクティック（almost-multisymplectic）となることが示されている。

• プレコンタクト形式： プレコンタクト形式は、ペア $(\eta, d\eta)$ が一定のクラスを持つ、決して零ではない1形式 $\eta$ として定義される。

  • 本論文は、奇数および偶数の両方のクラスに対するダルブーの定理を提供し、$\eta$ の局所座標表示を与える。
  • プレコンタクト多様体において、特性分布、$\text{Ker}\,d\eta$、および拡張された特性分布がすべて可積分であることを証明している。

• ハミルトン力学： 著者らは、リープベクトル場に依存しない定式化を用いて、プレコンタクト多様体上のハミルトン力学を定義する。関数 $H$ に対するプレコンタクト・ハミルトンベクトル場 $X$ は、次のように定義される：
  $$(\iota_X d\eta) \wedge \eta = dH \wedge \eta \quad \text{および} \quad \iota_X \eta = -H$$
  この定式化は、クラスが奇数か偶数かにかかわらず有効であり、リープ場の一意性を必要とした従来の作業の限界に対処している。

• 共形によるパリティの変化： 共形変化 $\eta \to e^f \eta$ がクラスのパリティを変化させる条件を調査する。

  • 偶数から奇数へ： 関数 $f$ がクラスを $2r+2$ から $2r+1$ へ変化させるための必要十分条件は、すべてのリウヴィルベクトル場 $\Delta$ に沿ったリー微分が $\mathcal{L}_\Delta f = -1$ を満たすことである。
  • 奇数の保持： 関数 $f$ が奇数クラス $2r+1$ を保持するための必要十分条件は、特性分布内のすべての $\Gamma$ に対して $\mathcal{L}_\Gamma f = 0$ であることである。
  • 著者らは、（分布の可積分性を含む）関数の局所的な存在に関する十分条件を提供している。

意義と範囲
本論文は、標準的な非積分条件が成立しない、あるいはリープベクトル場が一意でない、または存在しないような特異なケースを含む、コンタクト幾何学を拡張する統一的な枠組みを提供すると主張している。プレコンタクト構造を微分形式のペアの特殊な事例として扱うことで、著者らは既知の結果であるコンタクト、コズィンプレクティック、シンプレクティック、およびプレシンプレクティック幾何学を回収しつつ、偶数クラスのケースに関する新たな知見を提供している。

主な意義は以下の通りである：

1. 一般化： 奇数クラスのプレコンタクト形式という制限を超え、より広範な特異なラグランジュ系を包含すること。
2. リープ非依存の定式化： リープベクトル場の存在や一意性に依存しないプレコンタクト多様体上のハミルトン力学の定義を提供すること。これは、特異な系において極めて重要である。
3. 構造的明晰さ： 形式のクラスとそのパリティが、リープ場かリウヴィル場のどちらの存在を決定するかという幾何学的役割を明確にすること。

著者らは、この枠組みが特異なラグランジアン（作用依存型および非自律型の両方）の研究、およびクラスが一定ではない状況の分析に適用されることを意図していると述べているが、これら具体的な適用については、現在のテキストに提示された結果ではなく、今後の課題として記されている。