무한 차원 리 대수의 적분과 리 2 그룹: 중앙 확장의 범주화와 새로운 리 제3정리

본 논문은 무한 차원 리 대수의 중앙 확장을 적분하는 과정에서 발생하는 위상학적 장애를 범주화된 구조인 ‘리 2‑그룹’으로 해결한다는 큰 목표를 가지고 전개된다. 서론에서는 리 제3정리의 전통적 증명(리와 카르탱의 작업)과 무한 차원에서의 실패 사례(예: C^∞(S¹,SU(2)), PU(H) 등)를 소개하고, 이러한 실패가 π₂(G) 가 비이산인 경우에 기인함을 설명한다. 이어서 Neeb의 2002년 결과를 인용해, 중앙 확장이 적분 가능하려면 π₂(G) 의 이미지가 이산이어야 한다는 조건을 제시한다. 그러나 이 조건은 전역적인 결합법칙을 강제함으로써 많은 자연스러운 무한 차원 구조를 배제한다는 점을 지적한다. 첫 번째 핵심 섹션(I)에서는 Lie 대수 코사이클 ω:𝔤×𝔤→𝔷 를 ‘일반화된 그룹 코사이클’로 승격시키는 절차를 제시한다. 여기서 일반화된 코사이클은 두 매핑 F∈C²(G,𝑍)와 Θ∈C³(G,𝔸) 로 구성되며, d_gp F=τ∘Θ, d_gp Θ=0을 만족한다. 이 정의는 기존의 평활 2‑코사이클(𝔸→0)과 고차 코사이클(0→𝑍)을 동시에 포함한다. 논문은 α:G→C^∞(Δ¹,G)와 β:G²→C^∞(Δ²,G) 라는 스무스 체인 선택을 통해 Θ_β 를 정의하고, 이는 모든 가능한 일반화된 코사이클 중에서 보편적인(uni­versal) 객체임을 증명한다. 두 번째 섹션에서는 이러한 일반화된 코사이클을 ‘에테일 리 2‑그룹’으로 변환한다. 에테일 리 2‑그룹은 객체와 사상이 모두 매끄러운 리 다양체이며, 사상들의 source와 target가 이산적인 군(π₀가 이산)으로 떨어지는 특성을 가진다. 일반화된 코사이클 (F,Θ) 로부터 2‑사상과 2‑대상을 정의하고, 이를 통해 중앙 확장 z→𝔅𝔊→𝔊 를 만든다. 여기서 𝔊는 원래의 1‑연결 리 군 G를 π₂(G) 를 이산화한 ‘에테일화’된 버전이며, 𝔅𝔊는 𝔃‑값을 갖는 2‑버전의 군 구조다. 논문은 ‘위상학적으로 분할된 중앙 확장(z→𝔟𝔤→𝔤)’이 정확히 이러한 에테일 리 2‑그룹의 중앙 확장(z→𝔅𝔊→𝔊) 로 적분된다는 정리를 증명한다. 세 번째 섹션에서는 Mackey 완비·국소 지수형 리 대수(예: Banach‑리 대수)의 특성을 살펴본다. 이러한 대수는 ad‑표현에 대한 중앙 확장 z(𝔤)→𝔤→𝔤_ad 가 항상 존재하고, 𝔤_ad 가 1‑연결 리 군 G_ad 를 갖는다. 앞서 구축한 일반화된 코사이클 적분 절차를 적용하면, 𝔤는 에테일 리 2‑그룹 G와 동형인 리 대수 L(G) 로 적분된다. 이는 전통적인 리 제3정리의 무한 차원 버전으로, ‘국소적으로 확장 가능한’ 모든 리 대수는 범주화된 전역 그룹(리 2‑그룹)으로 완전히 적분될 수 있음을 의미한다. 논문의 마지막 부분에서는 향후 연구 방향을 제시한다. 구체적으로 Lie 알제브로이드의 적분, String 그룹 모델, 고차 교류기하학(n‑plectic geometry)과 같은 분야와의 연계 가능성을 논의한다. 부록에서는 국소 컨벡스 리 그룹의 기술적 세부 사항을 제공하고, 기존 문헌과의 비교를 통해 본 연구가 기존 결과를 어떻게 일반화하고 확장하는지를 명확히 한다. 전체적으로 이 논문은 무한 차원 리 대수의 적분 문제를 ‘코사이클 값을 복합 군으로 확장하고, 전역 결합법칙을 범주화된 2‑그룹 수준에서 완화하는’ 새로운 프레임워크 안에서 해결함으로써, 무한 차원 대수와 고차 위상·기하학 사이의 다리 역할을 수행한다.