2
$\开始组$

我现在的情况如下。$\mathcal{X}$成为一个平滑的Deligne-Mumford堆叠场千美元$.让X美元$成为千美元$-方案与同构$\pi;美元;\数学{X}\右箭头X$(你可以X美元$如果有帮助的话也要平滑)。假设我们知道美元\pi$是有限态射。我们能得出这样的结论吗美元\pi$是否合适?更一般地说,可以说是两个Deligne-Mumford堆栈之间的任何有限态射吗$\mathcal{X}\rightarrow\mathcal{Y}$?对于模式之间的态射来说,这是绝对正确的,但我找不到任何对我的查询的引用。

$\端组$
  • $\开始组$ 你对“有限态射”的定义是什么?除非我记错了,否则你可以把这个定义理解为“适当的准无限体和可表示的”。 $\端组$ 3月9日20:21
  • $\开始组$ @AriyanJavanpeykar I遵循堆栈项目中给出的定义堆栈.math.columbia.edu/tag/0CHT.我在M.奥尔森的书中找不到它。实际上,在N.Borne的论文“Fibres Paraboliques et Champ des Racines”Corollaire 3.6中,作者证明了从某个根堆栈到一个方案的态射是有限的,但没有定义什么是有限态射。这篇论文也是用法语写的,这不是我的长处。你知道这个定义有什么好的参考资料吗? $\端组$ 3月9日20:28
  • 1
    $\开始组$ 我在使用@Angelo的著名文章Vistoli,A.关于代数堆栈及其模空间的交集理论。《发明数学》97、613–670(1989)。doi.org/10.1007/BF01388892在第6页(=618),你可以找到“如果它是真的和拟有限的,它是有限的”。不需要可表示性,在这种情况下,态射是不可表示的。 $\端组$
    – 尼尔斯
    3月9日21:02

1答案1

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

所使用的有限的定义是来自Stacks项目,可表示且有限.

如果当限制为开覆盖时,态射是正确的(并且通过限制为开涵盖而保持有限性),那么我们可以假设$\mathcal年$是一个方案(甚至是仿射方案)。根据可表示的定义,如下所示$\mathcal X公司$是仿射空间,并且$\mathcal X\to\mathcall Y$是代数空间的有限态射。

但现在代数空间有限态射的定义,$\mathcal X公司$是仿射方案,并且$\mathcal X\to\mathcall Y$是方案的有限态射。

然后根据方案的结果得出结果。

$\端组$
  • $\开始组$ Stacks项目中representable的默认值不是可以用代数空间表示吗?只需点击一下你的第一个链接(有限性的定义)。 $\端组$ 3月9日22:31
  • $\开始组$ @R.van Dobbende Bruyn是的,说得好。链接页面上有一个错误,我读得太多了。 $\端组$ 3月9日22:38
  • $\开始组$ 为了避免让任何人(比如投了反对票的人)感到困惑,我现在已经解决了雷米指出的问题。 $\端组$ 3月10日14:12

您的答案

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

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