Une caractérisation complexe-analytique des immersions lagrangiennes dans $\mathbb C^n$ avec points doubles transverses

Informations fondamentales

• ID de l'article: 2511.15306
• Titre: Une caractérisation complexe-analytique des immersions lagrangiennes dans $\mathbb C^n$ avec points doubles transverses
• Auteurs: Purvi Gupta, Rudranil Sahu (Indian Institute of Science, Bangalore)
• Classification: math.CV (Variables complexes), math.SG (Géométrie symplectique)
• Date de publication: 20 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.15306

Résumé

Cet article étudie les sous-variétés totalement réelles compactes et lisses $n$-dimensionnelles $M\subset\mathbb C^n$ avec un nombre fini de points doubles transverses. On sait que si $M$ est lagrangienne par rapport à une forme de Kähler sur $\mathbb C^n$, alors $M$ est rationnellement convexe dans $\mathbb C^n$ (Gayet, 2000), mais la réciproque n'est pas vraie (Mitrea, 2020). Cet article démontre que : $M$ est lagrangienne par rapport à une forme de Kähler sur $\mathbb C^n$ si et seulement si $M$ est rationnellement convexe et, en chaque point double, la paire de plans tangents transverses de $M$ satisfait une condition de diagonalisabilité : il existe une transformation linéaire complexe sur $\mathbb C^n$ qui applique cette paire sur $\left(\mathbb R^n,(D+i)\mathbb R^n\right)$, où $D$ est une certaine matrice réelle diagonale $n\times n$.

Contexte et motivation de la recherche

Contexte du problème

Cet article étudie une question fondamentale à l'intersection de la géométrie complexe et de la géométrie symplectique : la caractérisation des sous-variétés lagrangiennes avec auto-intersections.

Concepts fondamentaux :

1. Convexité rationnelle : Un compact $K\subset\mathbb C^n$ est dit rationnellement convexe si son complémentaire est une réunion d'hypersurfaces complexes dans $\mathbb C^n$. Cela confère à $K$ des propriétés importantes en théorie de l'approximation : les fonctions holomorphes au voisinage de $K$ peuvent être approximées uniformément par des fonctions rationnelles.
2. Sous-variétés lagrangiennes : Une sous-variété réelle $n$-dimensionnelle $M\subset\mathbb C^n$ est dite lagrangienne par rapport à une forme de Kähler $\omega$ si $\iota^*\omega=0$, où $\iota:M\to\mathbb C^n$ est l'application d'immersion.
3. Sous-variétés totalement réelles : Sous-variétés dont les sous-espaces réels ne contiennent pas de droites complexes.

Résultats antérieurs

Le théorème classique de Duval-Sibony (1991-1995) établit une correspondance parfaite dans le cas sans auto-intersections :

• Cas plongé : L'image d'un plongement totalement réel compact et lisse $\iota:M\to\mathbb C^n$ est rationnellement convexe si et seulement si elle est lagrangienne par rapport à une certaine forme de Kähler.

Pour le cas avec auto-intersections :

• Gayet (2000) : Si l'immersion $\iota:M\to\mathbb C^n$ possède seulement un nombre fini de points doubles transverses et est lagrangienne, alors $\iota(M)$ est rationnellement convexe (implication unidirectionnelle).
• Mitrea (2020) : Construit des contre-exemples montrant que la réciproque n'est pas vraie, et démontre que si $\iota(M)$ est rationnellement convexe, alors il existe une forme $(1,1)$ non-négative $\omega$ qui est strictement positive en dehors des points d'auto-intersection et satisfait $\iota^*\omega=0$.

Motivation de la recherche

Problème central : Dans le cas avec points d'auto-intersection, quelles conditions supplémentaires permettent à la convexité rationnelle d'impliquer la propriété lagrangienne ?

Intuition clé : Le cœur du problème réside dans la structure géométrique locale aux points doubles. Le contre-exemple de Mitrea montre que certaines réunions de plans totalement réels, bien que rationnellement convexes, ne sont pas lagrangiennes. Il est donc nécessaire d'imposer des contraintes géométriques supplémentaires aux points doubles.

Contributions principales

