[논문 리뷰] Fake weighted projective spaces

Weronika Buczyńska|ArXiv.org|2008. 05. 08.

Algebraic structures and combinatorial models인용 수 28

한 줄 요약

이 논문은 토릭 기하학을 통해 정의되고 고차원에서의 기본군으로 특징지어지는 '가짜 가중 프로젝티브 공간들'(fwps)을 도입하여, 가중 프로젝티브 공간들(wps)의 일반화를 제안한다. 모든 fwps가 고차원에서의 기본군이 자명한 유일한 보편 덮개를 가지며, 이 보편 덮개가 wps임을 증명한다. 또한 fwps가 wps임을 보여주는 조건으로서 고차원에서의 기본군이 자명한지 여부를 제시한다. 이 틀을 활용하여, 유한한 점들을 제외한 영역에서 자유로운 ℙ² 위의 순환군 작용을 분류하고, 이러한 몫공간들이 fwps임을 보인다.

ABSTRACT

We define fake weighted projective spaces as a generalisation of weighted projective spaces. We introduce the notions of fundamental group in codimension 1 and of universal covering in codimension 1. We prove that for every fake weighted projective space its universal cover in codimension 1 is a weighted projective space.

연구 동기 및 목표

• 토릭 다양체의 일반화로서 '가짜 가중 프로젝티브 공간들'(fwps)을 도입하여, 가중 프로젝티브 공간들의 더 넓은 범주를 제시한다.
• 정규 토릭 다양체에 대해 고차원에서의 기본군(π₁¹)을 새로운 불변량으로 정의하고 연구한다.
• π₁¹를 이용하여 어떤 fwps가 실제로 가중 프로젝티브 공간인지 특징짓는 조건을 규명한다.
• 유한한 점들을 제외한 영역에서 자유로운 순환군의 ℙ² 위의 대수적 작용을 분류하고, 이러한 몫공간이 fwps임을 보인다.
• 모든 fwps가 고차원에서의 보편 덮개를 유일하게 가지며, 이 보편 덮개가 가중 프로젝티브 공간임을 증명한다.

제안 방법

• 정규 토릭 다양체에 대해 고차원에서의 기본군(π₁¹)의 개념을 도입하여, 기존의 기본군을 일반화한다.
• 고차원에서의 보편 덮개를 토릭 사상으로 정의하여, 고차원에서의 국소 시스템에 대해 동형을 유도한다.
• 미les Reid의 극단적 수축에 관한 작업에서 유래한 팬 구조를 이용하여 fwps의 구조를 분석한다.
• 분할 이론(웨이트니 분할)을 적용하여, X가 매끄럽고 codim(V) ≥ 2이면 π₁(X∖V) ≅ π₁(X)임을 증명한다.
• ℙ² 위의 ℤr 작용의 분류 문제를 격자 기하학과 단형성에 기반하여 환원하고, SL(3) 내에서의 대각화와 좌표 변경을 사용한다.
• PGL(3)의 유한부분군의 분류와 가중 프로젝티브 공간의 구조를 활용하여 몫공간이 fwps임을 특징짓는다.

실험 결과

연구 질문

• RQ1 가짜 가중 프로젝티브 공간이 진정한 가중 프로젝티브 공간임을 특징짓는 조건은 무엇인가?
• RQ2 어떻게 토릭 다양체에 대해 고차원에서의 기본군 불변량을 정의할 수 있는가?
• RQ3 모든 가짜 가중 프로젝티브 공간이 고차원에서의 보편 덮개를 가지며, 그 성격은 무엇인가?
• RQ4 어떤 ℙ² 위의 순환군 대수적 작용이 유한한 점들을 제외한 영역에서 자유로운가? 그리고 그 몫공간은 무엇인가?
• RQ5 모든 이러한 몫공간들이 가짜 가중 프로젝티브 공간으로서 실현될 수 있는가?

주요 결과

• 가짜 가중 프로젝티브 공간은 고차원에서의 기본군이 자명할 때에만 진정한 가중 프로젝티브 공간이다.
• 모든 가짜 가중 프로젝티브 공간은 고차원에서의 보편 덮개를 유일하게 가지며, 이 보편 덮개는 가중 프로젝티브 공간이다.
• 유한한 점들을 제외한 영역에서 자유로운 ℙ² 위의 순환군 작용에 의한 몫공간은 항상 가짜 가중 프로젝티브 공간이다.
• 이러한 몫공간들은 ε가 단위근이고 gcd(a,r)=gcd(a+1,r)=1일 때, (z₀:z₁:z₂) ↦ (z₀:ε^a z₁:ε^{a+1} z₂) 형태의 대각행렬 작용으로부터 유도된다.
• 고차원에서의 기본군 π₁¹은 토릭 특이점의 ' torsion ' 성격을 감지하여, fwps와 wps를 구분한다.
• GM88의 분할 및 수직성 정리들을 활용하여, 고차원에서의 부분다양체를 제거해도 π₁가 변하지 않음을 정당화한다. 이는 π₁¹ 정의에 있어 핵심적이다.