La huella de Veronese ✛ ✎

Original: "Maximal Normal Curvature and Veronese Rigidity"
arXiv:2607.00949 · 2026-07-01 · arXiv non-exclusive · análisis propio · 3 min
La forma fundamental armónica de una variedad casi compleja, al sumergirla en una esfera, impone una restricción rígida sobre la curvatura, y en el valor límite determina de forma única la inmersión de Veronese.

El geómetra pasa el dedo por una superficie invisible y, según cómo se curvan las geodésicas, toma su huella. Esa huella puede ser la curvatura normal máxima κ(F): la mayor de las curvaturas de todas las geodésicas que pasan por un punto de la variedad sumergida. Pero ¿y si la huella la deja la propia estructura interna —por ejemplo, la 2-forma fundamental de una variedad casi compleja que resulta ser armónica? Un nuevo trabajo muestra que esta única condición basta para que la curvatura κ(F) no pueda ser menor que cierto umbral, y al alcanzarlo la forma determina rígidamente toda la inmersión.

La clave de la demostración es la unión de dos ideas clásicas. Gauss nos enseñó a relacionar la curvatura extrínseca de una superficie con su métrica intrínseca mediante los operadores de forma Aα. Un siglo después, Riemann sentó las bases del análisis espectral de la curvatura, y la fórmula de Bochner convirtió esa relación en una identidad integral. Para una p-forma armónica Ψ, la integral del cuadrado de su derivada covariante |∇Ψ|² más un término con curvatura suma cero. Sustituyendo la ecuación de Gauss, se logra reescribir el sumando de curvatura mediante los operadores Aα —tensores que codifican la curvatura extrínseca—. Surge una identidad integral algebraica, de la cual, tras una estimación puntual para endomorfismos simétricos, se deduce una desigualdad no lineal sobre κ(F).

El resultado es la desigualdad κ(F) ≥ √(2n/(n+1)). Para n=2, esto da κ ≈ 1,155.

Apenas un 15% más de curvatura que la esfera redonda de radio unidad —como si la circunferencia se estirase en una elipse con relación de ejes 1,155. Pero esa pequeñez es rígida: en cuanto se alcanza el límite, la forma Ψ se vuelve paralela, la métrica es käleriana y la inmersión, salvo isometrías, resulta ser la inmersión de Veronese clásica del espacio proyectivo complejo o cuaterniónico.

Así, la «huella» armónica no solo limita la curvatura, sino que identifica unívocamente la inmersión. Los minimizadores son exactamente los planos proyectivos con su geometría canónica. Es una clasificación completa.

El método de Bochner–Gauss, que convierte la armonicidad intrínseca en rigidez extrínseca, abre una nueva página en la geometría diferencial. Tradicionalmente, la técnica de Bochner se usaba para analizar topología y holonomía; ahora sirve de puente entre las formas diferenciales y la geometría de subvariedades. En perspectiva, está la comprobación de un mecanismo análogo para el plano proyectivo octoniónico OP² con estructura Spin(9), donde se requerirá analizar una 8-forma, y para variedades con holonomía G2 y Spin(7). Quizás otras «huellas» —formas cerradas y cocerradas de tipos especiales— obedezcan restricciones universales igual de rígidas. Es un paso hacia una teoría de rigidez general de inmersiones con formas calibradas dadas.

Así, la huella de una sola forma —apenas la condición de armonicidad— deja en la variedad sumergida una marca indeleble. Una marca por la que el geómetra reconoce sin error el espacio proyectivo de Veronese, inscrito en una esfera de más dimensiones. A partir de ahora contamos con un detector capaz de leer la geometría a través de sus ritmos internos.

La inmersión de Veronese de CP² en la esfera de siete dimensiones, descubierta en el siglo XIX, hoy define códigos esféricos óptimos y desempeña un papel en la computación cuántica.

\kappa(F) \ge \sqrt{\frac{2n}{n+1}}
mínima curvatura máxima posible para inmersiones con estructura armónica
0 = \int_\Sigma |\nabla \Psi|^2 d\mu + \int_\Sigma \langle \sum_\alpha q^{(p)}_{A_\alpha} \Psi, \Psi \rangle d\mu
relaciona la energía de la forma con la curvatura extrínseca
Científicos
George Gabriel StokesHenri Poincaré
Conceptos
Principio de Arquímedes convergencia uniforme