극초특이 에케달‑오르트 층에서 자동군이 ±1 뿐인 경우의 완전 증명

초록

이 논문은 차원 g가 짝수이고 소수 p ≥ 5인 경우, 최대 초특이 에케달‑오르트(stratum) 안의 일반적인 기하학적 점이 자동군 {±1}만을 갖는다는 것을 증명한다. 이를 통해 Oort의 추측을 짝수 g, p ≥ 5에 대해 완전히 확인하고, 별도로 g = 4인 경우 모든 소수 p에 대해 동일한 결과를 얻는다. 핵심 도구는 상대적 엔도몰피즘 대수와 라그랑지안 다양체 위의 새로운 층화이다.

상세 분석

본 연구는 초특이 아벨 군의 에케달‑오르트(Ekedahl‑Oort, 이하 EO) 층을 미세하게 분류하고, 그 위에 존재하는 자동군의 구조를 정밀히 분석한다. 저자들은 먼저 초특이 EO 층 전체를 포함하는 부분집합 Sₑₒᵍ ⊂ S_g를 정의하고, 각 연결성분이 유한히 덮이는 라그랑지안 다양체 L과 동형임을 이용한다. L 위에 ‘상대적 엔도몰피즘 대수’ End(V,W) 를 도입해, V는 K-벡터공간, W는 L-확장된 부분공간으로 보는 쌍 (V,W) 에 대해 End(V,W)={α∈End_K(V) | α(W)⊂W} 를 정의한다. 이 대수는 W가 K-정의된 경우에는 전형적인 패러볼릭 부분대수이며, 일반적인 경우에는 더 복잡한 구조를 가진다.

섹션 3·4에서는 Grassmannian 및 라그랑지안 다양체 위에 End(V,W)에 따라 층화를 구축한다. 핵심 정리인 Theorem 3.5·4.6은 ‘일반적인’ 점에서는 End(V,W)≅K 가 되며, 이는 해당 점의 자동군이 단순히 ±1 로 축소된다는 사실과 동치이다. 특히, K가 대수적으로 닫히지 않았고, p≥5인 경우에만 이 일반성 결과가 성립한다는 미세한 조건이 밝혀진다.

섹션 5에서는 이러한 상대적 엔도몰피즘 대수를 초특이 아벨 다양체의 실제 엔도몰피즘 대수와 연결시킨다. 여기서 중요한 관찰은, 초특이 EO 층의 일반점은 Dieudonné 모듈이 ‘최대’ 형태를 가지며, 그에 대응하는 (V,W) 쌍이 위의 일반적인 경우에 해당한다는 점이다. 따라서 End(V,W)=ℤ_p 가 되고, 자동군은 {±1} 로 제한된다.

섹션 6에서는 위의 결과를 이용해 Theorem A와 Theorem B를 증명한다. Theorem A는 “g가 짝수이고 p≥5이면, 최대 초특이 EO 층의 일반점은 자동군 {±1}만을 가진다”는 것을 선언한다. 이어서 Hecke 대응을 이용해 초특이 전체 층 S_g의 각 연결성분이 최대 EO 층의 한 연결성분을 포함한다는 전이성을 보이고, 따라서 S_g의 일반점 역시 {±1} 자동군을 갖는다는 Oort의 추측을 완전히 확인한다.

마지막으로 섹션 7에서는 g=4인 경우 p=2,3을 포함한 모든 소수에 대해 별도의 직접 계산을 수행한다. Dieudonné 모듈의 구체적 구조와 그 자동군을 전산적으로 분석함으로써, 앞서 p≥5에 대한 가정 없이도 Oort의 추측이 성립함을 보여준다. 이 과정에서 기존의 ‘질량(strata) 함수’를 정밀화한 새로운 질량 공식(Theorem 6.19)도 도출된다.

전체적으로 본 논문은 ‘상대적 엔도몰피즘 대수’를 도입해 초특이 EO 층의 구조를 새로운 관점에서 파악하고, 이를 통해 오랫동안 열려 있던 Oort의 추측을 짝수 차원·p≥5 경우와 g=4 전 소수 경우에 완전히 해결한 점이 가장 큰 공헌이다.