Una caracterización complejo-analítica de inmersiones lagrangianas en $\mathbb C^n$ con puntos dobles transversales

Información Básica

• ID del artículo: 2511.15306
• Título: Una caracterización complejo-analítica de inmersiones lagrangianas en $\mathbb C^n$ con puntos dobles transversales
• Autores: Purvi Gupta, Rudranil Sahu (Indian Institute of Science, Bangalore)
• Clasificación: math.CV (Variables Complejas), math.SG (Geometría Simpléctica)
• Fecha de publicación: 20 de noviembre de 2025
• Enlace del artículo: https://arxiv.org/abs/2511.15306

Resumen

Este artículo estudia inmersiones suaves totalmente reales compactas $n$-subvariedades $M\subset\mathbb C^n$ con un número finito de puntos dobles transversales. Se sabe que si $M$ es lagrangiana respecto a alguna forma de Kähler en $\mathbb C^n$, entonces $M$ es racionalmente convexa en $\mathbb C^n$ (Gayet, 2000), pero el recíproco no es cierto (Mitrea, 2020). Este artículo demuestra que: $M$ es lagrangiana respecto a alguna forma de Kähler en $\mathbb C^n$ si y solo si $M$ es racionalmente convexa y en cada punto doble, el par de planos tangentes transversales de $M$ satisface una condición diagonalizable: existe una transformación lineal compleja en $\mathbb C^n$ que mapea este par a $\left(\mathbb R^n,(D+i)\mathbb R^n\right)$, donde $D$ es cierta matriz real diagonal $n\times n$.

Antecedentes de investigación y motivación

Contexto del problema

Este artículo estudia un problema fundamental en el área de intersección de la geometría compleja y la geometría simpléctica: caracterizar subvariedades lagrangianas con puntos de auto-intersección.

Conceptos centrales:

1. Convexidad racional: Un conjunto compacto $K\subset\mathbb C^n$ se llama racionalmente convexo si su complemento es la unión de hipersuperficies complejas en $\mathbb C^n$. Esto confiere a $K$ propiedades importantes en teoría de aproximación: las funciones holomorfas en vecindades de $K$ pueden aproximarse uniformemente por funciones racionales.
2. Subvariedades lagrangianas: Una subvariedad real $n$-dimensional $M\subset\mathbb C^n$ se llama lagrangiana respecto a una forma de Kähler $\omega$ si $\iota^*\omega=0$, donde $\iota:M\to\mathbb C^n$ es la inmersión.
3. Subvariedades totalmente reales: Subvariedades cuyos subespacios reales no contienen líneas complejas.

Resultados previos

El teorema clásico de Duval-Sibony (1991-1995) establece una correspondencia perfecta en el caso sin auto-intersecciones:

• Caso de inmersión: La imagen de una inmersión $\iota:M\to\mathbb C^n$ suave totalmente real compacta es racionalmente convexa si y solo si es lagrangiana respecto a alguna forma de Kähler.

Para el caso con auto-intersecciones:

• Gayet (2000): Si la inmersión $\iota:M\to\mathbb C^n$ tiene solo un número finito de puntos dobles transversales y es lagrangiana, entonces $\iota(M)$ es racionalmente convexa (implicación unidireccional).
• Mitrea (2020): Construye contraejemplos mostrando que el recíproco no es cierto, y demuestra que si $\iota(M)$ es racionalmente convexa, entonces existe una forma $(1,1)$ no negativa $\omega$ que es estrictamente positiva fuera de los puntos de auto-intersección y satisface $\iota^*\omega=0$.

Motivación de la investigación

Problema central: ¿Qué condiciones adicionales hacen que la convexidad racional implique lagrangianidad en el caso con puntos de auto-intersección?

Perspectiva clave: El problema radica en la estructura geométrica local en los puntos dobles. El contraejemplo de Mitrea muestra que ciertos pares de planos totalmente reales, aunque racionalmente convexos, no son lagrangianos. Por lo tanto, es necesario imponer restricciones geométricas adicionales en los puntos dobles.

Contribuciones principales

