Eine komplex-analytische Charakterisierung von Lagrange-Immersionen in $\mathbb C^n$ mit transversalen Doppelpunkten

Grundinformationen

• Paper-ID: 2511.15306
• Titel: A complex-analytic characterization of Lagrangian immersions in $\mathbb C^n$ with transverse double points
• Autoren: Purvi Gupta, Rudranil Sahu (Indian Institute of Science, Bangalore)
• Klassifizierung: math.CV (Komplexe Variablen), math.SG (Symplektische Geometrie)
• Veröffentlichungsdatum: 20. November 2025
• Paper-Link: https://arxiv.org/abs/2511.15306

Zusammenfassung

Der Artikel untersucht kompakte glatte vollständig reelle Immersionen $n$-dimensionaler Untermannigfaltigkeiten $M\subset\mathbb C^n$ mit endlich vielen transversalen Doppelpunkten. Es ist bekannt, dass wenn $M$ bezüglich einer Kähler-Form auf $\mathbb C^n$ Lagrange-artig ist, dann ist $M$ in $\mathbb C^n$ rational konvex (Gayet, 2000), aber die Umkehrung gilt nicht (Mitrea, 2020). Der Artikel beweist: $M$ ist bezüglich einer Kähler-Form auf $\mathbb C^n$ Lagrange-artig, genau dann wenn $M$ rational konvex ist und an jedem Doppelpunkt die transversalen Tangentialebenen-Paare von $M$ eine diagonalisierbare Bedingung erfüllen: Es existiert eine komplexe lineare Transformation auf $\mathbb C^n$, die dieses Paar auf $\left(\mathbb R^n,(D+i)\mathbb R^n\right)$ abbildet, wobei $D$ eine reelle diagonale $n\times n$-Matrix ist.

Forschungshintergrund und Motivation

Problemhintergrund

Der Artikel untersucht ein grundlegendes Problem im Schnittfeld komplexer Geometrie und symplektischer Geometrie: die Charakterisierung von Lagrange-Untermannigfaltigkeiten mit Selbstschnittpunkten.

Kernkonzepte:

1. Rationale Konvexität: Eine kompakte Menge $K\subset\mathbb C^n$ heißt rational konvex, wenn ihr Komplement eine Vereinigung komplexer Hyperflächen in $\mathbb C^n$ ist. Dies verleiht $K$ wichtige Approximationseigenschaften: holomorphe Funktionen auf Umgebungen von $K$ können durch rationale Funktionen gleichmäßig approximiert werden.
2. Lagrange-Untermannigfaltigkeit: Eine $n$-dimensionale reelle Untermannigfaltigkeit $M\subset\mathbb C^n$ heißt Lagrange-artig bezüglich einer Kähler-Form $\omega$, wenn $\iota^*\omega=0$, wobei $\iota:M\to\mathbb C^n$ die Immersionsabbildung ist.
3. Vollständig reelle Untermannigfaltigkeit: Eine Untermannigfaltigkeit, deren reelle Unterräume keine komplexen Geraden enthalten.

Bekannte Ergebnisse

Das klassische Duval-Sibony-Theorem (1991-1995) etabliert eine perfekte Entsprechung im Fall ohne Selbstschnitte:

• Einbettungsfall: Das Bild einer kompakten glatten vollständig reellen Einbettung $\iota:M\to\mathbb C^n$ ist rational konvex, genau dann wenn es bezüglich einer Kähler-Form Lagrange-artig ist.

Für den Fall mit Selbstschnitten:

• Gayet (2000): Wenn die Immersion $\iota:M\to\mathbb C^n$ nur endlich viele transversale Doppelpunkte hat und Lagrange-artig ist, dann ist $\iota(M)$ rational konvex (einseitige Implikation).
• Mitrea (2020): Konstruiert Gegenbeispiele, die zeigen, dass die Umkehrung nicht gilt, und beweist, dass wenn $\iota(M)$ rational konvex ist, dann existiert eine nicht-negative $(1,1)$-Form $\omega$, die außerhalb der Selbstschnittpunkte streng positiv definit ist und $\iota^*\omega=0$ erfüllt.

