스킴

스킴은 그로텐디크가 다양체를 광범위하게 일반화한 것으로, 임의의 가환환의 스펙트럼을 붙여서 구성되며, 이를 통해 대수 기하학이 모든 환 위에서 작동하고 무한소 및 산술 정보를 추적할 수 있게 합니다.

Definition

스킴은 국소환 공간으로, 국소적으로 가환환의 스펙트럼(아핀 스킴)과 동형이며, 여기서 점들은 소 아이디얼이고 구조 층은 각 열린 집합 위의 함수 환을 기록합니다.

Scope

이 주제는 가환환의 스펙트럼을 국소환 공간으로 구성하고, 아핀 스킴과 일반 스킴을 붙여서 정의하며, 스킴의 사상과 상대적 관점을 발전시킵니다. 이는 축소 스킴, 정역 스킴, 분리 스킴, 고유 스킴, 매끄러운 스킴과 같은 주요 속성, 파이버 곱과 기저 변경, 그리고 점의 함자 관점을 다룹니다. 비축소 구조를 포착하는 멱영원(nilpotent)의 역할과 산술 기하학을 위한 정수 위 스킴의 사용이 강조됩니다.

Core questions

• 환의 소 스펙트럼은 어떻게 임의의 가환 대수를 기하학으로 전환시키는가?
• 멱영원과 일반점은 스킴이 다양체로는 표현할 수 없는 무엇을 표현하게 하는가?
• 상대 스킴과 기저 변경은 어떻게 모든 기저 위에서 통일된 이론을 지원하는가?
• 점의 함자 관점은 스킴으로의 사상을 통해 스킴을 어떻게 특징짓는가?

Key concepts

• 환의 스펙트럼과 소 아이디얼 위의 자리스키 위상
• 구조 층과 국소환 공간
• 아핀 스킴과 일반 스킴으로의 붙임
• 사상, 파이버 곱, 그리고 기저 변경
• 점의 함자와 비축소 (멱영원) 구조

Clinical relevance

스킴 이론은 현대 대수 기하학과 산술 기하학의 기초 언어입니다. 이는 Weil 추측의 코호몰로지 증명과 페르마의 마지막 정리 뒤에 있는 모듈러성 결과를 가능하게 했으며, 모듈라이 문제와 변형 이론을 구성합니다.

History

세르의 층 이론적 대수 기하학을 바탕으로, 그로텐디크는 Éléments de géométrie algébrique (1960년대)에서 스킴을 도입하여 다양체를 임의의 환의 스펙트럼으로 일반화하고 코호몰로지적 및 범주론적 기초 위에서 전체 분야를 재건했습니다.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

스킴은 다양체와 어떻게 다른가?

다양체는 본질적으로 체 위에서 유한형의 정역적, 축소 스킴입니다. 일반 스킴은 멱영 함수, 무한히 많거나 일반적인 점을 가질 수 있으며, 정수를 포함한 모든 가환환 위에서 정의될 수 있습니다.

스킴의 점들이 최대 아이디얼뿐만 아니라 소 아이디얼을 포함하는 이유는 무엇인가?

최대 아이디얼이 아닌 소 아이디얼은 부분 다양체의 폐포에 놓이는 일반점을 제공하여, 기약 부분 스킴의 포함 구조를 포착하고 환 사상 아래에서 기하학을 함자적으로 만듭니다.