Symmetric Bessmertny\u{i} Realizations and Field Extension Problems in Characteristic 2 - A Differential Algebra Approach

Technische Zusammenfassung: Symmetrische Bessmertny˘ı-Realisierungen und Körpererweiterungsprobleme in Charakteristik 2

Problemstellung
Der Beitrag behandelt die Frage nach notwendigen und hinreichenden Bedingungen dafür, dass eine multivariate rationale Matrixfunktion $F(z)$ eine symmetrische Bessmertny˘ı-Realisierung (SBR) oder eine homogene symmetrische Bessmertny˘ı-Realisierung (hSBR) zulässt. Der Fokus liegt dabei auf dem Fall, dass der zugrundeliegende Körper $F$ die Charakteristik 2 besitzt ($\text{char}(F) = 2$).

Eine Bessmertny˘ı-Realisierung (BR) stellt $F(z)$ als Schur-Komplement eines affinen linearen Matrixbündels (LP) dar. Eine SBR erfordert, dass das Bündel symmetrisch ist. Während die Existenz solcher Realisierungen kürzlich in [EOW26] nachgewiesen wurde, war der ursprüngliche Beweis für den Fall der Charakteristik 2 (insbesondere für $n \ge 2$) algorithmisch, langwierig (ca. 26 Seiten) und stützte sich stark auf eine Fall-für-Fall-Analyse. Der Beitrag zielt darauf ab, ein prägnanteres, rein algebraisches Verständnis dafür zu liefern, warum die spezifischen skalaren Kriterien für die Realisierbarkeit in Charakteristik 2 gelten.

Methodik
Die Autoren verwenden differenzielle Algebra als Hauptwerkzeug, um den algorithmischen Ansatz aus [EOW26] zu ersetzen. Die Methodik verläuft wie folgt:

1. Formale partielle Ableitungen: Die Autoren definieren formale partielle Ableitungen $\frac{\partial}{\partial z_i}$ auf dem Körper der rationalen Funktionen $F(z)$ über einem Körper positiver Charakteristik.
2. Konstantenkörper: Sie nutzen die Eigenschaft, dass in Charakteristik $p$ der Körper der Konstanten für diese Ableitungen der Unterkörper der $p$-ten Potenzen ist, bezeichnet als $F(z^p)$. In Charakteristik 2 ist dies $F(z^2)$.
3. Reduktion auf Diagonaleinträge: Durch die Analyse der Ableitung der Schur-Komplement-Formel zeigen die Autoren, dass die Realisierbarkeit einer Matrixfunktion $F(z)$ in Charakteristik 2 vollständig durch die Eigenschaften ihrer Diagonaleinträge bestimmt wird.
4. Vektorraum-Analyse: Der Beitrag behandelt den Raum der rationalen Funktionen als Vektorräume über dem Konstantenkörper $F(z^2)$. Dies ermöglicht eine Quantifizierung der „Dichte" von realisierbaren versus nicht-realisierbaren Funktionen.
5. Jordan-Algebra-Struktur: Der Beitrag nutzt die Theorie der Jordan-Algebren (insbesondere ample hermitesche Unterräume), um die Menge der symmetrisch realisierbaren Funktionen als den ample-Hüllraum spezifischer Erzeuger zu charakterisieren.

Hauptbeiträge und Ergebnisse

• Alternativer Beweis des Bessmertny˘ı-Realisierungssatzes: Der Beitrag liefert einen kurzen, rein algebraischen Beweis für Satz 1 (aus [EOW26]), der SBRs und hSBRs charakterisiert.

  • Satz 2 (Skalarer Fall): Für eine skalare rationale Funktion $F(z)$ in Charakteristik 2 besitzt $F(z)$ genau dann eine SBR, wenn $F(z)$ im von $\{q_0^2 + z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)\}$ aufgespannten Unterraum liegt. Entsprechend besitzt $F(z)$ genau dann eine hSBR, wenn sie im von $\{z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)_0\}$ aufgespannten Unterraum liegt.
  • Der Beweis stützt sich darauf zu zeigen, dass, wenn $F(z)$ eine SBR besitzt, ihre partiellen Ableitungen $\frac{\partial F}{\partial z_i}$ zum Konstantenkörper $F(z^2)$ gehören müssen. Es wird gezeigt, dass diese Bedingung äquivalent zu den oben genannten Spannungsbedingungen ist.

