[논문 리뷰] Singularities of ordinary deformation rings

Andrew Snowden|arXiv (Cornell University)|2011. 11. 15.

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

한 줄 요약

이 논문은 $ \mathbf{Z}_p $ 위에서 일반적인 변형 링 $ R $ 의 구조를 분석하는 방법을 개발하며, 히오지–테인 무게가 0과 1인 자명한 2차원 표현의 경우 $ R $ 이 정상적이고, 코hen–맥컬레이이며, 구름스킨이 아니라는 것을 보여준다. 이 접근법은 모듈리 이론적 방정식과 교환대수를 조합하여 $ R $ 의 함자적 기술을 확립함으로써, $ R = \mathbf{T} $ 정리와 같은 더 강력한 전역 결과를 가능하게 한다.

ABSTRACT

Let R^univ be the universal deformation ring of a residual representation of a local Galois group. Kisin showed that many loci in MaxSpec(R^univ[1/p]) of interest are Zariski closed, and gave a way to study the generic fiber of the corresponding quotient of R^univ. However, his method gives little information about the quotient ring before inverting p. We give a method for studying this quotient in certain cases, and carry it out in the simplest non-trivial case. Precisely, suppose that V_0 is the trivial two dimensional representation and let R be the unique Z_p-flat and reduced quotient of R^univ such that MaxSpec(R[1/p]) consists of ordinary representations with Hodge--Tate weights 0 and 1. We describe the functor of points of (a slightly modified version of) R and show that the irreducile components of Spec(R) are normal, Cohen--Macaulay and not Gorenstein. This has two well-known applications to global deformation rings: first, a global deformation ring employing these local conditions is torsion-free; and second, Kisin's R[1/p]=T[1/p] theorem can be upgraded in this setting to an R=T theorem.

연구 동기 및 목표

• 일반적인 변형 링 $ R $ 의 구조를 $ \mathbf{Z}_p $ 위에서 이해하는 것, 특히 $ p $ 를 역행할 때 키신의 방법이 제한적인 정보를 제공하는 경우.
• 잔여 표현이 자명한 경우, 그 자체 $ R $ 을 분석하는 방법을 개발하는 것, 단지 그 일반성 섬유 $ R[1/p] $ 을 분석하는 것 이상으로.
• 가장 단순한 비자명한 일반적인 경우에서, 보편 $ \mathcal{O} $-평탄하고, 근본적인 몫 $ R $ 이 정상적이고, 코hen–맥컬레이이며, 구름스킨이 아니라는 것을 보여주는 것.
• 이러한 국소적 결과를 전역 변형 링에 적용하여, 토피컬 자유성과 Kisin의 $ R[1/p] = \mathbf{T}[1/p] $ 를 $ R = \mathbf{T} $ 로 업그레이드하는 것.

제안 방법

• 자명한 표현의 모든 변형에서 유효한 명시적 방정식을 사용하여 보편 변형 링 $ R^{\mathrm{univ}} $ 의 몫 $ R^\dagger $ 을 구성하는 것.
• Kisin의 방법을 활용하여 일반성 섬유를 이해함으로써, $ R^\dagger[1/p]_{\mathrm{red}} \to R[1/p] $ 가 동형임을 보이는 것.
• 모듈리 이론적 해석을 $ k $ 위에서 사용하여, 특별한 섬유 $ R^\dagger \otimes_{\mathcal{O}} k $ 가 근본적이고, 등차원적이며, $ R^\dagger[1/p] $ 와 같은 수의 최소 소수를 가진다는 것을 증명하는 것.
• 추상 교환대수 결과(정리 2.2.1 및 2.3.1)를 적용하여 $ R^\dagger $ 이 $ \mathcal{O} $-평탄하고, 근본적임을 유도하는 것.
• 결국 $ R^\dagger \to R $ 가 동형임을 결론 내리며, 이는 $ R $ 의 모듈리 이론적 기술을 제공하는 것.
• 얻어진 $ R $ 의 기술을 사용하여, 그 기하학적 구성 요소들이 정상적이고, 코hen–맥컬레이이며, 구름스킨이 아니라는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 보편 변형 링의 $ \mathcal{O} $-평탄하고, 근본적인 몫 $ R $ 의 점의 함자적 기술을, 그 일반성 섬유를 넘어서 일반적인 경우에 기술할 수 있는가?
• RQ2 이러한 변형 링 $ R $ 의 전역 대수적 성질(예: 정상성, 코hen–맥컬레이성, 구름스킨 성질)은 무엇인가?
• RQ3 국소적 성질 $ R $ 이 전역 변형 링의 구조에 어떻게 영향을 미치는가, 특히 모ularity 승격 정리의 맥락에서.
• RQ4 만약 $ R $ 이 코hen–맥컬레이이자 토피컬 자유일 경우, Kisin의 $ R[1/p] = \mathbf{T}[1/p] $ 결과를 $ R = \mathbf{T} $ 로 업그레이드할 수 있는가?

주요 결과

• 히오지–테인 무게가 0과 1인 자명한 2차원 표현에 대해, 보편 $ \mathcal{O} $-평탄하고, 근본적인 몫 $ R $ 이 정상적이다.
• 특성 $ \operatorname{Spec}(R) $ 의 기하학적 구성 요소들은 코hen–맥컬레이이며, 이는 이러한 국소 조건을 사용하는 전역 변형 링이 토피컬 자유임을 암시한다.
• $ R $ 이 구름스킨이 아니라는 점은, 모ularity 정리에서 헤케 대수 $ \mathbf{T} $ 의 구조에 영향을 미친다.
• 이 방법은 명시적 방정식을 통한 $ R $ 의 함자적 기술을 확립하여, 일반성 섬유를 넘어서는 구조적 분석을 가능하게 한다.
• 전역 설정에서, $ R $ 이 $ \mathcal{O} $ 에 대해 유한하고 각 국소 변형 링 $ R_v^\Box $ 가 코hen–맥컬레이일 경우, 전역 변형 링 $ R $ 도 $ \mathcal{O} $-평탄하고 코hen–맥컬레이이다.
• 국소 조건이 일반적이며, $ p $ 의 소수 위에서 잔여 표현이 자명할 경우, $ R $ 이 $ \mathcal{O} $-평탄할 경우 $ R = \mathbf{T} $ 정리가 성립한다.