Invariants of real affine varieties based on their complexifications

Título: Invariantes de Variedades Afines Reales Basados en sus Complejificaciones
Autor: Juliusz Banecki

1. Enunciado del Problema

El artículo aborda problemas fundamentales de realización en geometría algebraica real, específicamente concernientes a la relación entre datos topológicos y estructuras algebraicas. Las cuestiones centrales investigadas son:

1. Realización Algebraica de Clases de Homotopía: Determinar qué clases de homotopía de aplicaciones continuas entre conjuntos algebraicos reales (específicamente productos de esferas) pueden ser representadas por aplicaciones regulares (algebraicas).
2. Aproximación Algebraica: Investigar si las subvariedades suaves de conjuntos algebraicos reales admiten "aproximaciones algebraicas débiles" (aproximaciones por el lugar no singular de un subconjunto cerrado de Zariski).
3. Limitaciones de los Invariantes Existentes: Los invariantes actuales basados en homología/cohomología singular o en la K-teoría algebraica estándar suelen ser demasiado débiles para obstruir la existencia de aplicaciones regulares en ciertos casos (por ejemplo, entre esferas de diferentes dimensiones) o para distinguir entre escenarios de aproximación algebraica y no algebraica.

2. Metodología

El autor introduce una nueva familia de invariantes definidos a través de la topología de las complejificaciones de variedades afines reales. La metodología se basa en los siguientes pasos:

• Complejificación: Para una variedad afín real completa no singular $X$, se considera una complejificación proyectiva compleja no singular $\mathcal{X}$ (una variedad compleja definida sobre $\mathbb{R}$ tal que su lugar real $X$ es denso de Zariski en $\mathcal{X}$).
• Teorías de Cohomología Generalizadas: En lugar de utilizar cohomología singular, el artículo emplea teorías de cohomología generalizadas más fuertes. Específicamente, utiliza:
  • Teorías orientadas por complejos ($E^*$): Como la K-teoría compleja ($KU^*$) y la cobordismo compleja.
  • Teorías equivariantes orientadas por reales ($F^\star$): Como la K-teoría Real de Atiyah ($KR^\star$) y el cobordismo Real, que tienen en cuenta la acción de $\mathbb{Z}/2$ inducida por la conjugación compleja en la complejificación.
• Definición de Invariantes: Para una teoría $E^*$ (o $F^\star$), el invariante $E^*_C(X)$ (o $F^\star_C(X)$) se define como la imagen de la cohomología de la complejificación bajo la inclusión del lugar real:
  $$E^*_C(X) := \text{im}(i^*: E^*(\mathcal{X}) \to E^*(X))$$
  El artículo demuestra que esta imagen es independiente de la elección de la complejificación $\mathcal{X}$.
• Comparación con la K-teoría Algebraica: El autor establece que estos nuevos invariantes contienen a los grupos clásicos de K-teoría algebraica (por ejemplo, $K_0(R(X, \mathbb{C}))$) como subgrupos, proporcionando así un marco computable que es estrictamente más fuerte que los invariantes de homología singular pero más manejable que la K-teoría algebraica cruda.

3. Contribuciones y Resultados Clave

A. Cálculo de Invariantes para Esferas

El artículo proporciona un cálculo completo de los invariantes $KU^*_C(S^n)$ y $KR^\star_C(S^n)$ para todo $n$.

• Caso Unitario: $KU^p_C(S^n) = KU^p(S^n)$ si $n$ es par, y $0$ si $n$ es impar.
• Caso Ortogonal/Real: La estructura de $KO^p_C(S^n)$ está determinada por la congruencia de $n$ módulo 4 y 8. El índice del subgrupo $KO^p_C(S^n)$ dentro del grupo topológico completo $KO^p(S^n)$ se describe mediante una función $\phi(n, m)$ dependiente de la expansión binaria de las dimensiones.

B. Clasificación de Fibrados Vectoriales Algebraicos

Utilizando los invariantes calculados, el artículo clasifica completamente las clases de isomorfismo topológico de fibrados vectoriales algebraicos sobre productos de dos esferas $S^n \times S^m$.

