Optimal embedding dimension in the Nash--Tognoli theorem

Resumen Técnico: Dimensión de Incrustación Óptima en el Teorema de Nash–Tognoli

Enunciado del Problema
El artículo aborda el problema clásico de aproximar subvariedades suaves compactas de $\mathbb{R}^n$ mediante conjuntos algebraicos reales hasta una pequeña isotopía. Si bien el teorema de Nash–Tognoli estableció que cualquier variedad conexa compacta y suave $M \subset \mathbb{R}^n$ (con $n > 2 \dim M$) puede aproximarse mediante una componente conexa no singular de un conjunto algebraico real, dejó abierta la cuestión de si la dimensión ambiente $n$ podía preservarse sin introducir componentes conexas extrañas o aumentar la dimensión del espacio ambiente.

Específicamente, el artículo se dirige a una conjetura planteada por Nash en 1952: ¿Puede toda subvariedad suave compacta $M \subset \mathbb{R}^n$ aproximarse mediante el lugar real de un subconjunto algebraico complejo no singular de $\mathbb{C}^n$ definido sobre $\mathbb{R}$? Trabajos previos de Akbulut y King (1992) lograron la aproximación mediante conjuntos algebraicos no singulares, pero requirieron un aumento en la dimensión ambiente (pasando de $\mathbb{R}^n$ a $\mathbb{R}^{n+1}$) para asegurar que el conjunto resultante fuera no singular. El objetivo de este artículo es resolver el problema de aproximación sin aumentar la dimensión ambiente y garantizar que toda la complejificación del conjunto aproximante sea suave.

Metodología
La demostración del resultado principal (Teorema 1.4) se basa en una técnica de "desplazamiento de singularidades", desarrollada originalmente por Akbulut y King, que se refina y extiende en este trabajo. La metodología procede a través de los siguientes pasos lógicos:

1. Aproximación Polinómica: Comenzando con una incrustación suave $i: W \to \mathbb{R}^n$ de un conjunto algebraico real compacto y no singular $W$, el autor aproxima primero $i$ mediante un mapa polinómico $j$ tal que la complejificación $j_C: W_C \to \mathbb{C}^n$ sea un mapa finito (Lema 3.1).
2. Desplazamiento de Singularidades (Lema 3.2): La innovación técnica central implica manipular el lugar singular del cierre de Zariski de la imagen. Mediante la construcción de una perturbación polinómica específica (utilizando el teorema de Mergelyan y aproximaciones de Stone-Weierstrass), el autor desplaza las singularidades del conjunto complejificado lejos del lugar real. Esto se logra mediante:
   • Asegurar que la proyección $\pi_{1,2}$ (eliminando las dos primeras coordenadas) sea finita sobre la complejificación.
   • Construir una función polinómica que separe la proyección del lugar singular de la proyección del lugar real no singular.
   • Cambiar iterativamente los roles de las dos primeras variables ($x_1$ y $x_2$) para desplazar las singularidades primero en la dirección $x_1$, luego en la dirección $x_2$ y finalmente hacia el infinito.
3. Eliminación de Singularidades (Lema 3.3 y Teorema 1.4): Una vez que las singularidades están separadas del lugar real en la proyección, el autor emplea un mapa racional (específicamente un mapa que involucra una suma de cuadrados de polinomios en el denominador) para "empujar" las singularidades hacia el infinito. Esto transforma la variedad cuasi-afín que contiene el lugar real en un conjunto algebraico complejo globalmente no singular.

Contribuciones y Resultados Clave

• Teorema 1.3 (Resultado Principal): El artículo demuestra que toda subvariedad suave compacta $M \subset \mathbb{R}^n$ puede aproximarse mediante el lugar real de un subconjunto algebraico complejo no singular de $\mathbb{C}^n$ definido sobre $\mathbb{R}$. Esto resuelve la conjetura de Nash sobre la dimensión de incrustación óptima, confirmando que no es necesario aumentar la dimensión ambiente.
• Teorema 1.4 (Resultado Más Fuerte): El artículo establece un teorema de aproximación más fuerte para incrustaciones de conjuntos algebraicos reales compactos y no singulares $W \subset \mathbb{R}^m$ en $\mathbb{R}^n$ (donde $n \ge \dim W + 2$). Muestra que la incrustación puede aproximarse mediante un mapa regular $j$ tal que:
  1. La imagen $j(W)$ es un subconjunto algebraico no singular de $\mathbb{R}^n$.
  2. $j$ es un isomorfismo biregular entre $W$ y $j(W)$.
  3. El cierre de Zariski de $j(W)$ en $\mathbb{C}^n$ es un conjunto algebraico complejo no singular.
• Corolario 1.6 y 1.7 (Tipos de Isomorfismo): Para variedades de codimensión al menos 2, el artículo demuestra que los conjuntos algebraicos aproximantes pueden elegirse para tener un tipo de isomorfismo biregular predeterminado. Específicamente, si $M$ es difeomorfa a un conjunto algebraico real racional y no singular, puede aproximarse mediante conjuntos algebraicos reales racionales y no singulares. Esto proporciona una caracterización completa de cuándo es posible la aproximación racional en codimensión $\ge 2$.

Significado y Afirmaciones
El artículo afirma resolver un problema abierto de larga data en la geometría algebraica real que no ha visto progreso desde el trabajo de Akbulut y King en 1992. Al eliminar el requisito de aumentar la dimensión ambiente (de $\mathbb{R}^n$ a $\mathbb{R}^{n+1}$), el resultado proporciona una dimensión de incrustación "óptima" para el teorema de Nash–Tognoli.

El autor señala explícitamente que el enfoque actual no cubre el caso donde la codimensión es 1 (es decir, $n = \dim W + 1$), aunque se conjetura que los resultados también se mantienen en ese caso. El artículo enfatiza que el resultado es falso si se requiere que el cierre de Zariski en el espacio proyectivo $\mathbb{CP}^n$ sea no singular, destacando la naturaleza específica de la no singularidad afín lograda aquí.

El significado radica en la capacidad de aproximar variedades suaves mediante conjuntos algebraicos que no solo son suaves en el lugar real, sino que poseen una complejificación globalmente suave, preservando así la estructura topológica y algebraica de la variedad original sin componentes extrañas o inflación dimensional.