대칭공간 SU(n)/SO(n)·SU(2n)/Sp(n)의 루스테니크‑슈니렐만 차원 완전 해석

초록

본 논문은 고전형 대칭공간인 SU(n)/SO(n)와 SU(2n)/Sp(n)의 루스테니크‑슈니렐만(Lusternik‑Schnirelmann) 카테고리를 정확히 구한다. 위 두 공간 모두 차원이 n‑1임을 보이며, 이는 하한인 컵‑길이와 상한인 명시적 개방 덮개의 일치에서 도출된다.

상세 분석

논문은 먼저 루스테니크‑슈니렐만 카테고리(cat X)의 정의와 기본적인 추정 도구를 정리한다. 하한은 코호몰로지 환의 컵‑길이(cup‑length)로부터 얻어지며, 상한은 X를 n개의 개방 집합으로 덮어 각각을 X 안에서 수축가능하게 만드는 구성으로 얻는다. 여기서 핵심은 SU(n)/SO(n)와 SU(2n)/Sp(n) 각각에 대해 적절한 대칭 구조와 고유값 분해를 이용해 이러한 개방 집합을 명시적으로 만들 수 있다는 점이다.

SU(n)/SO(n)의 경우, 복소수 행렬 A∈SU(n) 를 실대칭 행렬 S∈SO(n) 로 나누는 극분해를 이용한다. A의 고유값을 e^{iθ₁},…,e^{iθ_n}라 하면, θ_k가 0에 가까운 영역을 제외한 n개의 구역을 정의하고, 각 구역에 속하는 행렬들의 집합을 U_k라 둔다. 각 U_k는 고유값이 특정 구간에 머무르므로, 연속적인 대각화 과정을 통해 U_k를 SO(n)와 동형인 하위공간으로 변형시킬 수 있다. 이때 하위공간은 명백히 수축가능하므로, cat (SU(n)/SO(n)) ≤ n‑1이 된다.

하한은 모듈러 2 코호몰로지 환 H^*(SU(n)/SO(n);ℤ₂) 를 계산함으로써 얻는다. 기존의 대칭공간 이론에 따르면, 이 코호몰로지 환은 차수가 2, 6, 10,…, 4k‑2 (k=1,…,⌊n/2⌋)인 생성원들의 외대수(algebra)이며, 특히 차수 2의 생성원 x₁을 n‑1번 곱하면 0이 되지 않는다. 따라서 cup‑length ≥ n‑1이 되고, 결과적으로 cat (SU(n)/SO(n)) = n‑1이 된다.

SU(2n)/Sp(n) 에 대해서도 동일한 전략이 적용된다. 여기서는 복소수 유니터리 행렬을 스핀 대칭군 Sp(n) 로 나누는 극분해와, 고유값이 쌍을 이루는 특성을 이용한다. 고유값이 e^{iθ}와 e^{-iθ}로 나타나는 쌍을 기준으로 2n개의 구역을 정의하고, 각 구역에 해당하는 개방 집합 V_k를 만든다. V_k는 Sp(n)와 동형인 하위공간으로 수축가능하므로 cat ≤ n‑1이 된다.

코호몰로지 측면에서는 H^*(SU(2n)/Sp(n);ℤ₂) 가 차수가 4, 8, 12,…, 4k (k=1,…,n‑1)인 생성원들의 외대수임을 이용한다. 차수 4의 생성원 y₁을 n‑1번 곱하면 비자명한 원소가 남아 cup‑length ≥ n‑1을 만족한다. 따라서 cat (SU(2n)/Sp(n)) = n‑1이 성립한다.

논문은 이와 같은 계산을 통해 두 대칭공간 모두 카테고리가 n‑1임을 정확히 증명한다. 또한, 이 결과는 기존에 알려진 SU(n) (cat = n‑1) 와 U(n)/O(n) (cat = n) 의 결과와 일관성을 보이며, 대칭공간의 차원과 위상적 복잡도 사이의 관계를 한층 명확히 한다.