2025-11-19T17:19:14.645189

Matrices over maximal orders in cyclic division algebras over Q as sums of squares and cubes

Katre, Krishnamurthi
It is known that every matrix of order n over the maximal order in an algebraic number eld is a sum of k-th powers in various cases if a discriminant condition is satis ed. It has been proved by Wadikar and Katre that for every matrix of size 2 over maximal orders in rational quaternion division algebras is a sum of squares and cubes. In this paper we consider cyclic division algebras over Q of odd prime degree and show that under some conditions every matrix of size greater equal 2 over these noncommutative rings is a sum of squares and a sum of cubes.
academic

Matrizen über maximalen Ordnungen in zyklischen Divisionsalgebren über Q als Summen von Quadraten und Kuben

Grundinformationen

  • Paper-ID: 2510.13469
  • Titel: Matrices over maximal orders in cyclic division algebras over Q as sums of squares and cubes
  • Autoren: S. A. Katre, Deepa Krishnamurthi
  • Klassifikation: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 15. Oktober 2025 (arXiv-Preprint)
  • Paper-Link: https://arxiv.org/abs/2510.13469

Zusammenfassung

Diese Arbeit untersucht die Darstellung von Matrizen über maximalen Ordnungen zyklischer Divisionsalgebren ungeraden Primzahlengrads über dem Körper der rationalen Zahlen Q als Summen von Quadraten und Kuben. Es ist bekannt, dass unter Erfüllung bestimmter Diskriminantenbedingungen n×n-Matrizen über maximalen Ordnungen algebraischer Zahlkörper als Summen von k-ten Potenzen dargestellt werden können. Wadikar und Katre haben bewiesen, dass jede Matrix der Ordnung größer als 2 über der maximalen Ordnung der rationalen Quaternionendivisionsalgebra als Summe von Quadraten und Kuben dargestellt werden kann. Die vorliegende Arbeit verallgemeinert dieses Ergebnis auf zyklische Divisionsalgebren ungeraden Primzahlengrads und beweist unter spezifischen Bedingungen, dass jede Matrix der Ordnung größer als 2 über der maximalen Ordnung dieser nichtkommutativen Ringe als Summe von Quadraten und Kuben dargestellt werden kann.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Verallgemeinerung des Waring-Problems: Das klassische Waring-Problem untersucht die Darstellung positiver ganzer Zahlen als Summen von k-ten Potenzen. Diese Arbeit verallgemeinert dieses Problem auf Matrizen über nichtkommutativen Ringen.
  2. Darstellungstheorie von Matrizenpotenzsusmen: Die Untersuchung, ob Matrizen als Summen von k-ten Potenzen anderer Matrizen dargestellt werden können, ist ein wichtiges Problem der Algebra, das eng mit Ringtheorie und Matrizentheorie verbunden ist.
  3. Bedeutung zyklischer Divisionsalgebren: Zyklische Divisionsalgebren sind eine wichtige Klasse nichtkommutativer Algebren mit breiter Anwendung in algebraischer Zahlentheorie, Darstellungstheorie und verwandten Gebieten.

Forschungsmotivation

  1. Theoretische Vervollständigung: Verallgemeinerung von rationalen Quaternionendivisionsalgebren auf allgemeine zyklische Divisionsalgebren ungeraden Primzahlengrads zur Vervollständigung des theoretischen Systems.
  2. Technische Herausforderungen: Die Komplexität nichtkommutativer Ringe erfordert schwierigere Beweistechniken und tiefgehendes Wissen in algebraischer Zahlentheorie.
  3. Anwendungsperspektiven: Bereitstellung theoretischer Grundlagen für verwandte Probleme in algebraischer Geometrie und arithmetischer Geometrie.

Kernbeiträge

  1. Hauptsätze: Beweis, dass unter spezifischen Bedingungen Matrizen über maximalen Ordnungen zyklischer Divisionsalgebren ungeraden Primzahlengrads als Summen von Quadraten (Satz 4) und Kuben (Satz 5) dargestellt werden können.
  2. Technische Innovationen: Verwendung von Gauss-Perioden, zyklotomischen Zahlen und Periodpolynomen in Kombination mit der kanonischen Erzeugungstheorie zyklischer Divisionsalgebren.
  3. Charakterisierung der Bedingungen: Explizite Angabe hinreichender Bedingungen für die Darstellbarkeit von Matrizen als Potenzsummen, einschließlich Kongruenzbedingungen für σ und die Norm.
  4. Beweismethoden: Entwicklung systematischer Methoden zur Behandlung von Matrizenpotenzsumsummen-Problemen über nichtkommutativen Ringen.

Methodische Details