Forschungsmotivation

Kernfrage: Welche zusätzlichen Bedingungen ermöglichen es, dass rationale Konvexität die Lagrange-Eigenschaft impliziert, wenn Selbstschnittpunkte vorhanden sind?

Wesentliche Einsicht: Das Kernproblem liegt in der lokalen geometrischen Struktur an den Doppelpunkten. Mitreas Gegenbeispiel zeigt, dass die Vereinigung bestimmter vollständig reeller Ebenen zwar rational konvex, aber nicht Lagrange-artig sein kann. Daher sind zusätzliche geometrische Einschränkungen an den Doppelpunkten erforderlich.

Kernbeiträge

1. Hauptsatz (Theorem 1.1): Gibt eine vollständige Charakterisierung von Immersionen mit Lagrange-Untermannigfaltigkeiten mit transversalen Doppelpunkten: $M\text{ ist Lagrange-artig} \Longleftrightarrow M\text{ ist rational konvex} + \text{alle Doppelpunkte sind diagonalisierbar}$
2. Charakterisierung der Diagonalisierungsbedingung (Proposition 3.2): Beweist, dass die Vereinigung zweier vollständig reeller Ebenen $\mathbb R^n$ und $S(A)=(A+i)\mathbb R^n$ Lagrange-artig ist, genau dann wenn die Matrix $A$ über den reellen Zahlen diagonalisierbar ist.
3. Konstruktion lokaler Kähler-Formen (Lemma 4.1): Konstruiert explizit eine lokale Kähler-Form $dd^cf$ in der Nähe jedes diagonalisierbaren Doppelpunkts, so dass $\iota^*(d^cf)=0$, was der Schlüssel für die nachfolgende globale Verklebung ist.
4. Globale Verklebungstechnik (Abschnitt 5): Verklebt geschickt lokale Kähler-Formen mit Mitreas degenerierter Kähler-Form, um eine globale Kähler-Form zu erhalten.

Methodische Details

Aufgabendefinition

Eingabe: Kompakte glatte $n$-dimensionale Mannigfaltigkeit $M$ und vollständig reelle Immersion $\iota:M\to\mathbb C^n$ mit nur endlich vielen transversalen Doppelpunkten $p_1,\ldots,p_m$.

Ausgabe: Bestimmung, ob eine Kähler-Form $\omega$ auf $\mathbb C^n$ existiert, so dass $\iota^*\omega=0$.

Schlüsselbedingungen:

• Rationale Konvexität (notwendig, aber nicht hinreichend)
• Diagonalisierbarkeit der Doppelpunkte (Zusatzbedingung)

Kernrahmen der Technik

1. Analyse des linearen Modells (Abschnitt 3)

Problemreduktion: Durch komplexe lineare Transformation kann die lokale Geometrie jedes transversalen Doppelpunkts auf die Vereinigung zweier vollständig reeller Ebenen $\mathbb R^n$ und $S(A)=(A+i)\mathbb R^n$ im Ursprung reduziert werden, wobei $A\in M_{n\times n}(\mathbb R)$.

Schlüssellemma (Lemma 3.3): Wenn $P\in M_{n\times n}(\mathbb R)$ nicht-singulär ist, dann bildet die komplexe lineare Transformation $P$ $\mathbb R^n$ auf $\mathbb R^n$ ab und $S(A)$ auf $S(PAP^{-1})$.

Hauptergebnis (Proposition 3.2): $\mathbb R^n\cup S(A)$ ist bezüglich einer Kähler-Form Lagrange-artig, genau dann wenn $A$ diagonalisierbar ist.

Beweisstrategien:

