[논문 리뷰] Categorical formal punctured neighborhood of infinity, I

Alexander I. Efimov|arXiv (Cornell University)|2017. 11. 02.

Algebraic structures and combinatorial models참고 문헌 13인용 수 3

한 줄 요약

이 논문은 형식적이고 빈틈진 무한의 이웃을 DG 범주론적으로 일반화하여, 임의의 매끄러운 DG 범주 $\mathcal{B}$에 대해 $Πerf_{ ext{top}}(\widehat{\mathcal{B}}_{\infty})$라는 범주를 구성한다. 이는 $\mathcal{B} = \operatorname{Perf}(X)$일 때 대수기하학적 범주 $\operatorname{Perf}(\widehat{X}_{\infty})$를 복원하며, 캘킨 대수를 일반화하고 컴actsification 선택에 영향을 받지 않아, 무한 이웃을 연구하기 위한 준불변적 범주론적 프레임워크를 제공한다.

ABSTRACT

In this paper we introduce and study the formal punctured neighborhood of infinity, both in the algebro-geometric and in the DG categorical frameworks. For a smooth algebraic variety $X$ over a field of characteristic zero, one can take its smooth compactification $\bar{X}\supset X,$ and then take the DG category of perfect complexes on the formal punctured neighborhood of the infinity locus $\bar{X}-X.$ The result turns out to be independent of $\bar{X}$ (up to a quasi-equivalence) and we denote this DG category by $\operatorname{Perf}(\hat{X}_{\infty}).$ We show that this construction can be done purely DG categorically (hence of course also $A_{\infty}$-categorically). For any smooth DG category $\mathcal{B},$ we construct the DG category $\operatorname{Perf}_{top}(\hat{\mathcal{B}}_{\infty}),$ which we call the category of perfect complexes on the formal punctured neighborhood of infinity of $\mathcal{B}.$ The construction is closely related to the algebraic version of a Calkin algebra: endomorphisms of an infinite-dimensional vector space modulo endomorphisms of finite rank. We prove that the DG categorical construction is compatible with the algebro-geometric one. We study numerous examples. In particular, for the algebra of rational functions on a smooth complete connected curve $C$ we obtain the algebra of adeles $\mathbb{A}_C,$ and for $\mathcal{B}=D^b_{coh}(Y)$ for a proper singular scheme $Y$ we obtain the category $D_{sg}(Y)^{op}$ -- the opposite category of the Orlov's category of singularities. Among other things, we discuss the relation with the papers of Tate \cite{Ta} and Arbarello, de Concini, and Kac \cite{ACK}.

연구 동기 및 목표

• 알고리즘적 기하학적 컴팩티피케이션에 의존하지 않는 순수 DG 범주론적 형식적 빈틈진 무한의 이웃을 정의하는 것.
• 특히 무한차원 내적 공간을 유한 랭크 연산자에 대해 모듈로한 경우에 대해 캘킨 대수의 구성 방식을 DG 범주로 일반화하는 것.
• $\mathcal{B} = \operatorname{Perf}(X)$일 때, 구성이 $\operatorname{Perf}(\widehat{X}_{\infty})$ — 즉 무한의 형식적 빈틈진 이웃 위의 완전 복합체의 범주 — 를 복원함을 보여주는 것.
• 컴팩티피케이션 선택에 대해 불변성을 입증하여, 매끄러운 다양체에 대해 구성이 잘 정의되어 있음을 보장하는 것.
• 기존 프레임워크와의 연결 고리 탐색 — 특히 후카야 범주, 테이트의 작업, 오르로프의 범주 $D_{\text{sg}}(Y)^{\text{op}}$ 를 통한 특이점 이론과의 관계 탐색.

제안 방법