Theoretische Grundlagen

Konstruktion zyklischer Divisionsalgebren

Sei n eine ungerade Primzahl, p = hn + 1, g eine primitive Wurzel modulo p und ξ eine primitive p-te Einheitswurzel. Definiere die Gauss-Periode: η=∑r=0h−1ξgnr\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}

Die zyklische Divisionsalgebra A hat Q-Basis: {uizk:i=0,1,…,n−1;k=1,2,…,n}\{u^i z_k : i = 0,1,\ldots,n-1; k = 1,2,\ldots,n\}

mit Relationen:

  • zu=uzSzu = uz^S (wobei S ein Erzeuger der Galois-Gruppe ist)
  • un=σ≠0∈Qu^n = \sigma \neq 0 \in \mathbb{Q}

Kanonische Erzeugung

Nach dem Satz von Ralph Hull existieren unendlich viele rationale Primzahlen p mit:

  • p≡1(modn)p \equiv 1 \pmod{n} und teilerfremd zu σ
  • q1,q2,…,qsq_1, q_2, \ldots, q_s sind n-te Nichtreste modulo p
  • σ ist n-ter Rest modulo p

Kernbeweisstrategien

Darstellung als Quadratsummen (Satz 4)

Bedingungen:

  1. σ≡1(mod2)\sigma \equiv 1 \pmod{2}
  2. NQ(η)/Q(η)≡1(mod2)N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}

Beweisidee:

  1. Beweis, dass alle Basiselemente {uiηSj}\{u^i \eta^{S^j}\} in T2T_2 liegen (Menge der als Quadratsummen darstellbaren Elemente)
  2. Verwendung der Eigenschaften von η=∑r=0h−1ξgnr\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}} durch Analyse der Quadrateigenschaften von ξi\xi^i
  3. Für u: Verwendung von un+1≡u(mod2)u^{n+1} \equiv u \pmod{2} (da n ungerade ist)
  4. Induktiver Beweis, dass uiηSj∈T2u^i \eta^{S^j} \in T_2

Darstellung als Kubsummen (Satz 5)

Bedingungen:

  1. 3∤σ3 \nmid \sigma
  2. 3∤NQ(η)/Q(η)3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)

Beweisidee:

  1. Verwendung von 3x≡(p+1)(modp)3x \equiv (p+1) \pmod{p} hat Lösung, um ξ∈T3\xi \in T_3 zu erhalten
  2. Fallunterscheidung nach Beziehung zwischen n und 3:
    • Wenn n=3k+2n = 3k+2: Verwendung von un+1≡u(mod3)u^{n+1} \equiv u \pmod{3}
    • Wenn n=3k+1n = 3k+1: Benötigt feinere Analyse
  3. Induktiver Beweis, dass alle Basiselemente in T3T_3 liegen

Technische Innovationspunkte

Synthese mathematischer Werkzeuge

  1. Gauss-Periodentheorie: Verwendung von Eigenschaften von Periodpolynomen und zyklotomischen Zahlen
  2. Galois-Theorie: Umfassende Nutzung der Automorphismengruppe zyklischer Erweiterungen
  3. Kongruenzanalyse: Vereinfachung komplexer algebraischer Beziehungen durch Modulorechnung

Beweistechniken

  1. Basis-Induktion: Etablierung allgemeiner Ergebnisse durch Beweis von Eigenschaften aller Basiselemente
  2. Fallanalyse: Feingliedrige Fallunterscheidung nach Beziehung zwischen n und 2, 3
  3. Normberechnung: Verwendung von Normeigenschaften unter Galois-Gruppenwirkung

Hauptergebnisse

Satz 4 (Darstellung als Quadratsummen)

Aussage: Sei A eine zyklische Divisionsalgebra vom Grad n und Rang n² über Q mit kanonischer Erzeugung (σ, Z, S), und m die entsprechende maximale Ordnung. Falls:

  1. σ≡1(mod2)\sigma \equiv 1 \pmod{2}
  2. NQ(η)/Q(η)≡1(mod2)N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}

dann kann jede Matrix in Mn(m)M_n(m) als Summe von Quadraten von Matrizen in Mn(m)M_n(m) dargestellt werden.

Satz 5 (Darstellung als Kubsummen)

Aussage: Unter denselben Voraussetzungen gilt: Falls:

  1. 3∤σ3 \nmid \sigma
  2. 3∤NQ(η)/Q(η)3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)

dann kann jede Matrix in Mn(m)M_n(m) als Summe von Kuben von Matrizen in Mn(m)M_n(m) dargestellt werden.

Konkrete Beispiele

