[논문 리뷰] A Theory of Stacky Fans

W. D. Gillam, Samouil Molcho|arXiv (Cornell University)|2015. 12. 23.

Algebraic structures and combinatorial models참고 문헌 14인용 수 5

한 줄 요약

이 논문은 유리 스칼라 스칼라의 유한 지수를 갖는 격자 데이터를 부여함으로써 토릭 기하학의 고전적 팬의 스택형 일반화인 KM 팬을 도입한다. 이는 대수기하, 미분기하, 스택형 기하 카테고리로의 실현 함자를 수립하며, 대수적 실현이 (격자) KM 팬과 토릭 딜레인-머포드 스택 사이의 동치를 유도하고, 토러스 맵이 조합 조건을 통해 특징지어짐을 증명한다.

ABSTRACT

We study the category of KM fans - a "stacky" generalization of the category of fans considered in toric geometry - and its various realization functors to "geometric" categories. The "purest" such realization takes the form of a functor from KM fans to the 2-category of stacks over the category of fine fans, in the "characteristic-zero-étale" topology. In the algebraic setting, over a field of characteristic zero, we have a realization functor from KM fans to (log) Deligne-Mumford stacks. We prove that this realization functor gives rise to an equivalence of categories between (lattice) KM fans and an appropriate category of toric DM stacks. Finally, we have a differential realization functor to the category of (positive) log differentiable spaces. Unlike the other realizations, the differential realization of a stacky fan is an "actual" log differentiable space, not a stack. Our main results are generalizations of "classical" toric geometry, as well as a characterization of "when a map of KM fans is a torsor". The latter is used to explain the relationship between our theory and the "stacky fans" of Geraschenko and Satriano.

연구 동기 및 목표

• 고전적 토릭 팬을 유한 지수를 갖는 유리 스칼라 스칼라 내의 격자 데이터를 갖는 일반화된 구조로 일반화함으로써 스택형 구조를 포함하는 조합론적 프레임워크를 개발하는 것.
• KM 팬에서 스택, 로그 스킴, 로그 미분 가능 공간 등의 기하 카테고리로의 실현 함자를 수립하는 것.
• KM 팬 간의 사상이 토러스 맵인지의 조건을 조합론적으로 특징짓는 것. 이는 고전적 토릭 기하학을 스택형 설정으로 확장하는 데 목적이 있음.
• 게라센코와 스트리아노의 스택형 팬과의 관계를 조합론적 조건을 통해 명확히 하여, 토러스 맵의 특징을 규명하는 것.
• 토릭 기하학의 고전적 결과를 일반화하면서도 격자 데이터에 토르션을 허용할 수 있는 완전하고 접근 가능한 스택형 팬 이론를 제공하는 것.

제안 방법

• 각 콘 $\sigma$ 에 대해 $N \cap \operatorname{Span}\sigma$ 내의 유한 지수를 갖는 격자 데이터 $F_\sigma$ 를 부여한 고전적 팬의 일반화로 KM 팬을 정의하며, 이는 호환성 조건을 만족해야 함.
• 세 가지 실현 함자를 구성함: 특성 0의 에탈 위상에서의 미세 팬 위의 스택 2-카테고리로, 특성 0의 체 위의 로그 딜레인-머포드 스택으로, 양의 로그 미분 가능 공간으로.
• 미분 실현 함자를 사용하여 실제 로그 미분 가능 공간(스택이 아닌)을 생성함. 이는 대수적 실현이 스택을 유도하는 것과 대비됨.
• 대수적 실현 함자가 (격자) KM 팬의 카테고리와 토릭 DM 스택의 카테고리 사이의 동치를 유도함을 증명함.
• KM 팬 간의 사상이 토러스 맵인지의 조건을 기본군과 이소트로피 군 데이터를 사용하여 조합론적으로 특징짓는다.
• 이 이론을 적용하여 고전적 결과를 일반화함: 일차원 하위군을 통한 지지의 해석, 닫힘성, 스타 팬, 분할, 기본군 계산 등.

실험 결과

연구 질문

• RQ1 고전적 토릭 기하학은 어떻게 조합론적 대상을 통해 스택형 구조를 포함하도록 일반화될 수 있는가?
• RQ2 KM 팬과 게라센코 및 스트리아노의 스택형 팬 사이의 정확한 관계는 무엇인가?
• RQ3 KM 팬 간의 사상이 기하적 실현에서 토러스 맵이 되는 조합론적 조건은 무엇인가?
• RQ4 KM 팬에서 대수적 및 미분 기하 카테고리로의 실현 함자의 본질적 상은 무엇인가?
• RQ5 고전적 토릭 기하의 구성, 예를 들어 스타 팬, 분할, 기본군 등은 KM 팬 설정으로 어떻게 일반화되는가?

주요 결과

• KM 팬에서 로그 딜레인-머포드 스택로의 대수적 실현 함자는 (격자) KM 팬의 카테고리와 토릭 DM 스택의 카테고리 사이의 동치를 유도함.
• KM 팬의 미분 실현은 실제 로그 미분 가능 공간을 유도하며, 이는 스택이 아니므로 대수적 실현과 구별됨.
• KM 팬 간의 사상이 토러스 맵임은 그 실현이 토러스 맵임과 동치이며, 이 조건은 이소트로피 군과 기본군 데이터를 통해 조합론적으로 특징지어짐.
• 이 이론은 격자 $N$ 에서의 토르션을 자연스럽게 수용하며, 이는 스트라타를 실현하고, 격자 기반 KM 팬으로부터 비격자 기반 KM 팬을 유도하는 데 필수적임.
• 격자 기반 KM 팬의 콘에 대해 스타 팬 구성법을 적용하면 토르션을 갖는 격자 팬을 생성하며, 이는 일반화된 프레임워크의 필요성을 보여줌.
• 이 이론은 고전적 결과를 일반화함: 지지는 일차원 하위군에 의해 해석되며, 닫힘성은 조합론적으로 특징지어지고, 실현의 기본군은 KM 팬의 조합론적 성질로부터 계산됨.