Some Taylor varieties with null Hessian

Technische Zusammenfassung: Einige Taylor-Varietäten mit verschwindender Hesse-Determinante

Problemstellung
Der Artikel behandelt die Klassifikation von Hyperflächen $X = V(f) \subset \mathbb{P}^N$ mit identisch verschwindender Hesse-Determinante ($h_f \equiv 0$). Klassisch werden solche Hyperflächen durch algebraisch abhängige partielle Ableitungen charakterisiert, was impliziert, dass die Gauss-Abbildung einen nicht-maximalen Rang besitzt und die Varietät „tangential entartet" oder „entwickelbar" ist. Zwar ist bekannt, dass Kegel diese Eigenschaft besitzen, doch die Klassifikation nicht-konischer Hyperflächen mit verschwindender Hesse-Determinante in Dimensionen $N \geq 3$ ist ein klassisches Problem, das von P. Gordon und M. Noether initiiert wurde. Die Autoren konzentrieren sich auf eine spezifische Familie algebraischer Varietäten, die als Taylor-Varietäten ($T^n_{d,e,m}$) bekannt sind und kürzlich von Conca, Naldi, Ottaviani und Sturmfels [CNOS23] eingeführt wurden. Diese Varietäten entstehen aus der Taylor-Entwicklung rationaler Funktionen in $n$ Variablen. Vorangegangene Arbeiten haben gezeigt, dass Taylor-Varietäten mit $m = d+1$ verschwindende Hesse-Determinanten aufweisen. Das zentrale Problem dieses Artikels besteht darin, den Fall $m = d+2$ (speziell für $n=2$) zu untersuchen, um festzustellen, ob diese Varietäten ebenfalls neue Beispiele für nicht-defekte Hyperflächen mit identisch verschwindender Hesse-Determinante liefern.

Methodik
Die Autoren wenden eine Kombination aus Techniken der algebraischen Geometrie und der linearen Algebra an, die sich auf die Padé-Matrix konzentrieren, die mit Taylor-Varietäten assoziiert ist.

1. Taylor-Varietäten und Padé-Matrizen: Die Taylor-Varietät $T^n_{d,e,m}$ ist definiert als der projektive Abschluss des Bildes einer Abbildung $\psi$, die Paare von Polynomen $(P, Q)$ auf die Koeffizienten der Taylor-Entwicklung von $P/Q$ bis zur Ordnung $m$ abbildet. Die Varietät wird durch das Verschwinden der maximalen Minoren einer Padé-Matrix $P_T$ beschrieben. Wenn $T^n_{d,e,m}$ eine nicht-defekte Hyperfläche ist, wird ihre definierende Gleichung durch $f = \det(P_T)$ gegeben.
2. Spaltenoperationen und Invarianz: Um die Hesse-Determinante von $f$ zu analysieren, führen die Autoren eine spezifische Menge elementarer Spaltenoperationen auf der Padé-Matrix $P_T$ ein. Sie ersetzen Spalten in Blöcken $C_j$ (für $j > d-e+2$) durch Linearkombinationen von Spalten aus einem spezifischen Referenzblock $C_{d-e+2}$ unter Verwendung von Hilfsvariablen $\lambda$.
3. Differentiation und Kernel-Analyse: Nach Lemma 4.2 erhalten diese Operationen die Determinante ($f$). Da $f$ unabhängig von den Hilfsvariablen $\lambda$ ist, müssen die partiellen Ableitungen von $f$ nach $\lambda$ verschwinden. Diese Bedingung liefert ein System linearer Gleichungen, das die partiellen Ableitungen von $f$ nach den Koeffizienten $c_\gamma$ beinhaltet.
4. Konstruktion der Hankel-Matrix: Diese linearen Relationen werden in einer Hankel-Matrix $M$ organisiert. Die Autoren zeigen, dass der Vektor der partiellen Ableitungen von $f$ im Kern von $M$ liegt. Durch die Analyse der Dimensionen von $M$ und der Anzahl der Variablen beweisen sie, dass der Rang von $M$ strikt kleiner ist als die Dimension des Raums der partiellen Ableitungen.

Hauptbeiträge und Ergebnisse

• Hauptsatz (Satz 1.1): Die Autoren beweisen, dass für $n=2$ die Taylor-Varietät $T^2_{d,e,d+2}$, sofern sie eine nicht-defekte Hyperfläche ist, eine identisch verschwindende Hesse-Determinante besitzt ($h_f \equiv 0$).
• Analyse eines spezifischen Falls: Der Artikel bietet eine detaillierte Analyse des kleinsten nicht-trivialen Beispiels, $T^2_{5,4,7}$ (wobei $d=5, e=4, m=7$). Sie konstruieren explizit die $15 \times 15$-Padé-Matrix für diesen Fall und zeigen die Existenz eines nicht-trivialen Kerns für das assoziierte lineare System der partiellen Ableitungen nach, was das Verschwinden der Hesse-Determinante bestätigt, ohne die volle Hesse-Determinante zu berechnen.
• Allgemeiner Beweis: Die für den spezifischen Fall verwendete Methodik wird in Abschnitt 4 verallgemeinert, um das Ergebnis für beliebige $d$ und $e$ unter der Hypothese der Nicht-Defektheit zu beweisen. Der Beweis stützt sich darauf zu zeigen, dass das Bild der Polarenabbildung (der Gradient von $f$) in einem echten linearen Unterraum enthalten ist, der durch das Verschwinden der maximalen Minoren der Matrix $M$ definiert ist.
• Computergestützte Verifikation: Die Autoren stellen Macaulay2-Code (Abschnitt 5) bereit, um Padé-Matrizen zu konstruieren und die Nicht-Singularität der Determinante für spezifische Parameterwahl zu verifizieren, wodurch sichergestellt wird, dass die Varietäten tatsächlich Hyperflächen sind.

Bedeutung und Behauptungen
Der Artikel behauptet, neue Beispiele für nicht-defekte Hyperflächen mit identisch verschwindender Hesse-Determinante zu liefern, die keine Kegel sind. Insbesondere erweitert er die bekannten Ergebnisse von [CNOS23] (die den Fall $m=d+1$ abdeckten) auf den Fall $m=d+2$ für zwei Variablen.

Die Autoren positionieren ihre Arbeit im historischen Kontext der Klassifikation von Hyperflächen mit verschwindender Hesse-Determinante und stellen fest, dass zwar Perazzo-Kubiken und andere Beispiele existieren, die Entdeckung neuer Familien dennoch bedeutsam ist. Der Artikel stellt explizit fest, dass diese Taylor-Varietäten eine „neue Quelle von Varietäten mit verschwindender Hesse-Determinante" bieten. Die Bedeutung liegt im verwendeten algebraischen Mechanismus: Die Autoren zeigen, dass die spezifische Struktur der Padé-Matrix für $m=d+2$ inhärent eine algebraische Abhängigkeit unter den partiellen Ableitungen des definierenden Polynoms erzwingt und damit eine entartete Gauss-Abbildung garantiert. Der Artikel behauptet nicht, das vollständige Klassifikationsproblem für alle Dimensionen oder Parameter zu lösen, sondern beschränkt seinen Umfang auf den Nachweis der Eigenschaft des verschwindenden Hesse-Determinanten für diese spezifische Familie von Taylor-Varietäten.