이디헤드랄 군 작용의 이상값 지수와 두 초평면 질량 분할

초록

본 논문은 8원소 이디헤드랄 군 D₈이 S^d×S^d에 작용할 때의 Fadell‑Husseini 지수를 F₂와 정수 계수 모두에 대해 완전히 계산한다. 이를 통해 Grünbaum이 제시한 두 초평면을 이용한 질량 분할 문제에 대한 군 코호몰로지 하한을 얻으며, 기존에 최대 아벨리안 부분군을 이용해 얻은 하한과 동일함을 보인다.

상세 분석

논문은 먼저 Fadell‑Husseini 지수의 정의와 그 계산에 필요한 도구들을 정리한다. D₈은 비가환 군으로, 중심이 Z₂이며 두 개의 비동형 최대 아벨리안 부분군 C₂×C₂와 C₄를 포함한다. 저자들은 S^d×S^d에 대한 자유 작용이 없으므로, Borel 구성을 이용해 G‑공간 EG×_G(S^d×S^d)를 고려하고, 이 공간의 위상학적 특성을 H^*(BG;R)와 연결시킨다. 여기서 R은 F₂ 혹은 ℤ이다.

F₂ 계수 경우, 저자들은 Bockstein 장벽을 피하기 위해 스펙트럼 시퀀스를 활용한다. 특히, H^*(BD₈;F₂)≅F₂