Die Arbeit gibt detaillierte Berechnungen für n=3:

  • Für p=7 erhält man das Periodpolynom P3(x)=x3+x2−2x−1P_3(x) = x^3 + x^2 - 2x - 1
  • Verifikation der relevanten Bedingungen und Konstruktion konkreter zyklischer Divisionsalgebren

Verwandte Arbeiten

Historische Entwicklung

  1. Griffin-Krusemeyer: Erste Untersuchungen von Quadratsummen-Darstellungen von Matrizen über kommutativen Ringen
  2. Katre-Garge: Verallgemeinerung auf algebraische Zahlkörper
  3. Wadikar-Katre: Behandlung von Quaternionendivisionsalgebren

Beitrag dieser Arbeit

Die vorliegende Arbeit verallgemeinert die Ergebnisse von Quaternionendivisionsalgebren (Grad 2) auf allgemeine zyklische Divisionsalgebren ungeraden Primzahlengrads, was einen wichtigen theoretischen Fortschritt darstellt.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Unter angemessenen Bedingungen können Matrizen über maximalen Ordnungen zyklischer Divisionsalgebren ungeraden Primzahlengrads als Summen von Quadraten und Kuben dargestellt werden
  2. Die Bedingungen betreffen hauptsächlich Kongruenzeigenschaften des Erzeugers σ und der Gauss-Periodennorm
  3. Die Beweismethoden sind allgemeiner Natur und können möglicherweise auf andere Fälle verallgemeinert werden

Einschränkungen

  1. Bedingungsrestriktionen: Erfordernis spezifischer Kongruenzbedingungen; nicht alle Fälle sind abgedeckt
  2. Gradrestriktionen: Behandlung nur ungerader Primzahlgrade
  3. Offene Probleme: Die Autoren weisen explizit darauf hin, dass das Problem bei Nichterfüllung der Bedingungen offen bleibt

Zukünftige Richtungen

  1. Beseitigung der Kongruenzbedingungsrestriktionen
  2. Verallgemeinerung auf gerade oder zusammengesetzte Grade
  3. Untersuchung von Darstellungen höherer Potenzen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Synthese tiefgreifender mathematischer Werkzeuge aus algebraischer Zahlentheorie, Galois-Theorie und zyklotomischer Theorie
  2. Beweisstrenge: Vollständige und logisch klare Beweise
  3. Verallgemeinerungsbedeutung: Verallgemeinerung von Spezialfällen auf allgemeine Fälle mit wichtigem theoretischem Wert
  4. Technische Innovation: Entwicklung neuer Methoden zur Behandlung von Matrizenpotenzsumsummen-Problemen über nichtkommutativen Ringen

Schwächen

  1. Strenge Bedingungen: Erforderliche Bedingungen sind relativ speziell und begrenzen die Allgemeingültigkeit der Ergebnisse
  2. Rechnerische Komplexität: Praktische Verifikation der Bedingungen erfordert komplexe zahlentheoretische Berechnungen
  3. Begrenzte Anwendungen: Hauptsächlich theoretische Ergebnisse mit nicht offensichtlichen direkten Anwendungsszenarien

Einfluss

  1. Theoretischer Beitrag: Bietet neue Perspektiven auf Waring-Typ-Probleme in nichtkommutativer Algebra
  2. Methodischer Wert: Beweistechniken könnten auf andere verwandte Probleme anwendbar sein
  3. Nachfolgeforschung: Bietet Grundlagen und Richtungen für weitere Forschung

Anwendungsszenarien

  1. Algebraische Zahlentheorie-Forschung: Bereitstellung von Werkzeugen für verwandte zahlentheoretische Probleme
  2. Nichtkommutative Algebra: Bereicherung des Inhalts der nichtkommutativen Ringtheorie
  3. Theoretische Mathematik: Reine mathematische Theorieforschung

Literaturverzeichnis

Die Arbeit zitiert 11 wichtige Referenzen, darunter:

  1. Klassische Arbeiten von Dickson zur Zyklotomie
  2. Bahnbrechende Forschung von Griffin-Krusemeyer
  3. Grundlagentheorie von Ralph Hull über maximale Ordnungen zyklischer Divisionsalgebren
  4. Vorherige Arbeiten der Autoren in verwandten Gebieten

Gesamtbewertung: Dies ist ein hochqualitatives zahlentheoretisches Paper mit signifikanten technischen Innovationen und wichtigen theoretischen Verallgemeinerungen. Obwohl die Bedingungen der Ergebnisse relativ streng sind, leistet die Arbeit wichtige Beiträge zur Entwicklung des verwandten Gebiets. Die Beweistechniken sind raffiniert und legen den Grundstein für nachfolgende Forschungen.