7
$\开始组$

固定一个地面方案$S$(一个字段表示)。我所说的代数堆栈的atlas是指从方案(或代数空间或仿射方案)$Y$到X$的光滑满射射态射$Y\。如果堆栈$X$是平滑的,则所有地图集都是$S$上的平滑方案。

当$X$是平滑和适当的时候呢?我能找到合适的地图集吗?

如果总的来说答案是否定的,那么对于Deligne-Mumford堆栈呢?

$\端组$
1
  • $\开始组$ 这一文不值真的在可微范畴中;结果出现在多雷特·普龙克的论文中。 $\端组$ 2013年2月3日22:10

1答案1

重置为默认值
11
$\开始组$

答案是“不”。考虑$\mathbb{C}$上的一个光滑的、适当的$1$-dimensional Deligne-Mumford堆栈,它具有粗糙的模空间$\mathbb{P}^1$,并且有一个“stacky”点(在该点上有任何非平凡的稳定器组)。

编辑。堆栈的更精确定义如下。设$m$为整数,$m>1$。设$A$为$\mathbb{A}^2\setminus\{(0,0)\}$,坐标为$x$和$y$。让$\mathbb{G} _米$通过$t\ast(x,y)=(tx,t^my)$作用于$A$。堆栈$Q_m$是商堆栈$[A/\mathbb{G} _米]$. 商态射$A\到Q_m$是一个平滑的图谱,这意味着$Q_m$s是平滑的(因为$A$是平滑的)。事实上,这种态射自然是$\mathbb{G} _米$-托索;用$\mathcal{L}$表示$Q_m$上的相关可逆层。不难看出,这是一个$m$-扭转可逆层;$A$作为$\mathbb的$\text{m}^{\text{th}}$张量幂{G} _米$-$Q_m$上的torsor是商堆栈$[(\mathbb{G} _米\倍数A)/\mathbb{G} _米]$其中$\mathbb{G} _米$-action是$t\cdot(u,(x,y))=(t^mu,(tx,t^my))$。这承认了$\mathbb的“琐碎化”形态{G} _米$,$(u,(x,y))\mapsto u/x^m=u/y$,每个都在相应的打开$\mathbb上定义{G} _米\乘以D(X)$或$\mathbb{G} _米\乘以D(y)$。唯一重要的稳定器组是作用于$\mathbb的$\mathbf{\mu}_m${G} _米$-轨道$\{0\}\times\mathbb{G} _米$A$中的$。所以$Q_m$是Deligne-Mumford堆栈。最后,$Q_m$在其粗模空间$\mathbb{P}^1$上是有限的,其中$\mathbb{G} _米$-不变态射$A\to\mathbb{P}^1$只是$(x,y)\mapsto[x^m,y]$。

$\端组$
4
  • $\开始组$ 我明白了。我能问你怎么建造这样的烟囱吗? $\端组$ 2012年7月31日12:22
  • $\开始组$ 你使用所谓的“根结构”,这是(粗略地)在余维一中创建堆叠结构的一种方式。请参阅Charles Cadman,“使用堆栈在曲线上施加相切条件”。 $\端组$ 2012年7月31日12:37
  • $\开始组$ 这个例子很古老。很容易看出,没有一个有限的故事地图集是代数空间。需要做更多的工作才能看到,没有一个合适的、平滑的地图集,它是一个代数空间。 $\端组$ 2012年7月31日13:25
  • $\开始组$ 非常感谢,我需要一点时间来消化你写的东西(我担心我们的定义或琐碎可能不同)。 $\端组$ 2012年7月31日13:49

您的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.