• Betrachte konstante Koeffizient-Kähler-Form $\omega=\sum_{j,k}h_{jk}dz_j\wedge d\bar{z}_k$, wobei $h=(h_{jk})$ eine positiv definite hermitesche Matrix ist.
• Parametrisierung: $\iota(t)=(t_1,\ldots,t_n)$, $\iota_A(t)=(\sum a_{1k}t_k+it_1,\ldots,\sum a_{nk}t_k+it_n)$
• Berechnung des Rückzugs: $\iota^*\omega=2i\sum_{1\leq j<k\leq n}(\text{Im}\,h_{jk})dt_j\wedge dt_k$$\iota_A^*\omega=2i\sum_{1\leq j<k\leq n}c_{jk}(A)dt_j\wedge dt_k$ wobei $c_{jk}(A)=\sum_r((\text{Re}\,h_{jr})a_{rk}-(\text{Re}\,h_{kr})a_{rj})$
• Hinreichendheit: Wenn $A$ diagonalisierbar ist, kann man durch Lemma 3.3 annehmen, dass $A$ diagonal ist; dann erfüllt die Standard-Kähler-Form die Bedingung.
• Notwendigkeit: Wenn $A$ nicht diagonalisierbar ist, muss seine reelle Jordan-Form $J(A)$ nicht-triviale Jordan-Blöcke enthalten. Betrachte zwei Fälle:
  • Fall reeller Eigenwerte: $J(A)$ enthält $\begin{pmatrix}\lambda & 1 \\ & \lambda & \ddots \\ && \ddots & 1 \\ &&& \lambda\end{pmatrix}_{r\times r}$, $r\geq 2$. Berechnung ergibt $c_{12}(J(A))=h_{11}=0$, Widerspruch zur positiven Definitheit von $h$.
  • Fall komplexer Eigenwerte: $J(A)$ enthält $\begin{pmatrix}C & I_2 \\ & C & \ddots \\ && \ddots & I_2 \\ &&& C\end{pmatrix}$, wobei $C=\begin{pmatrix}s & -t \\ t & s\end{pmatrix}$. Berechnung ergibt $c_{12}(J(A))=-t(h_{11}+h_{22})=0$, Widerspruch.

2. Konstruktion lokaler Kähler-Formen (Abschnitt 4)

Ziel: Konstruiere in der Nähe eines diagonalisierbaren Doppelpunkts $p$ eine Funktion $f$, so dass:

• $\iota^*(d^cf)=0$ (stärker als nur $\iota^*(dd^cf)=0$)
• $dd^cf>0$

Koordinatensystem: Durch komplexe affine Transformation nehme an, dass $p=0$, $T_0R=\mathbb R^n$, $T_0S=(A+i)\mathbb R^n$, wobei $A=\text{diag}(\lambda_1,\ldots,\lambda_n)$.

Lokale Darstellung: Durch den Satz über implizite Funktionen existieren glatte Funktionen $\varphi,\psi:\mathbb R^n\to\mathbb R^n$ mit $\varphi(0)=\psi(0)=D\varphi(0)=D\psi(0)=0$, so dass: $R=\{t+i\varphi(t)\}, \quad S=\{(A+i)t+\psi(t)\}$

Konstruktionsstrategie: Setze $f(x,y)=\|x\|^2+\|y\|^2+r(x,y)$, wobei $r$ erfüllen muss: $(V r)(t,\varphi(t))=p(t)$$(W r)(A\cdot t+\psi(t),t)=q(t)$ wobei:

• $V=\nabla_x\cdot(D\varphi\circ\pi_x)-\nabla_y$
• $W=\nabla_x-\nabla_y\cdot(A+D\psi\circ\pi_y)$
• $p(t)=2\varphi(t)^T-2t^T\cdot(D\varphi)(t)$
• $q(t)=2t^T\cdot(D\psi)(t)-2\psi(t)^T$

Koordinatentransformation: Führe die Transformation $\Theta(u,v)=(x(u,v),y(u,v))$ ein: $x(u,v)=u+A\cdot v+\psi(v), \quad y(u,v)=v-(A+(D\psi)(v))\cdot u$

Diese Transformation streckt $S$ zu $\{u=0\}$ und zieht $W$ entlang $S$ zu $\nabla_u$ entlang $\{u=0\}$ zurück.

