Matrices sur les ordres maximaux dans les algèbres de division cycliques sur Q comme sommes de carrés et de cubes

Informations fondamentales

• ID de l'article: 2510.13469
• Titre: Matrices sur les ordres maximaux dans les algèbres de division cycliques sur Q comme sommes de carrés et de cubes
• Auteurs: S. A. Katre, Deepa Krishnamurthi
• Classification: math.NT (Théorie des nombres)
• Date de publication: 15 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.13469

Résumé

Cet article étudie la représentation de matrices sur les ordres maximaux d'algèbres de division cycliques de degré premier impair sur Q comme sommes de carrés et de cubes. Il est connu que, sous certaines conditions de discriminant, les matrices d'ordre n sur les ordres maximaux de corps de nombres algébriques peuvent être représentées comme sommes de puissances k-ièmes. Wadikar et Katre ont démontré que toute matrice d'ordre supérieur à 2 sur l'ordre maximal de l'algèbre de division quaternionique rationnelle peut être représentée comme somme de carrés et de cubes. Cet article généralise ce résultat aux algèbres de division cycliques de degré premier impair, en prouvant que, sous certaines conditions, toute matrice d'ordre supérieur à 2 sur les ordres maximaux de ces anneaux non-commutatifs peut être représentée comme somme de carrés et de cubes.

Contexte et motivation de la recherche

Contexte du problème

1. Généralisation du problème de Waring: Le problème classique de Waring étudie la représentation des entiers positifs comme sommes de puissances k-ièmes. Cet article généralise ce problème aux matrices sur les anneaux non-commutatifs.
2. Théorie de la représentation de matrices comme sommes de puissances: L'étude de la possibilité de représenter des matrices comme sommes de puissances d'autres matrices est un problème important en algèbre, étroitement lié à la théorie des anneaux et à la théorie matricielle.
3. Importance des algèbres de division cycliques: Les algèbres de division cycliques constituent une catégorie importante de l'algèbre non-commutative, avec des applications étendues en théorie algébrique des nombres, théorie des représentations, etc.

Motivation de la recherche

1. Perfectionnement théorique: Généralisation de l'algèbre de division quaternionique rationnelle aux algèbres de division cycliques générales de degré premier impair, perfectionnant le système théorique correspondant.
2. Défis techniques: La complexité des anneaux non-commutatifs rend les techniques de preuve plus difficiles, nécessitant une connaissance approfondie de la théorie algébrique des nombres.
3. Perspectives d'application: Fournir une base théorique pour les problèmes connexes de géométrie algébrique et de géométrie arithmétique.

Contributions principales

1. Théorème principal: Preuve que, sous certaines conditions, les matrices sur les ordres maximaux d'algèbres de division cycliques de degré premier impair peuvent être représentées comme sommes de carrés (Théorème 4) et de cubes (Théorème 5).
2. Innovation technique: Utilisation des périodes de Gauss, des nombres cyclotomiques, des polynômes périodiques et autres outils, combinée avec la théorie de la génération canonique des algèbres de division cycliques.
3. Caractérisation des conditions: Énoncé explicite des conditions suffisantes pour que les matrices soient représentables comme sommes de puissances, incluant les conditions de congruence sur σ et la norme.
4. Méthode de preuve: Développement d'une méthode systématique pour traiter les problèmes de sommes de puissances de matrices sur les anneaux non-commutatifs.

Explication détaillée des méthodes

Fondements théoriques

Construction d'algèbres de division cycliques

Soit n un nombre premier impair, p = hn + 1, g une racine primitive modulo p, et ξ une racine primitive p-ième de l'unité. Définissons la période de Gauss: $\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}$

L'algèbre de division cyclique A possède une Q-base: $\{u^i z_k : i = 0,1,\ldots,n-1; k = 1,2,\ldots,n\}$

satisfaisant les relations:

• $zu = uz^S$ (où S est un générateur du groupe de Galois)
• $u^n = \sigma \neq 0 \in \mathbb{Q}$

Génération canonique

Selon le théorème de Ralph Hull, il existe une infinité de nombres premiers rationnels p satisfaisant:

• $p \equiv 1 \pmod{n}$ et coprime à σ
• $q_1, q_2, \ldots, q_s$ sont des n-résidus non-quadratiques modulo p
• σ est un n-résidu modulo p

Stratégie de preuve centrale

Représentation comme somme de carrés (Théorème 4)

Conditions:

1. $\sigma \equiv 1 \pmod{2}$
2. $N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}$

Esquisse de la preuve:

1. Preuve que tous les éléments de base $\{u^i \eta^{S^j}\}$ appartiennent à $T_2$ (ensemble des éléments représentables comme sommes de carrés)
2. Utilisation des propriétés de $\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}$, par analyse des propriétés de carrés de $\xi^i$
3. Pour u, utilisation de $u^{n+1} \equiv u \pmod{2}$ (puisque n est impair)
4. Preuve par induction que $u^i \eta^{S^j} \in T_2$

Représentation comme somme de cubes (Théorème 5)

Conditions:

1. $3 \nmid \sigma$
2. $3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)$

Esquisse de la preuve:

1. Utilisation de $3x \equiv (p+1) \pmod{p}$ ayant une solution, obtenant $\xi \in T_3$
2. Discussion par cas selon la relation entre n et 3:
   • Si $n = 3k+2$: utilisation de $u^{n+1} \equiv u \pmod{3}$
   • Si $n = 3k+1$: analyse plus fine requise
