534SM - ADVANCED GEOMETRY 3 2025
Schema della sezione
-
The recording of the lessons is available on the Team CD2025 534SM ADVANCED GEOMETRY 3. The Team's code is 1gz7k7t.
-
References
G. R. Kempf, "Algebraic Varieties", London Mathematical Society, Lecture Notes Series 172
D. Mumford, "Algebraic Geometry I, Complex Projective Varieties", Springer Berlin, Heidelberg, 1995
I.R. Shafarevich, "Basic Algebraic Geometry 1: Varieties in Projective Space", Third edition. Springer, Heidelberg, 2013
R. Hartshorne, "Algebraic geometry", Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977
O. Zariski, P. Samuel, "Commutative Algebra, Volume I", Springer, 1958
M. F. Atiyah, I. G. MacDonald, "Introduction to Commutative Algebra", Addison-Wesley, 1969
Office hours
Thursday 15:00--16:00
-
Syllabus File PDF
-
-
Schedule
Exam methods
The final exam is aimed at ascertaining the knowledge of the topics of the entire program of the course, expression skills and language skills of the students. It consists of an oral exam.
Exam dates and places
June 19th, 2026, Aula Venezian, Building A, at 09:00
July 10th, 2026, Aula Venezian, Building A, at 09:00
September 4th, 2026, Aula Venezian, Building A, at 09:00
September 18th, 2026, Aula Venezian, Building A, at 09:00
-
03/03/2026 SPACES WITH FUNCTIONS
Definition of space with factions and of morphisms between them. Examples and first properties of spaces with functions. Definitions of affine (algebraic) variety, of (algebraic) variety and of morphism between two varieties.
05/03/2026 EXAMPLES OF VARIETIES
Definition of the affine line and proof that it is an affine variety. Definition of the projective line.
06/03/2026 STRUCTURE THEOREM FOR AFFINE VARIETIES
Definition and properties of the projective line. Lists of assignments. Definition of the spectrum of a k-algebra, Spec(A), its topology and its structure of space with functions. Statement of the structure theorem: Spec(A) has a structure of affine variety such that A is isomorphic to k[Spec(A)]. Remarks. Spec(A) as the vanishing set of polynomials.
10/03/2026 NOETHER'S LEMMA
Statement of Hilbert's Nullstellensatz. Noether's Lemma, with proof.
12/03/2026 HILBERT'S NULLSTELLENSATZ
Lemma of Nakayama. Lemma: if A in B is an extension of k-algebras such that B is an A-module of finite type, then the restriction Spec(B) to Spec(A) is surjective. Review of the notion of rings of fractions and their main properties. Proof of Hilbet's Nullstellensatz.
17/03/2026 COROLLARIES OF THE NULLSTELLENSATZ
The NSS in the case where A=k[x_1, ..., x_n]. Affine algebraic sets. Corollary 1 of NSS: if the vanishing set of an ideal is empty, then 1 belongs to the ideal. Corollary 2 of the NSS: if D(f_l), for l in some index set L is an open cover of Spec(A), then 1 is in the ideal generated by the f_l's.
18/03/2026 QUASI-COMPACTNESS OF SPECTRA
Corollary 3 of NSS: the spectrum of a f.g. k-algebra with 1 and without nilpotents is quasi-compact. Proof of the structure theorem of affine varieties: the map phi is an isomorphism.
19/03/2026 SUBVARIETIES
End of the proof of the Structure Theorem for affine varieties. Corollary: every variety is quasi-compact. Assignments. Definition of the induced structure of space with functions on a subset of a space with functions. Theorem/Definition: every locally closed subset of a variety X is a variety, called a subvariety of X. Examples: the affine n-space. Definition of quasi-affine varieties.
20/03/2026 EXERCISES AND EXAMPLES
Discussion of the assigned exercises. Regular functions on the affine space minus a point. Definition of the projective n-space.
24/03/2026 PROJECTIVE SPACES
Definition of the projective spaces and proof that they are algebraic varieties. Definition of projective and quasi-projective varieties. Proposition: every closed subset of a projective space is the zero-set of homogenous polynomials. Definition of homogeneous ideals. Assignments. Definition of Noetherian rings. Hilbert's basis theorem (without proof): every commutative finitely generated k-algebra is Noetherian.
25/03/2026 NOETHERIAN SPACES
Corollary of the Hilbert Basis Theorem: every open subset of a variety is quasi-compact. Definition of Noetherian topological space. Lemma: X is Noetherian if and only if every ascending chain of closed subsets becomes stationary. Definition of reducible and of irreducible topological space. Lemma: an affine variety X is irreducible if and only if k[X] is an integral domain.
26/03/2026 IRREDUCIBLE COMPONENTS
Definition of an (irreducible) component of a topological space. Proposition: a Noetherian topological space has finitely many components and their union is the whole space. Algebraic characterization of the components of an affine variety: they correspond to the minimal prime ideals of the ring of regular functions. Definition of the dimension of a topological space.
27/03/2026 AFFINE AND FINITE MORPHISMS
Discussion of the assigned exercises. First properties of the concept of dimension and examples. Definition of affine and of finite morphisms. Examples.
31/03/2026 PROPERTIES OF FINITE MORPHISMS
The inclusion of a fine sub variety is a finite morphism. The inclusion of D(f) is an affine morphism. Proposition 1: Any finite morphism is a closed map. Proposition 2: if f: X to Y is finite, Z and W are closed subsets of X such that W is irreducible and Z is strictly contained in W, then f(Z) is strictly contained in f(W). Corollary 1: every fibre of a finite morphism is a finite set.
01/04/2026 DIMENSION OF AFFINE SPACES
Corollary 2: Let f: X -> Y be a finite and subjective morphisms, then dim(X)=dim(Y). Theorem 1: dim (A^n)=n.
02/04/2026 HYPERSURFACES
Corollary 3: the dimension of the vanishing set of a non-constant polynomial in n variables is n-1. Proposition 3: the dimension of a variety is the maximum of the dimensions of the open sets of a cover. Corollary 4: the dimension of P^n is n. Corollary 5: every variety has finite dimension. Definition of hypersurface (in the affine n-space). Theorem 1: description of the components of a hypersurface; the k-algebra of regular functions of a hypersurface; every closed subset of A^n whose components are all of dimension n-1 is a hypersurface.
09/04/2026 PRINCIPAL IDEAL THEOREM
Statement of the Principal Ideal Theorem (PIT). Lemma 1: the PIT in the affine case. Lemma 2: every open not empty subset of an irreducible variety has the same dimension of the variety.
10/04/2026 PROOF OF THE PRINCIPAL IDEAL THEOREM
Completion of the proof of Lemma 2. Proof of the Principal Ideal Theorem. Discussion of assignments.
14/04/2026 PRODUCTS
Application of the Principal Ideal Theorem on the dimension of closed irreducible subsets in chains which are not refinable. Definition and existence of the product of two spaces with functions. Theorem: the product of two varieties is a variety. Definition of the tensor product of two modules over a ring.
15/04/2026 TENSOR PRODUCT
Definition of the tensor product of two modules. Universal property. Dimension of the tensor product of two finite dimensional vector space. The structure of k-algebra on the tensor product of two k-algebras.
16/04/2026 SEGRE EMBEDDING THEOREM
Universal Property 2, for the tensor product of two k-algebras. Proof of the theorem that says: the product of two varieties is a variety; if both varieties are affine, their product is also affine. Assignments. Statement of the Segre embedding theorem.
17/04/2026 PROOF OF SEGRE EMBEDDING AND EXERCISES
Proof of the Segre embedding theorem. Corollary: the product of quasi-projective varieties is quasi-projective. Discussion of assignments.
21/04/2026 SEPARATEDNESS
Definition of separated varieties, respectively spaces with functions. Example of non separated space: the line with two origins. Lemma 1: the graph of a morphism to a separated space is closed; a subspace of a separated space is separated; the product of two separated spaces is separated; quasi-affine and quasi-projective varieties are separated. Lemma 2: the graph of every morphism of varieties is locally closed. Proposition: a variety is separated if and only if the intersection of any pair of open affine sub varieties is affine and the regular functions are the restriction of regular functions on the open subsets.
22/04/2026 PROJECTIVE NULLSTELLENSATZ
Relation between homogeneous ideals and cones with vertex in the origin. Statement and proof of the projective Nullstellensatz.
23/04/2026 DIMENSION AND INTERSECTION
Proposition: the dimension of a cone is equal to the dimension of its image in the projective space plus one. Theorem: if two closed and irreducible sub varieties X and Y of the affine n-space intersect not trivially then each component of the intersection has dimension grater than or equal to dim(X)+dim(Y)-n. Theorem: if X and Y are two irreducible closed sub varieties of the projective n-space such that dim(X)+dim(Y)-n>=0, then X and Y have not trivial intersection. Corollary: the product of two projective spaces is not isomorphic to a projective space.
24/04/2026 COMPLETENESS
Theorem: two irreducible closed sub varieties of the projective n-space whose sum of the dimension is >=n intersect not trivially. Definition of comple variety. First properties of complete varieties. Main Theorem of Elimination Theory.
28/04/2026 THE VERONESE EMBEDDING
End of the proof of the Main Theorem of Elimination Theory. Statement of Chow's Lemma. Definition and first properties of the Veronese Embedding.