Invariants of real affine varieties based on their complexifications

Título: Invariantes de Variedades Afins Reais Baseados em Suas Complexificações
Autor: Juliusz Banecki

1. Formulação do Problema

O artigo aborda problemas fundamentais de realização na geometria algébrica real, especificamente concernentes à relação entre dados topológicos e estruturas algébricas. As questões centrais investigadas são:

1. Realização Algébrica de Classes de Homotopia: Determinar quais classes de homotopia de aplicações contínuas entre conjuntos algébricos reais (especificamente produtos de esferas) podem ser representadas por aplicações regulares (algébricas).
2. Aproximação Algébrica: Investigar se subvariedades suaves de conjuntos algébricos reais admitem "aproximações algébricas fracas" (aproximações pelo lugar não singular de um subconjunto fechado de Zariski).
3. Limitações dos Invariantes Existentes: Os invariantes atuais baseados em homologia/cohomologia singular ou na K-teoria algébrica padrão são frequentemente demasiado fracos para obstruir a existência de aplicações regulares em certos casos (por exemplo, entre esferas de dimensões diferentes) ou para distinguir entre cenários de aproximação algébrica e não algébrica.

2. Metodologia

O autor introduz uma nova família de invariantes definida via a topologia das complexificações de variedades afins reais. A metodologia baseia-se nos seguintes passos:

• Complexificação: Para uma variedade afim real completa não singular $X$, considera-se uma complexificação projetiva não singular $\mathcal{X}$ (uma variedade complexa definida sobre $\mathbb{R}$ tal que seu lugar real $X$ é denso em Zariski em $\mathcal{X}$).
• Teorias de Cohomologia Generalizadas: Em vez de utilizar cohomologia singular, o artigo emprega teorias de cohomologia generalizadas mais fortes. Especificamente, utiliza:
  • Teorias orientadas por complexos ($E^*$): Como a K-teoria complexa ($KU^*$) e a cobordismo complexa.
  • Teorias equivariantes orientadas por reais ($F^\star$): Como a K-teoria Real de Atiyah ($KR^\star$) e o cobordismo Real, que accountam pela ação de $\mathbb{Z}/2$ induzida pela conjugação complexa na complexificação.
• Definição dos Invariantes: Para uma teoria $E^*$ (ou $F^\star$), o invariante $E^*_C(X)$ (ou $F^\star_C(X)$) é definido como a imagem da cohomologia da complexificação sob a inclusão do lugar real:
  $$E^*_C(X) := \text{im}(i^*: E^*(\mathcal{X}) \to E^*(X))$$
  O artigo prova que esta imagem é independente da escolha da complexificação $\mathcal{X}$.
• Comparação com a K-teoria Algébrica: O autor estabelece que estes novos invariantes contêm os grupos clássicos de K-teoria algébrica (por exemplo, $K_0(R(X, \mathbb{C}))$) como subgrupos, fornecendo assim um quadro computável que é estritamente mais forte que os invariantes de homologia singular, mas mais tratável que a K-teoria algébrica bruta.

3. Contribuições e Resultados Chave

A. Cálculo dos Invariantes para Esferas

O artigo fornece um cálculo completo dos invariantes $KU^*_C(S^n)$ e $KR^\star_C(S^n)$ para todo $n$.

• Caso Unitário: $KU^p_C(S^n) = KU^p(S^n)$ se $n$ é par, e $0$ se $n$ é ímpar.
• Caso Ortogonal/Real: A estrutura de $KO^p_C(S^n)$ é determinada pela congruência de $n$ módulo 4 e 8. O índice do subgrupo $KO^p_C(S^n)$ dentro do grupo topológico completo $KO^p(S^n)$ é descrito por uma função $\phi(n, m)$ dependente da expansão binária das dimensões.

B. Classificação de Fibrados Vetoriais Algébricos

Utilizando os invariantes calculados, o artigo classifica completamente as classes de isomorfismo topológico de fibrados vetoriais algébricos sobre produtos de duas esferas $S^n \times S^m$.

