Invariants of real affine varieties based on their complexifications

Titolo: Invarianti di Varietà Affini Reali Basati sulle Loro Complessificazioni
Autore: Juliusz Banecki

1. Enunciato del Problema

Il lavoro affronta problemi fondamentali di realizzazione nella geometria algebrica reale, specificamente riguardanti la relazione tra dati topologici e strutture algebriche. Le questioni centrali investigate sono:

1. Realizzazione Algebrica delle Classi di Omotopia: Determinare quali classi di omotopia di applicazioni continue tra insiemi algebrici reali (in particolare prodotti di sfere) possono essere rappresentate da applicazioni regolari (algebriche).
2. Approssimazione Algebrica: Indagare se le sottovarietà lisce di insiemi algebrici reali ammettono "approssimazioni algebriche deboli" (approssimazioni tramite il luogo non singolare di un sottoinsieme chiuso di Zariski).
3. Limitazioni degli Invarianti Esistenti: Gli invarianti attuali basati sull'omologia/coomologia singolare o sulla K-teoria algebrica standard sono spesso troppo deboli per ostacolare l'esistenza di applicazioni regolari in certi casi (ad esempio, tra sfere di dimensioni diverse) o per distinguere tra scenari di approssimazione algebrica e non algebrica.

2. Metodologia

L'autore introduce una nuova famiglia di invarianti definita tramite la topologia delle complessificazioni di varietà affini reali. La metodologia si basa sui seguenti passaggi:

• Complessificazione: Per una varietà affine reale completa non singolare $X$, si considera una complessificazione proiettiva complessa non singolare $\mathcal{X}$ (una varietà complessa definita su $\mathbb{R}$ tale che il suo luogo reale $X$ sia denso di Zariski in $\mathcal{X}$).
• Teorie di Cohomologia Generalizzate: Invece di utilizzare la coomologia singolare, il lavoro impiega teorie di coomologia generalizzate più forti. Nello specifico, utilizza:
  • Teorie orientate al complesso ($E^*$): Come la K-teoria complessa ($KU^*$) e la cobordismo complesso.
  • Teorie equivarianti orientate al reale ($F^\star$): Come la K-teoria Reale di Atiyah ($KR^\star$) e il cobordismo Reale, che tengono conto dell'azione di $\mathbb{Z}/2$ indotta dalla coniugazione complessa sulla complessificazione.
• Definizione degli Invarianti: Per una teoria $E^*$ (o $F^\star$), l'invariante $E^*_C(X)$ (o $F^\star_C(X)$) è definito come l'immagine della coomologia della complessificazione sotto l'inclusione del luogo reale:
  $$E^*_C(X) := \text{im}(i^*: E^*(\mathcal{X}) \to E^*(X))$$
  Il lavoro dimostra che questa immagine è indipendente dalla scelta della complessificazione $\mathcal{X}$.
• Confronto con la K-teoria Algebrica: L'autore stabilisce che questi nuovi invarianti contengono i gruppi classici di K-teoria algebrica (ad esempio, $K_0(R(X, \mathbb{C}))$) come sottogruppi, fornendo così un quadro calcolabile che è strettamente più forte degli invarianti di omologia singolare ma più trattabile della K-teoria algebrica grezza.

3. Contributi e Risultati Chiave

A. Calcolo degli Invarianti per le Sfere

Il lavoro fornisce un calcolo completo degli invarianti $KU^*_C(S^n)$ e $KR^\star_C(S^n)$ per ogni $n$.

• Caso Unitario: $KU^p_C(S^n) = KU^p(S^n)$ se $n$ è pari, e $0$ se $n$ è dispari.
• Caso Ortogonale/Reale: La struttura di $KO^p_C(S^n)$ è determinata dalla congruenza di $n$ modulo 4 e 8. L'indice del sottogruppo $KO^p_C(S^n)$ all'interno del gruppo topologico completo $KO^p(S^n)$ è descritto da una funzione $\phi(n, m)$ dipendente dallo sviluppo binario delle dimensioni.

B. Classificazione dei Fasci Vettoriali Algebrici

Utilizzando gli invarianti calcolati, il lavoro classifica completamente le classi di isomorfismo topologico dei fasci vettoriali algebrici sui prodotti di due sfere $S^n \times S^m$.

