Boundaries in the Instantaneous Formulation of Field Theories

問題の所在
本論文は、古典場理論の瞬時的（(3+1)）フレームワークにおける境界条件の厳密な定式化を取り扱うものであり、特にGiMmsy（Gotay, Isenberg, Marsden, Montgomery, Sniatycki, および Yasskin）によって開発された共変的かつ瞬時的な形式を拡張するものである。境界と局所化可能な対称性グループとの相互作用は、標準的なハミルトニアン・カノニカル形式においては十分に研究されているが、瞬時的なラグランジアン、ルジャンドル変換、および境界が存在する場合の結果としての相空間構造を含む、完全な瞬時的定式化については、厳密な基礎が欠けていた。中心となる問題は、境界条件が場の構成（configuration）やその速度を制限する場合（例えば、境界において速度がゼロになることのみを要求する場合など）において、瞬時的な状態空間および相空間をどのように特徴付けるかである。

手法
著者は、時空 $M$ をコーシー面 $\Sigma_t$ へと3+1分解するGiMmsyの幾何学的フレームワークを用いる。手法は以下の通りである：

1. フレームワークの拡張： 瞬時的な構成空間 $Q_t = \Gamma(Y_t)$ およびその接束 $TQ_t$ は、共変的なジェットと瞬時的な空間的ジェットおよび速度を関連付けるジェット分解写像 $\beta_\zeta$ を通じて定義される。
2. 境界条件の分析： 本論文では、2種類の境界条件を区別する：
   • 定数ディリクレ条件： 場の構成が境界において特定の値 $b_t$ に固定されており、この値はスライシングの流れの下で一定である。
   • 速度消失条件： 場の構成は境界において変化することを許容されるが、その時間微分（速度）はゼロであることが要求される（$\dot{\phi}|_{\partial \Sigma} = 0$）。
3. 幾何学的特徴付け： 境界制限写像 $r_t: Q_t \to \Gamma(Y_t|_{\partial \Sigma_t})$ の性質を用いて、著者による許容可能な状態空間の構造の分析を行う。定数ディリクレ条件の場合、状態空間は単一の接束となることが示される。速度消失条件の場合、状態空間は、境界構成によってインデックス付けされた接束の非連結和となることが示される。
4. ルジャンドル変換： この「セクター化された」状態空間（許容可能な速度束 $D$）上で、ファイバー微分を用いた瞬時的ルジャンドル変換が定義される。得られた相空間のシンプレクティック構造およびポアソン構造が分析される。
5. ヤン・ミルズへの適用： この形式は、漸近的境界条件を持つコンパクト化された空間スライス上のヤン・ミルズ理論に適用される。ゲージ群の作用が分析され、どの変換がハミルトニアンであり（運動量写像を持つ）、どれがそうでないかが決定される。

主要な貢献と結果

• 瞬時的状態空間の構造：

  • 定数ディリクレ境界条件の下では、瞬時的な状態空間は、特定の境界条件を満たす構成空間の接束 $TQ_b$ と同型である（命題 3.5）。
  • 境界値は固定せず、速度のみがゼロとなる条件の下では、瞬時的な状態空間は単一の接束ではなく、接束の非連結和（「セクター構造」）となる：$D = \bigsqcup_{b} TQ_b$ （系図 3.6）。各セクターは、固定された境界構成 $b$ に対応する。

• ルジャンドル変換と相空間構造：

  • ルジャンドル変換は、許容可能な速度束 $D = \ker(Tr)$ 上で厳密に定義される。得られる主要な相空間 $P$ は、相空間 $P_b \subset T^*Q_b$ の非連結和である。
  • 全体としての相空間 $P$ は、境界構成に対する共役運動量が欠如しているため、大域的なシンプレクティック構造を持たない。代わりに、それはリーフワイズ（葉状）標準的ポアソン構造を有しており、そのシンプレクティック・リーフは個々のセクター $T^*Q_b$ である（注釈 4.5）。

• ゲージ変換と運動量：

  • ヤン・ミルズ理論において、境界構成を変化させるゲージ変換（セクター間を移動するもの）は、$P$ 上のポアソン構造に関して非ハミルトニアンであることが示される。これらは異なるシンプレクティック・リーフ間を写し、この定式化において境界運動量が未定義であるため、古典的な運動量写像を欠いている。
  • 境界セクターを保持するゲージ変換（スタビライザー部分群 $G_b$）はハミルトニアンである。その運動量写像には、電場フラックスに対応する境界項が含まれる。

• 物理的対称性群の定義：

  • 本論文は、物理的な境界対称性群の新しい定義として、$G_{phys} := G_{Ham} / G_{triv}$ を提案する。ここで $G_{Ham}$ は境界を保存するハミルトニアン変換であり、$G_{triv}$ は自明な（冗長な）変換である。
  • 電磁気学 ($U(1)$): すべてのセクターにわたる物理的対称性群は、$U(1)$ の大域的ゲージ群と同型であることが判明した。これは、定数変換がすべてのセクターを保持し、非ゼロのフラックス運動量を運ぶためである。
  • 非アーベル・ヤン・ミルズ: 境界の局所化（trivialization）において、全セクターにわたる物理的対称性群は、特定の制限（$Ad(G)$不変な境界構成など）が課されない限り、自明（リー代数の中心）である。そのような場合には、大域的な群$G$ が再び現れる。

意義と主張
本論文は、境界が場理論の瞬時的定式化とどのように相互作用するかを理解するための、厳密な幾何学的基礎を提供すると主張している。特に、3+1分解、ルジャンドル変換、および境界フラックスの関係を明確にしている。

主な意義は、境界値が固定されていない場合、状態空間が自然にセクターへと分解され、その結果、相空間が大域的なシンプレクティック構造ではなく、リーフワイズのポアソン構造を持つようになることを示した点にある。この構造的な洞察は、なぜ「セクター移動型」のゲージ変換（境界接続を変化させるもの）が、この定式化においてハミルトニアン関数によって生成され得ないのかを説明している。したがって、本論文は、物理的な境界対称性は、ハミルトニアンである（すなわち、セクターを保持し、運動量写像を運ぶ）変換に限定されるべきであると論じている。これにより、漸近的対称性の理解を再定義し、単に物理的な観測量（運動量）を伴わずに超選択セクター間を移動するだけの変換と、漸近的対称性を区別している。

これらの結果は、速度消失境界条件の完全な一般性へと、先行研究（特に [9]）を拡張したものであり、フラックスの超選択セクターおよび境界の共役変数が存在しない状況におけるエッジモードの役割について、より明確な幾何学的イメージを提供している。