이산군의 준자유 작용 아래 G‑번들의 완전 분류

** 본 논문은 이산군 G가 베이스 공간 M 위에서 준자유(quasi‑free)하게 작용하고, 정상 고정점 부분군 H⊂G가 존재하는 상황에서 G‑번들 ξ의 구조와 분류를 체계적으로 전개한다. 첫 번째 장에서는 문제의 배경을 Connor‑Floyd의 고정점 구성법에 기반해 제시한다. ξ는 G‑등변 벡터 번들이며, H의 모든 단순 복소표현 ρₖ에 대해 ξ≈⊕ₖ ηₖ⊗Vₖ 로 분해된다. 여기서 ηₖ는 H‑작용이 자명한 번들, Vₖ는 ρₖ에 의해 정의된 복소벡터공간이다. 다음으로 각 ρₖ에 대한 정준 모델 X_{ρₖ}=G⁰×(Fₖ⊗Vₖ) (G⁰=G/H)를 정의하고, Aut_G(X_{ρₖ}) 를 G‑번들 자동동형군으로 설정한다. Lemma 1에서는 전체 표현 ρ=⊕ₖρₖ에 대한 자동동형군 Aut_G(X_ρ)와 ⨁ₖ Aut_G(X_{ρₖ}) 사이에 단사 사상 i가 존재함을 보인다. 이 사상은 제한 연산을 통해 정의되며, 이미지가 “Δ‑조건”을 만족하는 원소들로 정확히 기술된다. Corollary 1은 Aut_G(X_ρ) 가 1→⨁ₖ GL(Fₖ)→Aut_G(X_ρ)→G⁰→1 라는 정확한 시퀀스를 형성함을 증명한다. 여기서 GL(Fₖ) 은 각 ρₖ‑성분의 내부 대칭군이며, G⁰는 베이스에 대한 자유 작용을 담당한다. 그 후 Vect_G(M,ρ) 라는 G‑등변 벡터 번들의 범주를 정의하고, 위의 시퀀스를 이용해 Vect_G(M,ρ)≅⨁ₖ