Explizite Konstruktion: Definiere $\tilde{r}(u,v)=Q(v)\cdot u+\alpha(u)\cdot(v-\sigma(u))$ wobei $\sigma$ durch den Satz über implizite Funktionen so bestimmt wird, dass $\Theta(\{v=\sigma(u)\})=R$, und $\alpha(u)=(P(u)-Q(\sigma(u))\cdot B(u)-u^T\cdot(DQ)(\sigma(u))\cdot C(u))\cdot(C(u)-(D\sigma)(u)\cdot B(u))^{-1}$

Durch sorgfältige Berechnung wird verifiziert, dass $\tilde{r}$ alle Anforderungen erfüllt, dann setze $r=\tilde{r}\circ\Theta^{-1}$.

3. Globale Verklebung (Abschnitt 5)

Verklebungsstrategie:

1. Für jeden Doppelpunkt $p_j$ erhält man durch Lemma 4.1 eine lokale Funktion $f_j$ auf der Kugel $B^n(p_j,\varepsilon)$, die $dd^cf_j>0$ und $\iota^*(d^cf_j)=0$ erfüllt.
2. Wähle $\delta\in(0,\varepsilon)$ und eine Abschneidefunktion $\chi:[0,\infty)\to[0,1]$, die $\chi\equiv 1$ auf $[0,\delta]$ und $\chi\equiv 0$ auf $[\varepsilon,\infty)$ erfüllt.
3. Nach Mitreas Ergebnis existiert $\phi:\mathbb C^n\to\mathbb R$, so dass:
   • $\phi$ ist plurisubharmonisch
   • $\phi$ ist auf $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$ streng plurisubharmonisch
   • $\iota^*dd^c\phi=0$
4. Wähle eine hinreichend große Konstante $C>0$, so dass $Cdd^c\phi+\sum_{j=1}^m d\chi_j\wedge d^cf_j>0 \text{ auf } \mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$
5. Definiere die globale Kähler-Form: $\omega=Cdd^c\phi+\sum_{j=1}^m d(\chi_j d^cf_j)$

Verifikation:

• Auf $\bigcup_j B^n(p_j,\delta)$: Durch $dd^cf_j>0$ und $d\chi_j\equiv 0$ wird $\omega>0$ gesichert
• Auf $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta)$: Durch Schritt 4 und $\chi_j dd^cf_j\geq 0$ wird $\omega>0$ gesichert
• Lagrange-Eigenschaft: $\iota^*\omega=C\iota^*dd^c\phi+\sum_j\iota^*d\chi_j\wedge\iota^*d^cf_j+\sum_j\chi_j d(\iota^*d^cf_j)=0$

Technische Innovationspunkte

1. Präzise Charakterisierung der Diagonalisierungsbedingung: Erstmals wird die Diagonalisierbarkeit als wesentliches Hindernis für die Lagrange-Eigenschaft identifiziert, mit vollständigem Beweis durch Analyse der Jordan-Normalform.
2. Stärkere lokale Bedingung: Konstruktion von Kähler-Potenzialen, die $\iota^*(d^cf)=0$ statt nur $\iota^*(dd^cf)=0$ erfüllen, was der Schlüssel zur Verklebungstechnik ist.
3. Kreative Anwendung des Satzes über implizite Funktionen: Durch sorgfältig gestaltete Koordinatentransformation $\Theta$ wird das nichtlineare Problem in ein lösbares lineares Gleichungssystem umgewandelt.
4. Explizite Konstruktion: Vollständig explizite Ausdrücke für lokale Kähler-Potenziale, die die Abstraktheit von Existenzbeweisen vermeiden.

Experimentelle Einrichtung

Der Artikel ist eine reine mathematische Theoriearbeit ohne numerische Experimente oder Datensätze. Alle Ergebnisse werden durch strenge mathematische Beweise gewonnen.

Experimentelle Ergebnisse