• Teorema: L'immagine del gruppo di K-teoria algebrica $\tilde{K}_0(R(S^n \times S^m, \mathbb{K}))$ (dove $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$) nel corrispondente gruppo di K-teoria topologica è descritta esplicitamente come una somma diretta che coinvolge sottogruppi di indice determinato da $\phi(n, m)$.
• Ciò risolve il problema di lunga data del calcolo di $K_0(R(S^2 \times S^2, \mathbb{H}))$ e generalizza risultati precedenti di Bochnak e Kucharz.

C. Applicazioni Regolari tra Sfere

Gli invarianti sono applicati per determinare l'esistenza di applicazioni regolari $f: S^n \times S^m \to S^{n+m}$.

• Smentita di una Congettura: Il lavoro smentisce la Congettura 1.11 (Bochnak e Kucharz, 2022), che postulava che ogni applicazione continua da un insieme algebrico reale compatto non singolare di dimensione $n$ a $S^n$ sia omotopa a una regolare.
  • Risultato: Se $n \equiv 1 \pmod 4$ e $n > 1$, esistono applicazioni continue $S^n \times S^m \to S^{n+m}$ che non sono omotope ad alcuna applicazione regolare.
• Nuovi Ostacoli: Il lavoro identifica condizioni specifiche (ad esempio, una dimensione $\equiv 2 \pmod 4$ e l'altra $\equiv 2, 3 \pmod 4$) in cui un'applicazione regolare esiste se e solo se il suo grado topologico è pari.
• Risultati Positivi: L'autore generalizza la costruzione di Loday utilizzando "bilineari normati di tipo gradevole" per mostrare che se $n \le 8$ e il coefficiente binomiale $\binom{n+m}{n}$ è dispari, ogni applicazione continua $S^n \times S^m \to S^{n+m}$ è omotopa a una regolare. Ciò supporta una nuova congettura (Congettura 1.15) che collega l'esistenza di applicazioni regolari alla parità di $\binom{n+m}{n}$.

D. Ostacoli all'Approssimazione Algebrica

Il lavoro affronta il problema dell'approssimazione algebrica debole di sottovarietà.

• Smentita di una Congettura: Smentisce una congettura da [26] che suggeriva che l'algebricità della classe di bordismo dell'inclusione $[M \hookrightarrow X]$ fosse sufficiente per l'esistenza di un'approssimazione algebrica debole.
• Controesempio: L'autore costruisce un insieme algebrico reale compatto non singolare $X$ di dimensione 6 e una sottovarietà liscia $M$ di dimensione 4 tali che:
  1. La classe di bordismo dell'inclusione è zero (algebrica).
  2. $M$ non ammette un'approssimazione algebrica debole in $X$.
• Meccanismo: L'ostacolo è fornito dai nuovi invarianti (in particolare utilizzando $H^*_C(X; \mathbb{Z})$ e teorie orientate al reale), che rilevano che le classi di coomologia richieste non possono essere realizzate algebricamente, anche quando l'ostacolo di bordismo si annulla.

4. Significato

Il lavoro rivendica rilevanza in tre aree principali:

1. Avanzamento Teorico: Introduce una famiglia robusta e calcolabile di invarianti ($E^*_C$ e $F^\star_C$) che colmano il divario tra gli invarianti elementari di omologia singolare e i gruppi di K-teoria algebrica difficili da calcolare. Si dimostra che questi invarianti sono indipendenti dalla scelta della complessificazione.
2. Risoluzione di Problemi Aperti: Fornisce la prima classificazione completa dei fasci vettoriali algebrici sui prodotti di sfere e definisce lo stato della Congettura 1.11 riguardante le applicazioni regolari dagli insiemi algebrici alle sfere.
3. Confutazione delle Condizioni di Sufficienza: Dimostra che l'algebricità della classe di bordismo di un'inclusione non è sufficiente per l'approssimazione algebrica debole, affinando così la comprensione degli ostacoli nella geometria algebrica reale. I risultati suggeriscono che sono necessari invarianti più forti basati sulla coomologia orientata al reale per caratterizzare completamente questi problemi di approssimazione.

Il lavoro conclude notando che, sebbene gli invarianti attuali (basati sulla K-teoria) siano sufficienti per i controesempi presentati, potrebbero essere necessarie teorie ancora più forti (come il cobordismo Reale) per risolvere i casi aperti rimanenti, come la Congettura B(p) in [26].