1. Teorema principal (Teorema 1.1): Proporciona una caracterización completa de subvariedades inmersas lagrangianas con puntos dobles transversales: $M\text{ es lagrangiana} \Longleftrightarrow M\text{ es racionalmente convexa} + \text{todos los puntos dobles son diagonalizables}$
2. Caracterización de la condición diagonalizable (Proposición 3.2): Demuestra que la unión de dos planos totalmente reales $\mathbb R^n$ y $S(A)=(A+i)\mathbb R^n$ es lagrangiana si y solo si la matriz $A$ es diagonalizable en $\mathbb R$.
3. Construcción de forma de Kähler local (Lema 4.1): Construye explícitamente una forma de Kähler local $dd^cf$ cerca de cada punto doble diagonalizable, tal que $\iota^*(d^cf)=0$, lo cual es clave para el pegado global posterior.
4. Técnica de pegado global (Sección 5): Pega ingeniosamente formas de Kähler locales con la forma de Kähler degenerada de Mitrea para obtener una forma de Kähler global.

Explicación detallada de métodos

Definición de la tarea

Entrada: Una variedad suave compacta $n$-dimensional $M$ e inmersión totalmente real $\iota:M\to\mathbb C^n$ con solo un número finito de puntos dobles transversales $p_1,\ldots,p_m$.

Salida: Determinar si existe una forma de Kähler $\omega$ en $\mathbb C^n$ tal que $\iota^*\omega=0$.

Condiciones clave:

• Convexidad racional (necesaria pero no suficiente)
• Diagonalizabilidad de puntos dobles (condición complementaria)

Marco técnico central

1. Análisis de modelos lineales (Sección 3)

Reducción de problema: Mediante transformación lineal compleja, la geometría local de cualquier punto doble transversal puede reducirse a la unión de dos planos totalmente reales $\mathbb R^n$ y $S(A)=(A+i)\mathbb R^n$ en el origen, donde $A\in M_{n\times n}(\mathbb R)$.

Lema clave (Lema 3.3): Si $P\in M_{n\times n}(\mathbb R)$ es no singular, entonces la transformación lineal compleja $P$ mapea $\mathbb R^n$ a $\mathbb R^n$ y mapea $S(A)$ a $S(PAP^{-1})$.

Resultado principal (Proposición 3.2): $\mathbb R^n\cup S(A)$ es lagrangiana respecto a alguna forma de Kähler si y solo si $A$ es diagonalizable.

Estrategia de prueba:

• Considerar forma de Kähler de coeficientes constantes $\omega=\sum_{j,k}h_{jk}dz_j\wedge d\bar{z}_k$, donde $h=(h_{jk})$ es una matriz hermitiana positiva definida.
• Parametrización: $\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)$
• Cálculo del pullback: $\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$ donde $c_{jk}(A)=\sum_r((\text{Re}\,h_{jr})a_{rk}-(\text{Re}\,h_{kr})a_{rj})$
• Suficiencia: Si $A$ es diagonalizable, por el Lema 3.3 podemos asumir que $A$ es diagonal, en cuyo caso la forma de Kähler estándar satisface la condición.
• Necesidad: Si $A$ no es diagonalizable, su forma real de Jordan $J(A)$ debe contener bloques de Jordan no triviales. Consideramos dos casos:
  • Caso de valor propio real: $J(A)$ contiene $\begin{pmatrix}\lambda & 1 \\ & \lambda & \ddots \\ && \ddots & 1 \\ &&& \lambda\end{pmatrix}_{r\times r}$, $r\geq 2$. Calculamos $c_{12}(J(A))=h_{11}=0$, contradicción con la positividad de $h$.
  • Caso de valor propio complejo: $J(A)$ contiene $\begin{pmatrix}C & I_2 \\ & C & \ddots \\ && \ddots & I_2 \\ &&& C\end{pmatrix}$, donde $C=\begin{pmatrix}s & -t \\ t & s\end{pmatrix}$. Calculamos $c_{12}(J(A))=-t(h_{11}+h_{22})=0$, contradicción.

2. Construcción de forma de Kähler local (Sección 4)

Objetivo: Construir una función $f$ cerca del punto doble diagonalizable $p$ tal que:

• $\iota^*(d^cf)=0$ (condición más fuerte que $\iota^*(dd^cf)=0$)
• $dd^cf>0$

Configuración de coordenadas: Mediante transformación afín compleja, asumimos $p=0$, $T_0R=\mathbb R^n$, $T_0S=(A+i)\mathbb R^n$, donde $A=\text{diag}(\lambda_1,\ldots,\lambda_n)$.

