0
$\开始组$

C美元$是一个一维复数流形,其泛覆盖由半平面提供$\mathcal{H}=\{z\in\mathbb{C}\mid\operatorname{进出口}z>0\}$.对称产品$C^{(n)}=C^n/S_n$是一个复杂的流形。我的问题是:加元^{(n)}$由提供$\mathcal{H}^{(n)}$? 或者是不同的商$\mathcal{H}^n$?

$\端组$
2
  • 2
    $\开始组$ 从半平面的对称幂到$C$的对称幂的投影不是覆盖空间投影。 $\端组$ 评论 2023年7月7日11:23
  • $\开始组$ 如果$C$是$CP^1$,那么第n个对称乘积是$CP*n$,它是简单连接的,它自己的通用覆盖也是如此。 $\端组$ 评论 2023年7月8日0:20

1答案1

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

事实上$C^{(n)}$不会的$\mathcal H^n$一旦$n\gg 0美元$的确,如果C美元$是亏格的紧致黎曼曲面$g\geq 2美元$(所以通用盖是$\mathcal H公司$)有一个基点x美元$,则Riemann–Roch定理意味着映射\开始{align*}C^{(n)}&\ to \运算符名称{日语}_C=\operatorname{Pic}^0_C\\(x_1,\ldots,x_n)和\mapsto[x_1+\ldots+x_n-nx]\结束{align*}是一个$\mathbf P^{n-g}$-捆绑,如果$n>2g-2$(参见例如[CS86,第七章,5.6(c)])。所以通用封面$C^{(n)}$是一个$\mathbf P^{n-g}$-捆绑在一起$\mathbf C^g$,距离$\数学H^n$(例如,它不是小林寺双曲线,因为$C^{(n)}$不是Brody双曲线)。


参考文献。

[CS86]G.Cornell,J.H.Silverman(编辑),算术几何Springer-Verlag,1986年。ZBL0596.00007号.

$\端组$
  • $\开始组$ 谢谢你的回答!我刚刚修改了我的问题。此外,我还发现了Zhao的论文“对称积空间上的不动点类”,其中指出$C^{(n)}$的泛覆盖是由半直积$\pi_1(C)^n\times\mathrm的正规子群$\mathcal{H}^n$的商给出的{S} _n(n)$. $\端组$
    – 库斯
    评论 2023年7月9日9:36
  • $\开始组$ 如果你想问一个不同的问题,你可以提出一个新问题。在这个网站上,在答案发布后改变问题被认为是一种不好的形式——不可能击中一个移动的目标。 $\端组$ 评论 2023年7月9日19:21
  • $\开始组$ 你完全正确。我在上提出了一个新问题mathfoverflow.net/q/450455/505150. $\端组$
    – 库斯
    评论 2023年7月9日20:45

你的答案

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

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