English

On the complexity of computing integral bases of function fields

Symbolic Computation 2020-05-11 v1 Commutative Algebra Algebraic Geometry

Abstract

Let C\mathcal{C} be a plane curve given by an equation f(x,y)=0f(x,y)=0 with fK[x][y]f\in K[x][y] a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field K(C)K(\mathcal{C}) and give new complexity bounds for three known algorithms dealing with this problem. For each algorithm, we study its subroutines and, when it is possible, we modify or replace them so as to take advantage of faster primitives. Then, we combine complexity results to derive an overall complexity estimate for each algorithm. In particular, we modify an algorithm due to B\"ohm et al. and achieve a quasi-optimal runtime.

Keywords

Cite

@article{arxiv.2005.03964,
  title  = {On the complexity of computing integral bases of function fields},
  author = {Simon Abelard},
  journal= {arXiv preprint arXiv:2005.03964},
  year   = {2020}
}

Comments

Preliminary version

R2 v1 2026-06-23T15:24:13.931Z