Computing class groups of function fields using Stark units

DOI10.1090/CONM/632/12629MaRDI QIDQ3187292zbMATH OpenOpenAlexFDO

Authors

Publication date 2 September 2016

Published in Topics in Finite Fields (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.0560

zbMATH Keywords

class groupsfunction fields

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Arithmetic theory of algebraic function fields (11R58)

Abstract: Let $k$ be a fixed finite geometric extension of the rational function field $mathbb{F}_q(t)$. Let $F/k$ be a finite abelian extension such that there is an $Fq$-rational place $infty$ in $k$ which splits in $F/k$ and let $mathcal{O}_F$ denote the integral closure in $F$ of the ring of functions in $k$ that are regular outside $infty$. We describe algorithms for computing the divisor class number and in certain cases for computing the structure of the divisor class group and discrete logarithms between Galois conjugate divisors in the divisor class group of $F$. The algorithms are efficient when $F$ is a narrow ray class field or a small index subextension of a narrow ray class field.\ \ We prove that for all prime $ell$ not dividing $q(q-1)[F:k]$, the structure of the $ell$-part of the ideal class group $p(c{O}_F)$ of $mathcal{O}_F$ is determined by Kolyvagin derivative classes that are constructed out of Euler systems associated with Stark units. This leads to an algorithm to compute the structure of the $ell$ primary part of the divisor class group of a narrow ray class field for all primes $ell$ not dividing $q(q-1)[F:k]$.

Recommendations

• l-PARTS OF DIVISOR CLASS GROUPS OF CYCLIC FUNCTION FIELDS OF DEGREE l
• scientific article; zbMATH DE number 1519869
• Computing the multiplicative group of residue class rings
• Computing Arakelov class groups
• Computing ray class groups, conductors and discriminants

Cited in

(2)

• scientific article; zbMATH DE number 6488046 (Why is no real title available?)
• scientific article; zbMATH DE number 1519869 (Why is no real title available?)

This page was built for publication: Computing class groups of function fields using Stark units

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3187292)