1. Théorème principal (Théorème 1.1) : Fournit une caractérisation complète des sous-variétés immergées lagrangiennes avec points doubles transverses : $M\text{ est lagrangienne} \Longleftrightarrow M\text{ est rationnellement convexe} + \text{tous les points doubles sont diagonalisables}$
2. Caractérisation de la condition de diagonalisabilité (Proposition 3.2) : Démontre que la réunion de deux plans totalement réels $\mathbb R^n$ et $S(A)=(A+i)\mathbb R^n$ est lagrangienne si et seulement si la matrice $A$ est diagonalisable sur $\mathbb R$.
3. Construction de la forme de Kähler locale (Lemme 4.1) : Construit explicitement une forme de Kähler locale $dd^cf$ au voisinage de chaque point double diagonalisable, telle que $\iota^*(d^cf)=0$, ce qui est essentiel pour le collage global ultérieur.
4. Technique de collage global (Section 5) : Colle ingénieusement les formes de Kähler locales avec la forme de Kähler dégénérée de Mitrea pour obtenir une forme de Kähler globale.

Explication détaillée des méthodes

Définition de la tâche

Entrée : Une variété lisse $n$-dimensionnelle compacte $M$ et une immersion totalement réelle $\iota:M\to\mathbb C^n$ avec seulement un nombre fini de points doubles transverses $p_1,\ldots,p_m$.

Sortie : Déterminer s'il existe une forme de Kähler $\omega$ sur $\mathbb C^n$ telle que $\iota^*\omega=0$.

Conditions clés :

• Convexité rationnelle (nécessaire mais insuffisante)
• Diagonalisabilité des points doubles (condition supplémentaire)

Cadre technique principal

1. Analyse du modèle linéaire (Section 3)

Réduction du problème : Par transformation linéaire complexe, la géométrie locale de tout point double transverse peut être réduite à la réunion de deux plans totalement réels $\mathbb R^n$ et $S(A)=(A+i)\mathbb R^n$ à l'origine, où $A\in M_{n\times n}(\mathbb R)$.

Lemme clé (Lemme 3.3) : Si $P\in M_{n\times n}(\mathbb R)$ est non-singulière, alors la transformation linéaire complexe $P$ applique $\mathbb R^n$ sur $\mathbb R^n$ et $S(A)$ sur $S(PAP^{-1})$.

Résultat principal (Proposition 3.2) : $\mathbb R^n\cup S(A)$ est lagrangienne par rapport à une certaine forme de Kähler si et seulement si $A$ est diagonalisable.

Stratégie de preuve :

• Considérer une forme de Kähler à coefficients constants $\omega=\sum_{j,k}h_{jk}dz_j\wedge d\bar{z}_k$, où $h=(h_{jk})$ est une matrice hermitienne définie positive.
• Paramétrisation : $\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)$
• Calcul du tiré en arrière : $\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$ où $c_{jk}(A)=\sum_r((\text{Re}\,h_{jr})a_{rk}-(\text{Re}\,h_{kr})a_{rj})$
• Suffisance : Si $A$ est diagonalisable, par le Lemme 3.3 on peut supposer que $A$ est diagonale, auquel cas la forme de Kähler standard satisfait la condition.
• Nécessité : Si $A$ n'est pas diagonalisable, sa forme réelle de Jordan $J(A)$ doit contenir un bloc de Jordan non-trivial. On considère deux cas :
  • Cas de valeur propre réelle : $J(A)$ contient $\begin{pmatrix}\lambda & 1 \\ & \lambda & \ddots \\ && \ddots & 1 \\ &&& \lambda\end{pmatrix}_{r\times r}$, $r\geq 2$. Le calcul donne $c_{12}(J(A))=h_{11}=0$, ce qui contredit la positivité de $h$.
  • Cas de valeur propre complexe : $J(A)$ contient $\begin{pmatrix}C & I_2 \\ & C & \ddots \\ && \ddots & I_2 \\ &&& C\end{pmatrix}$, où $C=\begin{pmatrix}s & -t \\ t & s\end{pmatrix}$. Le calcul donne $c_{12}(J(A))=-t(h_{11}+h_{22})=0$, ce qui est une contradiction.

2. Construction de la forme de Kähler locale (Section 4)

Objectif : Construire au voisinage d'un point double diagonalisable $p$ une fonction $f$ telle que :

• $\iota^*(d^cf)=0$ (condition plus forte que $\iota^*(dd^cf)=0$)
• $dd^cf>0$

Configuration des coordonnées : Par transformation affine complexe, supposer que $p=0$, $T_0R=\mathbb R^n$, $T_0S=(A+i)\mathbb R^n$, où $A=\text{diag}(\lambda_1,\ldots,\lambda_n)$.

