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 Fridays, 12.20pm1.50pm in room K9,
 problem sessions on Fridays, 2.00pm3.30pm in room K9.
Exam
The exam will be oral. Please contact me to agree on the date and time of your exam.
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 24)
 A complex algebraic subset X ⊆ A^{2} is called a conic if it is of the form X = V(f) where f ∈ C[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 C be the field of complex numbers and consider the ring R = C[x,y,z]/(xz,yz) and the element f := yz ∈ R. Show that the localized ring R_{f} (the element f is made invertible) is isomorphic to the ring C[x,y^{±1}] × C[z^{±1}].
 Consider the subalgebra R ⊆ C[x,y] which consists of the polynomials only with terms of even total degree. Find an algebraic set X such that R is isomorphic to the coordinate ring C[X].
Problem set #2 (deadline for solutions: December 22)

Show that the image of the polynomial map f: A^{1} → A^{3} given by f(t) = (t^{3}, t^{4}, t^{5}) over the field of complex numbers is a subvariety of A^{3}. Show further that it is precisely to set of zeros of the polynomial y^{2}  xz and the determinant of the matrix
(hint: if x is nonzero, we can put t=y/x and divide the rows of the matrix by x).
Show finally that the polynomial p = x^{3}  yz vanishes on the image of f and find an expression of some power p^{e} as an element of the ideal of C[x,y,z] generated by y^{2}  xz and the determinant (such an expression must exist by Hilbert's Nullstellensatz).
 Consider the cubic plane curve X = V({x^{3} + y^{3}  3x^{2}  3y^{2} +3xy +1}) over the field of complex numbers. Find all singular points of X and find a concrete birational equivalence f: A^{1} → X (hint: stereographic projection from a singular point of X).
 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.
Problem set #3 (deadline for solutions: January 12)

Let K be an algebraically closed field. We will 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.

Consider the map f: P^{1} → P^{3} given by f((s:t)) = (s^{3}:s^{2}t:st^{2}:t^{3}) over the field of complex numbers.
 Show that f is a welldefined homomorphism of projective algebraic sets.
 Find explicitly homogeneous polynomials f_{1}, f_{2}, ..., f_{r} ∈ C[x_{0}, x_{1}, x_{2}, x_{3}] such that the image X of the map f satisfies X = V_{proj}(f_{1}, f_{2}, ..., f_{r}).
 Show that f: P^{1} → X is an isomorphism of projective algebraic sets.
 Consider the 6dimensional subspace V of C[x,y] consisting of all polynomials of total degree at most 2. Show that the irreducible conics in the complex affine space A^{2} are parametrized by a Zariski open subset of P^{5} (i.e. that the irreducible conics themselves form a quasiprojective variety).
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 6, 2017
 Affine algebraic sets, Zariski topology, the decomposition of a noetherian topological space to irreducible components, algebraic subsets of the affine plane (lecture notes, sec. 1; [Ful], sec. 1.2, 1.4  1.6, 6.1; [Ga], sec. 1.1, 1.3).
 October 13, 2017
 The decomposition of a noetherian topological space to irreducible components (proof), the ideal of a subset of an affine space and a characterization of irreducibility via prime ideals, polynomial maps and coordinate rings (lecture notes, sec. 1 and 2; [Ful], sec. 1.3, 1.5, 2.1  2.2; [Ga], sec. 1.3, 2.1).
 October 20, 2017
 The connection between polynomial maps and homomorphisms of coordinate rings, rational functions on varieties and function fields, rational maps between varieties (lecture notes, sec. 2; [Ful], sec. 2.2, 2.4, 6.6; [Ga], sec. 2.1, 2.3; [Sh], ch. 3).
 October 27, 2017
 The connection between rational maps with dense image and homomorphisms of function fields, birational equivalence, rational varieties (lecture notes, sec. 2; [Ful], sec. 6.6; [Ga], sec. 2.1, 2.3, 4.3; [Sh], ch. 3).
 November 3, 2017
 Rational plane curves, localization of rings (lecture notes, sec. 2 and 3; [Sh], ch. 3; [AM], ch. 3).
 November 10, 2017
 A geometric interpretation of the localization K[X] → K[X]_{f}, radical ideals, Hilbert's Nullstellensatz (lecture notes, sec. 3; [Ful], sec. 1.7  1.10, 6.3; [Ga], sec. 1.2, 2.1; [AM], ch. 7).
 November 24, 2017
 Consequences of Hilbert's Nullstellensatz, an open basis for the Zariski topology, rational functions without poles over an algebraically closed field are polynomial ([Ful], sec. 1.7, 1.10, 2.4, 6.1; [Ga], sec. 1.2, 2.1).
 December 1, 2017
 Local rings at points of a variety and their properties, plane curves, singular and nonsingular points, tangents ([Ful], sec. 2.4, 3.1; [Ga], sec. 4.4).
 December 8, 2017
 Discrete valuation rings and a characterisation of nonsingular points on plane curves ([Ful], sec. 2.5, 3.2; [Ga], sec. 4.4).
 December 15, 2017
 Projective algebraic sets, projective Zariski topology, the correspondence with homogeneous ideals, a characterisation of irreducibility of projective algebraic sets ([Ful], sec. 2.6, 4.1, 4.2, 4.3; [Ga], sec. 3.1, 3.2).
 December 22, 2017
 Projective Nullstellensatz, homogeneous coordinate rings, function fields and regular functions on projective varieties, homomorphisms between projective varieties ([Ful], sec. 4.2, 6.3; [Ga], sec. 3.1  3.3).
 January 5, 2018
 Cartesian products of affine and projective varieties, the Segre embedding, quasiprojective varieties and homomorphisms between them, projective elimination theory, an exercise on blowups and resolution of singularities ([Ful], sec. 4.4, 6.1  6.3, 7.2; [Ga], sec. 2.3, 3.3, 3.4, 4.3).
 January 12, 2018
 Homomorphisms from projective varieties have a closed image, Krull dimension, the dimension of projective and affine spaces, the relation of the Krull dimension and the transcendence degree of the function field of a variety ([Ful], sec. 6.4, 6.5; [Ga], sec. 3.4, 4.1  4.2; [Sh], sec. 5.2  5.4, 6.1).
Literature
I will write and update a draft version of lecture notes during the semester: [Full text in PDF]
As far as other sources are concerned, algebraic geometry has gradually grown to 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 may also involve facts from the following (offline) sources:
[Sh]  I. R. Shafarevich, Basic algebraic geometry 1, Varieties in projective space, 2. vyd., SpringerVerlag, Berlin, 1994. 
[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. 