3. Preuve par induction que tous les éléments de base appartiennent à $T_3$

Points d'innovation technique

Utilisation synthétique d'outils mathématiques

1. Théorie des périodes de Gauss: Utilisation des propriétés des polynômes périodiques et des nombres cyclotomiques
2. Théorie de Galois: Exploitation complète de la structure du groupe d'automorphismes des extensions cycliques
3. Analyse de congruences: Simplification des relations algébriques complexes par des opérations modulo

Techniques de preuve

1. Induction sur la base: Établissement de résultats généraux par preuve des propriétés de tous les éléments de base
2. Analyse par cas: Discussion fine selon la relation entre n et 2, 3
3. Calcul de normes: Utilisation des propriétés de normes sous l'action du groupe de Galois

Résultats principaux

Théorème 4 (Représentation comme somme de carrés)

Énoncé: Soit A une algèbre de division cyclique rationnelle de degré n et d'ordre n², possédant une génération canonique (σ, Z, S), et m l'ordre maximal correspondant. Si:

1. $\sigma \equiv 1 \pmod{2}$
2. $N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}$

alors toute matrice de $M_n(m)$ peut être représentée comme somme de carrés de matrices de $M_n(m)$.

Théorème 5 (Représentation comme somme de cubes)

Énoncé: Dans le même cadre, si:

1. $3 \nmid \sigma$
2. $3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)$

alors toute matrice de $M_n(m)$ peut être représentée comme somme de cubes de matrices de $M_n(m)$.

Exemples concrets

L'article fournit des calculs détaillés pour n=3:

• Pour p=7, obtention du polynôme périodique $P_3(x) = x^3 + x^2 - 2x - 1$
• Vérification des conditions pertinentes, construction d'algèbres de division cycliques explicites

Travaux connexes

Développement historique

1. Griffin-Krusemeyer: Premiers travaux sur la représentation de matrices comme sommes de carrés sur les anneaux commutatifs
2. Katre-Garge: Généralisation au cas des corps de nombres algébriques
3. Wadikar-Katre: Traitement du cas des algèbres de division quaternioniques

Contribution de cet article

Cet article généralise les résultats de l'algèbre de division quaternionique (degré 2) aux algèbres de division cycliques générales de degré premier impair, ce qui constitue un progrès théorique important.

Conclusion et discussion

Conclusions principales

1. Sous des conditions appropriées, les matrices sur les ordres maximaux d'algèbres de division cycliques de degré premier impair peuvent être représentées comme sommes de carrés et de cubes
2. Les conditions impliquent principalement les propriétés de congruence de l'élément générateur σ et de la norme de la période de Gauss
3. La méthode de preuve est générale et peut potentiellement être étendue à d'autres situations

Limitations

1. Restrictions de conditions: Nécessité de satisfaire des conditions de congruence spécifiques, non applicable à tous les cas
2. Restriction du degré: Traitement uniquement du cas de degré premier impair
3. Problèmes ouverts: Les auteurs indiquent explicitement que le problème reste ouvert lorsque les conditions ne sont pas satisfaites

Directions futures

1. Suppression des restrictions sur les conditions de congruence
2. Généralisation aux cas de degré pair ou composé
3. Étude de problèmes de représentation pour des puissances plus élevées

Évaluation approfondie

Avantages

1. Profondeur théorique: Utilisation synthétique d'outils mathématiques profonds incluant la théorie algébrique des nombres, la théorie de Galois, la théorie cyclotomique
2. Rigueur de la preuve: Preuve complète avec logique claire
3. Signification de la généralisation: Généralisation de cas particuliers à cas généraux, possédant une valeur théorique importante
4. Innovation technique: Développement de nouvelles méthodes pour traiter les problèmes de sommes de puissances de matrices sur les anneaux non-commutatifs

Insuffisances

1. Conditions strictes: Conditions requises plutôt spéciales, limitant l'universalité des résultats
2. Complexité computationnelle: La vérification pratique des conditions nécessite des calculs numériques complexes
3. Applications limitées: Résultats principalement théoriques, applications directes peu évidentes

Impact

1. Contribution théorique: Fournit une nouvelle perspective sur les problèmes de type Waring en algèbre non-commutative
2. Valeur méthodologique: Les techniques de preuve peuvent s'appliquer à d'autres problèmes connexes
3. Recherches ultérieures: Fournit une base et une direction pour des recherches futures

Domaines d'application

1. Recherche en théorie algébrique des nombres: Fournit des outils pour les problèmes numériques connexes
2. Algèbre non-commutative: Enrichit le contenu de la théorie des anneaux non-commutatifs
3. Mathématiques théoriques: Recherche théorique en mathématiques pures

Références bibliographiques

L'article cite 11 références importantes, incluant:

1. Travaux classiques de Dickson sur la cyclotomie
2. Recherches fondatrices de Griffin-Krusemeyer
3. Théorie fondamentale de Ralph Hull sur les ordres maximaux d'algèbres de division cycliques
4. Travaux antérieurs des auteurs dans les domaines connexes

Évaluation générale: Cet article est un travail de théorie des nombres de haute qualité, avec des innovations techniques significatives et une généralisation théorique importante. Bien que les conditions des résultats soient plutôt strictes, il apporte une contribution importante au développement des domaines connexes. Les techniques de preuve de l'article sont sophistiquées et posent les fondations pour les recherches ultérieures.