Représentation locale : Par le théorème des fonctions implicites, il existe des fonctions lisses $\varphi,\psi:\mathbb R^n\to\mathbb R^n$ satisfaisant $\varphi(0)=\psi(0)=D\varphi(0)=D\psi(0)=0$, telles que : $R=\{t+i\varphi(t)\}, \quad S=\{(A+i)t+\psi(t)\}$

Stratégie de construction : Définir $f(x,y)=\|x\|^2+\|y\|^2+r(x,y)$, où $r$ doit satisfaire : $(V r)(t,\varphi(t))=p(t)$$(W r)(A\cdot t+\psi(t),t)=q(t)$ où :

• $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$

Changement de coordonnées : Introduire la transformation $\Theta(u,v)=(x(u,v),y(u,v))$ : $x(u,v)=u+A\cdot v+\psi(v), \quad y(u,v)=v-(A+(D\psi)(v))\cdot u$

Cette transformation redresse $S$ en $\{u=0\}$ et ramène $W$ le long de $S$ à $\nabla_u$ le long de $\{u=0\}$.

Construction explicite : Définir $\tilde{r}(u,v)=Q(v)\cdot u+\alpha(u)\cdot(v-\sigma(u))$ où $\sigma$ est déterminée par le théorème des fonctions implicites de sorte que $\Theta(\{v=\sigma(u)\})=R$, et $\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}$

Par des calculs minutieux, on vérifie que $\tilde{r}$ satisfait tous les critères requis, puis on définit $r=\tilde{r}\circ\Theta^{-1}$.

3. Collage global (Section 5)

Stratégie de collage :

1. Pour chaque point double $p_j$, le Lemme 4.1 fournit une fonction locale $f_j$ sur la boule $B^n(p_j,\varepsilon)$ satisfaisant $dd^cf_j>0$ et $\iota^*(d^cf_j)=0$.
2. Choisir $\delta\in(0,\varepsilon)$ et une fonction de troncature $\chi:[0,\infty)\to[0,1]$ satisfaisant $\chi\equiv 1$ sur $[0,\delta]$ et $\chi\equiv 0$ sur $[\varepsilon,\infty)$.
3. Par le résultat de Mitrea, il existe $\phi:\mathbb C^n\to\mathbb R$ satisfaisant :
   • $\phi$ est plurisousharmonique
   • $\phi$ est strictement plurisousharmonique sur $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$
   • $\iota^*dd^c\phi=0$
4. Choisir une constante suffisamment grande $C>0$ telle que $Cdd^c\phi+\sum_{j=1}^m d\chi_j\wedge d^cf_j>0 \text{ sur } \mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$
5. Définir la forme de Kähler globale : $\omega=Cdd^c\phi+\sum_{j=1}^m d(\chi_j d^cf_j)$

Vérification :

• Sur $\bigcup_j B^n(p_j,\delta)$ : $dd^cf_j>0$ et $d\chi_j\equiv 0$ garantissent $\omega>0$
• Sur $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta)$ : l'étape 4 et $\chi_j dd^cf_j\geq 0$ garantissent $\omega>0$
• Propriété lagrangienne : $\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$

Points d'innovation technique

1. Caractérisation précise de la condition de diagonalisabilité : Première identification explicite de la diagonalisabilité comme obstacle essentiel à la propriété lagrangienne, avec preuve complète via l'analyse de la forme de Jordan.
2. Condition locale plus forte : Construction de potentiels de Kähler locaux satisfaisant $\iota^*(d^cf)=0$ plutôt que seulement $\iota^*(dd^cf)=0$, ce qui est crucial pour la technique de collage.
3. Application créative du théorème des fonctions implicites : Transformation de coordonnées soigneusement conçue $\Theta$ convertissant le problème non-linéaire en système d'équations linéaires résoluble.
4. Construction explicite : Fourniture d'expressions complètement explicites pour les potentiels de Kähler locaux, évitant l'abstraction des preuves d'existence.

Configuration expérimentale

Cet article est une recherche théorique en mathématiques pures et ne comporte pas d'expériences numériques ou d'ensembles de données. Tous les résultats sont obtenus par des démonstrations mathématiques rigoureuses.

Résultats expérimentaux

Résultats théoriques principaux

