Berechnungen und Gleichungen für Segre-Grassmann-Hyperflächen

Grundlegende Informationen

• Papier-ID: 1408.2105
• Titel: Computations and Equations for Segre-Grassmann hypersurfaces
• Autoren: Noah S. Daleo, Jonathan D. Hauenstein, Luke Oeding
• Klassifizierung: math.AG (Algebraische Geometrie)
• Veröffentlichungsdatum: 19. August 2015
• Papierlink: https://arxiv.org/abs/1408.2105

Zusammenfassung

Im Jahr 2013 untersuchten Abo und Wan das Analogon des Waring-Problems für Systeme schiefsymmetrischer Formen und identifizierten mehrere defekte Systeme. Von besonderem Interesse ist der Fall, wenn eine bestimmte Sekantenvarietät einer Segre-Grassmann-Varietät den natürlichen Umgebungsraum ausfüllen soll, aber tatsächlich eine Hyperfläche ist. Mit in Bertini implementierten Algorithmen werden die Grade mehrerer dieser Hyperflächen bestimmt, und darstellungstheoretische Beschreibungen ihrer Gleichungen werden gegeben. Wir beantworten Problem 6.5 Abo-Wan2013 und bestätigen ihre Vermutung, dass jedes Mitglied einer unendlichen Familie von Hyperflächen minimal durch eine (bekannte) Determinantengleichung definiert wird. Obwohl von numerischen Evidenzen geleitet, liefern wir nicht-numerische Beweise für alle unsere Ergebnisse.

Forschungshintergrund und Motivation

1. Kernproblem: Untersuchung, wann die Sekantenvarietäten der Segre-Grassmann-Varietät Seg(Pᵐ×G(k,n)) Hyperflächen sind, und Bestimmung der definierenden Gleichungen dieser Hyperflächen. Dies ist mit dem Analogon des Waring-Problems für Systeme schiefsymmetrischer Formen verbunden.
2. Problemrelevanz:
   • Sekantenvarietäten sind ein klassisches Thema der algebraischen Geometrie mit breiten Anwendungen in der geometrischen Komplexitätstheorie und Signalverarbeitung
   • X-Rang und X-Grenzrang bieten nützliche Perspektiven für Tensoren und verwandte algebraische Varietäten
   • Die Beschreibung der definierenden Gleichungen von σᵣ(X) ermöglicht eine einfache Bestimmung des X-Grenzrangs eines beliebigen gegebenen Punktes
3. Einschränkungen bisheriger Arbeiten:
   • Abo und Wan identifizierten 2013 mehrere defekte Systeme, ließen aber einige offene Fragen offen
   • Insbesondere Problem 6.5 wurde nicht gelöst, und die Vermutung über unendliche Familien von Hyperflächen bedarf der Bestätigung
4. Forschungsmotivation:
   • Kombination von numerischer algebraischer Geometrie und darstellungstheoretischen Werkzeugen zur Lösung dieser Probleme
   • Obwohl die Forschung zu schiefsymmetrischen Tensoren relativ begrenzt ist, liefert eine Methode zur Bestimmung von Grenzrangleichungen für eine symmetrische Klasse häufig Informationen für eine andere

Kernbeiträge

1. Lösung von Abo-Wans Problem 6.5: Beweis, dass das Primideal der Hyperfläche σ₅(Seg(P²×G(2,5))) von einem einzelnen Polynom vom Grad 6 erzeugt wird
2. Bestätigung der Abo-Wan-Vermutung: Beweis, dass jedes Mitglied der unendlichen Familie von Hyperflächen σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) minimal durch eine bekannte Determinantengleichung definiert wird
3. Berechnung der Grade mehrerer Hyperflächen: Verwendung von Bertini-Algorithmen zur Bestimmung der exakten Grade mehrerer Hyperflächen
4. Bereitstellung nicht-numerischer Beweise: Obwohl von numerischen Evidenzen geleitet, werden strenge algebraische Beweise für alle Ergebnisse bereitgestellt
5. Demonstration der Kraft interdisziplinärer Ansätze: Erfolgreiche Kombination von numerischer algebraischer Geometrie und Darstellungstheorie

Methodische Details

Aufgabendefinition