• Teorema: La imagen del grupo de K-algebraico $\tilde{K}_0(R(S^n \times S^m, \mathbb{K}))$ (donde $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$) en el grupo K-topológico correspondiente se describe explícitamente como una suma directa que involucra subgrupos de índice determinado por $\phi(n, m)$.
• Esto resuelve el problema de larga data de calcular $K_0(R(S^2 \times S^2, \mathbb{H}))$ y generaliza resultados anteriores de Bochnak y Kucharz.

C. Aplicaciones Regulares entre Esferas

Los invariantes se aplican para determinar la existencia de aplicaciones regulares $f: S^n \times S^m \to S^{n+m}$.

• Refutación de una Conjetura: El artículo refuta la Conjetura 1.11 (Bochnak y Kucharz, 2022), que postulaba que toda aplicación continua desde un conjunto algebraico real compacto no singular de dimensión $n$ hacia $S^n$ es homotópica a una regular.
  • Resultado: Si $n \equiv 1 \pmod 4$ y $n > 1$, existen aplicaciones continuas $S^n \times S^m \to S^{n+m}$ que no son homotópicas a ninguna aplicación regular.
• Nuevas Obstrucciones: El artículo identifica condiciones específicas (por ejemplo, una dimensión $\equiv 2 \pmod 4$ y la otra $\equiv 2, 3 \pmod 4$) donde una aplicación regular existe si y solo si su grado topológico es par.
• Resultados Positivos: El autor generaliza la construcción de Loday utilizando "aplicaciones bilineales normadas agradables" para demostrar que si $n \le 8$ y el coeficiente binomial $\binom{n+m}{n}$ es impar, toda aplicación continua $S^n \times S^m \to S^{n+m}$ es homotópica a una regular. Esto respalda una nueva conjetura (Conjetura 1.15) que vincula la existencia de aplicaciones regulares con la paridad de $\binom{n+m}{n}$.

D. Obstrucciones a la Aproximación Algebraica

El artículo aborda el problema de la aproximación algebraica débil de subvariedades.

• Refutación de una Conjetura: Refuta una conjetura de [26] que sugería que la algebraicidad de la clase de bordismo de la inclusión $[M \hookrightarrow X]$ era suficiente para la existencia de una aproximación algebraica débil.
• Contraejemplo: El autor construye un conjunto algebraico real compacto no singular $X$ de dimensión 6 y una subvariedad suave $M$ de dimensión 4 tal que:
  1. La clase de bordismo de la inclusión es cero (algebraica).
  2. $M$ no admite una aproximación algebraica débil en $X$.
• Mecanismo: La obstrucción es proporcionada por los nuevos invariantes (específicamente utilizando $H^*_C(X; \mathbb{Z})$ y teorías orientadas por reales), que detectan que las clases de cohomología requeridas no pueden realizarse algebraicamente, incluso cuando la obstrucción de bordismo se anula.

4. Significado

El artículo reclama importancia en tres áreas principales:

1. Avance Teórico: Introduce una familia robusta y computable de invariantes ($E^*_C$ y $F^\star_C$) que puentean la brecha entre los invariantes elementales de homología singular y los grupos de K-teoría algebraica difíciles de calcular. Se demuestra que estos invariantes son independientes de la elección de la complejificación.
2. Resolución de Problemas Abiertos: Proporciona la primera clasificación completa de fibrados vectoriales algebraicos sobre productos de esferas y resuelve el estatus de la Conjetura 1.11 respecto a las aplicaciones regulares desde conjuntos algebraicos hacia esferas.
3. Refutación de Condiciones de Suficiencia: Demuestra que la algebraicidad de la clase de bordismo de una inclusión no es suficiente para la aproximación algebraica débil, refinando así la comprensión de las obstrucciones en geometría algebraica real. Los resultados sugieren que se necesitan invariantes más fuertes basados en cohomología orientada por reales para caracterizar completamente estos problemas de aproximación.

El artículo concluye señalando que, aunque los invariantes actuales (basados en K-teoría) son suficientes para los contraejemplos presentados, podrían requerirse teorías aún más fuertes (como el cobordismo Real) para resolver los casos abiertos restantes, como la Conjetura B(p) en [26].