[논문 리뷰] Tate Objects in Exact Categories (with appendix by Jan \vS\vtov\'ı\vcek and Jan Trlifaj)

Oliver Bräunling, Michael Groechenig외 1명|arXiv (Cornell University)|2014. 02. 20.

Algebraic structures and combinatorial models참고 문헌 20인용 수 11

한 줄 요약

이 논문은 정확한 범주에서 타트 오브제크트에 대한 범주론적 프레임워크를 개발하며, 무한차원 벡터 공간과 대수기하학에서의 아드레프를 일반화한다. 기본 타트 오브제크트는 확장에 대해 닫혀 있고 애드미시블 Ind- 및 Pro-오브제크트를 포함하는 가장 작은 부분범주로 특성화되며, 사토 그라스만يان과 n-타트 모듈러스의 기본 성질이 확립된다. 부록에서는 평탄한 미탈레프러 모듈러스가 유한 생성 프로젝티브 모듈러스 위의 애드미시블 Ind-오브제크트의 아이디포텐트 완비화임을 규명한다.

ABSTRACT

We study elementary Tate objects in an exact category. We characterize the category of elementary Tate objects as the smallest sub-category of admissible Ind-Pro objects which contains the categories of admissible Ind-objects and admissible Pro-objects, and which is closed under extensions. We compare Beilinson's approach to Tate modules to Drinfeld's. We establish several properties of the Sato Grassmannian of an elementary Tate object in an idempotent complete exact category (e.g. it is a directed poset). We conclude with a brief treatment of n-Tate modules and n-dimensional adèles. An appendix due to J. \vS\vtov\'ı\vcek and J. Trlifaj identifies the category of flat Mittag-Leffler modules with the idempotent completion of the category of admissible Ind-objects in the category of finitely generated projective modules.

연구 동기 및 목표

• 임의의 정확한 범주에서 타트 오브제크트에 대한 범주론적 프레임워크를 개발하여, 대수기하학과 수론에서의 고전적 구성들을 일반화한다.
• 기본 타트 오브제크트를 확장에 대해 닫혀 있고 애드미시블 Ind- 및 Pro-오브제크트를 포함하는 가장 작은 부분범주로 특성화한다.
• 아이디포텐트 완비 정확한 범주에서 기본 타트 오브제크트의 사토 그라스만يان에 대한 기본 성질을 확립한다.
• 이론을 n-타트 오브제크트로 확장하고, 빌린슨–파르신 아드레프와 고차원 국소체와의 관계를 규명한다.
• 평탄한 미탈레프러 모듈러스의 범주를 유한 생성 프로젝티브 모듈러스 위의 애드미시블 Ind-오브제크트의 아이디포텐트 완비화로 식별한다.

제안 방법

• 정확한 범주에서 Ind-오브제크트와 Pro-오브제크트의 형식적 체계를 사용하여 이산적, 선형적으로 컴팩트한, 국소적으로 선형적으로 컴팩트한 오브제크트를 모델링한다.
• 유도된 방향 체계에서 분할 단사 사상 또는 분할 전성사상을 통한 필터링된 코일리미트와 극한을 통해 애드미시블 Ind- 및 Pro-오브제크트를 도입한다.
• 기본 타트 오브제크트를 애드미시블 Pro-오브제크트에 대한 애드미시블 Ind-오브제크트의 확장으로 정의하며, 이는 확장에 대해 닫혀 있다.
• 비아벨 설정에서 큰 코일리미트와 극한을 다루기 위해 좌측 정확한 프레시브베이의 이론과 기수 산술을 적용한다.
• 아이디포텐트 완비 정확한 범주에서 사토 그라스만يان을 방향성 있는 부분순서집합으로 확립한다.
• 부록을 통해 에일렌버그의 트릭과 초한수 연장 기법을 사용하여 평탄한 미탈레프러 모듈러스가 Inda(Pf(R))의 아이디포텐트 완비화임을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 임의의 정확한 범주에서 타트 오브제크트를 체계적으로 정의할 수 있으며, 이는 대수기하학에서의 고전적 구성들을 일반화하는가?
• RQ2 확장에 대해 닫혀 있고 Ind- 및 Pro-오브제크트를 포함하는 조건에서, 기본 타트 오브제크트의 범주론적 특성은 무엇인가?
• RQ3 아이디포텐트 완비 정확한 범주에서 기본 타트 오브제크트의 사토 그라스만يان은 어떻게 행동하는가?
• RQ4 n-타트 오브제크트와 고차원 아드레프 사이의 관계는 무엇이며, 특히 빌린슨–파르신 프레임워크에서 어떻게 연결되는가?
• RQ5 기본적으로 생성된 프로젝티브 모듈러스 위의 인도 오브제크트로 표현할 때, 평탄한 미탈레프러 모듈러스의 정확한 범주론적 기술은 무엇인가?

주요 결과

• 정확한 범주에서의 기본 타트 오브제크트는 애드미시블 Ind- 및 Pro-오브제크트를 포함하고 확장에 대해 닫혀 있는 가장 작은 전체 부분범주로 특성화된다.
• 아이디포텐트 완비 정확한 범주에서 기본 타트 오브제크트의 사토 그라스만يان은 방향성 있는 부분순서집합이다.
• 환 R에 대해, 평탄한 미탈레프러 모듈러스의 범주는 R-기본 유한 생성 프로젝티브 모듈러스 위의 애드미시블 Ind-오브제크트의 범주의 아이디포텐트 완비화와 동치이다.
• R가 오른쪽 완비가 아닐 경우, Cκ+ 내에서 비프로젝티브인 κ+-생성 모듈러스가 존재하며, 그 표준 표현이 분할되지 않음을 보여, Inda(C) 내의 짧은 정확한 수열이 비가산 기수에서 분할되지 않을 수 있음을 시사한다.
• 평탄한 미탈레프러 모듈러스의 범주 FM(R)는 초한수 연장에 대해 닫혀 있지만, 어떤 원소들의 집합으로부터도 이를 얻을 수 없으며, 이는 비완비 설정에서의 복잡성을 나타낸다.
• 각 무한 기수 κ에 대해, Cκ+ 내에서 표준 표현이 분할되지 않는 비프로젝티브 모듈러스 Mκ+가 존재함을 보여, 비가산 설정에서의 분할 실패를 입증한다.