Theorems of Bertini and Chevalley

Sintesi Tecnica: Teoremi di Bertini e Chevalley

Enunciato del Problema
Il lavoro affronta due risultati fondamentali in geometria algebrica: il teorema di irriducibilità di Bertini e il teorema strutturale di Chevalley per i gruppi algebrici.

1. Teorema di Irriducibilità di Bertini: Il problema consiste nell'istituire le condizioni sotto le quali l'immagine inversa di un iperpiano generico tramite un morfismo dominante rimane geometricamente irriducibile. Nello specifico, per una varietà geometricamente irriducibile $X$ su un campo infinito $k$ e un morfismo dominante $\pi: X \dashrightarrow \mathbb{P}^n$ ($n \geq 2$), si deve dimostrare che $\pi^{-1}(H)$ è geometricamente irriducibile per un iperpiano generico $H$.
2. Teorema di Chevalley: Il problema consiste nel caratterizzare la struttura di un gruppo algebrico connesso e liscio $G$ su un campo perfetto $k$. Il teorema afferma che $G$ si inserisce in una successione esatta $1 \to L \to G \to A \to 0$, dove $L$ è un gruppo algebrico affine e $A$ è un gruppo algebrico proprio (una varietà abeliana).

Metodologia
L'autore, János Kollár, mira a fornire dimostrazioni che facciano affidamento minimo su macchinari avanzati, limitando specificamente l'uso dei risultati a quelli presenti nel manuale di Shafarevich [Sha74], all'esistenza delle jacobiane per curve proiettive lisce e ai teoremi di Weil sulle applicazioni razionali verso gruppi algebrici.

• Per il Teorema di Chevalley:

  • Azioni Razionali e Divisori di Weil: Invece di richiedere un'azione regolare (definita ovunque) di $G$ su una varietà proiettiva, la dimostrazione utilizza un'azione razionale su una varietà proiettiva normale $X$. Ciò rende necessario lavorare con divisori di Weil piuttosto che con soli divisori di Cartier.
  • Morfismi verso le Jacobiane: Per un divisore di Weil $D$ su $X$, l'autore costruisce un morfismo $\alpha_{X,D}: G \to \prod \text{Jac}(C_i)$, dove $C_i$ sono curve lisce in $X$. Questa mappa invia $g \in G$ alla classe di equivalenza lineare della restrizione del divisore traslato $D_g$ alle curve.
  • Analisi del Nucleo: La dimostrazione identifica un sottogruppo $H \subset G$ (la componente connessa dell'identità del nucleo di $\alpha_{X,D}$) e dimostra che $H$ è affine. Ciò è ottenuto costruendo una rappresentazione lineare di $H$ su un sottosistema lineare opportunamente scelto di divisori.
  • Gestione delle Singolarità: Un passo tecnico chiave consiste nel scegliere un divisore $D$ con un punto singolare isolato. Si dimostra che lo stabilizzatore di tale divisore è finito, garantendo che la rappresentazione sia fedele e che il nucleo sia affine. La dimostrazione affronta questioni sottili riguardanti la trasformata birazionale dei sistemi lineari (Avvertimento 7.4.1) restringendosi a insiemi di parametri geometricamente irriducibili.

• Per il Teorema di Irriducibilità di Bertini:

  • Riduzione ai Fasci: La dimostrazione riduce il caso generale allo studio dei fasci di divisori.
  • Analisi del Luogo Base: Sfrutta le proprietà del luogo base di un fascio. Se il luogo base è liscio e di codimensione 2, e i membri sono lisci in un punto, i membri generici sono geometricamente irriducibili.
  • Frobenius e Liscietà: Nei casi in cui il morfismo non è genericamente liscio, la dimostrazione impiega il morfismo di Frobenius per ridurre a una situazione genericamente liscia.
  • Induzione: Il risultato è esteso alle intersezioni complete tramite induzione, utilizzando una versione più forte del teorema (Corollario 24) che gestisce sistemi lineari che non sono "completamente generali" ma soddisfano condizioni specifiche di codimensione sui luoghi singolari.

Contributi e Risultati Chiave

1. Dimostrazioni Accorciate: Il lavoro fornisce una dimostrazione del teorema di irriducibilità di Bertini che si afferma essere più breve delle dimostrazioni esistenti in letteratura, basandosi su strumenti elementari di geometria algebrica (specificamente da [Sha74]) e sul lemma di Severi-Weil.
2. Teorema di Chevalley tramite Divisori di Weil: La dimostrazione del teorema di Chevalley è riformulata per utilizzare esplicitamente divisori di Weil e azioni razionali. Questo approccio evita la necessità di teoremi di compattificazione più complessi (come quelli di Nagata o la regolarizzazione di Weil) che altrimenti potrebbero essere richiesti per garantire la proiettività o la regolarità dell'azione.
3. Lemma di Severi-Weil: Il lavoro ribadisce e utilizza il lemma di Severi-Weil, il quale afferma che l'equivalenza lineare dei divisori su una varietà può essere verificata su un insieme finito di curve lisce. Ciò è centrale per costruire il morfismo dal gruppo algebrico al prodotto delle jacobiane.
4. Lemma Tecnici:
   • Lemma 11: Stabilisce che ogni omomorfismo razionale di gruppi algebrici è un omomorfismo regolare.
   • Lemma 12: Mostra come le azioni razionali sui sistemi lineari inducano rappresentazioni lineari regolari.
   • Corollario 19: Chiarisce che per insiemi di spanning geometricamente irriducibili, la trasformata birazionale del sistema lineare si comporta come previsto (cioè, la trasformata del sistema è generata dalle trasformate dei membri generali).

Significato e Affermazioni
Il lavoro afferma che il significato primario di questo contributo è metodologico: dimostra che "non si dovrebbe avere paura di lavorare con i divisori di Weil". L'autore sostiene che i divisori di Weil forniscono un "quadro ottimale" per certe domande, in particolare nel contesto del teorema di Chevalley, dove permettono una dimostrazione più diretta utilizzando azioni razionali senza richiedere tutta la forza dei moderni teoremi di compattificazione.

L'autore afferma esplicitamente che le dimostrazioni sono progettate per essere autosufficienti riguardo all'uso di macchinari avanzati, facendo affidamento solo sull'esistenza delle jacobiane e su risultati di base tratti da Shafarevich. Il lavoro non afferma di scoprire nuovi teoremi, ma piuttosto di riesaminare e snellire le dimostrazioni di questi risultati ben noti, offrendo una prospettiva che enfatizza l'utilità dei divisori di Weil e delle applicazioni razionali nello studio dei gruppi algebrici e dell'irriducibilità.