• Teorema: A imagem do grupo de K-teoria algébrica $\tilde{K}_0(R(S^n \times S^m, \mathbb{K}))$ (onde $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$) no grupo de K-teoria topológico correspondente é descrita explicitamente como uma soma direta envolvendo subgrupos de índice determinado por $\phi(n, m)$.
• Isto resolve o problema de longa data de calcular $K_0(R(S^2 \times S^2, \mathbb{H}))$ e generaliza resultados anteriores de Bochnak e Kucharz.

C. Aplicações Regulares entre Esferas

Os invariantes são aplicados para determinar a existência de aplicações regulares $f: S^n \times S^m \to S^{n+m}$.

• Refutação de uma Conjectura: O artigo refuta a Conjectura 1.11 (Bochnak e Kucharz, 2022), que postulava que toda aplicação contínua de um conjunto algébrico real compacto não singular de dimensão $n$ para $S^n$ é homotópica a uma aplicação regular.
  • Resultado: Se $n \equiv 1 \pmod 4$ e $n > 1$, existem aplicações contínuas $S^n \times S^m \to S^{n+m}$ que não são homotópicas a qualquer aplicação regular.
• Novas Obstruções: O artigo identifica condições específicas (por exemplo, uma dimensão $\equiv 2 \pmod 4$ e a outra $\equiv 2, 3 \pmod 4$) onde uma aplicação regular existe se e somente se o seu grau topológico for par.
• Resultados Positivos: O autor generaliza a construção de Loday utilizando "aplicações bilineares normadas agradáveis" para mostrar que, se $n \le 8$ e o coeficiente binomial $\binom{n+m}{n}$ é ímpar, toda aplicação contínua $S^n \times S^m \to S^{n+m}$ é homotópica a uma aplicação regular. Isto apoia uma nova conjectura (Conjectura 1.15) que liga a existência de aplicações regulares à paridade de $\binom{n+m}{n}$.

D. Obstruções à Aproximação Algébrica

O artigo aborda o problema da aproximação algébrica fraca de subvariedades.

• Refutação de uma Conjectura: Refuta uma conjectura de [26] sugerindo que a algébricidade da classe de bordismo da inclusão $[M \hookrightarrow X]$ é suficiente para a existência de uma aproximação algébrica fraca.
• Contraexemplo: O autor constrói um conjunto algébrico real compacto não singular $X$ de dimensão 6 e uma subvariedade suave $M$ de dimensão 4 tal que:
  1. A classe de bordismo da inclusão é zero (algébrica).
  2. $M$ não admite uma aproximação algébrica fraca em $X$.
• Mecanismo: A obstrução é fornecida pelos novos invariantes (especificamente utilizando $H^*_C(X; \mathbb{Z})$ e teorias orientadas por reais), que detectam que as classes de cohomologia requeridas não podem ser realizadas algebricamente, mesmo quando a obstrução de bordismo desaparece.

4. Significância

O artigo reivindica significância em três áreas principais:

1. Avanço Teórico: Introduz uma família robusta e computável de invariantes ($E^*_C$ e $F^\star_C$) que preenchem a lacuna entre os invariantes elementares de homologia singular e os grupos de K-teoria algébrica difíceis de calcular. Demonstra-se que estes invariantes são independentes da escolha da complexificação.
2. Resolução de Problemas Abertos: Fornece a primeira classificação completa de fibrados vetoriais algébricos sobre produtos de esferas e estabelece o status da Conjectura 1.11 relativa a aplicações regulares de conjuntos algébricos para esferas.
3. Refutação de Condições de Suficiência: Demonstra que a algébricidade da classe de bordismo de uma inclusão não é suficiente para a aproximação algébrica fraca, refinando assim a compreensão das obstruções na geometria algébrica real. Os resultados sugerem que invariantes mais fortes baseados em cohomologia orientada por reais são necessários para caracterizar completamente estes problemas de aproximação.

O artigo conclui notando que, embora os invariantes atuais (baseados em K-teoria) sejam suficientes para os contraexemplos apresentados, teorias ainda mais fortes (como o cobordismo Real) podem ser necessárias para resolver casos abertos remanescentes, tais como a Conjectura B(p) em [26].