• Quantifizierung nicht-realisierbarer Funktionen:

  • Der Beitrag stellt fest, dass $F(z)$ ein $2^n$-dimensionaler Vektorraum über $F(z^2)$ ist, während der Unterraum der SBRs nur $(n+1)$-dimensional ist.
  • Folglich nähert sich die „Dichte" der Nicht-SBR-Elemente 1 an, wenn $n \to \infty$ (speziell ist das Verhältnis realisierbarer zu allen Elementen $\frac{n+1}{2^n}$). Dies quantifiziert mathematisch die Beobachtung, dass in Charakteristik 2 nicht-realisierbare symmetrische Funktionen weitaus häufiger vorkommen als realisierbare.

• Körpererweiterungssatz (Satz 3):

  • Der Beitrag beweist ein neues Ergebnis bezüglich Körpererweiterungen: Wenn eine rationale Matrixfunktion $F(z)$ mit Koeffizienten in $F(z)$ eine SBR (oder hSBR) über einer größeren Körpererweiterung $K(w)$ (wobei $K$ eine Erweiterung von $F$ ist) zulässt, so zulässt sie notwendigerweise eine solche Realisierung über dem ursprünglichen Körper $F(z)$.
  • Dieses Ergebnis ist nur in Charakteristik 2 nicht-trivial; für andere Charakteristiken folgt es unmittelbar aus Satz 1. Der Beweis nutzt die Eigenschaften des Konstantenkörpers unter Körpererweiterungen (Korollar 1).

• Jordan-Algebra-Charakterisierung:

  • Die Menge der symmetrisch Bessmertny˘ı-realisierbaren Funktionen wird als ampler Unterraum (ein spezieller Typ einer Jordan-Unteralgebra) der symmetrischen Elemente in der Matrixalgebra identifiziert. Es wird gezeigt, dass sie der ample-Hüllraum der Menge $\{I_k, z_1 I_k, \dots, z_n I_k\}$ ist.

Bedeutung und Behauptungen
Der Beitrag beansprucht seine primäre Bedeutung in der Vereinfachung und Erkenntnisgewinnung. Durch den Wechsel von einer algorithmischen Konstruktion zu einem differenziell-algebraischen Rahmenwerk erreichen die Autoren:

1. Eine drastische Verkürzung des Beweises der Realisierbarkeitsbedingungen in Charakteristik 2 (Reduktion des Aufwands für den schwierigsten Fall von 26 Seiten auf ein prägnantes algebraisches Argument).
2. Einen klaren strukturellen Grund dafür, warum die Diagonaleinträge die Realisierbarkeit der gesamten Matrix in Charakteristik 2 bestimmen (durch das Verhalten formaler Ableitungen).
3. Eine präzise algebraische Charakterisierung der „Fülle" von Gegenbeispielen in Charakteristik 2, wobei das Problem in Bezug auf Vektorraumdimensionen über Konstantenkörpern formuliert wird.
4. Die Etablierung eines neuen Satzes über Körpererweiterungen für diese Realisierungen, der klärt, dass Realisierbarkeit eine intrinsische Eigenschaft der Funktion über dem Grundkörper ist, unabhängig vom für die Realisierung verwendeten Koeffizientenkörper.

Die Autoren beanspruchen nicht, neue physikalische Anwendungen zu entdecken oder experimentelle Implementierungen vorzuschlagen. Stattdessen wird die Arbeit als theoretische Verfeinerung der Theorie linearer Systeme und der Realisierung von Matrixfunktionen präsentiert, die sich speziell mit den algebraischen Feinheiten befasst, die durch Körper der Charakteristik 2 eingeführt werden.