Geometria Algebrica 2025/2026
Corso di Laurea in Matematica.
Codocente del Corso Prof. F. Bastianelli.
Inizio lezioni Lunedi 23 Febbraio 2024 alle ore 13:30 in Aula XI. Orario Lunedi 13:30-16:30 Aula XI e Martedi 8:30-10:30 Aula XI.
Ricevimento
Per i prossimi orari di Ricevimento studenti consultare la pagina home.
Programma
Programma provvisorio del corso dell'anno 2025-2026 (Il programma deifnitivo in dettaglio e' l'unione degli argomenti elencati nel Diario delle Lezioni)
Testi consigliati
Per la preparazione al corso va bene un qualsiasi libro che ricopra gli argomenti trattati (Any mathematical book covering the content of the course is ok).
Alcuni libri che contengono tali argomenti (e spesso si trovano facilmente) sono:
Per il ripasso di topologia e spazi proiettivi: E. Sernesi: "Geometria 2", Bollati Boringhieri or M. Manetti: "Topologia" ("topology" english version), Springer
Per il ripasso di anelli e ideali: Atiyah-Macdonald: "Introduzione all'algebra commutativa",("Introduction to commutative algebra" english version)
W. Fulton: Algebraic Curves. An introduction to Algebraic geometry .
M. Manetti: Geometria Algebrica .
M. Reid: Undergraduate Algebraic Geometry.
Esami
Per le date di esame consultare ESSE3
Diario delle Lezioni
- 23.02.2026 (3h) : Presentazione corso e programma. Ripasso spazi affini e spazi proiettivi. Spazi affini e riferimenti affini: A^n(K) spazio affine di dimensione n su K con riferimento affine standard. Esempio: luogo di zeri di un polinomio in A^2(R). Spazi proiettivi P^n(K): definizione, dimensione, iperpiani coordinati, esempio, ricoprimento con sottoinsiemi in biezione con K^n, proprietā ed esempi. Sottospazio proiettivo generato da un sottoinsieme. Punti proiettivamente indipendenti. Punti in posizione generale (sistema di riferimento proiettivo). Proprieta' che caratterizza i sistemi di riferimento: n+2 punti sono un sistema di riferimento in P^n(K) in relazione alle basi di K^(n+1) (senza dim). Esempio in P^1(K) e P^2(K). Esempio luogo di zeri di un polinomio in P^1(R). Ripasso Anelli e Ideali. Definizione di Ideale: somma, intersezione e prodotto. Ideale primo, ideale massimale. Ideali finitamente generati.
- 09.03.2026 (+3h=6h) : Ideali finitamente generati ed esempi. Esempio: Ideale delle funzioni che si annullano nell'origine. Ideale delle funzioni che si annullano in un punto (a_1, ...a_n) di K^n: e' finitamente generato, descrizione generatori e ideale massimale (con dim.). Ideali massimali in K[x_1,...x_n] ed esempi. Radicale di un ideale: definizione e proprietā. Esempi. Ideali radicali e caratterizzazione (con dim.). Il radicale di un ideale č un ideale radicale (con dim.). I campi algebricamente chiusi sono infiniti (senza dim.). Teorema equivalenza: ogni catena ascendente di ideali č stazionaria, esiste un elemento massimale per inclusione in ogni famiglia non vuota di ideali, ogni ideale č finitamente generato (equivalenza non dimostrata).
- 16.03.2026 (+3h=9h) : Ripasso Teorema equivalenza: ogni catena ascendente di ideali č stazionaria, esiste un elemento massimale per inclusione in ogni famiglia non vuota di ideali, ogni ideale č finitamente generato (equivalenza non dimostrata). Definizione: Anelli Noetheriani. Esempi. Anelli Artiniani. Esempi. Il quoziente di un anello Noetheriano č Noetheriano (con dim.). Teorema della Base di Hilbert (con dimostrazione). Anello dei polinomi a coeff. in un campo K in un numero finito di indeterminate č Noetheriano (con dim.) e anche i quozienti con un ideale (con dim.). Definizione insiemi affini o insiemi algebrici associati ad un numero finito di polinomi. Ipersuperfici. Esempi. Insiemi affini nella retta affine.
- 23.03.2026 (+3h=12h) : Ripasso definizione insiemi affini o insiemi algebrici associati ad un numero finito di polinomi. Se il campo č algebricamente chiuso, le ipersuperfici nel piano affine contengono un numero infinito di punti (con dim.). Se il campo č infinito allora il complementare di una ipersuperficie č non vuoto (con dim.). Esempi. Insiemi affini o insiemi algebrici come luogo di zeri di ideali (equivalenza con dim.). Esempi. Proprietā del luogo degli zeri di un ideale: inclusione, intersezione di due insiemi affine č affine, unione di affini č ancora affine (con dim). Gli insiemi affini determinati da un ideale e dal suo radicale coincidono (con dim.). Esempi su insiemi affini, esempi su differenza di insiemi affini.
- 30.03.2026 (+3h=15h) : Topologia di Zariski sullo spazio affine di dimensione n: definizione, chiusi, č T1 (con dim.). Topologia di Zariski sulla retta affine č la topologia cofinita (con dim.). Base degli aperti fondamentalidella topologia di Zariski (con dim.). La topologia di Zariski sullo spazio affine di dimensione n non č T2 (con dim.). La topologia di Zariski sullo spazio affine di dimensione n su R o C č meno fine della topologia euclidea (con dim.). La topologia di Zariski nel piano affine non č la topologia prodotto. Teorema di classificazione degli insiemi affini nel piano affine (senza dim.). Ideale associato ad un sottoinsieme dello spazio affine: definizione, proprietā ed esempi. Ogni ideale č contenuto nell'ideale associato al suo luogo degli zeri (con dim.). Il luogo degli zeri dell'ideale di un sottoinsieme coincide con la chiusura del sottoinsieme (con dim.). Il luogo degli zeri dell'ideale di un insieme affine coincide con l'insieme affine (con dim.). Applicazioni V=luogo degli zeri e I=ideale associato e proprietā, suriettivitā ed iniettivitā.
- 31.03.2026 (+2h=17h) : Ripasso applicazioni V=luogo degli zeri e I=ideale associato e proprietā, suriettivitā ed iniettivitā. L'ideale associato ad un sottoinsieme dello spazio affine č un ideale radicale (con dim). Teorema degli zeri di Hilbert (Nullstellensatz) enunciato forma forte e conseguenze sulle applicazioni V e I. Teorema degli zeri di Hilbert (Nullstellensatz) enunciato forma debole e versione logicamente equivalente. Teorema: equivalenza forma debole e soluzione di sistemi di equazioni polinomiali (con dim.). Teorema che descrive tutti gli ideali massimali dell'anello dei polinomi a coefficienti in un campo algebricamente chiuso: dimostrazione equivalenza con forma debole (con dim.). Teorema: forma forte implica forma debole (con dim.). Corollari del Nullstellensatz a ideali primi o massimali, ideali generati da un polinomio irriducibile e il loro luogo degli zeri.
- 27.04.2026 (+3h=20h) : Ripasso Teorema degli zeri di Hilbert (Nullstellensatz) nelle varie formulazioni. Teorema su un polinomio che si annulla sul luogo degli zeri di polinomi e dimostrazione equivalenza con forma forte (con dim.). Teorema: forma debole implica forma forte (con dim.). * Fuori programma: Dimostrazione del Nullstellensatz usando risultati di algebra su estensioni di campi*. Ripasso applicazioni V=luogo degli zeri e I=ideale associato. Definizione di sottoinsieme affine. Esempi. Definizione di insieme affine irriducibile e riducibile. Terminologia varietā algebriche e varietā algebriche irriducibili. Esempi. Teorema: un insieme affine č irriducibile se e solo se l'ideale associato č primo (con dim.). Conseguenze: ogni punto č irriducibile, lo spazio affine č irriducibile, il luogo degli zeri di un polinomio irriducibile č irriducibile (con dim.).
- 28.04.2026 (+2h=22h) : Ripasso Definizione di insieme affine irriducibile. Definizione di spazio topologico Noetheriano. Lo spazio affine di dimensione n con la topologia di Zariski e' uno spazio Noetheriano (con dim.). Proprietā dello spazio affine di dimensione n: ogni famiglia non vuota di insiemi affine ammette elemento minimale (con dim.). Teorema: ogni insieme affine č unione di un numero finito di insiemi affini irriducibili (con dim.). Teorema: ogni insieme affine amemtte decomposizione minimale e definizione delle componenti irriducibili (dim. solo dell'esistenza.). Dimensione topologica di un insieme affine ed Esempi. Spazi PROIETTIVI: polinomi e luogo degli zeri. Definizione di ipersuperficie proiettiva. Esempi. Definizione di Ideale omogeneo e proprietā caratteristica (senza dim.). Esempi.
- 04.05.2026 (+3h=25h) : Ripasso Definizione di Ideale omogeneo e proprietā caratteristica. Esempi. Definizione di annullamento di un polinomio in un punto nello spazio proiettivo e caratterizzazione con le sue componenti omogenee (con dim.). Definizione di insieme algebrico proiettivo proprietā ed esempi. Definizione di topologia di Zariski sullo spazio proiettivo. Definizione di Ideale associato ad una varietā proiettiva: č omogeneo (con dim.) e proprietā. Definizione di Cono affine associato ad una varietā proiettiva. Relazione tra luogo degli zeri di un ideale nello spazio affine e nello spazio proiettivo (con dim.). Teorema del Nullstellensatz proiettivo (con dim.). Corrispondenza ideali omogenei radicali che non contengono ideale irrilevante e insiemi proiettivi non vuoti.
- 11.05.2026 (+3h=28h) : Ripasso Definizione di insieme algebrico proiettivo, Teorema del Nullstellensatz proiettivo, corrispondenza ideali omogenei radicali che non contengono ideale irrilevante e insiemi proiettivi non vuoti. Corrispondenza insiemi algebrici affini e insiemi algebrici proiettivi: omogeneizzazione e deomogenizzazione di un polinomio. Chiusura proiettiva di un insieme affine ( senza dimostrazione ). Anello delle funzioni regolari su un insieme affine: definizione, proprietā ed esempi. Dimensione di un insieme affine come dimensione di Krull dell'anello delle funzioni regolari.
- 12.05.2026 (+2h=30h) : Ripasso Definizione Anello delle funzioni regolari su un insieme affine. Esempio. Morfismi regolari tra insiemi affini: definizione, proprietā ed esempi. Isomorfismi regolari tra insiemi affini e isomorfismo indotto sugli anelli delle funzioni regolari (senza dim.). Esempi di isomorfismi.
- 19.05.2026 (+2h=32h) : Ripasso Definizione Morfismi regolari tra insiemi affini e isomorfismi. Esempio di morfismo regolare biettivo che non è un isomorfismo. Campo delle funzioni razionali su un insieme irriducibile: definizione, Proprietā ed esempi. Definizione di punto regolare. Dominio di una funzione razionale č un aperto non vuoto (con dim.). Proprietā. Anello (locale) delle funzioni razionali regolari in un punto: definizione e ideale massimale. Definizione morfismo razionale, morfismo razionale dominante, morfismo birazionale e proprietā e varietā birazionalmente equivalenti.