Representación local: Por el teorema de la función implícita, existen funciones suaves $\varphi,\psi:\mathbb R^n\to\mathbb R^n$ satisfaciendo $\varphi(0)=\psi(0)=D\varphi(0)=D\psi(0)=0$, tales que: $R=\{t+i\varphi(t)\}, \quad S=\{(A+i)t+\psi(t)\}$

Estrategia de construcción: Definimos $f(x,y)=\|x\|^2+\|y\|^2+r(x,y)$, donde $r$ debe satisfacer: $(V r)(t,\varphi(t))=p(t)$$(W r)(A\cdot t+\psi(t),t)=q(t)$ donde:

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

Cambio de coordenadas: Introducimos la transformación $\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$

Esta transformación endereza $S$ a $\{u=0\}$ y retrae $W$ a lo largo de $S$ a $\nabla_u$ en $\{u=0\}$.

Construcción explícita: Definimos $\tilde{r}(u,v)=Q(v)\cdot u+\alpha(u)\cdot(v-\sigma(u))$ donde $\sigma$ está determinada por el teorema de la función implícita tal que $\Theta(\{v=\sigma(u)\})=R$, y $\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}$

Mediante cálculos refinados verificamos que $\tilde{r}$ satisface todos los requisitos, luego establecemos $r=\tilde{r}\circ\Theta^{-1}$.

3. Pegado global (Sección 5)

Estrategia de pegado:

1. Para cada punto doble $p_j$, por el Lema 4.1 obtenemos una función local $f_j$ en la bola $B^n(p_j,\varepsilon)$ satisfaciendo $dd^cf_j>0$ e $\iota^*(d^cf_j)=0$.
2. Elegimos $\delta\in(0,\varepsilon)$ y una función de corte $\chi:[0,\infty)\to[0,1]$, satisfaciendo $\chi\equiv 1$ en $[0,\delta]$ y $\chi\equiv 0$ en $[\varepsilon,\infty)$.
3. Por el resultado de Mitrea, existe $\phi:\mathbb C^n\to\mathbb R$ satisfaciendo:
   • $\phi$ es plurisubarmónica
   • $\phi$ es estrictamente plurisubarmónica en $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$
   • $\iota^*dd^c\phi=0$
4. Elegimos una constante suficientemente grande $C>0$ tal que $Cdd^c\phi+\sum_{j=1}^m d\chi_j\wedge d^cf_j>0 \text{ en } \mathbb C^n\setminus\bigcup_j B^n(p_j,\delta/2)$
5. Definimos la forma de Kähler global: $\omega=Cdd^c\phi+\sum_{j=1}^m d(\chi_j d^cf_j)$

Verificación:

• En $\bigcup_j B^n(p_j,\delta)$: Por $dd^cf_j>0$ y $d\chi_j\equiv 0$ garantizamos $\omega>0$
• En $\mathbb C^n\setminus\bigcup_j B^n(p_j,\delta)$: Por el paso 4 y $\chi_j dd^cf_j\geq 0$ garantizamos $\omega>0$
• Propiedad lagrangiana: $\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$

Puntos de innovación técnica

1. Caracterización precisa de la condición diagonalizable: Por primera vez se identifica explícitamente que la diagonalizabilidad es el obstáculo esencial para la propiedad lagrangiana, proporcionando una prueba completa mediante análisis de la forma de Jordan.
2. Condición local más fuerte: Se construye un potencial de Kähler local satisfaciendo $\iota^*(d^cf)=0$ en lugar de solo $\iota^*(dd^cf)=0$, lo cual es clave para la técnica de pegado.
3. Aplicación creativa del teorema de la función implícita: Mediante cambios de coordenadas cuidadosamente diseñados $\Theta$, se transforma el problema no lineal en un sistema de ecuaciones lineales resoluble.
4. Construcción explícita: Se proporciona una expresión completamente explícita del potencial de Kähler local, evitando la abstracción de pruebas de existencia.

Configuración experimental

Este artículo es investigación matemática pura teórica y no involucra experimentos numéricos ni conjuntos de datos. Todos los resultados se obtienen mediante pruebas matemáticas rigurosas.

Resultados experimentales

Resultados teóricos principales

Teorema 1.1 (Teorema principal): Sea $M$ una variedad suave compacta $n$-dimensional, $\iota:M\to\mathbb C^n$ una inmersión totalmente real, con $\iota(M)$ siendo una subvariedad suave excepto en un número finito de puntos dobles transversales $p_1,\ldots,p_m$. Entonces: $\iota(M)\text{ es lagrangiana} \Longleftrightarrow \iota(M)\text{ es racionalmente convexa y }p_1,\ldots,p_m\text{ son diagonalizables}$

