[논문 리뷰] A finite order arithmetic foundation for cohomology

Colin McLarty|arXiv (Cornell University)|2011. 02. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 3

한 줄 요약

이 논문은 토포스와 유도 범주와 같은 고급 코homological 도구에 대한 유한 차수 산술적 기초를 수립하며, EGA 및 SGA의 정리들이 가능한 한 가장 약한 수준—유한 차수 산술—에서 형식화될 수 있음을 보여주어 이러한 도구들이 거대한 구조적 복잡성에도 불구하고 여전히 산술에 깊이 뿌리를 두고 있음을 입증한다.

ABSTRACT

Such large-structure tools of cohomology as toposes and derived categories stay close to arithmetic in practice, yet existing foundations for them go beyond the strong set theory ZFC. We formalize the practical insight by founding the theorems of EGA and SGA, plus derived categories, at the level of finite order arithmetic. This is the weakest possible foundation for these tools since one elementary topos of sets with infinity is already this strong.

연구 동기 및 목표

• EGA와 SGA의 핵심 정리를 뒷받침할 수 있는 가장 약한 기초 체계를 특정하는 것.
• 토포스와 유도 범주와 같은 거대한 구조적 코homological 도구들이 여전히 유한 차수 산술에 뿌리를 두고 있음을 보여주는 것.
• ZFC와 같은 더 강력한 집합론을 초월하지 않고도 이러한 도구들을 형식화하는 것.
• 무한을 포함하는 한 개의 원시적 토포스가 이러한 구성에 필요한 강도를 이미 충분히 제공함을 보여주는 것.

제안 방법

• EGA와 SGA의 정리를 유한 차수 산술 내에서 형식화하는 것.
• 무한을 포함하는 원시적 집합 토포스의 내부 논리를 최소 강력한 기초로 사용하는 것.
• 토포스 이론적 및 유도 범주론적 구성에 필요한 논리적 강도를 분석하는 것.
• 이러한 코homological 결과를 위해 유한 차수 산술을 초월하는 더 강력한 체계가 필요하지 않음을 보여주는 것.
• 유한 차수 산술이 현대 대수기하학에서 코homological 도구의 실용적 사용을 포괄하는 데 충분함을 확립하는 것.
• 필요로 하는 최소 강도가 정확히 한 개의 무한을 포함하는 원시적 집합 토포스의 수준임을 확인하는 것.

실험 결과

연구 질문

• RQ1 EGA와 SGA 정리에 필요한 기초 논리 체계의 강도를 유한 차수 산술 수준으로 낮출 수 있는가?
• RQ2 유한 차수 산술이 대수기하학에서 유도 범주와 토포스를 형식화하는 데 충분한가?
• RQ3 산술기하학에서 코homological 도구의 실용적 사용이 유한 차수 산술을 초월하는 더 강력한 집합론적 기초를 필요로 하는가?
• RQ4 현대 대수기하학의 핵심 결과를 뒷받침할 수 있는 최소 논리 체계는 무엇인가?
• RQ5 무한을 포함하는 한 개의 원시적 집합 토포스의 강도가 이러한 코homological 도구에 대해 가능한 한 가장 약한 기초인가?

주요 결과

• EGA와 SGA의 정리는 유한 차수 산술 내에서 형식화될 수 있다.
• 코homological 도구가 사용되는 데 있어 유한 차수 산술이 가능한 한 가장 약한 기초이다.
• 실제로 토포스와 유도 범주를 사용하는 방식이 여전히 유한 차수 산술의 범위 내에 머무른다.
• 무한을 포함하는 한 개의 원시적 토포스가 이러한 도구가 요구하는 논리적 강도를 충분히 포괄한다.
• 현대 대수기하학의 핵심 결과를 형식화하기 위해 유한 차수 산술을 초월하는 더 강력한 체계가 필요하지 않다.
• 대수기하학에서 코homological 방법의 실용적 강도는 유한 차수 산술 내에 완전히 포함되어 있다.