Théorème 1.1 (Théorème principal) : Soit $M$ une variété lisse compacte $n$-dimensionnelle et $\iota:M\to\mathbb C^n$ une immersion totalement réelle, avec $\iota(M)$ lisse en dehors d'un nombre fini de points doubles transverses $p_1,\ldots,p_m$. Alors : $\iota(M)\text{ est lagrangienne} \Longleftrightarrow \iota(M)\text{ est rationnellement convexe et}\ p_1,\ldots,p_m\text{ sont diagonalisables}$

Proposition 3.2 (Modèle linéaire) : $\mathbb R^n\cup S(A)$ est lagrangienne $\Longleftrightarrow$ $A$ est diagonalisable sur $\mathbb R$.

Lemme 4.1 (Construction locale) : Au voisinage d'un point double diagonalisable existe un potentiel de Kähler local $f$ satisfaisant $\iota^*(d^cf)=0$ et $dd^cf>0$.

Signification théorique

1. Complétude : Fournit le théorème inverse précis du théorème de Gayet dans le cas des points doubles transverses, caractérisant complètement la propriété lagrangienne.
2. Intuition géométrique : La condition de diagonalisabilité a une signification géométrique claire — les paires de plans tangents peuvent être simultanément diagonalisées, évitant la « torsion » introduite par les valeurs propres complexes.
3. Percée technique : La construction explicite du potentiel de Kähler local peut devenir un outil standard pour des problèmes similaires.

Travaux connexes

Résultats classiques

