[논문 리뷰] Fan is to monoid as scheme is to ring: a generalization of the notion of a fan

Howard M Thompson|ArXiv.org|2003. 06. 13.

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

한 줄 요약

이 논문은 유한 다각형 빛의 원소들로 이루어진 팬을 모노이드를 갖춘 공간—위상 공간에 모노이드의 층이 부여된 것—으로 대체함으로써 토릭 다양체 이론을 일반화한다. 이로써 비정규성 및 비준비사영성의 토릭 다양체를 포함하는 이론으로 확장된다. 주요 기여는 스킴을 모노이드 대수와 붙임으로써 구성하는 새로운 프레임워크로, 고전적인 스킴 이론에서 링을 모노이드로 일반화한 것으로, 모노이드의 스펙트럼이 아핀 스킴의 역할을 한다.

ABSTRACT

Following DeMeyer, Ford & Miranda [DFM93], we define a topology on a fan by declaring open sets to be its subfans. Then, like Kato [Kat94], we make our fans into monoided spaces by associating a sheaf of monoids to each fan. (Our sheaf of monoids differs from Kato's.) Observing that this new monoided space is locally isomorphic to the spectrum of some monoid in the same sort of way a scheme is locally isomorphic to the spectrum of some ring, we define any monoided space that is locally isomorphic to the spectra of monoids to be a (generalized) fan. The monoid algebra functor can then be used to associate a scheme to such a fan. If we use the monoid algebra functor over some base field k, the resultant scheme is a normal variety if and only if it is a toric variety.

연구 동기 및 목표

• 고전적 토릭 다양체 이론을 정규성 및 준비사영성 조건을 초월하여 확장하기 위해.
• 스킴 이론에서 링 대신 모노이드를 사용하는 프레임워크를 개발하여, 모노이드 스펙트럼을 아핀 모델로 삼기 위해.
• 모노이드 대수와 붙임을 통해 일반화된 팬으로부터 스킴을 구성하기 위해.
• 모노이드가 유한 생성, 취소 가능, 토르션 자유일 때, 고전적 토릭 다양체가 특수한 경우로 복원됨을 보여주기 위해.
• 추상적인 모멘트 맵과 토르스 불변 대상의 강하를 갖는 새로운 기하학적 도구를 제공하기 위해.

제안 방법

• 가환 모노이드의 스펙트럼을 그 소수 이상의 위상 공간으로 정의하고, 모노이드의 층을 부여한다.
• 오빗 공간 위상과 이중 모노이드 $ S_\sigma = \sigma^\vee \cap M $ 로 주어진 스토크를 통해 팬(유한 다각형 빛의 원소들의 집합)에 모노이드를 갖춘 공간의 구조를 도입한다.
• 팬을 국소적으로 모노이드의 스펙트럼과 위상동형으로 만족하는 모노이드를 갖춘 공간으로 정의한다.
• 모노이드 대수 함자 $ A \mapsto A[\Delta] $ 를 사용하여 이러한 팬으로부터 스킴을 구성하고, 교차부분에서 아핀 스킴 $ \operatorname{Spec} A[S] $ 를 붙인다.
• 표준 포함 $ s \mapsto t^s $ 를 통해 모노이드 대수 사이의 사상들을 유도하고, 제약 사상으로 붙임을 정의한다.
• 결과로 얻어진 스킴은 연속 사상 $ A[\Delta] \to \Delta $ 를 갖으며, 열린 집합의 역상은 국소화에 대응한다.

실험 결과

연구 질문

• RQ1 모노이드 이론적 구조를 사용하여 비정규성 및 비준비사영성의 예를 포함하는 토릭 다양체 이론을 확장할 수 있는가?
• RQ2 모노이드 대수 구성이 정규성 $ k $-다양체를 만들어내는 데 필요한 조건은 무엇인가?
• RQ3 모노이드를 갖춘 공간에 정의된 추상 모멘트 맵은 고전적 토릭 다양체의 모멘트 맵과 어떻게 관련이 있는가?
• RQ4 팬으로부터 구성된 모노이드를 갖춘 공간이 고전적 토릭 다양체가 되는 조건은 무엇인가?
• RQ5 모노이드의 스펙트럼이 고전적代수기하학과 유사한 일반화된 스킴 이론의 기본 구성 요소로 기능할 수 있는가?

주요 결과

• 팬 $ \Delta $ 와 관련된 모노이드를 갖춘 공간은 국소적으로 모노이드의 스펙트럼과 위상동형이므로, 제안된 일반화된 의미에서 팬이 된다.
• 모노이드 대수와 붙임을 통해 얻어진 스킴 $ k[\Delta] $ 는 $ \Delta $ 가 유한 다각형 빛의 원소들의 팬일 경우 고전적 토릭 다양체와 위상동형이 된다.
• 만약 $ k[\Delta] $ 가 정규성 $ k $-다양체이면, 각 빛 $ \sigma $ 에 대해 모노이드 $ S_\sigma $ 는 유한 생성, 취소 가능, 토르션 자유여야 하며, $ \mathbb{Z}S_\sigma $ 는 격자에 임베딩되어야 한다.
• 스킴 $ k[\Delta] $ 가 정규성 $ k $-다양체일 조건은 그것이 고전적 토릭 다양체일 조건과 동치이며, 이는 그것이 분리되고 유한 유형일 때 성립한다.
• 모노이드를 갖춘 공간의 일반점은 고정된 격자 $ M $ 에 대응하며, 임의의 두 아핀 패치의 교차는 관련 빛의 면에 대응하여 전역적인 구조가 유한 다각형 빛의 원소들의 팬이 됨을 보장한다.