Generating subgroups of ray class groups with small prime ideals

DOI10.2140/OBS.2019.2.461MaRDI QIDQ6165881zbMATH OpenWikidataFDO

Authors Benjamin Wesolowski

Publication date 2 August 2023

Published in Open Book Series (Search for Journal in Brave)

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

zbMATH Keywords

class groupisogeny graphprime idealray class group

Mathematics Subject Classification ID

(zeta (s)) and (L(s, chi)) (11M06) Class numbers, class groups, discriminants (11R29) Class field theory (11R37) Isogeny (14K02)

Abstract: Explicit bounds are given on the norms of prime ideals generating arbitrary subgroups of ray class groups of number fields, assuming the Extended Riemann Hypothesis. These are the first explicit bounds for this problem, and are significantly better than previously known asymptotic bounds. Applied to the integers, they express that any subgroup of index $i$ of the multiplicative group of integers modulo $m$ is generated by prime numbers smaller than $16(ilogm{)}^2$, subject to the Riemann Hypothesis. Two particular consequences relate to mathematical cryptology. Applied to cyclotomic fields, they provide explicit bounds on generators of the relative class group, needed in some previous work on the shortest vector problem on ideal lattices. Applied to Jacobians of hyperelliptic curves, they allow one to derive bounds on the degrees of isogenies required to make their horizontal isogeny graphs connected. Such isogeny graphs are used to study the discrete logarithm problem on said Jacobians.

Recommendations

• Explicit bounds for generators of the class group
• scientific article; zbMATH DE number 6297723
• Small generators of the ideal class group
• Subexponential time relations in the class group of large degree number fields
• Conditional bounds for the least quadratic non-residue and related problems

Cites work

• A bound for the least prime ideal in the Chebotarev density theorem
• Abelian Surfaces over Finite Fields as Jacobians
• Approximate formulas for some functions of prime numbers
• Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions : a survey of recent results
• Candidate Multilinear Maps from Ideal Lattices
• Conditional bounds for the least quadratic non-residue and related problems
• Efficient quantum algorithms for computing class groups and solving the principal ideal problem in arbitrary degree number fields
• Expander graphs based on GRH with an application to elliptic curve cryptography
• Explicit Bounds for Primality Testing and Related Problems
• Explicit bounds for primes in residue classes
• Fully homomorphic encryption with relatively small key and ciphertext sizes
• GGHLite: more efficient multilinear maps from ideal lattices
• scientific article; zbMATH DE number 3563269 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 2086697 (Why is no real title available?)
• Isogenies and the discrete logarithm problem in Jacobians of genus 3 hyperelliptic curves
• Minus class groups of the fields of the 𝑙-th roots of unity
• Recovering short generators of principal ideals in cyclotomic rings
• Short Stickelberger class relations and application to Ideal-SVP

Cited in

(1)

• Log-\(\mathcal{S}\)-unit lattices using explicit Stickelberger generators to solve approx ideal-SVP

This page was built for publication: Generating subgroups of ray class groups with small prime ideals

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