[论文解读] Fake weighted projective spaces

Weronika Buczyńska|ArXiv.org|May 8, 2008

Algebraic structures and combinatorial models被引用 28

一句话总结

本文通过余维数1的基本群引入了'虚假加权射影空间'（fwps）作为加权射影空间（wps）的推广，其定义基于 торic 几何，并以余维数1的基本群为特征。证明了每个fwps在余维数1下有唯一的万有覆叠，该覆叠为wps，并建立了fwps是wps当且仅当其余维数1基本群平凡的结论。该框架被应用于分类ℙ²上有限点集外自由的循环群作用，表明此类商空间为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）作为toric代数簇的更广类，推广加权射影空间。
• 为toric代数簇定义并研究余维数1基本群（π₁¹）作为新不变量。
• 利用π₁¹刻画fwps何时实际为加权射影空间。
• 分类ℙ²上循环群作用在有限个点外自由的情形，证明此类商空间为fwps。
• 证明每个fwps在余维数1下有唯一的万有覆叠，且该覆叠为加权射影空间。

提出的方法

• 为正规toric代数簇引入余维数1基本群π₁¹的概念，推广通常的基本群。
• 将'余维数1万有覆叠'定义为在余维数1局部系统上诱导同构的toric态射。
• 利用toric代数簇的扇形描述分析fwps的结构，基于Miles Reid关于极小收缩工作的扇形构造。
• 应用分层理论（Whitney分层）证明当codim(V) ≥ 2且X光滑时，π₁(X∖V) ≅ π₁(X)。
• 将ℤr在ℙ²上的作用分类问题转化为格几何与单值性问题，利用SL(3)中的对角化与坐标变换。
• 利用PGL(3)的有限子群分类及加权射影空间的结构，刻画商空间为fwps。

实验结果

研究问题

• RQ1 什么特征可将虚假加权射影空间识别为真正的加权射影空间？
• RQ2 如何为toric代数簇定义余维数1的基本群不变量？
• RQ3 每个虚假加权射影空间是否都存在余维数1下的万有覆叠，其性质如何？
• RQ4 ℙ²上循环群的哪些代数作用在有限个点外自由，其商空间为何？
• RQ5 所有此类商空间是否都能实现为虚假加权射影空间？

主要发现

• 虚假加权射影空间是真正的加权射影空间当且仅当其余维数1基本群π₁¹平凡。
• 每个虚假加权射影空间在余维数1下有唯一的万有覆叠，且该覆叠为加权射影空间。
• ℙ²关于在有限个点外自由的循环群作用的商空间总是虚假加权射影空间。
• 此类商空间源于形如(z₀:z₁:z₂) ↦ (z₀:ε^a z₁:ε^{a+1} z₂)的对角作用，其中ε为单位根，且满足gcd(a,r)=gcd(a+1,r)=1。
• 余维数1基本群π₁¹可检测toric奇点结构中的'扭'，从而区分fwps与wps。
• 使用[GM88]中的分层与横截定理，证明移除余维数2子簇不改变π₁，这对π₁¹的定义至关重要。