Numerical Verification of the Brumer-Stark Conjecture

Abstract : We study the Brumer-Stark conjecture computationally in the simplest situation in which it is unproven: an extension K/k with k quadratic, Gal(K/k) isomorphic to ℤ/4ℤ, the class group of K non trivial, K/ℚ non Galois. We verify the conjecture in 379 such cases and study the problem of whether the power of 2 dividing the Brumer element can be replaced by a lower 2-power so that the result remains true.
Type de document :
Communication dans un congrès
W. Bosma. Algorithmic Number Theory (ANTS-IV), 2000, Leiden, Netherlands. Springer, 1838, pp.491-504, 2000
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00863022
Contributeur : Xavier-François Roblot <>
Soumis le : jeudi 19 septembre 2013 - 10:48:28
Dernière modification le : vendredi 13 octobre 2017 - 11:34:02
Document(s) archivé(s) le : jeudi 6 avril 2017 - 21:52:57

Fichier

rota.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00863022, version 1

Collections

Citation

Xavier-François Roblot, Brett Tangedal. Numerical Verification of the Brumer-Stark Conjecture. W. Bosma. Algorithmic Number Theory (ANTS-IV), 2000, Leiden, Netherlands. Springer, 1838, pp.491-504, 2000. 〈hal-00863022〉

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

69