Miura:除子类群算术
交换代数
2015-12-29 v1
摘要
Miura 包含若干函数,用于计算非奇异曲线的除子类群算术。该包通过同构将除子类群中的计算归约为理想类群中的计算。底层商环应建立在由 Miura 形式给出的非奇异曲线所确定的理想之上。尽管计算两个整理想的乘积并不困难,但为了获得理想类的代表元,我们需要得到一个理想,使得其最短的 Groebner 基分量是最小的。尽管基本过程由 Arita 提出,但使用 MaCaulay2 使得源代码变得短得多。该包不仅有助于计算本身,也有助于从理想的角度理解除子类群算术。
引用
@article{arxiv.1512.08040,
title = {Miura: Divisor Class Group Arithmetic},
author = {Joe Suzuki},
journal= {arXiv preprint arXiv:1512.08040},
year = {2015}
}