Untersuchung, wann die s-Sekantenvarietät σₛ(Seg(Pᵐ×G(k,n))) der Segre-Grassmann-Varietät Seg(Pᵐ×G(k,n)) eine Hyperfläche ist, Bestimmung ihrer definierenden Gleichungen und Beweis ihrer Irreduzibilität.

Kernmethodische Architektur

1. Numerische algebraische Geometrie-Methode

Verwendung von in Bertini implementierten Algorithmen zur Berechnung der Grade von Hyperflächen:

Algorithmus zur Berechnung des Hyperflächen-Grades:

• Für eine irreduzible Hyperfläche H⊂Pⁿ gilt deg H = |H∩L|, wobei L eine allgemeine Gerade ist
• Verwendung von zufälligen Monodromie-Schleifen (random monodromy loops) zur Erzeugung von Witness-Punkt-Mengen
• Anwendung des Trace-Tests zur Verifizierung der Vollständigkeit: Jede Koordinate der Summe ∑w∈W' pw(t) ist eine lineare Funktion von t

2. Darstellungstheoretische Methode

Verwendung von Young-Symmetrisierern zur Konstruktion invarianter Polynome:

Young-Symmetrisierungs-Algorithmus:

• Beginn mit Partitionen (2,2,2) und (3,3,3,3,3,3)
• Suche nach Füllungen von Young-Tableaux, so dass die zugehörigen Young-Symmetrisierungs-Operatoren ein nicht-triviales Bild erzeugen
• Konstruktion von Polynomen durch Produkte von Matrix-Determinanten
• Verwendung von Kontraktionsoperationen zur Variablenersetzung

3. Äußere Flachheits-Konstruktion

Für den Fall unendlicher Familien wird eine Ottaviani-ähnliche äußere Flachheits-Konstruktion verwendet:

• Konstruktion einer linearen Abbildung φₜ: V⊗W* → V*⊗W für einen Tensor T∈V⊗∧²W
• Diese Abbildung ist in W antisymmetrisch und auch in V antisymmetrisch
• det φₜ verschwindet auf der entsprechenden Sekantenvarietät

Technische Innovationen

1. Kombination numerischer und symbolischer Methoden: Zunächst Verwendung numerischer Methoden zur Bestimmung der Grade, dann algebraische Methoden zur Konstruktion exakter Gleichungen
2. Verwendung des ⊠-Produkts: Im Gegensatz zum üblichen Kronecker-Produkt ⊗ wird das ⊠-Produkt verwendet, um die Einschränkung det(P⊗Q) = det(P)ⁿdet(Q)ᵐ zu vermeiden
3. Induktiver Beweis der Irreduzibilität: Beweis der Irreduzibilität von Determinanten in großen Fällen durch Zerlegung in Hauptminoren und Induktion

Experimentelle Einrichtung

Rechenumgebung

• Verwendung von AMD Opteron 6376-Prozessoren (2,3 GHz Kerne)
• Ein- und Mehrkern-Parallelberechnung

Konkrete Fälle

Untersuchung der folgenden konkreten Hyperflächen:

1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹
2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶²
3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴
4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴

Verifizierungsmethoden

• Für kleine Fälle: Direkte Berechnung in Macaulay2 und Verwendung des Faktorisierungsbefehls
• Für mittlere Fälle: Spezialisierung von Variablen auf zufällige Geraden und Überprüfung der Faktorisierung
• Für große Fälle: Verwendung induktiver Beweise

Experimentelle Ergebnisse

Hauptrechenergebnisse

Numerische Ergebnisse von Computation 3.1:

1. Grad von σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹ ist 6
2. Grad von σ₅(Seg(P²×G(1,6))) ⊂ P⁶² ist 21
3. Grad von σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴ ist 33
4. Grad von σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴ ist 45

Recheneffizienz

• Erster Fall: 6 zufällige Monodromie-Schleifen, 50 Sekunden Rechenzeit
• Letzte drei Fälle: Jeweils 13, 12, 13 Schleifen erforderlich, Rechenzeiten von 2,5 Minuten, 32 Minuten, 5,5 Stunden

Theoretische Ergebnisse

Theorem 4.1: Das Primideal der Hyperfläche σ₅(P²×G(2,5)) wird durch ein einzelnes Polynom vom Grad 6 erzeugt, das durch Young-Symmetrisierungs-Konstruktion definiert ist und 10080 Monome hat.

