[논문 리뷰] Un théorème de Beilinson-Bernstein pour les D-modules arithmétiques

Christine Noot-Huyghe|ArXiv.org|2007. 04. 30.

Commutative Algebra and Its Applications인용 수 7

한 줄 요약

이 논문은 이질적 특성의 완비 이산 평가환수의 형식 스펙트럼 위의 플라그 다양체에 대해 베일린슨-버너스타인 국소화 정리의 산술적 유사체를 수립한다. 일반 섬유에서 형식 스킴으로 D-근사성의 승강 기준을 사용하여, λ + ρ가 근본적이고 정규인 모든 가중치 λ에 대해 형식 플라그 다양체가 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-근사성이 됨을 증명한다. 이는 고전 결과를 산술 D-모듈의 설정으로 확장한다.

ABSTRACT

One proves a Beilinson-Bernstein theorem in the context of arithmetic D-modules introduced by Berthelot, for flag varieties. This generalizes in the arithmetic context previous results of Brylinski-Kashiwara and Beilinson-Bernstein in the complex case.

연구 동기 및 목표

• 형식 스킴 위의 D-모듈에 대한 산술 설정으로 베일린슨-버너스타인 D-근사성 정리를 확장하기.
• 이질적 특성의 완비 이산 평가환수 위의 형식 플라그 다양체에서 산술 D-모듈의 D-근사성 확립하기.
• 복소수 위의 플라그 다양체에 대한 고전적 D-근사성 결과를 p-진 산술 설정으로 일반화하기.
• 형식 플라그 다양체 위의 D-모듈을 통한 산술 표현 이론의 기초 마련하기.

제안 방법

• 형식 플라그 다양체 X로 일반 섬유 X_K의 D-근사성을 승강하기 위한, 대수적 설정에서 형식 설정으로의 전환 기준을 사용한다.
• 플라그 다양체 위의 선다발의 코homology에 대한 켐프의 정리를 적용하여 고차 코hom로프의 소멸을 보장한다.
• D^\dagger_{{\cal X},{\bf Q}}(\lambda)-모듈의 범주가 유도된 모듈에 의해 생성된다는 사실을 이용하여 문제를 대수적 경우로 환원한다.
• 베르타로의 산술 D-모듈 이론을 활용하며, 특히 선다발 값의 산술 미분 연산자층 D^\dagger_{{\cal X},{\bf Q}}(\lambda)를 사용한다.
• 전역 절단 대수의 구조에 의존하여, 평가환수 V 위에서의 완비성과 협응성 증명한다.
• 특수 섬유를 따라 플라그 다양체 X = G/P의 형식 완비화를 이용하여 형식 스킴 X를 정의한다.

실험 결과

연구 질문

• RQ1 이질적 특성의 완비 이산 평가환수 위의 형식 플라그 다양체에서 산술 D-모듈에 대해, 베일린슨-버너스타인 D-근사성 정리는 성립하는가?
• RQ2 플라그 다양체의 일반 섬유 X_K의 D-근사성이 특수 섬유를 따라 형식 완비화 X의 D-근사성으로 이어지는가?
• RQ3 어떤 가중치 λ에 대해 형식 플라그 다양체 X가 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-근사성인가?
• RQ4 형식 플라그 다양체 위의 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-모듈의 범주는 전역 절단 대수 위의 모듈의 범주와 어떻게 관련되는가?
• RQ5 전역 절단 대수 \Gamma(X, D^\dagger_{{\cal X},{\bf Q}}(\lambda))의 대수적 성질(예: 완비성, 협응성)은 무엇인가?

주요 결과

• 모든 가중치 λ에 대해 λ + ρ가 근본적이고 정규일 때, 형식 플라그 다양체 X는 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-근사성이다.
• 전역 절단 대수 \Gamma(X, D^\dagger_{{\cal X},{\bf Q}}(\lambda))는 약한 완비성과 협응성을 가진 V-대수이다.
• 모든 m ≥ 1에 대해, 대수 \Gamma(X, \widehat{D}^{(m)}_{{\cal X},{\bf Q}}(\lambda))는 완비 노에테르 왼쪽 V-대수이다.
• 일반 섬유 X_K의 D-근사성(베일린슨-버너스타인에 의해 확립됨)은 승강 기준을 통해 형식 스킴 X의 D-근사성으로 이어진다.
• D^\dagger_{{\cal X},{\bf Q}}(\lambda)-모듈의 범주는 유도된 모듈에 의해 생성되며, 이는 승강 추론에 핵심적이다.
• 이 결과는 양의 특성에서의 리 대수 표현에 대한 국소화 정리의 산술적 유사체를 위한 핵심 단계를 제공한다.