Reguläre halbeinfache Hessenberg-Varietäten mit in Grad zwei erzeugten Kohomologieringen

Grundinformationen

• Paper-ID: 2301.03762
• Titel: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• Autoren: Mikiya Masuda, Takashi Sato
• Klassifikation: math.AG (Algebraische Geometrie), math.AT (Algebraische Topologie), math.SG (Symplektische Geometrie)
• Veröffentlichungsdatum: 11. November 2025 (arXiv v4-Version)
• Paper-Link: https://arxiv.org/abs/2301.03762

Zusammenfassung

Die regulären halbeinfachen Hessenberg-Varietäten $\mathrm{Hess}(S,h)$ sind glatte Untervarietäten der Flaggenvarietät, bestimmt durch eine quadratische Matrix $S$ mit paarweise verschiedenen Eigenwerten und eine Hessenberg-Funktion $h$. Der Kohomologiering $H^*(\mathrm{Hess}(S,h))$ ist unabhängig von der Wahl von $S$, wurde aber außer in wenigen Fällen noch nicht explizit beschrieben. Dieses Papier charakterisiert die Hessenberg-Funktionen $h$, für die $H^*(\mathrm{Hess}(S,h))$ als Ring in Grad zwei erzeugt wird. Die Ergebnisse zeigen, dass solche $h$ genau die sogenannten (doppelten) Lollipop-Funktionen sind.

Forschungshintergrund und Motivation

1. Forschungsfrage

Das Papier untersucht die Kohomologiering-Struktur regulärer halbeinfacher Hessenberg-Varietäten, insbesondere welche Hessenberg-Funktionen $h$ dazu führen, dass der Kohomologiering $H^*(X(h))$ in Grad zwei erzeugt wird (d.h. alle Erzeuger stammen aus der Grad-zwei-Kohomologie).

2. Bedeutung des Problems

• Tiefe Verbindung zur Kombinatorik: Hessenberg-Varietäten sind durch Tymoczkos Punktwirkung mit der symmetrischen Gruppe $S_n$ verbunden. Die von Brosnan-Chow und Guay-Paquet gelöste Shareshian-Wachs-Vermutung verbindet $H^*(\mathrm{Hess}(S,h))$ als $S_n$-Modul mit chromatischen Polynomen von Graphen
• Stanley-Stembridge-Vermutung: Die Untersuchung der Geometrie und Topologie von Hessenberg-Varietäten eröffnet Wege zum Beweis der berühmten Stanley-Stembridge-Vermutung aus der Graphentheorie
• Grundlegender Charakter der Ringstruktur: Das Verständnis, wann der Kohomologiering in Grad zwei erzeugt wird, ist grundlegend für die Untersuchung komplexerer algebraischer Strukturen

3. Einschränkungen bestehender Methoden

• Für allgemeine Hessenberg-Funktionen $h$ ist die Ringstruktur von $H^*(X(h))$ noch nicht explizit beschrieben
• Bekannte Ergebnisse beschränken sich auf Spezialfälle:
  • $h = (n,...,n)$ entspricht der Flaggenvarietät $\mathrm{Fl}(n)$
  • $h = (2,3,...,n,n)$ entspricht der Permutoeder-Varietät (Torusvarietät)
  • $h = (h(1),n,...,n)$: Ergebnisse aus 2 zeigen, dass der Ring nur in Grad zwei erzeugt wird, wenn $h(1)=2$ oder $n$

4. Forschungsmotivation

Basierend auf Mustern in bekannten Spezialfällen stellt sich natürlicherweise die Frage: Für welche allgemeinen Hessenberg-Funktionen $h$ wird $H^*(X(h))$ in Grad zwei erzeugt? Dieses Papier gibt eine vollständige Antwort durch die kombinierte Anwendung von Morse-Bott-Theorie, GKM-Theorie und Faserungstechniken.

Kernbeiträge

