arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1502.01862math.ATmath.AG
收藏

关于对称乘积的整上同调环

On Integral Cohomology Ring of Symmetric Products

Dmitry V. Gugnin

AI总结:

本研究证明有限同调型连通CW复形对称乘积的挠-free整上同调环是其底空间挠-free上同调环的函子并给出显式描述,同时分析紧黎曼曲面对称乘积的Macdonald定理,指出非稳定情形下该定理某部分在有理系数下需修正。

摘要:

我们证明,对于具有有限同调型的连通CW复形$X$,其对称乘积的挠-free整上同调环$H^*(\text{Sym}^n X;\boxed{Z})/\text{Tor}$是$H^*(X;\boxed{Z})/\text{Tor}$的一个函子(见定理1),并给出了该函子的显式描述。我们还研究了$X$为亏格$g$的紧黎曼曲面$M^2_g$这一重要特例。1962年Macdonald提出的著名定理给出了整上同调环$H^*(\text{Sym}^n M^2_g;\boxed{Z})$的显式描述。分析Macdonald的原始证明发现存在三处缺陷,Seroul于1972年填补了所有缺陷,从而得到了Macdonald定理的完整证明。但在非稳定情形$2\boxed{\text{≤}}n\boxed{\text{≤}}2g-2$下,Macdonald定理有一个子部分即便在$\boxed{Q}$系数下也需要稍作修正(见定理2)。

英文摘要:

We prove that the integral cohomology ring modulo torsion $H^*(\mathrm{Sym}^n X;\mathbb{Z})/\mathrm{Tor}$ for the symmetric product of a connected CW-complex $X$ of finite homology type is a functor of $H^*(X;\mathbb{Z})/\mathrm{Tor}$ (see Theorem 1). Moreover, we give an explicit description of this functor. We also consider the important particular case when $X$ is a compact Riemann surface $M^2_g$ of genus $g$. There is a famous theorem of Macdonald of 1962, which gives an explicit description of the integral cohomology ring $H^*(\mathrm{Sym}^n M^2_g;\mathbb{Z})$. The analysis of the original proof by Macdonald shows that it contains three gaps. All these gaps were filled in by Seroul in 1972, and, therefore, he obtained a complete proof of Macdonald's theorem. Nevertheless, in the unstable case $2\le n\le 2g-2$ Macdonald's theorem has a subsection, that needs a slight correction even over $\mathbb{Q}$ (see Theorem 2).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