Computing with adèles and idèles

This is a SageMath package for computing with adèles and idèles. It is based on and part of the master's thesis [Her2021].

[Her2021] Mathé Hertogh, Computing with adèles and idèles, master's thesis, Leiden University, 2021.

In the root of this repository you can find [Her2021] as a PDF-file.

Contents of the package

The package can be seen to consist out of four parts.

Part 1 corresponds to Chapters 3--6 of [Her2021] and provides the functionality to compute with adèles and idèles over number fields. It consists out of these files:

• profinite_integer.py -- profinite integers over number fields
• profinite_number.py -- profinite numbers over number fields
• completion.py -- infinite completions of number fields
• adele.py -- adèles over number fields
• multiplicative_padic.py -- multiplicative p-adics
• idele.py -- idèles over number fields
• ray_class_group.py - ray class groups of number fields

Part 2 corresponds to Chapter 7 of [Her2021] and implements profinite graphs, which visualize graphs of functions from and to the ring of rational profinite integers. In particular, the profinite Fibonacci function is implemented. Part 2 consists of out two files:

• profinite_function.py -- profinite functions, including Fibonacci
• profinite_graph.py -- graphs of profinite functions

Part 3 corresponds to Chapter 8 of [Her2021] and implements the adèlic matrix factorization algorithms discussed there. This resides in the file:

• matrix.py -- adèlic matrix factorization algorithms

Part 4 corresponds to Chapter 9 of [Her2021] and implements the computation of Hilbert class fields of imaginary quadratic number fields using Shimura's reciprocity law. It consists of the files:

• modular.py -- modular functions and their actions
• shimura.py -- Shimura's connecting homomorphism
• hilbert.py -- example hilbert class field computations

Getting acquainted with the package

Instead of browsing through the source code files, we recommend browsing the documentation, which is nicer formatted. It contains many examples to illustrate the functionality.

Documentation

The documentation resides in the folder docs and is also hosted online at the following webpage: https://mathehertogh.github.io/adeles.

Installing the package

First of all you should make sure you have a recent version of SageMath installed, specifically SageMath version 9.2 or newer.

Now run the command

$ sage -pip install adeles

To use the package, from anywhere on your computer, open sage

$ sage

and within the sage prompt, load the package:

sage: from adeles.all import *

Now you will have all functionality available, for example:

sage: Adeles(QQ)
Adèle Ring of Rational Field

Updating the package

To update to the latest stable version of this package, run

$ sage -pip install --upgrade adeles

It might be the case that the GitHub repository https://github.com/mathehertogh/adeles contains an ever newer version. To install that version, clone the repository

$ git clone https://github.com/mathehertogh/adeles.git

change to the root directory of the package

$ cd adeles

and build the package using

$ make

Background information

For more detailed information on this implementation of adèles and idèles, we refer to [Her2021]. There we elaborate on properties of our representations of adèles and idèles, design choices we made and implementation details.

For questions you can contact the author via email (see below).

Copyright

# **************************************************************************
#       Copyright (C) 2021 Mathé Hertogh <[email protected]>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 2 of the License, or
# (at your option) any later version.
#                  https://www.gnu.org/licenses/
# **************************************************************************