Wahl's local Euler characteristic measures the local contributions of a singularity to the usual Euler characteristic of a sheaf. Using tools from toric geometry, we study the local Euler characteristic of sheaves of symmetric differentials for isolated surface singularities of type $A_n$. We prove an explicit formula for the local Euler characteristic of the $m$th symmetric power of the cotangent bundle; this is a quasi-polynomial in $m$ of period $n+1$. We also express the components of the local Euler characteristic as a count of lattice points in a non-convex polyhedron, again showing it is a quasi-polynomial. We apply our computations to obtain new examples of algebraic quasi-hyperbolic surfaces in $\mathbb{P}^3$ of low degree. We show that an explicit family of surfaces with many singularities constructed by Labs has no genus $0$ curves for the members of degree at least $8$ and no curves of genus $0$ or $1$ for degree at least $10$.
Local Euler characteristics of An-singularities and their application to hyperbolicity
- 论文ID: 2312.01722
- 标题: Local Euler characteristics of An-singularities and their application to hyperbolicity
- 作者: Nils Bruin (Simon Fraser University), Nathan Ilten (Simon Fraser University), Zhe Xu (University of Oregon)
- 分类: math.AG (代数几何), math.NT (数论)
- 发表期刊: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 2
- 论文链接: https://arxiv.org/abs/2312.01722
本文使用环面几何工具研究An型孤立曲面奇点的对称微分束的局部欧拉特征。作者证明了余切束第m次对称幂的局部欧拉特征的显式公式,该公式是关于m的周期为n+1的拟多项式。同时将局部欧拉特征的分量表示为非凸多面体中格点计数,再次证明其为拟多项式。应用这些计算结果,作者获得了P3中低次代数拟双曲曲面的新例子,证明了Labs构造的具有许多奇点的显式曲面族在次数至少为8时不含亏格0的曲线,在次数至少为10时不含亏格0或1的曲线。
代数拟双曲性是代数几何中的重要概念。称非奇异射影曲面Y为代数拟双曲的,如果它只包含有限多条亏格为0和1的曲线。Coskun和Riedl证明了P3中次数d≥5的"非常一般"曲面是代数双曲的,但没有定义在数域上的曲面是"非常一般"的,因此对于具体曲面的拟双曲性问题仍然开放。
对于一般型曲面,Bogomolov证明如果余切束是"大"的,则曲面是代数拟双曲的。然而P3中非奇异曲面的余切束永远不是大的。Bogomolov和de Oliveira观察到,如果正规曲面X有足够多的奇点,其极小解消Y的余切束可能是大的。
关键在于使用Wahl定义的局部欧拉特征来表达欧拉特征的差异。对于由ADE奇点组成的奇异轨迹S,有:
χ(X,F′)=χ(Y,F)+∑s∈Sχloc(s,F)
其中χloc(s,F)=χ0(s,F)+χ1(s,F)。这为研究具体曲面的拟双曲性提供了计算工具。
- 显式公式: 证明了An奇点处对称微分束局部欧拉特征的显式公式(定理1.3)
- 格点计数表示: 将χ0分量表示为非凸多面体中的格点计数(定理1.5)
- 单调性和渐近性质: 证明了χ0关于n和m的单调性以及渐近界(命题1.6)
- 具体应用: 确定了保证曲面拟双曲性的奇点数量下界,并给出了具体的数值表格
- 新的低次例子: 证明了Labs曲面族提供了已知最低次数(次数8)的显式拟双曲曲面例子
研究An型曲面奇点sn处对称微分束SmΩY1的局部欧拉特征:
χloc(sn,SmΩY1)=χ0(sn,SmΩY1)+χ1(sn,SmΩY1)
将An奇点表示为环面簇:X:x1x2=x3n+1⊂A3,其极小解消Y也是环面簇。
利用Klyachko的等变反射束理论,将上同调群分解为特征格M参数化的分次部分:
Hp(XΣ,F)=⨁u∈MHp(XΣ,F)u
对于u∈M,有:
H0(XΣ,F)u≅⋂ρ∈Σ(1)VFρ(ρ(u))
建立递推关系:
χ(n,m)−χ(n−1,m)=δn(m)
其中δn(m,u)可通过分片线性函数明确计算。
定义顶点:
- Pi=(−i+11,0,0)
- Qi=(−(i+1)(i+2)2,−i+2i,i+2i)
- Z=(0,−1,0)
构造半开凸多面体:
Pi=Conv{Pi−1,Qi−1,Pi,Qi,Z}∖Conv{Pi,Qi,Z}∖Conv{Pi−1,Pi,Z}
χ0(sn,SmΩY1)=L(Cn,m+1)+2∑i=1nL(Pi,m+1)
其中L(P,t)=#(tP∩Z3)是Ehrhart函数。
通过生成函数方法验证格点计数公式的正确性,使用锥体上的格点变换:
SC(z)=(1−zw1)⋯(1−zwk)SΠ(C)
计算了小n值情况下的显式生成函数,验证了拟多项式的周期性和系数。
定理1.3: 对于An奇点sn,有:
χloc(sn,SmΩY1)=(n+1)(n+1)2−1(61m3+21m2+41m)+4(n+1)bn(m)⋅m+12(n+1)cn(m)
其中bn(m)和cn(m)是周期函数,依赖于mmod(n+1)的值。
命题1.6:
- χ0(sn,SmΩY1)关于n和m都单调非递减
- 对固定n,当n>m时该函数关于n为常数
- 渐近界:χ0(sn,SmΩY1)≤(92π2−2)(m+1)3+O(m2)
对于P3中次数d、具有r个An型奇点的曲面,计算了保证拟双曲性的r(d,n)值:
| d | n=1 | n=2 | n=3 | n=4 | n=5 | n=6 |
|---|
| 5 | 57 | 27 | 18 | 13 | 11 | - |
| 6 | 95 | 46 | 30 | 22 | 18 | 15 |
| 8 | 199 | 95 | 62 | 46 | 37 | 31 |
| 10 | 338 | 162 | 106 | 78 | 62 | 52 |
定理1.8: 对于Labs构造的次数d=2k的曲面Xk:
- 当k≥4时,Xk不包含亏格0的曲线
- 当k≥5时,Xk不包含亏格0或1的曲线
这给出了已知最低次数(次数8)的显式代数拟双曲曲面。
- Bogomolov-de Oliveira首先考虑具有A1奇点的超曲面的代数拟双曲性
- Bruin-Thomas-Várilly-Alvarado修正了早期计算中的错误
- Roulleau-Rousseau使用轨道折叠方法给出了An奇点局部欧拉特征的近似
本文相比前期工作的主要改进:
- 给出了精确的拟多项式公式而非近似
- 使用环面几何提供了系统的计算方法
- 证明了更强的不等式,改进了应用效果
- 完全解决了An型奇点处对称微分束局部欧拉特征的计算问题
- 建立了环面几何与奇点理论的新联系
- 提供了构造低次代数拟双曲曲面的有效方法
- 方法主要适用于ADE型奇点,对其他奇点类型的推广需要进一步研究
- 虽然给出了理论界限,但寻找达到这些界限的具体例子仍然困难
- 计算复杂度随着n增长较快
- 推广到其他奇点类型(Dn, E6, E7, E8)
- 研究完全交曲面的情况
- 探索与算术几何的联系
- 方法创新性: 巧妙地将环面几何工具应用于奇点理论,提供了系统的计算框架
- 结果完整性: 给出了精确的拟多项式公式,而非仅仅是渐近估计
- 应用价值: 提供了构造具体低次拟双曲曲面的有效方法
- 技术深度: 综合运用了代数几何、环面几何、组合几何等多个领域的深入技术
- 计算复杂性: 虽然给出了理论公式,但对于大的n值,实际计算仍然复杂
- 推广局限: 方法主要针对An型奇点,对其他奇点类型的适用性有限
- 几何直观: 某些技术细节缺乏几何直观的解释
- 理论贡献: 为奇点理论和代数几何提供了新的计算工具
- 应用前景: 为寻找具体的代数拟双曲曲面开辟了新途径
- 方法论价值: 展示了环面几何在经典代数几何问题中的强大应用潜力
- 研究具有多个An型奇点的代数曲面的几何性质
- 构造具有特定性质的代数拟双曲曲面
- 计算其他几何对象在奇点处的局部不变量
论文引用了28篇重要文献,涵盖了环面几何、奇点理论、代数几何等多个领域的经典和最新成果,特别是Klyachko的等变束理论和Wahl的局部欧拉特征理论为本文提供了重要的理论基础。