[논문 리뷰] Foundations for almost ring theory -- Release 7.5

Ofer Gabber, Lorenzo Ramero|arXiv (Cornell University)|2004. 09. 29.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 57

한 줄 요약

이 논문은 거의 링 이론의 기초 도구를 구축하며, 특히 페르페كت로이드 및 거의 페르페كت로이드 대수에 중점을 두고 고급 범주론, 토포스 이론, 호모로지 대수학을 활용한다. 특정 조건 하에서 아이디얼에 沿한 링의 완비화가 거의 페르페كت로이드가 되며, 이는 산술기하학과 p진 호드지 이론의 핵심 결과를 확장한다.

ABSTRACT

This is release 7.5 of our project, aiming to provide a complete treatment of the foundations of almost ring theory, following and extending Faltings's method of "almost etale extensions". The central result is the "almost purity theorem", for whose proof we adapt Scholze's method, based on his perfectoid spaces. This release provides the foundations for our generalization of Scholze's perfectoid spaces, and reduces the proof of the almost purity theorem to a general assertion concerning the étale topology of adic spaces, whose proof uses previous work by the first author. As usual, this new release is a mix of corrections and various improvements, with a final chapter dedicated to applications; notably, we include a generalization of Y.André's "perfectoid Abhyankar's lemma" which we use to give a proof of a generalization of the "direct summand conjecture", extending André's recent work.

연구 동기 및 목표

• 거의 링 이론에 대한 통합적 프레임워크를 개발하며, 특히 페르페크트로이드 링과 대수의 맥락에서 중점을 두다.
• p진 위상이 존재하는 맥락에서, 교환대수학과代數기하학의 고전적 결과를 거의 설정으로 일반화하다.
• 완비화가 거의 페르페크트로이드가 되는 조건을 확립하여, 페르페크트로이드 대수의 이론을 확장하다.
• 스택, 사이트, 토포스, 피브레이션을 체계적으로 다루어 거의 대수기하학의 발전을 뒷받침하다.
• 특정 페르페크트로이드 테이트 링과 관련된 대수들이 그 정수적 폐쇄와 거의 동형임을 증명하여, 평탄성과 기저 변경에 대한 호환성을 보장하다.

제안 방법

• 2-범주론과 칸 확장(extensions)을 활용하여 고차 범주적 환경에서 내림내림과 기저 변경을 체계화하다.
• 피브레이션 사이트와 피브레이션 토포스를 활용하여 변화하는 기저 범주 위의 기하적 대상을 모델링하다.
• 호모로지 대수학 기법, 특히 Tor 함자와 평탄성 기준을 활용하여 거의 모듈러와 대수를 분석하다.
• 충실하게 평탄한 대수들의 필터링된 체계의 보편 코일리미트를 구성하여, 거의 링의 버전이 그 기저 위에서 충실하게 평탄함을 보이다.
• 전단계 스택의 국소 분수의 계산 체계와 커버링 사상의 형식을 활용하여 군oids 위의 스택을 정의하고 연구하다.
• 함수 (−)♮을 적용하여 페르페크트로이드 링에서 그 정수적 폐쇄로의 구조를 올리며, 거의 동형을 유지하다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아이디얼에 沿한 링의 완비화가 거의 페르페크트로이드가 되는가?
• RQ2 어떤 경우에 두 대수 사이의 거의 동형이 타겟이 소스 위에서 충실하게 평탄함을 의미하는가?
• RQ3 스택과 토포스 이론은 거의 설정으로 어떻게 확장될 수 있으며, 특히 내림내림과 피브레이션과의 관계에서 어떻게 적용되는가?
• RQ4 페르페크트로이드 링의 정수적 폐쇄와 거의 완비화 사이의 관계는 무엇인가?
• RQ5 형식적 페르페크트로이드 링의 맥락에서 기저 변경과 국소화가 거의 페르페크트로이드 성질을 유지하는가?

주요 결과

• 아이디얼 $ b $ 에 의한 링 $ C $ 의 완비화 $ C^\wedge $ 는, $ C/bC \to C/b^pC $ 에 대한 프로푸시오의 사상이 거의 동형을 유도하는 한, 거의 페르페크트로이드 기본 설정이 된다.
• 적절한 조건 하에서, 링 $ C $ 의 거의 버전인 $ C^a $ 는 기저 링 $ A_0 $ 의 거의 버전인 $ A_0^a $ 위에서 충실하게 평탄하다.
• 유도된 사상 $ ((A^\sharp_0)^\nu)^a \to (A^\nu_0)^a $ 는 $ (R_0, m_R)^a $-대수로서의 동형이며, 주어진 가정 하에 정수적 폐쇄와 거의 완비화가 서로 교환 가능함을 보여준다.
• 충실하게 평탄한 $ A_0^a $-대수들 $ D_\gamma^a $ 의 필터링된 체계의 극한은 스스로 $ A_0^a $-대수로서 충실하게 평탄하다. 이는 링 $ B $ 의 거의 버전이 $ A_0^a $ 위에서 평탄함을 증명한다.
• 사상 $ \Phi_C: C/bC \to C/b^pC $ 는 거의 동형이며, 이는 $ C^\wedge $ 가 거의 페르페크트로이드 조건을 만족함을 확인하는 핵심 단계이다.
• 함수 $ \natural $-함수의 구성은 거의 동형을 유지하며, 페르페크트로이드 구조의 올림을 가능하게 하여, $ C^a $ 의 거의 평탄성에 대한 별도의 증명을 이끌어낸다.