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 본 논문은 편의적 Lie 군체(convenient Lie groupoid) 개념의 버전을 제시하며, 이는 유한차원 개념의 무한차원 경우로의 일반화이다. 저자들은 무한차원 배경에서 나타나는 장애물들과 무한차원 경우에서 유한차원에 적응된 "쌍대수 군체(bialgebroid)" 개념을 복원하는 방법을 지적한다. 본 논문은 자체 포함적이며, "부분 Poisson 다양체"와 "Banach Poisson Lie 군"의 중요한 성질들을 검토한다. 또한 A. Odzijewicz 및 그의 협력자들이 Lie 군체와 Von Neumann 대수에 관해 얻은 모든 결과들을 통해 이러한 개념들을 설명한다.
유한차원 이론의 한계 : 고전적인 Poisson 군체 이론은 주로 유한차원 경우에서 발전했으며, Weinstein이 1987년에 도입했고, 원래 CDW87과 Zak90에서 정의된 심플렉틱 군체의 일반화이다.무한차원 일반화의 도전 : 무한차원 배경, 특히 Banach 및 편의적 설정에서 고전적인 Poisson 군체 이론은 많은 기술적 장애물에 직면한다:적분곡선의 존재성 문제 특성 분포의 적분가능성 라그랑주 부분공간의 여공간 문제 Von Neumann 대수의 응용 필요성 : A. Odzijewicz 등의 연구는 Poisson 군체 이론을 W*-대수 연구에 적용할 필요성을 보여주며, 이는 무한차원 경우에 적합한 이론 체계의 발전을 요구한다.본 논문의 주요 동기는 무한차원 경우의 기술적 어려움을 다루면서도 적절한 조건 하에서 유한차원 이론의 고전적 결과, 특히 Mackenzie-Xu의 쌍대수 군체 이론을 복원할 수 있는 통일된 이론 체계를 수립하는 것이다.
부분 Poisson 편의적 군체의 개념 제시 : 유한차원 Poisson 군체의 무한차원 경우로의 자연스러운 일반화부분 쌍대수 군체 이론 수립 : Mackenzie-Xu의 고전적 결과를 편의적 설정으로 일반화부분-Poisson 군체 구조 구성 : 무한차원 경우를 다루기 위한 새로운 도구 제공상승 수열 이론 발전 : 유한차원 Poisson 군체의 직극한을 통한 편의적 Poisson 군체 구성Von Neumann 대수의 구체적 응용 제시 : 이론의 실용성 검증M을 편의적 다양체라 하고, 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 편의적 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. 편의적 다양체, M M M 은 Hausdorff 편의적 다양체원천 사상 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의 편의적 미분기하학 체계 채택:
무한차원 다양체의 기술적 문제 처리 직극한의 양호한 성질 보장 Banach가 아닌 경우 처리 허용 유한차원 대상의 직극한을 통한 무한차원 대상 구성:
G₁ ⊂ G₂ ⊂ ... ⊂ Gₙ ⊂ ...
G = lim→ Gₙ
G ⇒ M G ⇒ M G ⇒ M 이 부분 Poisson Banach-Lie 군체라 하면:
부분다양체 M M M 은 G G G 에서 여미향(coisotropic) G G G 의 역 사상은 반-Poisson 태사s s s 가 Poisson 태사이고 t t t 가 반-Poisson 태사가 되도록 하는 유일한 Lie Poisson 대수 층이 존재G ⇒ M G ⇒ M G ⇒ M 이 부분 심플렉틱 편의적 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 ) 여접다발의 부분군체 위에 부분-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 ) 편의적 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 군체의 일반 이론본 논문의 혁신 : 부분 구조와 편의적 설정의 결합성공적 일반화 : 유한차원 Poisson 군체 이론을 무한차원 경우로 성공적으로 일반화기술적 돌파 : "부분" 개념을 통해 무한차원의 기술적 어려움 해결응용 검증 : Von Neumann 대수의 응용을 통해 이론의 실용성 검증기술적 조건 : 추가 기술적 가정 필요 (예: 분할성 조건)일반성 : 일반적 편의적 경우에서 일부 결과 미성립계산 복잡성 : 구체적 계산 여전히 복잡기술적 조건의 추가 완화 더 많은 응용 분야 개발 양자군 이론과의 연결 이론적 완전성 : 자체 포함적인 이론 체계 제공기술적 혁신 : "부분" 개념의 도입은 중요한 혁신응용 가치 : 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