[논문 리뷰] Adeles on n-dimensional schemes and categories C_n

Денис Васильевич Осипов|arXiv (Cornell University)|2005. 09. 08.

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

한 줄 요약

이 논문은 필터링된 벡터 공간과 일련의 포함된 $C_{n-1}$-구조를 가진 $n$차원 스킴에 대한 새로운 범주적 프레임워크 $C_n$을 도입한다. $n$차원 노에테리안 스킴 위에서의 파르신-베일린스킨 아델스가 $C_n$-공간을 이룬다는 것을 증명하고, $n$차원 국소체의 내부자 연산 대수를 계산하며, $n > 1$일 때 연속적 내부자 연산이 $C_n$ 내부자 연산을 엄밀히 포함한다는 것을 보여준다. 이 프레임워크는 완비화 없이 비엘린슨의 $ȑ\u0211\u0211$-함수를 일반화하며, 반복한 극한과 호환되는 필터링 구조와 사상에 중점을 둔다.

ABSTRACT

We consider categories C_n, which are very close to the iterated version of Ind Pro limits introduced by A.Bejlinson in his article "How to glue perverse sheaves". We prove that the adelic space on n-dimensional noetherian scheme is an object of C_n.

연구 동기 및 목표

• 완비화 없이 비엘린슨의 $ȑ\u0211\u0211$-함수를 일반화하는 필터링된 벡터 공간과 포함된 $C_{n-1}$-구조를 가진 새로운 범주 $C_n$를 정의한다.
• 체 $k$ 위의 $n$차원 노에테리안 스킴에서의 아델스 공간이 일관된 코herent sheaf 필터링에 의해 자연스럽게 $C_n$-공간이 됨을 보인다.
• $n$차원 국소체 $K = k((t_n))\cdots((t_1))$의 내부자 대수 $\mathrm{End}_K$를 계산하고, 이가 연속적 내부자 연산 대수와 다름을 분명히 한다.
• $n > 1$일 때 $\mathrm{End}_K$가 연속적 내부자 연산의 진부분대수임을 확립하여 $n=1$의 경우와의 핵심적 차이를 부각한다.

제안 방법

• inductively $C_n$를 정의한다: $C_0$는 유한차원 $k$-벡터 공간이며, $C_n$은 각 몫 $F(j)/F(i)$가 $C_{n-1}$-구조를 지닌 필터링된 $k$-벡터 공간의 집합이다.
• 순서를 유지하는 사상이 부분공간을 보존하고 목표 필터링을 덮는 방식으로 $C_n$-대상 간의 필터링의 지배성( dominance )을 도입한다.
• $C_n$의 사상은 필터링을 보존하고, 모든 몫공간에서 $C_{n-1}$에 대해 적절한 삼중체를 유도하는 $k$-선형 사상으로 정의한다.
• $K = k((t_n))\cdots((t_1))$의 $n$차원 국소체에 대해 $t_1, t_2, \dots, t_n$의 거듭제곱에 의한 중첩된 필터링을 사용하여 $C_n$-구조를 구성한다. 각 몫공간은 $C_{n-1}$-구조를 지닌다.
• $\mathrm{End}_K$의 내부자 연산을 행렬 $\{A_{ij}\}_{i,j \in \mathbb{Z}}$로 표현하며, $\mathrm{End}_{\bar{K}}(\bar{K})$의 원소를 성분으로 하되, 인덱스에 대한 성장 조건을 부과한다.
• $n=2$에 대해 연속적이지만 $C_n$-사상이 아닌 사상을 구성함으로써 $\mathrm{End}_K \subset \mathrm{End}_k^c(K)$임을 증명하고, 등호는 $n=1$일 때에만 성립함을 보인다.

실험 결과

연구 질문

• RQ1 완비화 없이 필터링 구조를 사용하여 비엘린슨의 $ȑ\u0211\u0211$-함수를 고차원으로 일반화할 수 있는가?
• RQ2 체 $k$ 위의 $n$차원 노에테리안 스킴에서의 파르신-베일린스킨 아델스 공간은 코herent sheaf 필터링 하에 자연스럽게 $C_n$-공간인가?
• RQ3 $n$차원 국소체 $K = k((t_n))\cdots((t_1))$의 내부자 대수 $\mathrm{End}_K$의 구조는 어떠한가?
• RQ4 $n > 1$일 때 $\mathrm{End}_K$는 연속적 $k$-선형 내부자 연산 대수 $\mathrm{End}_k^c(K)$와 어떻게 비교되는가?
• RQ5 $C_n$-사상은 $n$차원 국소체의 $\mathrm{End}_{\bar{K}}$ 위의 행렬 대수에 임베딩될 수 있는가?

주요 결과

• 체 $k$ 위의 $n$차원 노에테리안 스킴에서의 파르신-베일린스킨 아델스 공간은 스킴 위의 코herent sheaf의 부분순서집합에 의해 필터링된 $C_n$-공간이다.
• $n$차원 국소체 $K = k((t_n))\cdots((t_1))$의 내부자 대수 $\mathrm{End}_K$는 $k$-선형 사상으로 이루어지며, 그 행렬 표현 $\{A_{ij}\}$는 비감소하는 인덱스 성장 조건을 만족한다: $A_{ij} = 0$ for $j < a(i)$, where $a(i) \to \infty$ as $i \to \infty$.
• $n=1$일 때 $\mathrm{End}_K = \mathrm{End}_k^c(K)$이지만, $n > 1$일 때 $\mathrm{End}_K$는 $\mathrm{End}_k^c(K)$의 진부분대수이다. 이는 $n=2$일 때 연속적이지만 $C_n$-사상이 아닌 사상을 구성함으로써 입증된다.
• $\mathrm{End}_K^{\oplus m} \hookrightarrow \mathrm{End}_K$의 임베딩이 존재하며, 따라서 $gl(m,K) \hookrightarrow \mathrm{End}_K$도 성립한다. 이는 $\mathrm{End}_K$가 $K$ 위의 행렬 대수를 포함함을 보여준다.
• $K$에 대한 $C_n$-구조는 $t_1, \dots, t_n$의 거듭제곱에 의한 중첩된 필터링을 통해 구성된 표준적인 $C_n$-구조를 지배한다. 이는 자연스럽고 최대의 구조임을 시사한다.
• $C_n$-범주 프레임워크는 비완비화된, 필터링된 비엘린슨의 $ȑ\u0211\u0211$-함수의 일반화로서, 고차원 스킴 위에서의 조화 분석에 적합하다.