[논문 리뷰] Formal completion of a category along a subcategory

Alexander I. Efimov|arXiv (Cornell University)|2010. 06. 24.

Algebraic structures and combinatorial models참고 문헌 9인용 수 7

한 줄 요약

이 논문은 유한 두께의 본질적으로 작은 삼중분할 부분범주를 따라 컴팩트하게 생성된 강화된 삼중분할 범주에 대한 범주론적 형식 완비화 구축법을 도입한다. 이 구축법은 유도된 이중 중심화를 사용하며, 이는 노에테리안 스킴의 닫힌 부분스킴을 따라 형식 완비화하는 전통적 방법과 빌린슨-파르신 아델스를 모두 복원함으로써, 호모로지 대수학을 통한 이론적 기반을 제공한다.

ABSTRACT

Following an idea of Kontsevich, we introduce and study the notion of formal completion of a compactly generated (by a set of objects) enhanced triangulated category along a full thick essentially small triangulated subcategory. In particular, we prove (answering a question of Kontsevich) that using categorical formal completion, one can obtain ordinary formal completions of Noetherian schemes along closed subschemes. Moreover, we show that Beilinson-Parshin adeles can be also obtained using categorical formal completion.

연구 동기 및 목표

• DG 강화와 유도된 이중 중심화를 사용하여 콘스테비치의 범주론적 형식 완비화 아이디어를 수학적으로 형식화하기.
• 노에테리안 스킴의 닫힌 부분스킴을 따라 전통적 형식 완비화를 일반화하는 보편적 구축법을 확립하기.
• 빌린슨-파르신 아델스가 이 범주론적 형식 완비화 과정에서 자연스럽게 유도됨을 보여주기.
• 스킴의 완비화와 아델스의 기하학적 완비화 현상이 단일한 범주론적 프레임워크 아래 통합됨을 보여주기.

제안 방법

• 유도된 이중 중심화를 사용하여 컴팩트하게 생성된 강화된 삼중분할 범주를 유한 두께의 본질적으로 작은 삼중분할 부분범주를 따라 형식 완비화한다.
• 유도된 범주 D(A) 내의 객체 M에 대한 유도된 이중 중심화를 RHom_{B^{op}}(M)^{op}로 정의하며, 여기서 B = RHom_A(M)이다.
• 이중 중심화의 준동형 동치류가 M에 의해 클래스ически 생성된 삼중분할 부분범주의 동치류에만 의존한다는 것을 보인다.
• 유사수렴의 극한을 통해 유도된 대수기하학적 맥락에서 이중 중심화를 형식 완비화와 연결한다. 특히 노에테리안 스킴의 맥락에서 적용한다.
• 형식 완비화의 대수기하학적 유도 범주를 정의하여, 이와 범주론적 완비화를 비교할 수 있도록 한다.
• 기하학적 구축법과 범주론적 완비화 사이의 동치성을 보여주는 가환 다이어그램을 수립한다.

실험 결과

연구 질문

• RQ1 닫힌 부분스킴을 따라 스킴의 형식 완비화가 유도 범주와 이중 중심화를 통해 범주론적으로 재구성될 수 있는가?
• RQ2 범주론적 형식 완비화 구축법이 노에테리안 환의 일반적인 I-adic 완비화를 재현하는가?
• RQ3 빌린슨-파르신 아델스가 범주론적 형식 완비화의 특수한 경우로 나타나는가?
• RQ4 어떤 조건에서 삼중분할 범주의 부분범주를 따라 형식 완비화한 결과가 스킴의 형식 완비화의 유도 범주로 복원되는가?
• RQ5 자연스러운 가정 하에 원래 범주에서 형식 완비화로의 제약 함자(제약 함수)가 전사적이고 충실한가?

주요 결과

• D(X)를 D^b_{coh,Y}(X)를 따라 형식 완비화하면, 기존의 노에테리안 스킴 X의 닫힌 부분스킴 Y를 따라 형식 완비화된 대수기하학적 유도 범주 D_{alg}(X_hat_Y)와 동치가 되며, 이는 고전적 형식 완비화를 복원한다.
• 정칙 노에테리안 대수 R 위에서 유한 생성된 코homology를 가진 복합체 M에 대해, H^*(M)의 소멸자에 따라 형식 완비화하면 R의 일반적인 I-adic 완비화가 얻어진다.
• 만약 R 또는 R/I가 정칙이라면, D^b_{coh}(Spec R/I)를 따라 형식 완비화하면 R의 I-adic 완비화가 얻어지며, 이는 유도 범주에서의 완비화와 관련된 추측을 확인한다.
• 범주론적 형식 완비화를 통해 빌린슨-파르신 아델스를 구성하는 것은 고전적 정의와 동치이며, 두 정의 사이를 연결하는 가환 다이어그램이 존재한다.
• 자연스러운 가정 하에 원래 범주에서 형식 완비화로의 제약 함자는 전사적이고 충실하며, 이중 완비화가 원래 완비화와 동치임을 보였다.
• 무한소 이웃의 유도 대수기하학적 맥락에서 유도된 대수기하학적 극한이 형식 완비화를 복원하며, 이는 범주론적 구축법과 기하학적 구축법 사이의 기술적 다리를 놓는다.