Haupttheoretische Ergebnisse

Theorem 1.1 (Hauptsatz): Sei $M$ eine kompakte glatte $n$-dimensionale Mannigfaltigkeit und $\iota:M\to\mathbb C^n$ eine vollständig reelle Immersion, die außer endlich vielen transversalen Doppelpunkten $p_1,\ldots,p_m$ glatt ist. Dann: $\iota(M)\text{ ist Lagrange-artig} \Longleftrightarrow \iota(M)\text{ ist rational konvex und }p_1,\ldots,p_m\text{ sind diagonalisierbar}$

Proposition 3.2 (Lineares Modell): $\mathbb R^n\cup S(A)$ ist Lagrange-artig $\Longleftrightarrow$ $A$ ist reell diagonalisierbar.

Lemma 4.1 (Lokale Konstruktion): In der Nähe eines diagonalisierbaren Doppelpunkts existiert ein lokales Kähler-Potenzial $f$, das $\iota^*(d^cf)=0$ und $dd^cf>0$ erfüllt.

Theoretische Bedeutung

1. Vollständigkeit: Gibt den exakten Umkehrsatz des Gayet-Theorems im Fall transversaler Doppelpunkte und charakterisiert die Lagrange-Eigenschaft vollständig.
2. Geometrische Intuition: Die Diagonalisierungsbedingung hat klare geometrische Bedeutung — Tangentialebenen-Paare können gleichzeitig diagonalisiert werden, was die durch komplexe Eigenwerte verursachte "Verdrehung" vermeidet.
3. Technischer Durchbruch: Die explizite Konstruktion lokaler Kähler-Potenziale könnte zum Standardwerkzeug für ähnliche Probleme werden.

Verwandte Arbeiten

Klassische Ergebnisse

1. Duval (1991, 1994) und Duval-Sibony (1995): Etablieren die Grundlagentheorie für den Einbettungsfall und beweisen die Äquivalenz von rationaler Konvexität und Lagrange-Eigenschaft ohne Selbstschnitte.
2. Gayet (2000): Verallgemeinert die Ergebnisse auf Immersionen mit transversalen Doppelpunkten und beweist die einseitige Implikation (Lagrange-artig $\Rightarrow$ rational konvex).
3. Duval-Gayet (2008): Weitere Verallgemeinerung auf Fälle mit quadratischen Selbstberührungen.
4. Weinstock (1988): Untersucht die polynomiale Konvexität der Vereinigung zweier vollständig reeller Ebenen und gibt notwendige und hinreichende Bedingungen für lokale rationale Konvexität (Matrix $A$ hat keine rein imaginären Eigenwerte mit Betrag größer als 1).
5. Mitrea (2020): Konstruiert Gegenbeispiele, die zeigen, dass rationale Konvexität nicht die Lagrange-Eigenschaft impliziert, und beweist die Existenz degenerierter Kähler-Formen.

Positionierung dieses Artikels

Der Artikel schließt einen vollständigen Forschungskreislauf in dieser Richtung:

• Im Vergleich zu Gayet: Gibt die exakten Bedingungen für den Umkehrsatz
• Im Vergleich zu Mitrea: Findet positive Charakterisierungen ausgehend von Gegenbeispielen
• Im Vergleich zu Weinstock: Hebt sich von rationaler Konvexität zur Lagrange-Eigenschaft

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Der Artikel löst vollständig das Problem, wann vollständig reelle Immersionen mit transversalen Doppelpunkten Lagrange-artig sind: Sie müssen und dürfen nur rationale Konvexität plus Diagonalisierbarkeit der Doppelpunkte erfüllen. Dieses Ergebnis vereinigt elegant die komplexanalytische (rationale Konvexität) und symplektische (Lagrange-Eigenschaft) Perspektive.

Einschränkungen