Proposición 3.2 (Modelo lineal): $\mathbb R^n\cup S(A)$ es lagrangiana $\Longleftrightarrow$ $A$ es diagonalizable en $\mathbb R$.

Lema 4.1 (Construcción local): Cerca de un punto doble diagonalizable existe un potencial de Kähler local $f$ satisfaciendo $\iota^*(d^cf)=0$ e $dd^cf>0$.

Significado teórico

1. Completitud: Proporciona el teorema inverso preciso del teorema de Gayet en el caso de puntos dobles transversales, caracterizando completamente la propiedad lagrangiana.
2. Intuición geométrica: La condición de diagonalizabilidad tiene un significado geométrico claro—los pares de planos tangentes pueden diagonalizarse simultáneamente, evitando la "torsión" causada por valores propios complejos.
3. Avance técnico: La construcción explícita del potencial de Kähler local puede convertirse en una herramienta estándar para problemas similares.

Trabajos relacionados

Resultados clásicos

1. Duval (1991, 1994) y Duval-Sibony (1995): Establecen la teoría fundamental en el caso de inmersión, probando la equivalencia entre convexidad racional y propiedad lagrangiana sin auto-intersecciones.
2. Gayet (2000): Generaliza resultados a inmersiones con puntos dobles transversales, probando la implicación unidireccional (lagrangiana $\Rightarrow$ racionalmente convexa).
3. Duval-Gayet (2008): Generaliza aún más al caso con auto-tangencias de segundo orden.
4. Weinstock (1988): Estudia la convexidad polinomial de la unión de dos planos totalmente reales, proporcionando condiciones necesarias y suficientes para convexidad racional local (la matriz $A$ no tiene valores propios puramente imaginarios con módulo mayor que 1).
5. Mitrea (2020): Construye contraejemplos mostrando que convexidad racional no implica lagrangianidad, y prueba la existencia de formas de Kähler degeneradas.

Posicionamiento de este artículo

Este artículo completa un ciclo completo en esta dirección de investigación:

• Comparado con Gayet: proporciona condiciones precisas para el teorema inverso
• Comparado con Mitrea: partiendo de contraejemplos encuentra una caracterización positiva
• Comparado con Weinstock: se eleva de convexidad racional a propiedad lagrangiana

Conclusiones y discusión

Conclusiones principales

Este artículo resuelve completamente el problema de cuándo una inmersión totalmente real con puntos dobles transversales es lagrangiana: debe y solo debe satisfacer convexidad racional más diagonalizabilidad de puntos dobles. Este resultado elegantemente unifica dos perspectivas: análisis complejo (convexidad racional) y geometría simpléctica (propiedad lagrangiana).

Limitaciones

1. Restricción del tipo de auto-intersección: Solo considera puntos dobles transversales, no incluye auto-intersecciones más complejas (como puntos de multiplicidad superior, puntos de tangencia, etc.).
2. Verificación de la condición diagonalizable: En aplicaciones prácticas, determinar si un punto doble dado es diagonalizable requiere calcular espacios tangentes y valores propios de matrices.
3. Generalización a dimensiones superiores: El método depende altamente de la estructura especial de $\mathbb C^n$, la generalización a variedades de Kähler más generales requiere nuevas técnicas.
4. No unicidad de la construcción: La construcción de la forma de Kähler involucra múltiples elecciones arbitrarias (como funciones de corte, constante $C$), careciendo de canonicidad.

Direcciones futuras

El artículo no propone explícitamente direcciones futuras, pero las siguientes merecen exploración:

1. Generalización a otros tipos de auto-intersección: Estudiar casos más complejos como puntos de tangencia cuádruple, puntos triples, etc.
2. Teoría cuantitativa: Investigar cotas de curvatura de formas de Kähler, invariantes geométricos de inmersiones, etc.
3. Aplicaciones dinámicas: Las subvariedades lagrangianas tienen aplicaciones importantes en sistemas hamiltonianos, los resultados de este artículo pueden tener significado dinámico.
4. Implementación algorítmica: Desarrollar algoritmos efectivos para determinar si una inmersión dada satisface las condiciones.

Evaluación profunda

