[论文解读] Algebraic cycles on quadric sections of cubics in P^4 under the action of symplectomorphisms

Vladimir Guletskiĭ, Alexander S. Tikhomirov|arXiv (Cornell University)|Sep 26, 2011

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文研究了在 ℙ⁴ 中的三次与二次曲面交集所得的 K3 曲面中，辛同构 τ 对代数循环的作用。通过从一条固定直线投影，并分析所得判别曲线的 P既有，证明 τ 在与三次曲线分量相关的 P既有上作用为恒等映射，在与二次曲线分量相关的 P既有上作用为乘以 −1，从而完全描述了其在 Chow 群 CH² 的连续部分上的作用。

ABSTRACT

We consider the involution changing the sign of two coordinates in 4-dimensional projective space. The intersection S of invariant cubic and quadric hypersurfaces in P^4 is a K3-surface with the induced symplectomorphic action on its second cohomology group. The Bloch-Beilinson conjecture predicts that the induced action on the second Chow group CH^2(S) must be the identity. Generalizing the method developed by C. Voisin we non-conjecturally prove the identity action on CH^2 for K3-surfaces as above. Then we look at a smooth invariant cubic hypersurface C in P^4 and project it from the 1-dimensional onto the 2-dimensional linear spaces of the fixed locus of the involution. The discriminant curve splits into two components of degree 2 and 3, and the generalized Prymian can be described in terms of the Prymians P_2 and P_3 associated to the double covers of these components. Such an approach gives precise information about the induced action of the involution on the continuous part in the second Chow group CH^2(C) of the threefold C, as well as on the Hodge pieces of its third cohomology group. The action on the subgroup in CH^2(C) corresponding to the Prymian P_3 is the identity, and the action on the subgroup corresponding to P_2 is the multiplication by -1.

研究动机与目标

• 理解由两个坐标符号变化诱导的辛同构 τ 对 ℙ⁴ 中 τ-不变三次三复形及其二次截面的第二 Chow 群的作用。
• 通过广义 P既有，描述 τ 在 τ-不变三次三复形的 CH² 连续部分上诱导的作用。
• 将代数循环在 τ 下的行为与 Bloch-Beilinson 猜想联系起来，特别是关于辛同构与有理等价性的关系。
• 分析从固定直线投影三次曲面所得判别曲线的几何结构，将其分解为二次与三次分量。
• 以与这些分量相关的 P既有为依据，建立 Chow 群作用的精确分解。

提出的方法

• 从 τ-不变三次三复形 𝒞 ⊂ ℙ⁴ 的固定直线 𝑙_τ 投影到固定平面 Π_τ，得到判别曲线上的双重覆盖。
• 将判别曲线分解为一个二次曲线 C₂ 和一个三次曲线 C₃，其分别为次数 2 和 3 的不可约分量。
• 构造与整个判别曲线及其分量的双重覆盖相关的广义 P既有 𝒫、𝒫₂ 和 𝒫₃。
• 利用一个同源映射将广义 P既有 𝒫 与 𝒫₂ × 𝒫₃ 的乘积联系起来，从而实现 τ 作用的分解。
• 分析 τ 在 C₂ 和 C₃ 的雅可比簇 J₂ 和 J₃ 上的诱导作用，证明 τ* 在 J₃ 上作用为恒等映射，在 J₂ 上作用为 −1。
• 利用 P既有上的作用，推导出 Chow 群 CH²(𝒞) 的连续部分 A²(𝒞) 上的作用，特别是对有理化子群的作用。

实验结果

研究问题

• RQ1 由两个坐标符号变化诱导的辛同构 τ，如何作用于 ℙ⁴ 中 τ-不变三次曲面的 τ-不变二次截面的第二 Chow 群？
• RQ2 从固定直线投影 τ-不变三次曲面到固定平面时，其判别曲线相关的广义 P既有具有何种结构？
• RQ3 τ 在 CH²(𝒞) 的连续部分上的作用，如何通过判别曲线分量相关的 P既有实现分解？
• RQ4 将作用分解为在三次分量上为恒等映射、在二次分量上为乘以 −1 的几何与上同调意义为何？
• RQ5 在 τ-不变二次截面族的通用纤维上，有理循环在多大程度上反映了其在原始 Chow 群上的作用？

主要发现

• 对 ℙ⁴ 中 τ-不变三次曲面的任意 τ-不变二次截面，对合 τ 在其第二 Chow 群上诱导恒等作用。
• 与从 𝑙_τ 投影所得判别曲线相关的广义 P既有，同源于与二次与三次分量相关的 P既有 𝒫₂ 与 𝒫₃ 的乘积。
• τ* 在与三次分量相关的 P既有 𝒫₃ 上的作用为恒等映射，而在与二次分量相关的 𝒫₂ 上的作用为乘以 −1。
• 三次三复形 𝒞 的 Chow 群 CH²(𝒞) 的连续部分 A²(𝒞) 有理地分解为同构于 𝒫₃ 与 𝒫₂ 的子群的直和，其中 τ* 在前者上作用为恒等映射，在后者上作用为 −1。
• 将循环拉回到 τ-不变二次截面族的通用纤维上时，与 𝒫₂ 对应的循环在有理意义下消失，表明其在通用纤维 Chow 群中为平凡。
• 通用纤维的有理化 Chow 群 A²(𝒞_η)ₚ 由同构于 𝒫₃ₚ 的 τ*-不变分量覆盖，反映了在此设定下 Bloch-Beilinson 猜想的几何实现。