[论文解读] On the cohomology of regular surfaces isogenous to a product of curves with $\chi(\mathcal{O}_S)=2$

Matteo Bonfanti|arXiv (Cornell University)|Dec 10, 2015

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

一句话总结

本文研究了具有解析欧拉示性数 χ(OS) = 2 的正则曲面，其双有理等价于高阶积的无混合型曲面的有理霍奇结构。利用群表示理论与群代数分解，证明了第二有理上同调群 H²(S, ℚ) 作为有理霍奇结构同构于两个椭圆曲线 EC 与 ED 的积的上同调 H²(EC × ED, ℚ)。该结果识别出两类具有最大 Picard 数 4 的一般型曲面新族。

ABSTRACT

Let $S$ be a surface isogenous to a product of curves of unmixed type. After presenting several results useful to study the cohomology of $S$ we prove a structure theorem for the cohomology of regular surfaces isogenous to a product of unmixed type with $\chi (\mathcal{O}_S)=2$. In particular we found two families of surfaces of general type with maximal Picard number.

研究动机与目标

• 理解正则曲面 S 的第二上同调群 H²(S, ℚ) 的有理霍奇结构，其中 S 双有理等价于曲面的高阶积。
• 利用群表示理论对具有 χ(OS) = 2 的无混合型正则曲面双有理等价于积的曲面进行分类。
• 确定此类曲面的 Picard 数 ρ(S)，并识别出 Picard 数最大的情形。
• 建立 H²(S, ℚ) 与椭圆曲线积的上同调之间的结构同构。
• 探讨中间椭圆商存在的或不存在的几何与群论条件。

提出的方法

• 采用曲面 S ≅ (C × D)/G 的最小实现，其中群 G 自由作用于两曲面 C 与 D 的积上。
• 应用群表示理论，通过 G-模 H¹(C, ℚ) ⊗ H¹(D, ℚ) 的群代数分解来分解上同调 H²(S, ℚ)。
• 通过球面对生成元与分支覆盖，分析 G 在曲面 C 与 D 的第一上同调上的作用。
• 识别群 G 的不可约有理表示 τ，使得 τ ⊗ ℂ 可分解为复不可约表示，并计算其核 H，以定义中间商曲面。
• 使用 Riemann-Hurwitz 公式计算商曲面 C/H 与 D/H 的亏格，特别关注其为椭圆曲线（亏格 1）的情形。
• 通过证明 G-不变部分 H¹(C, ℚ) ⊗ H¹(D, ℚ) 与椭圆曲线积的上同调匹配，建立 Hodge 同构 H²(S, ℚ) ≅ H²(EC × ED, ℚ)。

实验结果

研究问题

• RQ1 对于具有 χ(OS) = 2 的正则曲面 S，其双有理等价于无混合型高阶积，H²(S, ℚ) 上的有理霍奇结构具有何种结构？
• RQ2 在何种群论与几何条件下，H²(S, ℚ) 同构于椭圆曲线 EC 与 ED 的积的 H²(EC × ED, ℚ)？
• RQ3 是否存在中间商曲面 C/HC 与 D/HD，使得 HC 与 HD 是 G 的子群，且 C/HC 与 D/HD 均为椭圆曲线？
• RQ4 此类曲面的 Picard 数 ρ(S) 是多少？何时达到最大？
• RQ5 能否通过群作用分解将曲面的上同调实现为椭圆曲线积的上同调？

主要发现

• 对于任意双有理等价于无混合型高阶积且满足 χ(OS) = 2 的正则曲面 S，均存在两个椭圆曲线 EC 与 ED，使得 H²(S, ℚ) ≅ H²(EC × ED, ℚ) 作为有理霍奇结构。
• H²(S, ℚ) 上的霍奇结构源自 H¹(C, ℚ) ⊗ H¹(D, ℚ) 的 G-不变部分，且该部分同构于椭圆曲线积的上同调。
• 在群 G = (Z₂)³ ⋊ Z₄ 且具有特定分支结构的情形下，商曲面 C/H₁、C/H₂、D/H₁、D/H₂ 的亏格均为 1，证实了椭圆商的存在。
• 此类曲面的 Picard 数 ρ(S) 等于 ρ(EC × ED)，在所研究的情形下 ρ(S) = 4，此为最大值，因为 h¹¹(S) = 4。
• 存在反例（如阿贝尔群 (Z₃)² 与亏格 4 的曲面 D），其中不存在子群 H ≤ G 使得 D/H 的亏格为 1，表明中间椭圆商并非总是存在。
• 第 3.1 节与第 3.3 节所构造的曲面是 Picard 数最大为 4 的一般型曲面的实例，因为 ρ(S) = h¹¹(S) = 4。