Fortalezas

1. Importancia del problema: Resuelve el problema central que ha permanecido abierto durante más de 20 años en este campo, perfeccionando el marco teórico de Duval-Sibony.
2. Completitud del resultado: Proporciona condiciones necesarias y suficientes sin ambigüedades. La condición de diagonalizabilidad es tanto simple como verificable.
3. Profundidad técnica de la prueba:
   • El análisis de forma de Jordan (Proposición 3.2) utiliza ingeniosamente contradicciones de positividad
   • La construcción del potencial de Kähler local (Lema 4.1) involucra cambios de coordenadas complejos y resolución de ecuaciones diferenciales
   • El pegado global (Sección 5) utiliza ingeniosamente la forma degenerada de Mitrea
4. Claridad de la escritura:
   • Estructura lógica: de modelo lineal → construcción local → pegado global, progresión clara
   • Sistema de notación completo (Sección 2 explica detalladamente la notación)
   • Pasos clave tienen explicaciones suficientes
5. Universalidad del método: La técnica de pegado local-global puede aplicarse a otros problemas geométricos.

Deficiencias

1. Complejidad computacional: Los cálculos en la Sección 4 son extremadamente largos (especialmente cerca de las ecuaciones (15)-(24)), aunque rigurosos, la legibilidad se ve afectada. Podrían simplificarse mediante un marco más abstracto.
2. Intuición geométrica insuficiente: El significado geométrico de la condición de diagonalizabilidad (por qué es precisamente el obstáculo) carece de explicación intuitiva. Una comprensión más profunda desde la perspectiva de geometría simpléctica sería valiosa.
3. Ausencia de contraejemplos: Aunque se cita el contraejemplo de Mitrea, no se proporciona un ejemplo concreto de punto doble no diagonalizable, lo que debilita la intuición sobre la necesidad de la condición.
4. Discusión insuficiente sobre generalización: No se discuten las implicaciones del resultado para casos más generales (como variedades no compactas, puntos de auto-intersección de multiplicidad superior).
5. Contexto de aplicación débil: No se menciona la aplicación potencial del resultado en topología simpléctica, simetría especular y otros campos.

Influencia

Contribución teórica:

• Completa el último rompecabezas en la línea de investigación Duval-Gayet-Mitrea
• Revela las diferencias sutiles entre convexidad racional y propiedad lagrangiana
• Proporciona un paradigma para estudiar subvariedades lagrangianas con auto-intersecciones

Contribución técnica:

• La construcción explícita del potencial de Kähler local puede convertirse en herramienta estándar
• La aplicación de forma de Jordan en geometría simpléctica demuestra el poder de métodos algebraicos

Limitaciones:

• Como resultado puramente teórico, tiene aplicación directa limitada a corto plazo
• El umbral técnico es alto, requiere formación dual en geometría compleja y simpléctica

Escenarios de aplicabilidad

1. Investigación teórica: Proporciona herramientas para estudiar propiedades topológicas y geométricas de subvariedades lagrangianas.
2. Simetría especular: Las subvariedades lagrangianas son objetos centrales en simetría especular, los resultados de este artículo pueden ayudar a comprender casos con singularidades.
3. Topología simpléctica: Al estudiar esqueletos lagrangianos de variedades simplécticas, es necesario tratar subvariedades con auto-intersecciones.
4. Sistemas dinámicos complejos: Las subvariedades totalmente reales se relacionan con conjuntos invariantes de ciertos sistemas dinámicos, las condiciones de este artículo pueden ayudar a determinar propiedades de conjuntos invariantes.

Referencias (Literatura clave citada en el artículo)

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.

Resumen

Este artículo es una contribución teórica importante en el área de intersección de geometría compleja y geometría simpléctica. Mediante la introducción de la condición de diagonalizabilidad, caracteriza completamente cuándo una inmersión totalmente real con puntos dobles transversales es lagrangiana. La prueba combina herramientas de álgebra (forma de Jordan), análisis (teorema de la función implícita, ecuaciones diferenciales) y geometría (cambios de coordenadas, técnicas de pegado), demostrando un nivel técnico superior. Aunque como trabajo puramente teórico tiene perspectivas de aplicación limitadas, su completitud y elegancia lo convierten en un resultado de referencia en el campo. Para investigadores que estudian la teoría de singularidades de subvariedades lagrangianas, este es un artículo de lectura obligatoria.