[논문 리뷰] 3 Models of group schemes of roots of unity

Matthieu Romagny, Dajano Tossici|arXiv (Cornell University)|2013. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 6

한 줄 요약

이 논문은 Kummer 군 스킴을 정의하는 데 사용되는, 필터링된 군 스킴 사이의 명시적 이소지니(이소지니)의 커널로 정의된 Kummer 군 스킴을 이용하여, 이산 비율환의 위에 있는 n제곱근의 단위군의 유한 평탄 군 스킴 모델을 구성한다. 이는 이러한 모델을 분류하기 위한 구체적이고 행렬 기반의 프레임워크를 제공한다. 저자들은 이러한 Kummer 군 스킴과 Breuil-Kisin 모듈 간의 대응 관계를 윌트 벡터 행렬을 통해 수립하고, n ≤ 3인 경우 μpn,K에 대한 모든 유한 평탄 모델이 Kummer 군 스킴임을 증명하며, 일반적으로도 이 성립할 것이라 추측한다.

ABSTRACT

Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call Kummer group schemes. We set carefully the general framework and algebraic properties of this construction. When k is perfect and O_K is a complete totally ramified extension of the ring of Witt vectors W(k), we provide a parallel study of the Breuil-Kisin modules of finite flat models of \mu_{p^n,K}, in such a way that the construction of Kummer groups and Breuil-Kisin modules can be compared. We compute these objects for n < 4. This leads us to conjecture that all finite flat models of \mu_{p^n,K} are Kummer group schemes.

연구 동기 및 목표

• 이산 비율환 OK 위에서 pn차 단위근의 군 스킴 μpn,K의 명시적 유한 평탄 군 스킴 모델을 구성하는 것.
• Witt 벡터와 p진 전개를 이용한 행렬 이론적 프레임워크를 개발하여 이러한 모델을 분류하고, 특정 이소지니의 커널로서 Kummer 군 스킴을 도입하는 것.
• 크리스탈린 표현과 갈루아 군의 붕괴 상황에서 이러한 Kummer 군 스킴의 구조를 Breuil-Kisin 모듈과 비교하는 것.
• 모든 μpn,K에 대한 유한 평탄 모델이 Kummer 군 스킴임을 추측하는 데에 계산적 증거를 제공하는 것, 특히 n ≤ 3인 경우에 대해.
• Hopf 순서와 이러한 군 스킴의 코homological 불변량을 이해하기 위한 기초를 마련하며, Kisin의 다양체와 갈루아 코버링에의 응용을 포함하는 것.

제안 방법

• Sekiguchi-Suwa 이론을 이용하여, 연결된 섬유를 가진 Gm,K의 연속적 확장인 필터링된 군 스킴 사이의 이소지니의 커널로서 μpn,K의 유한 평탄 모델을 구성한다.
• W(OK)의 계수를 가진 상삼각 행렬을 통해 Kummer 군 스킴를 매개화하며, 행렬 공간 위에 비결합적 곱과 순서 구조를 도입한다.
• Breuil-Kisin 모듈 이론을 적용하여, Wn(k)((u)) 내의 u-정수 격자로 이를 식별하고, 프로베누스 작용과 격자 함자들을 이용하여 군 스킴의 구조를 모델링한다.
• p진 전개와 Teichmüller 상승을 활용하여 정수성 조건을 행렬 방정식으로 변환하며, 특히 n = 3인 경우에 대해 적용한다.
• W(R/π^lR)에서의 명시적 행렬 계산을 통해 Kummer 군 스킴의 정수성과 호환성 조건을 검증한다.
• µ-행렬 이론과 µ-행렬의 순환을 이용하여 군 스킴의 구조와 그 감소형을 인코딩한다.

실험 결과

연구 질문

• RQ1 OK 위에서 μpn,K의 모든 유한 평탄 모델이 추측과 같이 Kummer 군 스킴과 동형일까?
• RQ2 Witt 벡터 위의 행렬을 이용하여 μpn,K의 유한 평탄 모델의 구조를 어떻게 매개화할 수 있을까?
• RQ3 크리스탈린 표현의 맥락에서 Kummer 군 스킴과 Breuil-Kisin 모듈 간의 정확한 관계는 무엇일까?
• RQ4 n = 3인 경우에 대해, 결과 군 스킴의 정수성과 평탄성을 보장하는 명시적 행렬 조건은 무엇일까?
• RQ5 이러한 모델의 코homological 및 기하학적 성질은 그에 상응하는 Breuil-Kisin 모듈과 어떻게 관련되어 있을까?

주요 결과

• n ≤ 3인 경우, OK 위에서 μpn,K의 모든 유한 평탄 모델이 Kummer 군 스킴임을 입증하여 주요 추측에 대한 강력한 증거를 제공한다.
• Kummer 군 스킴는 필터링된 군 스킴 사이의 이소지니의 커널로서 명시적으로 구성되며, p진 전개와 Witt 벡터를 통한 식이 주어진다.
• 이러한 Kummer 군 스킴의 Breuil-Kisin 모듈은 Wn(k)((u)) 내의 u-정수 격자로 식별되며, 행렬 조건을 통해 그 구조가 묘사된다.
• n = 3인 경우, 정수성 조건은 행렬 원소와 p진 값매김을 통해 명시적으로 계산되며, π^l3 모듈로 완전한 분류가 이뤄진다.
• µ-행렬 상의 조건 UA/LA ≥ 0는 일반적으로 필요하지만 충분하지 않음을 밝혀냈으나, n ≤ 3인 경우 다른 조건들에 의해 유도된다.
• 계산 결과, 군 스킴의 구조는 분기 지수와 균일화자 선택에 의해 결정되며, 비-Teichmüller 원소들이 고차 분기에서 복잡성을 유도한다.