1. Duval (1991, 1994) et Duval-Sibony (1995) : Établissent la théorie fondamentale du cas plongé, prouvant l'équivalence entre convexité rationnelle et propriété lagrangienne sans auto-intersections.
2. Gayet (2000) : Généralise les résultats aux immersions avec points doubles transverses, prouvant l'implication unidirectionnelle (lagrangienne $\Rightarrow$ rationnellement convexe).
3. Duval-Gayet (2008) : Généralise davantage au cas avec auto-tangences du second ordre.
4. Weinstock (1988) : Étudie la convexité polynomiale de réunions de deux plans totalement réels, donnant des conditions nécessaires et suffisantes pour la convexité rationnelle locale (la matrice $A$ n'a pas de valeurs propres purement imaginaires de module supérieur à 1).
5. Mitrea (2020) : Construit des contre-exemples montrant que la convexité rationnelle n'implique pas la propriété lagrangienne, et prouve l'existence de formes de Kähler dégénérées.

Positionnement de cet article

Cet article complète une boucle fermée dans cette direction de recherche :

• Comparé à Gayet : fournit les conditions précises du théorème inverse
• Comparé à Mitrea : partant des contre-exemples, trouve une caractérisation positive
• Comparé à Weinstock : élève de la convexité rationnelle à la propriété lagrangienne

Conclusion et discussion

Conclusions principales

Cet article résout complètement la question de savoir quand une immersion totalement réelle avec points doubles transverses est lagrangienne : elle doit et ne doit satisfaire que la convexité rationnelle plus la diagonalisabilité des points doubles. Ce résultat unifie élégamment deux perspectives : l'analyse complexe (convexité rationnelle) et la géométrie symplectique (propriété lagrangienne).

Limitations

1. Restriction sur le type d'auto-intersection : Considère uniquement les points doubles transverses, excluant les auto-intersections plus complexes (points de multiplicité supérieure, points de tangence, etc.).
2. Vérification de la condition de diagonalisabilité : En pratique, déterminer si un point double donné est diagonalisable nécessite de calculer les espaces tangents et les valeurs propres des matrices.
3. Généralisation en dimension supérieure : La méthode dépend fortement de la structure spéciale de $\mathbb C^n$, et la généralisation à des variétés de Kähler plus générales nécessiterait de nouvelles techniques.
4. Non-unicité de la construction : La construction de la forme de Kähler implique plusieurs choix arbitraires (fonction de troncature, constante $C$), manquant de canonicité.

Directions futures

L'article ne propose pas explicitement de directions futures, mais les suivantes méritent d'être explorées :

1. Généralisation à d'autres types d'auto-intersections : Étudier les cas plus complexes comme les points de tangence du quatrième ordre, les points triples, etc.
2. Théorie quantitative : Étudier les bornes de courbure des formes de Kähler, les invariants géométriques de l'immersion, etc.
3. Applications dynamiques : Les sous-variétés lagrangiennes jouent un rôle important dans les systèmes hamiltoniens ; les résultats de cet article pourraient avoir une signification dynamique.
4. Implémentation algorithmique : Développer des algorithmes efficaces pour déterminer si une immersion donnée satisfait les conditions.

Évaluation approfondie

Points forts

1. Importance du problème : Résout un problème central du domaine resté ouvert pendant plus de 20 ans, perfectionnant le cadre théorique de Duval-Sibony.
2. Complétude du résultat : Fournit des conditions nécessaires et suffisantes sans ambiguïté. La condition de diagonalisabilité est à la fois simple et vérifiable.
3. Profondeur technique de la preuve :
   • L'analyse de la forme de Jordan (Proposition 3.2) exploite ingénieusement les contradictions de positivité
   • La construction du potentiel de Kähler local (Lemme 4.1) implique des transformations de coordonnées complexes et la résolution d'équations différentielles
   • Le collage global (Section 5) utilise subtilement la forme dégénérée de Mitrea
4. Clarté de la rédaction :
   • Structure logique : modèle linéaire → construction locale → collage global, progression graduelle
   • Système de notation complet (Section 2 détaille les notations)
   • Explication suffisante des étapes clés
5. Universalité de la méthode : La technique de collage local-global peut s'appliquer à d'autres problèmes géométriques.

Insuffisances

1. Complexité des calculs : Les calculs de la Section 4 sont extrêmement longs (particulièrement près des équations (15)-(24)), bien que rigoureux, ce qui affecte la lisibilité. Un cadre plus abstrait pourrait simplifier.
2. Intuition géométrique insuffisante : La signification géométrique de la condition de diagonalisabilité (pourquoi c'est précisément l'obstacle) manque d'explication intuitive. Une compréhension plus profonde du point de vue de la géométrie symplectique serait bénéfique.
3. Absence de contre-exemples : Bien que le contre-exemple de Mitrea soit cité, aucun exemple explicite de point double non-diagonalisable n'est fourni, affaiblissant l'intuition de la nécessité de la condition.
4. Discussion insuffisante de la généralisation : Manque de discussion sur les implications des résultats pour des cas plus généraux (variétés non-compactes, points d'auto-intersection de multiplicité supérieure).
5. Contexte d'application faible : Ne discute pas des applications potentielles en topologie symplectique, symétrie miroir, etc.

Influence

Contributions théoriques :

• Complète le dernier morceau du puzzle de la ligne de recherche Duval-Gayet-Mitrea
• Révèle les différences subtiles entre convexité rationnelle et propriété lagrangienne
• Fournit un paradigme pour l'étude des sous-variétés lagrangiennes avec auto-intersections

Contributions techniques :

• La construction explicite du potentiel de Kähler local peut devenir un outil standard
• L'application de la forme de Jordan en géométrie symplectique démontre la puissance des méthodes algébriques

Limitations :

• En tant que résultat purement théorique, difficile d'avoir des applications directes à court terme
• Seuil technique élevé, nécessitant une double expertise en géométrie complexe et symplectique

Scénarios d'application

1. Recherche théorique : Fournit des outils pour l'étude des propriétés topologiques et géométriques des sous-variétés lagrangiennes.
2. Symétrie miroir : Les sous-variétés lagrangiennes sont des objets centraux de la symétrie miroir ; les résultats de cet article pourraient aider à comprendre les cas avec singularités.
3. Topologie symplectique : Lors de l'étude du squelette lagrangien des variétés symplectiques, il est nécessaire de traiter les sous-variétés avec auto-intersections.
4. Systèmes dynamiques complexes : Les sous-variétés totalement réelles sont liées aux ensembles invariants de certains systèmes dynamiques ; les conditions de cet article pourraient aider à déterminer les propriétés des ensembles invariants.

Références (littérature clé citée dans l'article)

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.

Résumé

Cet article est une contribution théorique importante au domaine de l'intersection entre la géométrie complexe et la géométrie symplectique. En introduisant la condition de diagonalisabilité, il caractérise complètement quand une immersion totalement réelle avec points doubles transverses est lagrangienne. La preuve combine des outils d'algèbre (forme de Jordan), d'analyse (théorème des fonctions implicites, équations différentielles) et de géométrie (transformations de coordonnées, techniques de collage), démontrant un niveau technique élevé. Bien qu'en tant que travail purement théorique ses perspectives d'application soient limitées, sa complétude et son élégance en font un résultat fondamental du domaine. Pour les chercheurs étudiant la théorie des singularités des sous-variétés lagrangiennes, cet article est une lecture incontournable.