arXivDaily arXiv每日学术速递 周一至周五更新
看起来今天可以划水了
arXiv 2202.09540math.NT
收藏

关于$X_0(N)$上的高阶Weierstrass点

On Higher Order Weierstrass Points on $X_0(N)$

Goran Muić, Damir Mikoč

摘要:

设$Γ$是第一类Fuchsian群。对于偶数$m\ge 4$,我们用(全纯)尖点模形式空间$S_m(Γ)$的子空间$S_m^H(Γ)$来描述$m/2$ --全纯微分空间$H^{m/2}\left(\mathfrak R_Γ\right)$.这推广了经典的同构$S_2(Γ)\simeq H^{1}\left(\mathfrak R_Γ\right)$。研究了$S_m^H(Γ)$的性质。作为一个应用程序,我们描述了在SAGE中实现的算法,用于测试非超椭圆$X_0(N)$在$\infty$的尖点是否是$\frac{m}{2}$ -Weierstrass点。

英文摘要:

Let $Γ$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we describe the space $H^{m/2}\left(\mathfrak R_Γ\right)$ of $m/2$--holomorphic differentials in terms of a subspace $S_m^H(Γ)$ of the space of (holomorphic) cuspidal modular forms $S_m(Γ)$. This generalizes classical isomorphism $S_2(Γ)\simeq H^{1}\left(\mathfrak R_Γ\right)$. We study the properties of $S_m^H(Γ)$. As an application, we describe the algorithm implemented in SAGE for testing if a cusp at $\infty$ for non-hyperelliptic $X_0(N)$ is a $\frac{m}{2}$-Weierstrass point.

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

↑