Theorem 5.3: Für ℓ≥1 wird das Primideal der Hyperfläche σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) durch die Determinante einer 3(4ℓ+3)×3(4ℓ+3)-Matrix φₜ erzeugt.

Theorem 6.1: Über die Irreduzibilität von Determinanten von Tensor-Produkten allgemeiner Matrizen:

• Für s=1,2: det(P⊠Q)=0
• Für s=3: det(P⊠Q) faktorisiert als Kubik eines kubischen Polynoms
• Für s=4: det(P⊠Q) faktorisiert als Quadrat eines Polynoms vom Grad 6
• Für s≥5: det(P⊠Q) ist irreduzibel

Verwandte Arbeiten

1. Klassischer Hintergrund: Das Alexander-Hirschowitz-Theorem löst den Fall der Veronese-Einbettung
2. Segre-Einbettung: Verwandte Probleme im Fall kartesischer Produkte wurden untersucht, sind aber noch nicht vollständig gelöst
3. Schiefsymmetrische Version: Verwandte Forschung im schiefsymmetrischen Fall, einige Fälle bereits gelöst
4. Gleichungsfindung: Ottavianis Methode für symmetrische Tensoren inspirierte neue Konstruktionen für nicht-symmetrische Tensoren

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Erfolgreiche Lösung von Abo-Wans Problem 6.5
2. Bestätigung der Vermutung über unendliche Familien von Hyperflächen
3. Beweis der Wirksamkeit der Kombination von numerischer algebraischer Geometrie und Darstellungstheorie

Einschränkungen

1. Für die Gleichung von σ₅(Seg(P²×G(2,5))) wurde keine ähnliche Determinanten-Darstellung wie Ottavianis Gleichung vom Grad 15 gefunden
2. Die Forschung zu schiefsymmetrischen Tensoren ist immer noch nicht so umfassend wie die zu vollständig symmetrischen und nicht-symmetrischen Fällen

Zukünftige Richtungen

1. Suche nach Determinanten-Darstellungen für weitere Hyperflächen
2. Untersuchung möglicher Verbindungen zur Dualität von Segre-Grassmann-Varietäten
3. Anwendung der Methode auf Probleme anderer symmetrischer Klassen

Tiefgreifende Bewertung

Stärken

1. Methodische Innovation: Erfolgreiche Kombination numerischer und symbolischer Berechnung, zunächst numerische Methoden zur Anleitung, dann strenge Beweise
2. Theoretische Tiefe: Einbeziehung von Darstellungstheorie, Young-Symmetrisierern, Invariantentheorie und anderen tiefgreifenden mathematischen Werkzeugen
3. Rechenpraktikalität: Bereitstellung konkreter ausführbarer Algorithmen und Softwareimplementierungen
4. Vollständigkeit: Nicht nur numerische Evidenzen, sondern auch vollständige algebraische Beweise

Mängel

1. Rechenkomplexität: Die Rechenzeit wächst für größere Probleme sehr schnell
2. Spezialfälle: Einige kleine Fälle erfordern spezielle Behandlung, es fehlt Einheitlichkeit
3. Geometrische Intuition: Mangel an intuitiver Erklärung der geometrischen Bedeutung dieser Hyperflächen

Einfluss

1. Akademischer Wert: Lösung wichtiger offener Probleme in diesem Forschungsbereich
2. Methodologischer Beitrag: Demonstration der Kraft interdisziplinärer Ansätze, die möglicherweise andere Problemlösungen inspirieren
3. Rechenwerkzeuge: Die bereitgestellten Algorithmen und Implementierungen haben praktischen Wert für verwandte Forschung

Anwendungsszenarien

1. Untersuchung von Sekantenvarietäten in der algebraischen Geometrie
2. Tensor-Zerlegung und Rangprobleme
3. Geometrische Komplexitätstheorie
4. Algebraische Probleme, die numerische und symbolische Berechnung kombinieren müssen

Literaturverzeichnis

Das Papier zitiert 46 verwandte Arbeiten, hauptsächlich:

• Klassische Arbeiten von Alexander-Hirschowitz zur Veronese-Einbettung
• Forschung von Abo und Wan zum Waring-Problem für schiefsymmetrische Formen
• Arbeiten von Ottaviani zu Invarianten und Superdeterminanten
• Verwandte Algorithmen und Software der numerischen algebraischen Geometrie