1. Beschränkung auf Selbstschnitttypen: Berücksichtigt nur transversale Doppelpunkte, nicht komplexere Selbstschnitte (wie höhere Multiplizitätspunkte, Berührungspunkte usw.).
2. Verifikation der Diagonalisierungsbedingung: In praktischen Anwendungen erfordert die Bestimmung, ob ein gegebener Doppelpunkt diagonalisierbar ist, die Berechnung von Tangentialräumen und Matrixeigenwerten.
3. Verallgemeinerung auf höhere Dimensionen: Die Methode hängt stark von der speziellen Struktur von $\mathbb C^n$ ab; eine Verallgemeinerung auf allgemeinere Kähler-Mannigfaltigkeiten erfordert neue Techniken.
4. Nicht-Eindeutigkeit der Konstruktion: Die Konstruktion der Kähler-Form beinhaltet mehrere willkürliche Wahlen (wie Abschneidefunktionen, Konstante $C$), was an Kanonizität mangelt.

Zukünftige Richtungen

Der Artikel nennt diese nicht explizit, aber folgende Richtungen sind erforschenswert:

1. Verallgemeinerung auf andere Selbstschnitttypen: Untersuchung komplexerer Fälle wie vierfache Berührungspunkte, Dreifachpunkte usw.
2. Quantitative Theorie: Untersuchung von Krümmungsgrenzen der Kähler-Form, geometrischer Invarianten der Immersion usw.
3. Dynamische Anwendungen: Lagrange-Untermannigfaltigkeiten haben wichtige Anwendungen in Hamilton-Systemen; die Ergebnisse dieses Artikels könnten dynamische Bedeutung haben.
4. Algorithmische Implementierung: Entwicklung effektiver Algorithmen zur Bestimmung, ob eine gegebene Immersion die Bedingungen erfüllt.

Tiefe Bewertung

Stärken

1. Bedeutung des Problems: Löst ein über 20 Jahre bestehendes Kernproblem dieses Forschungsgebiets und vervollständigt das Duval-Sibony-Theorierahmen.
2. Vollständigkeit der Ergebnisse: Gibt notwendige und hinreichende Bedingungen ohne Unklarheiten. Die Diagonalisierungsbedingung ist sowohl prägnant als auch verifizierbar.
3. Technische Tiefe des Beweises:
   • Jordan-Normalform-Analyse (Proposition 3.2) nutzt geschickt Widersprüche zur positiven Definitheit
   • Konstruktion lokaler Kähler-Potenziale (Lemma 4.1) beinhaltet komplexe Koordinatentransformationen und Differenzialgleichungslösungen
   • Globale Verklebung (Abschnitt 5) nutzt elegant Mitreas degenerierte Form
4. Klarheit der Darstellung:
   • Vernünftige Struktur: vom linearen Modell → lokale Konstruktion → globale Verklebung, schrittweise Progression
   • Vollständiges Notationssystem (Abschnitt 2 erklärt Notationen detailliert)
   • Ausreichende Erklärung kritischer Schritte
5. Universalität der Methode: Die lokale-globale Verklebungstechnik könnte auf andere geometrische Probleme anwendbar sein.

Schwächen

1. Rechnerische Komplexität: Die Berechnungen in Abschnitt 4 sind äußerst umfangreich (besonders um die Gleichungen (15)-(24)), obwohl streng, aber die Lesbarkeit leidet. Möglicherweise könnte ein abstrakterer Rahmen dies vereinfachen.
2. Unzureichende geometrische Intuition: Die geometrische Bedeutung der Diagonalisierungsbedingung (warum genau ist dies das Hindernis) mangelt an intuitiver Erklärung. Eine tiefere Verständnis aus symplektischer Perspektive wäre wertvoll.
3. Fehlende Gegenbeispiele: Obwohl Mitreas Gegenbeispiel zitiert wird, werden keine konkreten Beispiele nicht-diagonalisierbarer Doppelpunkte gegeben, was die Notwendigkeit der Bedingung weniger intuitiv macht.
4. Unzureichende Verallgemeinerungsdiskussion: Keine Diskussion, welche Einsichten die Ergebnisse für allgemeinere Fälle (wie nicht-kompakte Mannigfaltigkeiten, höhere Multiplizitäts-Selbstschnitte) bieten.
5. Schwacher Anwendungshintergrund: Keine Erläuterung potenzieller Anwendungen in symplektischer Topologie, Spiegelsymmetrie usw.

