Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration

技術要約：ポストHopfアルベルロイド、ポストLie-Rinehart代数、および幾何学的数値積分

問題設定
本論文は、ポストLieアルベルロイド（ポストLie-Rinehart代数とも呼ばれる）の普遍包絡代数を研究するための統一的な代数的枠組みの必要性に対処している。ポストLie代数とそのポストHopf代数への積分は、多様体上の数値積分やレギュラリティ構造の文脈ですでに確立されているが、非可換または非自明な基底代数上のアルベルロイドの設定への一般化が欠けていた。具体的には、著者らは、エキゾチックなアロマティックS級数の研究においてBronascoと第一著者によって導入された「プレHopfアルベルロイド」の概念を、「ポスト代数的」な文脈へと一般化することを目指している。目標は、ポストLie-Rinehart代数の普遍包絡代数を構成し、それが自然にポストHopfアルベルロイドの構造を持つことを示すことで、幾何学的数値積分、特に体積保存型Lie群法の基礎となる代数的基盤を提供することである。

手法
著者らは、Hopf代数およびポストHopf代数の定義を、可換な基底代数 $R$ 上のHopfアルベルロイドの設定へと一般化する、構成的な代数的アプローチを採用している。

1. ポストHopfアルベルロイドの定義： 著者らは、可換代数 $R$ 上の「弱ポストHopfアルベルロイド」の概念を導入している。この構造は、余可換なHopf $R$-代数 $(H, \iota)$ と、余積、余単位、および $R$-加群の構造と特定の適合条件を満たす線形写像 $\triangleright: H \otimes H \to H$ から構成される。さらに、関連するGrossman-Larson双代数上に、代数反自己同型 $\theta$（アンチポデットに類似したもの）の存在を要求することで、「ポストHopfアルベルロイド」を定義する。
2. 作用ポストHopfアルベルロイドの構成： 可換代数に対するポストHopf代数の作用を用いて、著者らは「作用ポストHopfアルベルロイド」と呼ばれる例のクラスを構成している。これには、可換なポストHopf代数 $A$ を用いたスマッシュ積代数 $R \# A$ が関与する。
3. 普遍包絡代数： 著者らは、ポストLieアルベルロイドの代数的類似物としてポストLie-Rinehart代数を定義している。著者らは、マグマ代数に $\text{Der}(R)$ への線形写像を付与した、自由ポストLie-Rinehart代数を構成する。そして、任意のポストLie-Rinehart代数の普遍包絡代数が、自然に弱ポストHopfアルベルロイドの構造を保持することを証明する。
4. ブレイディング演算子： 著者らは、ポストHopfアルベルロイドが、その関連するGrossman-Larson Hopfアルベルロイド上にブレイディング演算子を誘導することを示す。これは、ポストHopf代数で既知の結果を一般化したものである。
5. 数値解析への応用： 理論的枠組みは、滑らかな多様体上のベクトル場の研究に適用される。著者らは、Weitzenböck接続とLie括弧を備えた滑らかなベクトル場の空間を、ポストLie-Rinehart代数として特定する。著者らは、この普遍包絡代数を用いて「アロマティック数値フロー」を定義し、後退誤差解析を通じてその性質を分析する。

主要な貢献と結果

• ポストHopfアルベルロイドの導入： 本論文は、ポストHopf代数の一般化としてのポストHopfアルベルロイドを定義している。中心的な結果（定理2.13）は、任意の弱ポストHopfアルベルロイドが、新しい積 $\ast_\triangleright$（Grossman-Larson積）を介して「Grossman-Larson双代数」を生じさせることを示している。もしこの構造が反自己同型 $\theta$ を持つならば、この双代数はHopfアルベルロイドとなる（系2.19）。
• ブレイディング演算子： 定理2.24は、ポストHopfアルベルロイドが、その関連するGrossman-Larson Hopfアルベルロイド上に自然にブレイディング演算子を誘導することを確立している。これは、余可換なHopf代数におけるブレイディング演算子の概念をアルベルロイドの設定へと一般化したものである。
• 自由ポストLie-Rinehart代数： 定理3.18は、マグマ代数 $(V, \curvearrowright)$ と $\text{Der}(R)$ への線形写像 $f_V: V \to \text{Der}(R)$ によって生成される自由ポストLie-Rinehart代数を構成する。この構成は、自由ポストLie代数を利用し、アンカー写像を再帰的に拡張するものである。
• 普遍包絡構造： 主要な理論的結果（定理3.20）は、ポストLie-Rinehart代数 $(R, L, [\cdot,\cdot], \rho, \triangleright)$ の普遍包絡代数 $U_R(L)$ が弱ポストHopfアルベルロイドであることを証明している。ポストHopf積は、包絡代数上で再帰的に定義される。
• 作用ポストHopfアルベルロイド： 系3.22は、「作用ポストLie-Rinehart代数」（ポストLie代数 $\mathfrak{g}$ と $R$ への作用から構成されるもの）に対して、その普遍包絡代数が作用ポストHopfアルベルロイド $R \otimes U(\mathfrak{g})$ と同型であることを示している。
• 数値積分への応用：
  • 本論文は、平坦な接続を持つ多様体上の滑らかなベクトル場の代数を、ポストLie-Rinehart代数として特定している（命題4.1）。
  • 著者らは、ポストHopfアルベルロイドの構造 $C^\infty_F(M) \otimes U(X_F(M))$ を用いて、「アロマティック・ベクトル場」および「アロマティック数値フロー」（定義4.5）を導入している。
  • 著者らは、後退誤差解析を適用し、標準的なLie群法（Lie-Eulerなど）は一般に（第一オーダーを超えて）発散（体積）を保存できない一方で、アロマティック手法を用いることで、より高次の発散保存性を満たす手法を構築できることを示した（応用4.7）。具体的には、Lie-Euler法の一次のアロマティック修正は $\text{Div}(\tilde{F}_t) = O(t^3)$ を満たすのに対し、元の手法は $O(t)$ しか満たさないことが示されている。

意義と主張
本論文は、確率的および幾何学的数値積分における、エキゾチックなアロマティックS級数の研究のための代数的基盤を提供することを主張している。ポストHopfアルベルロイドをポストHopf代数へと一般化することにより、著者らはこれらの級数の合成および置換則の背後にある代数的構造を統一している。

その意義は、多様体上での幾何学的性質、特に体積保存（発散ゼロ条件）をより良く維持するのに適した「アロマティック数値フロー」を構築できる点にある。著者らは、厳密な発散ゼロの手法を作成することは未解決の問題であるが、ポストHopfアルベルロイドの枠組みを用いることで、標準的なLie群法よりも高い次数の保存特性を持つ「擬似発散ゼロ」の手法を設計できることを指摘している。本論文は、これらの構造が、将来的な発散ゼロのアロマティック数値手法の設計と研究にとって不可欠なツールであることを位置づけており、ポストLieの文脈における発散ゼロの修正ベクトル場の完全な特徴付けは今後の課題であるとしている。