Computing ideal classes representatives in quaternion algebras

DOI10.1090/S0025-5718-2014-02796-8MaRDI QIDQ3189434zbMATH OpenOpenAlexFDO

Authors Ariel Pacetti, Nicolás Sirolli

Publication date 10 September 2014

Published in Mathematics of Computation (Search for Journal in Brave)

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

zbMATH Keywords

ideal classesquaternion algebrastotally real number field

Mathematics Subject Classification ID

Quaternion and other division algebras: arithmetic, zeta functions (11R52)

Abstract: Let $K$ be a totally real number field and let $B$ be a totally definite quaternion algebra over $K$. In this article, given a set of representatives for ideal classes for a maximal order in $B$, we show how to construct in an efficient way a set of representatives of ideal classes for any Bass order in $B$. The algorithm does not require any knowledge of class numbers, and improves the equivalence checking process by using a simple calculation with global units. As an application, we compute ideal classes representatives for an order of level 30 in an algebra over the real quadratic field $Q[sqrt5]$.

Recommendations

• Computing the ideal class monoid of an order
• Numerical invariants of totally imaginary quadratic \(\mathbb{Z}[\sqrt{p}]\)-orders
• Eichler orders, trees and representation fields
• scientific article; zbMATH DE number 733559

Cites work

• A characterisation of Gorenstein orders in quarternition algebras.
• Advanced Topics in Computional Number Theory
• An algorithm for computing modular forms on \(\Gamma_0(N)\)
• ARITHMETIC ON A QUINTIC THREEFOLD
• Arithmétique des algèbres de quaternions
• Class Groups, Totally Positive Units, and Squares
• Computing automorphic forms on Shimura curves over fields with arbitrary class number
• Computing Hilbert Modular Forms over Fields with Nontrivial Class Group
• Computing weight 2 modular forms of level p²
• On automorphisms of quaternion orders.
• On cubic rings and quaternion rings
• On orders in quaternion algebras
• On the arithmetic of quaternion algebras. II
• Shimura correspondence for level \(p^2\) and the central values of \(L\)-series
• Simplification pour les ordres des corps de quaternions totalement définis.
• Submodules of Quaternion Algebras
• Unramified Hilbert modular forms, with examples relating to elliptic curves

Cited in

(9)

• On the two sided ideals of orders in a quaternion algebra
• On the change of root numbers under twisting and applications
• scientific article; zbMATH DE number 3985359 (Why is no real title available?)
• On automorphisms of quaternion orders.
• Numerical invariants of totally imaginary quadratic \(\mathbb{Z}[\sqrt{p}]\)-orders
• On basic and Bass quaternion orders
• Hilbert symbols, class groups and quaternion algebras
• Ideal classes of orders in quaternion algebras
• Preimages for the Shimura map on Hilbert modular forms

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Computing ideal classes representatives in quaternion algebras

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