On the Riemann-Hilbert problem for hyperplane arrangements with a good line

Technische Zusammenfassung: Zum Riemann-Hilbert-Problem für Hyperflächensysteme mit einer guten Geraden

Problemstellung
Dieser Beitrag behandelt eine Variante des Riemann-Hilbert-Problems auf dem Komplement $M(\mathcal{A})$ eines affinen Hyperflächensystems $\mathcal{A}$ in $\mathbb{C}^\ell$. Die zentrale Frage lautet, ob ein gegebenes lokales System $\mathcal{L}$ auf $M(\mathcal{A})$ als Lösungsgarb eines logarithmischen Pfaffschen Systems mit konstanten Koeffizienten realisiert werden kann. Im Gegensatz zum klassischen Fall, in dem der Divisor normal gekreuzt ist, definiert ein allgemeines Hyperflächensystem einen Divisor, der nicht normal gekreuzt ist, wodurch das Problem nichttrivial wird. Die Autoren zielen darauf ab, das essentielle Bild des de-Rham-Funktors, der auf die Kategorie solcher logarithmischen Pfaffschen Systeme eingeschränkt ist und mit $\text{Pf}(\log \mathcal{A})$ bezeichnet wird, zu charakterisieren.

Methodik
Die Autoren verfolgen einen funktoriellen Ansatz, bei dem das Konzept der Mittelkonvolution auf den Kontext von Hyperflächensystemen verallgemeinert wird. Die Methodik läuft über die folgenden Schritte ab:

1. Geometrische Konfiguration (Gute Geraden): Die Autoren führen den Begriff einer „guten Geraden" $Y$ für ein affines System $\mathcal{A}$ ein. Eine durch den Ursprung verlaufende Gerade $Y$ ist „gut", wenn für jedes Element $X$ vom Rang 2 im Schnittposet $L(\mathcal{A})$ die Summe $X + Y$ in $L(\mathcal{A})$ bleibt. Diese Bedingung stellt sicher, dass die Projektion $\pi_Y: M(\mathcal{A}) \to M(\mathcal{A}_Y)$ (wobei $\mathcal{A}_Y$ aus den zu $Y$ parallelen Hyperebenen besteht) eine Faserbündelstruktur mit Fasern zulässt, die isomorph zu $\mathbb{C}$ minus einer endlichen Menge von Punkten sind. Dies verallgemeinert Teraos Ergebnisse für zentrale Systeme auf den affinen Fall.

2. Funktorkonstruktion für lokale Systeme: Unter Verwendung der durch eine gute Gerade induzierten Faserbündelstruktur definieren die Autoren einen Mittelkonvolutions-Funktor $MC_\chi$ auf der Kategorie der lokalen Systeme $\text{Loc}(M(\mathcal{A}), \mathbb{C})$. Dieser wird als Verallgemeinerung von Katzs Mittelkonvolution auf $\mathbb{C} \setminus \{n \text{ Punkte}\}$ konstruiert. Der Funktor ist definiert über das Bild eines Morphismus zwischen abgeleiteten direkten Bildern ($R^1 pr_{2!}$ und $R^1 pr_{2*}$) eines äußeren Tensorprodukts, das ein lokales System vom Rang 1 beinhaltet, welches einem Charakter $\chi$ zugeordnet ist.

3. Funktorkonstruktion für Zusammenhänge: Parallel zur Konstruktion für lokale Systeme nutzen die Autoren Haraokas Definition eines Mittelkonvolutions-Funktors $mc_\lambda$, der auf der Kategorie der logarithmischen Pfaffschen Systeme mit konstanten Koeffizienten, $\text{Pf}(\log \mathcal{A})$, wirkt. Dieser Funktor operiert durch Modifikation der Koeffizientenmatrizen der Zusammenhangsformen in Richtung der guten Geraden $Y$.

4. Kompatibilitätsanalyse: Die zentrale technische Leistung besteht im Beweis der Kompatibilität dieser beiden Funktoren unter der de-Rham-Korrespondenz. Die Autoren stellen einen Isomorphismus zwischen der Mittelkonvolution eines lokalen Systems und dem auf die Mittelkonvolution des entsprechenden Pfaffschen Systems angewandten de-Rham-Funktor her. Dies erfordert eine sorgfältige Analyse von Periodenabbildungen, mehrdeutigen Schnitten und der Kohomologie der Fasern, insbesondere unter Annahme 4.3, die Nicht-Resonanz-Bedingungen für die Eigenwerte der Koeffizientenmatrizen auferlegt.

Hauptbeiträge und Ergebnisse

• Verallgemeinerung der Eigenschaft „Gut": Der Beitrag erweitert Teraos Charakterisierung von Faserbündelstrukturen auf affine Hyperflächensysteme durch die Definition „guter Geraden" und beweist, dass die Existenz einer solchen Geraden eine lokal triviale Faserungsstruktur auf dem Komplement impliziert (Satz 1.8).
• Definition von $MC_\chi$: Die Autoren definieren den Mittelkonvolutions-Funktor $MC_\chi$ für lokale Systeme auf Hyperflächenkomplementen mit einer guten Geraden (Definition 2.3) und beweisen, dass er ein Kompositionsgesetz erfüllt, das analog zum klassischen Fall ist (Satz 2.12).
• Kompatibilitätssatz: Das Hauptergebnis ist Satz 4.8, der einen Isomorphismus von lokalen Systemen herstellt:
  $$MC_\chi \circ DR_{Pf}(\nabla_\mathcal{A}) \cong DR_{Pf} \circ mc_\lambda(\nabla_\mathcal{A})$$
  wobei $\chi(1) = \exp(2\pi i \lambda)$ und $\nabla_\mathcal{A}$ die Nicht-Resonanz-Annahme 4.3 erfüllt. Dies verallgemeinert frühere Ergebnisse von Haraoka (für Zopf-Systeme) und Dettweiler–Reiter (für $\mathbb{C} \setminus \{n \text{ Punkte}\}$).
• Erhaltung der Lösbarkeit: Als direktes Korollar zeigt Satz 5.2, dass der Mittelkonvolutions-Funktor die Lösbarkeit des Riemann-Hilbert-Problems für logarithmische Pfaffsche Systeme erhält. Spezifisch gilt: Wenn ein lokales System $\mathcal{L}$ eine Lösung $\nabla_\mathcal{A}$ zulässt, die die notwendigen Annahmen erfüllt, dann zulässt auch $MC_\chi(\mathcal{L})$ eine Lösung. Umgekehrt gilt: Wenn das konvolvierte System eine Lösung zulässt, tut dies auch das ursprüngliche System (vorausgesetzt, das System erfüllt die Eigenschaft $\wp$).

Bedeutung
Der Beitrag beansprucht, ein strukturelles Werkzeug zur Untersuchung des Riemann-Hilbert-Problems im Kontext von Hyperflächensystemen bereitzustellen. Indem gezeigt wird, dass der Mittelkonvolutions-Funktor die Eigenschaft, als Lösung eines logarithmischen Pfaffschen Systems mit konstanten Koeffizienten realisierbar zu sein, erhält, bieten die Autoren eine Methode an, um aus bekannten lösbaren lokalen Systemen neue zu generieren. Dies erweitert die Anwendbarkeit von Mittelkonvolutions-Techniken, die zuvor auf zentrale Systeme oder spezifische Konfigurationen beschränkt waren, auf eine breitere Klasse affiner Systeme, die eine „gute Gerade" besitzen. Die Ergebnisse vereinigen die geometrische Perspektive von Faserbündeln auf Komplementen von Systemen mit der algebraischen Manipulation von Zusammenhangskoeffizienten.