Einfluss

Theoretischer Beitrag:

• Schließt das letzte Puzzlestück der Duval-Gayet-Mitrea-Forschungslinie
• Offenbart die feinen Unterschiede zwischen rationaler Konvexität und Lagrange-Eigenschaft
• Bietet ein Paradigma für die Untersuchung von Lagrange-Untermannigfaltigkeiten mit Selbstschnitten

Technischer Beitrag:

• Die explizite Konstruktion lokaler Kähler-Potenziale könnte zum Standardwerkzeug werden
• Die Anwendung der Jordan-Normalform in der symplektischen Geometrie zeigt die Kraft algebraischer Methoden

Einschränkungen:

• Als rein theoretisches Ergebnis hat es kurzfristig begrenzte direkte Anwendungen
• Hohe technische Schwelle, erfordert Doppelhintergrund in komplexer Geometrie und symplektischer Geometrie

Anwendungsszenarien

1. Theoretische Forschung: Bietet Werkzeuge zur Untersuchung topologischer und geometrischer Eigenschaften von Lagrange-Untermannigfaltigkeiten.
2. Spiegelsymmetrie: Lagrange-Untermannigfaltigkeiten sind zentrale Objekte der Spiegelsymmetrie; die Ergebnisse könnten zum Verständnis von Fällen mit Singularitäten beitragen.
3. Symplektische Topologie: Bei der Untersuchung des Lagrange-Skeletts symplektischer Mannigfaltigkeiten müssen Untermannigfaltigkeiten mit Selbstschnitten behandelt werden.
4. Komplexe Dynamik: Vollständig reelle Untermannigfaltigkeiten sind mit invarianten Mengen bestimmter dynamischer Systeme verwandt; die Bedingungen dieses Artikels könnten helfen, Eigenschaften invarianter Mengen zu bestimmen.

Referenzen (Schlüsselliteratur im Artikel)

1 J. Duval. Convexité rationnelle des surfaces lagrangiennes. Invent. Math., 104(1):581–599, 1991.

2 J. Duval. Une caractérisation kählérienne des surfaces rationnellement convexes. Acta Math., 172:77–89, 1994.

4 J. Duval and N. Sibony. Polynomial convexity, rational convexity, and currents. Duke Math J., 97(2):487–513, 1995.

5 D. Gayet. Convexité rationnelle des sous-variétés immergées lagrangiennes. Ann. Scient. Éc. Norm. Sup., 33(2):291–300, 2000.

6 O. Mitrea. A characterization of rationally convex immersions. J. Geom. Anal., 30(1):968–986, 2020.

7 B. M. Weinstock. On the polynomial convexity of the union of two maximal totally real subspaces of $\mathbb C^n$. Math. Ann., 282(1):131–138, 1988.

Zusammenfassung

Der Artikel ist ein wichtiger theoretischer Beitrag im Schnittfeld komplexer Geometrie und symplektischer Geometrie. Durch die Einführung der Diagonalisierungsbedingung charakterisiert er vollständig, wann vollständig reelle Immersionen mit transversalen Doppelpunkten Lagrange-artig sind. Der Beweis kombiniert algebraische (Jordan-Normalform), analytische (Satz über implizite Funktionen, Differenzialgleichungen) und geometrische (Koordinatentransformationen, Verklebungstechniken) Werkzeuge und zeigt hohes technisches Niveau. Obwohl als reine Theoriearbeit mit begrenzten unmittelbaren Anwendungsaussichten, machen seine Vollständigkeit und Eleganz ihn zu einem Meilenstein in diesem Forschungsgebiet. Für Forscher, die sich mit der Singularitätentheorie von Lagrange-Untermannigfaltigkeiten befassen, ist dies eine unverzichtbare Referenz.