• 적절한 아이디얼에 대한 $\operatorname{Perf}(\mathcal{B})$의 몫으로 DG 범주 $\operatorname{Perf}_{\text{top}}(\widehat{\mathcal{B}}_{\infty})$를 정의하여, 캘킨 대수의 구성 방식을 일반화하는 것.
• $\widehat{\mathcal{B}}_{\infty}$를 비음수 코homology를 가진 DG 대수로 구성하며, $H^0(\widehat{\mathcal{B}}_{\infty}) \cong \operatorname{End}_k(B)/B^* \otimes B$ 를 유도하는 것으로, $B$는 결합법칙을 가진 대수이며, 유한 랭크 내적에 대해 모듈로한 것으로 간주한다.
• 기초 모델로 $\operatorname{Calk}_k := \operatorname{Mod}_k / \operatorname{Perf}(k)$를 사용하여, 대수기하학적 캘킨 대수를 일반화하는 것.
• 컴팩트 근사와 의사완전 모듈러를 포함한 호모로지 대수 기법을 적용하여, 잘 정의된 유도 범주를 확보하는 것.
• $\mathcal{E}$가 $\operatorname{Perf}(X)$의 생성자일 때 $D(X) \simeq D(A_X)$ 이며, $A_X = \operatorname{End}(\mathcal{E})$ 라는 동치관계를 활용하여 기하학적 및 범주론적 구성 간의 연결 고리를 확립하는 것.
• 유한성 및 컴팩트 근사 성질을 통해, $\mathcal{B}$가 매끄럽지 않은 소형 DG 범주일 경우에도 $\widehat{\mathcal{B}}_{\infty}$ 가 잘 정의됨을 증명하는 것.

실험 결과

연구 질문

• RQ1 대수기하학에서의 형식적 빈틈진 무한의 이웃이 컴팩티피케이션에 대한 참조 없이 순수하게 DG 범주론적으로 재구성될 수 있는가?
• RQ2 DG 범주론적 구성이 특히 무한차원 내적 공간을 유한 랭크 연산자에 대해 모듈로한 경우에 캘킨 대수와 어떻게 관련되어 있는가?
• RQ3 만약 $\mathcal{B} = \operatorname{Perf}(X)$일 때, 결과적으로 유도된 범주 $\operatorname{Perf}_{\text{top}}(\widehat{\mathcal{B}}_{\infty})$ 는 매끄러운 컴팩티피케이션의 선택에 영향을 받는가?
• RQ4 매끄러운 사영 곡선 $C$에 대해, $\widehat{\mathcal{B}}_{\infty}$ 를 통한 $\mathbb{A}_C$ — 아델 링 — 의 범주론적 해석은 무엇인가?
• RQ5 이 구성이 오르로프의 특이점 범주 $D_{\text{sg}}(Y)^{\text{op}}$ 와 같은 알려진 불변량을 회복하는가? (특히 $Y$가 올바른 특이 스킴일 경우)

주요 결과

• 특성 0인 체 위의 임의의 매끄러운 대수기하학적 다양체 $X$에 대해, 구성은 $\overline{X} \supset X$ 라는 매끄러운 컴팩티피케이션의 선택에 관계없이, 준동치에 대해 불변인 범주 $\operatorname{Perf}(\widehat{X}_{\infty})$ 를 유도한다.
• $\mathcal{B} = \operatorname{Perf}(X)$일 때, DG 범주론적 구성은 정확히 $\operatorname{Perf}(\widehat{X}_{\infty})$ 를 복원하며, 대수기하학적 구성의 범주론적 동반자로서의 성격을 입증한다.
• $B = \mathrm{k}[t]$ — 다항식의 대수 — 일 때, $H^0(\widehat{B}_{\infty})$ 는 $\mathrm{k}((t^{-1}))$ — $t^{-1}$ 에 대한 로렌츠 급수의 체 — 와 동형이 되며, 이는 구성이 알려진 예제와 일관됨을 확인한다.
• 매끄럽고 완전한 곡선 $C$ 위의 유리 함수 대수에 대해, 구성은 아델 링 $\mathbb{A}_C$ 를 유도하며, 이는 전역 체 이론과의 관련성을 보여준다.
• $\mathcal{B} = D^b_{\text{coh}}(Y)$ 이고 $Y$가 올바른 특이 스킴일 때, 구성은 오르로프의 특이점 범주 $D_{\text{sg}}(Y)^{\text{op}}$ 의 반대 범주를 생성하며, 특이점 이론과의 연결 고리를 맺는다.
• 이 구성은 캘킨 대수를 일반화한다: $H^0(\widehat{B}_{\infty}) \cong \operatorname{End}_k(B)/B^* \otimes B$ 이며, 여기서 $B^* \otimes B$ 는 유한 랭크 내적을 나타내며, $b \mapsto \overline{L_b}$ 는 $B$ 를 몫에 자연스럽게 포함시키는 사상이다.