밀도 부분군을 나눈 리 군의 드레임 코호몰로지와 리 대수 코호몰로지의 일치

초록

밀도가 높은 부분군 H 를 가진 리 군 G 에 대해, 저자들은 G/H 에 대한 (디페오몰로지적) 드레임 코호몰로지가 𝔤/𝔥 의 리 대수 코호몰로지와 동등함을 증명한다. 여기서 𝔥 은 exp(tZ)∈H 인 모든 Z∈𝔤 으로 정의된 이상이다. 또한 H 가 D‑연결, D‑이산, 혹은 벡터 공간의 D‑이산 밀도 부분군인 경우를 구체적으로 분석한다.

상세 분석

본 논문은 밀도 부분군 H ⊂ G (리 군)이라는 비표준 상황에서, 전통적인 위상학적 접근이 무의미해지는 경우를 디페오몰로지라는 범주적 프레임워크로 해결한다. 디페오몰로지는 ‘플롯’이라 불리는 매끄러운 사상들의 집합을 통해 공간을 정의하고, 이 플롯들에 대해 미분 형식을 전파함으로써 드레임 복합체 (Ω⁎(X),d) 를 구축한다. 저자들은 G/H 에 대한 자연적인 사영 Π:G→G/H 에 대해, 플롯을 통한 풀백 Π* 가 오른쪽 불변이며 𝔥‑수평(h‑horizontal)인 k‑형식들을 정확히 잡아낸다는 명제(3.1)를 증명한다. 오른쪽 불변성은 H 가 밀도이므로 H 의 모든 원소에 대해 불변성을 확인하고, 밀도성을 이용해 전체 G 에 확대한다. 𝔥‑수평성은 플롯 P(u)=exp Z와 Q(u)=exp Z·exp W 의 사상 차이를 이용해, 𝔥 에 속하는 벡터가 삽입될 때 형식값이 소거됨을 보인다.

다음 단계에서는 오른쪽 불변 형식을 좌측 불변 형식으로 전환하기 위해 역원 inv:G→G 을 사용한다. inv 은 오른쪽 불변성을 좌측 불변성으로 바꾸고, 동시에 𝔥‑수평성을 보존한다(𝔥 는 ad(G)‑불변이므로). 이렇게 얻어진 좌측 불변 𝔥‑수평 k‑형식들은 전통적인 리 대수 코호몰로지 복합체 (V⁎(𝔤) , d) 의 𝔥‑수평 부분 (V⁎(𝔤))_𝔥 와 일대일 대응한다. 여기서 d 는 체발레–에일렌베르 공식(4.2)에 의해 정의된 코바운더리 연산자이며, 이는 전적으로 𝔤의 구조상수에 의존한다.

핵심적인 대수적 단계는 𝔥가 𝔤의 아이디얼임을 보이는 Lemma 4.3이다. 이는 H 가 밀도이므로 Ad(G) 가 𝔥를 보존한다는 사실에서 바로 도출된다(