Warning: This web page is about the course in winter semester 2014/2015. Please check the home page for information about the current course.
Basic information
The contents of the course and other basic information are available in the Student Information System.
The schedule (to be found also in the Student Information System):
 lectures on Wednesdays, 10.40am12.10pm in the seminar room of the Department of Algebra,
 problem sessions on Wednesdays, 12.20pm1.50pm in the seminar room of the Department of Algebra.
Exam
The exam will be oral and will take place on:
 Thursday January 15th at 1pm in the seminar room of Dept. Alg. (link to SIS),
 Thursday February 5th at 1pm in the seminar room of Dept. Alg. (link to SIS),
 Thursday February 12th at 1pm in the seminar room of Dept. Alg. (link to SIS).
Credit
The credit will be granted for solved exercise problems. There will be three sets of the problems and they will appear here. Requested are at least 50% of successfully solved problems handed in withing the deadlines.
Problem set #1 (deadline for solutions: November 5)
 Let X_{1} and X_{2} be algebraic sets. Show that I(X_{1} ∩ X_{1}) is equal to the radical of I(X_{1}) + I(X_{2}). Find an example where I(X_{1} ∩ X_{1}) ≠ I(X_{1}) + I(X_{2}).
 Let K be an algebraically closed field and I ⊆ K[x_{1}, ..., x_{n}] be an ideal. Show that the radical of I is equal to the intersection of the maximal ideals of K[x_{1}, ..., x_{n}] which contain I.
 Find generators of the maximal ideal M of the ring R[x,y] of polynomials over the real numbers which has zero at (3 + 2i,5  4i) ∈ A².
 Let C be the field of complex numbers and let X ⊆ A^{3} be the union of the three coordinate axes. Find generators for the ideal I(X) ⊆ C[x,y,z].
Problem set #2 (deadline for solutions: December 10)
 A Calgebraic subset X ⊆ A^{2} is called a conic if it is of the form X = V({f(x,y)}) where f(x,y) is a nonzero polynomial of total degree 2. Show that every irreducible conic is isomorphic either to V({yx^{2}}) or to V({xy1}).
 Let X = V({x^{3} + y^{3}  3x^{2}  3y^{2} +3xy +1}) be an affine curve defined over the field of complex numbers. Find all multiple points of X and all tangent lines at these multiple points.
 Consider the Calgebraic subset X = V({y^{2}  x^{3}}) of A^{2} and the regular function r: X \ {(0,0)} → A^{1} given by r(a,b) = b/a. Is it possible to extend r to a regular function defined everywhere on X? Why?
Problem set #3 (deadline for solutions: January 12)

Let K be an algebraically closed field. We shall define a map i from the set of 2dimesional subspaces V ⊆ K^{4} to the projective space P^{5} as follows. We arbitrarily choose two linearly independent vectors v = (a_{0}, a_{1}, a_{2}, a_{3}) and w = (b_{0}, b_{1}, b_{2}, b_{3}) in V, we write the components into a 2x4 matrix
and we compute (in any fixed order) the 6 determinants d_{0}, d_{1}, ..., d_{5} of all 2x2 submatrices. Then we define i to map V to (d_{0} : d_{1} : ... : d_{5}).
 Show that i is a well defined injective map.
 Show that the image G of i is a projective variety given in P^{5} by a single quadratic equation.
 Show that we can cover G (as an abstract variety) by 6 open subsets isomorphic to A^{4}.
(Hint: Apply Gauss elimination to the 2x4 matrix.)
 Consider the 6dimensional subspace V of C[x,y] consisting of all polynomials of total degree at most 2. Consider also the corresponding projective space P^{5} whose elements are lines in V. Show that the irreducible conics in the complex affine space A^{2} are parametrized by a Zariski open subset of P^{5}.
What has been lectured
A brief overview of what has been taught in individual lectures, including references to the literature, can be found below.
 October 1, 2014
 Affine algebraic sets, the assignments V and I, Zariski topology ([Ful], sec. 1.2, 1.3, 6.1).
 October 8, 2014
 The decomposition of a noetherian topological space to irreducible components, algebraic varieties, polynomial maps and coordinate rings ([Ful], sec. 1.5, 2.1, 2.2; [Ga], sec. 1.3).
 October 15, 2014
 The connection between polynomial maps and homomorphisms of coordinate rings, localization of rings ([Ful], sec. 2.2, [AM], ch. 3).
 October 22, 2014
 Hilbert's Nullstellensatz, a characterization of coordinate rings among algebras, maximal ideals of coordinate rings ([Ful], sec. 1.7, 1.10, [Ga], sec. 1.2).
 October 29, 2014
 The standard basis of the Zariski topology, a geometric interpretation of the localization K[X]_{f}, regular functions ([Ful], sec. 2.4, 6.1, 6.2; [Ga], sec. 2.1).
 November 5, 2014
 A description of the algebra of regular functions on basic Zariski open sets ([Ful], sec. 2.4, [Ga], sec. 2.1, [Nee], Lemmas 3.4.14 and 3.4.15).
 November 19, 2014
 Local rings at points of an algebraic set ([Ful], sec. 2.4, [Ga], sec. 2.1).
 November 26, 2014
 Cotangent spaces, affine plane curves, a characterization of simple points of plane curves in terms of local rings ([Ful], sec. 2.9, 3.1, 3.2).
 December 3, 2014
 Finishing the characterization of simple points of plane curves, (non)singular points of algebraic sets of higher dimension, sheaves of Kalgebras, ringed spaces ([Ful], sec 3.2, [Ga], sec. 2.2, 4.4).
 December 10, 2014
 Homomorphisms of ringed spaces, abstract algebraic sets and varieties ([Ga], sec. 2.3  2.5, [Nee], chapter 2).
 December 17, 2014
 Abstract algebraic varieties and the criterion on the diagonal Δ(X) of X x X, projective algebraic varieties, projective Nullstellensatz ([Ga], sec. 2.5, 3.1, 3.2, [Ful], sec. 4.1, 4.2).
 January 7, 2015
 Projective algebraic sets as abstract algebraic sets, closedness of morphisms from projective algebraic sets, a brief introduction to Krull dimension ([Ga], sec. 3.3, 3.4, 4.1).
Literature
This is still a recently introduced course and with no lecture notes available specifically for it yet. Algebraic geometry is a very broad field with thousands of pages written about it from several points of view. To get an impression (or to get an idea where to go next for those interested in the topic), check this blog on mathoverflow.net. The core of the lecture is presented according to the following sources available in PDF:
[Ga]  A. Gathmann, Algebraic geometry, notes from a course in Kaiserslautern, 2002/2003. [Full text in PDF] 
[Ful]  W. Fulton, Algebraic Curves (An Introduction to Algebraic Geometry), 2008. [Full text in PDF] 
The lectures also involve some facts from commutative algebra which can be found in the following (offline) sources:
[AM]  M. F. Atiyah, I. G. MacDonald, Introduction to Commutative Algebra, AddisonWesley Publishing Co., 1969. 
[CLO]  D. Cox, J. Little, D. O'Shea, Ideals, varieties, and algorithms, Second Edition, Springer, New York, 2005. 
[Na]  M. Nagata, Local Rings, John Wiley & Sons, 1962. 
[Nee]  A. Neeman, Algebraic and Analytic Geometry, LMS Lecture Note Series 345, Cambridge, 2007. 