유한 아벨 군에 대한 클리포드 군의 분할 조건

본 논문은 유한 아벨 군 A에 대해 정의되는 프로젝트 클리포드 군 C(A)와 그에 대응하는 심플렉틱 군 Sp(V_A) 사이의 자연스러운 정확한 열(1→V_A→C(A)→Sp(V_A)→1)의 분할 여부를 연구한다. 저자는 먼저 V_A=A⊕Â(폰트레 듀얼)를 정의하고, Weyl 연산자 X_a와 Z_χ를 이용해 Heisenberg 군 H(A)=⟨X_a,Z_χ⟩·U(1) 를 만든다. 이때 발생하는 2‑코사이클 β_A((a,χ),(b,ψ))=χ(b) 은 양자역학에서의 교환 관계를 반영한다. β_A의 교번화는 비퇴화된 심플렉틱 형태 ω_A(u,v)=χ_u(a_v)χ_v(a_u)^{-1}를 정의하고, 이는 V_A를 심플렉틱 아벨 군으로 만든다. 클리포드 군 C(A)는 H(A)의 정규자(전역 위상을 무시한)이며, 각 원소는 (T,λ)∈Sp(V_A)×Map(V_A,U(1)) 형태로 기술된다. 여기서 T는 ω_A를 보존하는 선형 변환이고, λ는 (5)식 λ(u+v)λ(u)λ(v)=β_A(Tu,Tv)β_A(u,v)를 만족한다. 이러한 쌍들의 집합을 Ps(A)라 두고, Ps(A)≅C(A)임을 보이며, 핵 ν(V_A)≅V_A와의 정확한 단순열 1→V_A→C(A)→Sp(V_A)→1을 얻는다. 이 확장의 2‑코사이클 O_s는 섹션 s:T↦(T,λ_T) 로부터 정의되며, 그 동치류