arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0705.4545math.GTmath.ATmath.DG
收藏

K3曲面的同构群与Nielsen实现

The diffeomorphism group of a K3 surface and Nielsen realization

Jeffrey Giansiracusa

摘要:

Nielsen实现问题是问从Diff(M)到pi_0 Diff(M)的群同态何时允许有一个截面。对于M一个闭曲面,Kerckhoff证明,一节存在于任何有限子群,但森田证明,如果属是足够大,然后没有部分存在于整个映射类群。我们证明了第一个不存在定理,这种类型的4维:如果M是一个光滑的封闭定向4-流形,其中包含一个K3表面作为一个连通的和项,那么没有部分存在于整个映射类群。这是通过证明位于B(pi_0 Diff(M))的有理上同调中的某些障碍是非零的来完成的。我们检测这些类时,他们是非零拉回到模空间的爱因斯坦度量的K3表面。

英文摘要:

The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is large enough then no section exists over the entire mapping class group. We prove the first nonexistence theorem of this type in dimension 4: if M is a smooth closed oriented 4-manifold which contains a K3 surface as a connected summand then no section exists over the whole of the mapping class group. This is done by showing that certain obstructions lying in the rational cohomology of B(pi_0 Diff(M)) are nonzero. We detect these classes by showing that they are nonzero when pulled back to the moduli space of Einstein metrics on a K3 surface.

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

↑