유한 심플렉틱 군의 슈어 곱셈체: 4배수 모듈러에서의 Z/2 현상

초록

본 논문은 정수 모듈러 D가 4의 배수일 때, 차원 2g≥6인 심플렉틱 군 Sp(2g, ℤ/Dℤ)의 두 번째 동류군, 즉 슈어 곱셈체가 정확히 ℤ/2ℤ임을 증명한다. 기존에 Stein이 D가 4가 아닌 경우에는 사라진다는 결과를 확장하고, Deligne의 비잔류 유한성 정리와 Putman의 모듈러 곡면 연구를 핵심 도구로 활용한다.

상세 분석

논문의 핵심은 두 단계로 나뉜다. 첫 번째는 H₂(Sp(2g,ℤ/Dℤ))가 0 또는 ℤ/2ℤ 중 하나라는 ‘가능성 제한’을 보이는 단계이며, 두 번째는 실제로 ℤ/2ℤ가 나타난다는 것을 입증하는 단계이다.

가능성 제한은 Stein이 제시한 동형사상 H₂(Sp(2g,ℤ/2ᵏℤ)) ≅ H₂(Sp(2g,ℤ/2^{k+1}ℤ))와 안정성 정리(차원 증가에 따른 동형)를 이용한다. 이 두 정리를 결합하면, g≥4이면 H₂는 순환군이며 차수는 1 또는 2뿐이다. 여기서 Deligne의 비잔류 유한성 정리(‘universal central extension’ ^Sp(2g,ℤ)의 모든 유한 지수 부분군이 중심 ℤ의 2배를 포함한다)를 적용하면, 모듈러 2ᵏ 감소 사상 p*: H₂(Sp(2g,ℤ)) → H₂(Sp(2g,ℤ/2ᵏℤ))가 전사임을 알 수 있다. H₂(Sp(2g,ℤ)) ≅ ℤ (g≥4)이고, 중심 ℤ가 2배로 사라지는 것이 강제되므로, 이미지인 H₂(Sp(2g,ℤ/2ᵏℤ))는 ℤ/2ℤ의 인수만을 가질 수 있다.

두 번째 단계에서는 실제로 ℤ/2ℤ가 존재함을 보이기 위해 비분할 중앙 확장을 구성한다. Putman이 연구한 ‘Hodge line bundle λ_g’의 2배 가분성 결과를 이용한다. 구체적으로, 레벨 L이 짝수이고 4|L이면 λ_g(L)의 1차 체류류가 2배로 나누어짐을 보이며, 이는 H₂(Sp(2g, L);ℤ)에서 중심 클래스를 2배로 나눌 수 있음을 의미한다. L=4인 경우, 이 클래스를 2배로 나누는 중앙 확장은 비분할이며, 이를 통해 ℤ/2ℤ가 실제로 존재함을 확인한다.

또한, 논문은 Igusa 부분군 Sp(2g,4,8)과 그 상위인 Sp(2g,8) 등을 이용해 구체적인 유한 지수 부분군을 구성한다. 이 부분군들의 전단사 사상과 중앙 확장의 사상들을 추적하면, 최종적으로 ‘1 → ℤ/2ℤ → Γ → Sp(2g,ℤ/mℤ) → 1’ 형태의 비분할 중앙 확장(예: m=32)을 얻는다. 이 확장은 ^Sp(2g,ℤ)의 유한 지수 부분군에 포함되며, Deligne 정리와 일치하게 중심 ℤ가 정확히 2배만 남는다.

결과적으로, g≥3, D≡0 (mod 4)인 경우에만 H₂가 ℤ/2ℤ이며, 그 외의 경우는 0이라는 완전한 분류가 얻어진다. 이는 Stein의 이전 결과와 일치하면서도, Deligne와 Putman의 깊은 기하·대수적 도구를 결합해 새로운 경우를 해결한 점이 혁신적이다.

이 논문은 또한 중앙 확장의 비잔류 유한성 문제와 모듈러 곡면의 Picard 군 사이의 미묘한 관계를 밝히며, 향후 고차원 대수군의 슈어 곱셈체 연구에 중요한 방법론을 제공한다.