The purpose of this paper is to propose a version of the notion of convenient Lie groupoid as a generalization of this concept in finite dimension. The authors point out which obstructions appear in the infinite dimensional context and how an adapted notion of "bi-algebroid " in finite dimension (cf. \cite{MaXu94}) can be, nevertheless, recovered. This paper is self-contained and recalls some important properties of "partial Poisson manifolds" (cf. \cite{CaPe23}, Chapter~7) and "Banach Poisson Lie groups" (cf. \cite{Tum20}) needed for their purpose. The paper also gives an illustration of these concepts from all the results of A.~Odzijewicz and his collaborators on Lie groupoids and Von Neumann algebras.
論文ID : 2510.12688タイトル : Partial Poisson Lie groups and groupoids. Application to Von Neumann algebras著者 : Fernand Pelletier & Patrick Cabau分類 : math.DG(微分幾何学)、math.OA(作用素代数)発表日 : 2025年10月14日論文リンク : https://arxiv.org/abs/2510.12688v1 本論文は、convenient Lie群胚概念の一つのバージョンを提案することを目的としており、有限次元概念の無限次元情況への拡張として機能する。著者は無限次元背景で生じる障害を指摘し、無限次元情況で有限次元に適応した「双代数胚」概念をいかに復元するかを示している。本論文は自己完結的であり、「部分Poisson多様体」および「Banach Poisson Lie群」の重要な性質を概説している。さらに、Lie群胚とVon Neumann代数に関するA. Odzijewiczおよび協力者によるすべての結果を通じてこれらの概念を例示している。
有限次元理論の限界 : 古典的なPoisson群胚理論は主に有限次元情況で発展しており、Weinstein(1987年)によって導入され、元々CDW87およびZak90で定義されたシンプレクティック群胚の拡張として機能している。無限次元拡張の課題 : 無限次元背景、特にBanachおよびconvenient設定では、古典的なPoisson群胚理論は多くの技術的障害に直面している:積分曲線の存在性問題 特性分布の可積性 ラグランジュ部分空間の補空間問題 Von Neumann代数の応用需要 : A. Odzijewiczらの研究は、Poisson群胚理論をW*-代数の研究に応用する必要性を示しており、これは無限次元情況に適した理論枠組みの発展を要求している。本論文の主要な動機は、無限次元情況の技術的困難を扱うことができ、かつ適切な条件下で有限次元理論の古典的結果、特にMackenzie-Xu双代数胚理論を復元できる統一的な理論枠組みを確立することである。
部分Poisson convenient群胚概念の提案 :有限次元Poisson群胚の無限次元情況への自然な拡張として機能部分双代数胚理論の確立 :Mackenzie-Xuの古典的結果をconvenient設定に拡張sub-Poisson群胚構造の構成 :無限次元情況を扱うための新しいツールを提供上昇列理論の発展 :有限次元Poisson群胚の直極限によるconvenient Poisson群胚の構成Von Neumann代数への具体的応用 :理論の実用性を検証Mをconvenient多様体とし、p ♭ : T ♭ M → M p^♭: T^♭M → M p ♭ : T ♭ M → M をp M ′ : T ′ M → M p'_M: T'M → M p M ′ : T ′ M → M の弱部分束とする。部分Poisson構造は以下を含む:
反対称射P : T ♭ M → T M P: T^♭M → TM P : T ♭ M → TM Jacobi恒等式を満たすPoisson括弧{ ⋅ , ⋅ } P \{·,·\}_P { ⋅,⋅ } P convenient Lie群G上の部分Poisson構造( T ♭ G , T G , P , { ⋅ , ⋅ } P ) (T^♭G, TG, P, \{·,·\}_P) ( T ♭ G , TG , P , { ⋅,⋅ } P ) は、以下の場合に両側不変と呼ばれる:
( B i T ) (BiT) ( B i T ) T ♭ G T^♭G T ♭ G が両側不変である( B i P ) (BiP) ( B i P ) P P P が両側不変である以下の条件を満たす位相群胚G ⇒ M G ⇒ M G ⇒ M :
G G G はn.n.H. convenient多様体、M M M はHausdorff convenient多様体源写像s : G → M s: G → M s : G → M は沈没である 逆写像i : G → G i: G → G i : G → G は滑らかである 乗法m : G ( 2 ) → G m: G^{(2)} → G m : G ( 2 ) → G は滑らかである 「部分」概念の導入により、無限次元情況の技術的困難を回避:
T ♭ M = T ′ M T^♭M = T'M T ♭ M = T ′ M を要求しないPoisson錨の像が全切束でないことを許容 核空間が補可能でない場合を処理 Kriegl-Michorのconvenient微分幾何学枠組みを採用:
無限次元多様体の技術的問題を処理 直極限の良好な性質を保証 非Banach情況の処理を許容 有限次元対象の直極限による無限次元対象の構成:
G₁ ⊂ G₂ ⊂ ... ⊂ Gₙ ⊂ ...
G = lim→ Gₙ
G ⇒ M G ⇒ M G ⇒ M を部分Poisson Banach-Lie群胚とすると、以下が成立する:
部分多様体M M M はG G G において余等方的である G G G の逆写像は反Poisson射であるs s s がPoisson射、t t t が反Poisson射となるような唯一のLie Poisson代数層が存在するG ⇒ M G ⇒ M G ⇒ M を部分シンプレクティックconvenient Lie群胚とすると、以下が成立する:
部分多様体M M M はG G G においてラグランジュ的である 逆写像は反シンプレクティック写像である s s s とt t t がそれぞれPoisson射と反Poisson射となるような唯一の強Poisson構造が存在するG ⇒ M G ⇒ M G ⇒ M をBanach Lie-Poisson群胚とし、部分余法束N 0 ( M ) N^0(M) N 0 ( M ) がT M G ′ T'_{MG} T MG ′ の分裂Banach部分束であるとする。このとき( A G , A G ♭ ) (A_G, A_G^♭) ( A G , A G ♭ ) は部分双代数胚である。
Von Neumann代数M = L ∞ ( H ) M = L^∞(H) M = L ∞ ( H ) に対して:
射影格L ( L ∞ ( H ) ) ≅ L ( H ) L(L^∞(H)) ≅ L(H) L ( L ∞ ( H )) ≅ L ( H ) 群胚G ( L ∞ ( H ) ) ⇒ L ( L ∞ ( H ) ) G(L^∞(H)) ⇒ L(L^∞(H)) G ( L ∞ ( H )) ⇒ L ( L ∞ ( H )) Fredholm部分群胚G F r e d ( H ) ⇒ L F r e d ( H ) G_{Fred}(H) ⇒ L_{Fred}(H) G F re d ( H ) ⇒ L F re d ( H ) 余接束の部分群胚上でsub-Poisson構造を構成:
T ♭ ( T ∗ P 0 F r e d × T ∗ P 0 F r e d ) → T ( T ∗ P 0 F r e d × T ∗ P 0 F r e d ) T^♭(T_*P_0^{Fred} × T_*P_0^{Fred}) → T(T_*P_0^{Fred} × T_*P_0^{Fred}) T ♭ ( T ∗ P 0 F re d × T ∗ P 0 F re d ) → T ( T ∗ P 0 F re d × T ∗ P 0 F re d )
U ( n ) U(n) U ( n ) からU ( n + 1 ) U(n+1) U ( n + 1 ) への標準的埋め込みを通じて:
上昇列{ U ( n ) , P n } n ∈ N \{U(n), P_n\}_{n∈ℕ} { U ( n ) , P n } n ∈ N を構成 直極限U ( ∞ ) = lim → U ( n ) U(∞) = \lim→ U(n) U ( ∞ ) = lim → U ( n ) convenient Poisson-Lie群構造を獲得 可分Hilbert空間H H H 上で:
U ( H ) U(H) U ( H ) のBanach Poisson-Lie構造を考察トレース類作用素を通じて部分構造を構成 理論の適用可能性を検証 Weinstein古典理論 (1987-1988年):有限次元Poisson群胚の基礎的研究Mackenzie-Xu理論 (1994年):Lie双代数胚の体系的研究Tumpachの研究 (2020年):Banach Poisson-Lie群の発展Odzijewiczらの研究 :Von Neumann代数上の群胚構造Beltiţăらの貢献 :Banach-Lie群胚の一般理論本論文の革新 :部分構造とconvenient設定の結合成功した拡張 :有限次元Poisson群胚理論の無限次元情況への成功した拡張技術的突破 :「部分」概念を通じた無限次元の技術的困難の解決応用検証 :Von Neumann代数の応用による理論の実用性の検証技術的条件 :追加的な技術的仮定(分裂性条件など)が必要一般性 :一般的なconvenient情況では某些結果が成立しない計算複雑性 :具体的計算は依然として複雑技術的条件のさらなる緩和 より多くの応用領域の発展 量子群理論との関連性 理論的完全性 :自己完結的な理論枠組みを提供技術的革新 :「部分」概念の導入は重要な革新応用価値 :Von Neumann代数への応用は重要な意義を持つ記述の明確性 :論文構造が明確で技術的詳細が充実技術的複雑性 :理論枠組みが相当複雑で学習の敷居が高い応用範囲 :現在の応用は主に作用素代数領域に集中計算可行性 :具体的計算の可行性はさらなる検証が必要学術的貢献 :無限次元Poisson幾何学に重要なツールを提供分野横断的価値 :微分幾何学と作用素代数を連結後続研究 :関連領域の研究に新しい方向性を提供無限次元Poisson幾何学研究 Von Neumann代数の幾何学的構造研究 量子群および変形量子化理論 数理物理学における対称性研究 CDW87 Coste, Dazord, Weinstein: Groupöıdes symplectiquesMaXu94 Mackenzie, Xu: Lie bialgebroids and Poisson groupoidsTum20 Tumpach: Banach Poisson-Lie GroupsOJS18 Odzijewicz, Jakimowicz, Sliżewska: Fiber-wise linear Poisson structures related to W*-algebras