1. Vollständige Charakterisierungstheorem (Haupttheorem 1.1): Für zusammenhängende reguläre halbeinfache Hessenberg-Varietäten (d.h. $h(j) \geq j+1$ für alle $j \in [n-1]$) wird bewiesen, dass $H^*(X(h))$ in Grad zwei erzeugt wird genau dann, wenn $h$ die folgende "doppelte Lollipop"-Form hat:a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ wobei $1 \leq a < b \leq n$
2. Geometrischer Beweis der Hinlänglichkeit: Es wird bewiesen, dass wenn $h$ vom doppelten Lollipop-Typ ist, $X(h)$ ein Faserbündel über einer kompakten glatten Torusvarietät mit Fasern, die Produkte von Flaggenvarietäten sind, darstellt, woraus folgt, dass der Kohomologiering in Grad zwei erzeugt wird
3. Topologischer Beweis der Notwendigkeit: Durch Morse-Bott-Funktionen und Surjektivität von Restriktionsabbildungen werden durch induktive Argumente alle nicht-doppelt-Lollipop-Fälle ausgeschlossen
4. Technische Beiträge:
   • Verwendung von GKM-Theorie zur Angabe expliziter Erzeuger der Grad-zwei-Kohomologie $H^2(X(h))$
   • Beweis durch verfeinerte Berechnung von Hilbert-Reihen, dass der Ring in bestimmten Fällen nicht in Grad zwei erzeugt werden kann
   • Etablierung von Faserungsbeziehungen zwischen Hessenberg-Varietäten

Methodische Erläuterung

Aufgabendefinition

Eingabe: Hessenberg-Funktion $h: [n] \to [n]$, monoton nicht-fallend und $h(j) \geq j$

Ausgabe: Bestimmung, ob der Kohomologiering $H^*(X(h))$ als Ring in Grad zwei erzeugt wird

Nebenbedingungen: Annahme, dass $h(j) \geq j+1$ für alle $j \in [n-1]$ (garantiert Zusammenhang von $X(h)$)

Theoretischer Rahmen

1. GKM-Theorie und äquivariante Kohomologie

Die reguläre halbeinfache Hessenberg-Varietät $X(h)$ ist eine GKM-Mannigfaltigkeit mit algebraischem Torus $T = (\mathbb{C}^*)^n$, der darauf wirkt. Die Fixpunktmenge ist: $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

Die äquivariante Kohomologie $H^*_T(X(h))$ wird durch den Lokalisierungssatz eingebettet: $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

Das Bild wird durch folgende Bedingung charakterisiert (Graphenkohomologie): $\{f \in \mathrm{Map}(S_n, \mathbb{Z}[t_1,...,t_n]) \mid f(w) - f(w(i,j)) \in (t_{w(i)} - t_{w(j)}), \forall w \in S_n, j < i \leq h(j)\}$

2. Explizite Erzeuger der Grad-zwei-Kohomologie

Nach Ergebnissen von Ayzenberg-Masuda-Sato 4 wird $H^2(X(h))$ durch folgende Elemente erzeugt:

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$, entsprechend der ersten Chern-Klasse des tautologischen Linienbündels
• $y_{j,k}$ ($j \in \bot(h), k \in [n]$): $y_{j,k}(w) = \begin{cases} t_k - t_{w(j+1)} & k \in \{w(1),...,w(j)\} \\ 0 & \text{sonst} \end{cases}$ wobei $\bot(h) = \{j \in [n-1] \mid h(j-1) = h(j) = j+1\}$
• $\tau_A$ ($|A| \in L(h)$): $\tau_A(w) = \begin{cases} t_{w(|A|)} - t_{w(|A|+1)} & \{w(1),...,w(|A|)\} = A \\ 0 & \text{sonst} \end{cases}$ wobei $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

Beweisstrategien für Notwendigkeit (Abschnitt 3)

Schlüssellemma 3.1 (Morse-Bott-Funktion)

Es wird eine Moment-Abbildung $f_h: X(h) \to \mathbb{R}$ konstruiert, deren Urbilder an Extremalpunkten $X(h_1)$ und $X(h_n)$ sind, wobei $h_j$ die Hessenberg-Funktion ist, die durch Löschen der $j$-ten Zeile und Spalte aus $h$ erhalten wird.

Mit Morse-Bott-Theorie (Tolman-Weitsman 19) wird bewiesen, dass die Restriktionsabbildungen: $H^*(X(h);\mathbb{Q}) \to H^*(X(h_1);\mathbb{Q}), \quad H^*(X(h);\mathbb{Q}) \to H^*(X(h_n);\mathbb{Q})$ beide surjektiv sind.

Korollar 3.2: Wenn $h'$ ein Minor von $h$ ist (durch wiederholtes Nehmen von $h_1$ oder $h_n$ erhalten) und $H^*(X(h);\mathbb{Q})$ in Grad zwei erzeugt wird, dann wird auch $H^*(X(h');\mathbb{Q})$ in Grad zwei erzeugt.

Proposition 3.3 (Kombinatorische Charakterisierung)

$h$ ist vom doppelten Lollipop-Typ genau dann, wenn $h$ keinen Minor der folgenden Typen enthält:

