리 대수형 D의 등고스펙트럼 행렬 다양체와 GKM 그래프 연구

초록

본 논문은 그래프 Γ에 의해 정해지는 희소 패턴을 가진 실수 반대칭 행렬들의 등고스펙트럼 다양체 (Q_{\Gamma,\lambda})에 대해, 컴팩트 토러스 (T^{n}) 작용을 GKM 이론으로 분석한다. 주요 결과는 (1) Hermitian 행렬 다양체 (M_{\Gamma,\lambda})의 GKM 그래프에서 직접적으로 (Q_{\Gamma,\lambda})의 GKM 그래프를 구성하는 방법을 제시하고, (2) (Q_{\Gamma,\lambda})의 등변 형식성(equivariant formality)이 (M_{\Gamma,\lambda})와 동등함을 판정하는 기준을 제공한다는 점이다.

상세 분석

논문은 먼저 실수 반대칭 행렬 공간 (Q_{2n})을 (2\times2) 블록 형태로 재구성하고, 그래프 (\Gamma)의 정점 집합을 블록 인덱스로 삼아 (\Gamma)-형태 행렬을 정의한다. 이때 (\Gamma)의 간선이 없는 블록은 영으로 고정되며, 이는 행렬의 희소성을 정확히 반영한다. 스펙트럼 (\lambda=(\lambda_{1},\dots,\lambda_{n}))가 일반적인 경우, (\operatorname{Pfaffian})의 부호에 따라 두 개의 연결 성분 (Q^{\pm}_{\Gamma,\lambda})가 생기고, 각각은 서로 미분동형이며 차원은 (4|!E(\Gamma)|)이다.

(T^{n})는 대각 행렬 형태의 토러스이며, 행렬을 대각 블록으로 동시에 대각화하는 방식으로 작용한다. 이 작용은 고정점이 유한하고, 각 고정점은 (\Gamma)-형태 Hermitian 행렬의 고정점 (A_{\sigma}=\operatorname{diag}(\lambda_{\sigma(1)},\dots,\lambda_{\sigma(n)}))에 (\mathbb{Z}{2}^{n})의 부호 선택 (s\in{\pm1}^{n})을 곱한 형태 (A{s,\sigma})로 나타난다. 따라서 고정점 집합은 (\mathfrak{S}{n}\times\mathbb{Z}{2}^{n})의 궤도로 구성된다.

GKM 이론의 핵심은 1‑차원 등변 스켈레톤 (X_{1})이 (T)-불변 2‑구면들의 합으로 분해된다는 점이다. 논문은 (M_{\Gamma,\lambda})의 GKM 그래프 (\mu)가 정점 (\sigma)와 간선 ((\sigma,\sigma\circ(i,j)))으로 이루어짐을 기존 결과(