arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2203.02097math.NT
收藏

$\mathbb{F}_p$ 上超奇异椭圆曲线的自同态环与二元二次型

The Endomorphism Rings of Supersingular Elliptic Curves over $\mathbb{F}_p$ and the Binary Quadratic Forms

Guanju Xiao, Zijian Zhou, Yingpu Deng, Longjiang Qu

AI总结:

本文建立了 $\mathbb{F}_p$ 上超奇异椭圆曲线同构类与特定判别式的本原既约二元二次型间的一一对应,证明同源运算与二次型复合相容,并借此将 CSIDH 密码系统的安全性归约到显式计算该对应关系上。

摘要:

众所周知,根据 Deuring 定理,超奇异 $j$-不变量在 $\text{Gal}(\mathbb{F}_{p^2}/\mathbb{F}_p)$ 作用下的等价类与 $B_{p,\infty}$ 中极大序的类型类之间存在一一对应关系。有趣的是,我们建立了 $\mathbb{F}_p$ 上超奇异椭圆曲线的 $\mathbb{F}_p$-同构类与判别式为 $-p$ 或 $-16p$ 的本原既约二元二次型之间的一一对应关系。由于这种对应关系,以及椭圆曲线间的 $\mathbb{F}_p$-同源可用二次型表示的事实,我们证明了这些同源在 $\mathbb{F}_p$ 上超奇异椭圆曲线上的运算与二次型的复合是相容的。基于这些结果,我们可以将 CSIDH 密码系统的安全性归约到显式计算这一对应关系上。

英文摘要:

It is well known that there is a one-to-one correspondence between supersingular $j$-invariants up to the action of $\text{Gal}(\mathbb{F}_{p^2}/\mathbb{F}_p)$ and type classes of maximal orders in $B_{p,\infty}$ by Deuring's theorem. Interestingly, we establish a one-to-one correspondence between $\mathbb{F}_p$-isomorphism classes of supersingular elliptic curves and primitive reduced binary quadratic forms with discriminant $-p$ or $-16p$. Due to this correspondence and the fact that $\mathbb{F}_p$-isogenies between elliptic curves could be represented by quadratic forms, we show that operations of these isogenies on supersingular elliptic curves over $\mathbb{F}_p$ are compatible with the composition of quadratic forms. Based on these results, we could reduce the security of CSIDH cryptosystem to computing this correspondence explicitly.

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

↑