• $(\alpha, \beta,...,\beta)$ oder $(\beta-1,...,\beta-1, \beta,...,\beta)$ ($\alpha$ Mal), wobei $3 \leq \alpha < \beta$
• $(2, \gamma-1,...,\gamma-1, \gamma, \gamma)$, wobei $\gamma \geq 5$

Die ersten beiden Fälle wurden bereits von 2 ausgeschlossen; der Schlüssel ist die Behandlung des dritten Falls.

Beweis von Proposition 3.4 (Technischer Kern)

Für $h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$) wird durch folgende Schritte bewiesen, dass $H^*(X(h);\mathbb{Q})$ nicht in Grad zwei erzeugt wird:

Schritt 1: Verwendung von Theorem 2.1(4) zur Berechnung der Rekursionsformel für das Poincaré-Polynom (Lemma 3.7): $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

Schritt 2: Beweis, dass der Koeffizient von $P_n(q)$ im Grad $n-3$ ist (Lemma 3.8): $\binom{n}{2} + n(n-3)/2$

Schritt 3: Berechnung der oberen Schranke der Hilbert-Reihe des von $H^2(X(h))$ erzeugten Unterrings $R(h)$:

• Einführung von Hilfselementen $\rho_k$, Umschreiben der Erzeuger als $x_k, \tau_k, \rho_k$
• Zerlegung von $R(h)$ in direkte Summe $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ (als $A(h)$-Modul)
• Separate Berechnung der Hilbert-Reihen-Obergrenzen für jeden Teil (Formeln 3.23-3.27)

Schritt 4: Beweis, dass der Koeffizient von $\mathrm{Hilb}(R(h), \sqrt{q})$ im Grad $n-3$ ist: $\binom{n}{2}$ streng kleiner als der entsprechende Koeffizient von $P_n(q)$, Widerspruch!

Beweisstrategien für Hinlänglichkeit (Abschnitt 4)

Faserungskonstruktion

Für doppelten Lollipop-Typ $h$ wird die Abbildung definiert: $\pi_{[a,b]}: \mathrm{Fl}(n) \to \mathrm{Fl}_{[a,b]}(n)$$\pi_{[a,b]}(V_1 \subset \cdots \subset V_n) = (V_a \subset V_{a+1} \subset \cdots \subset V_b)$

Schlüsselbeobachtung: $V_\bullet \in X(h)$ genau dann, wenn $\pi_{[a,b]}(V_\bullet)$ erfüllt $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

Definition: $Y_{[a,b]} = \{(V_a \subset \cdots \subset V_b) \mid SV_k \subset V_{k+1}, a \leq k \leq b-1\}$

Dann gibt die Einschränkung von $\pi_{[a,b]}$ auf $X(h)$ eine Faserung: $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

Lemma 4.1 (Torusvarietäts-Struktur)

Es wird bewiesen, dass $Y_{[a,b]}$ eine kompakte glatte Torusvarietät der Dimension $n-1$ ist:

• Durch Wahl eines speziellen Vektors $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$ wird eine $(\mathbb{C}^*)^n$-Bahn konstruiert
• Mit der Vandermonde-Determinante wird bewiesen, dass diese Bahn Dimension $n-1$ hat

Schlussfolgerung: Da sowohl der Basisraum $Y_{[a,b]}$ (Torusvarietät) als auch die Faser $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$ (Produkt von Flaggenvarietäten) Kohomologieringe haben, die in Grad zwei erzeugt werden, folgt aus der Serre-Spektralsequenz der Faserung, dass auch $H^*(X(h))$ in Grad zwei erzeugt wird.

Experimentelle Einrichtung

Dieses Papier ist eine reine mathematische Theorie-Arbeit ohne numerische Experimente. Alle Ergebnisse werden durch strenge mathematische Beweise hergeleitet.

Rechnerische Verifikation

• Für kleine Werte von $n$ (wie $n=3,4,5$) wurden explizite Berechnungen von Poincaré-Polynomen durchgeführt
• Durch GKM-Theorie wurden Grad-zwei-Kohomologie-Erzeuger für konkrete Beispiele berechnet (Beispiel 2.1, Beispiel 2.2)

Experimentelle Ergebnisse

Hauptergebnisse

Theorem 1.1 (Haupttheorem): Angenommen, $h(j) \geq j+1$ für alle $j \in [n-1]$. Dann wird $H^*(X(h))$ in Grad zwei erzeugt genau dann, wenn es $1 \leq a < b \leq n$ gibt, so dass: