An Introduction to Algebraic Geometry: A Computational Approach

The highlights are the Nullstellensatz, Gröbner basis, Hilbert's syzygy theorem and the Hilbert function, Bézout’s theorem, semi-continuity of the fiber dimension, Bertini's theorem, Cremona resolution of plane curves and parametrization of rational curves.

In the final chapter we discuss the proof of the Riemann-Roch theorem due to Brill and Noether, and give its basic applications.The algorithm to compute the Riemann-Roch space of a divisor on a curve, which has a plane model with only ordinary singularities, use adjoint systems. The proof of the completeness of adjoint systems becomes much more transparent if one use cohomology of coherent sheaves. Instead of giving the original proof of Max Noether, we explain in an appendix how this easily follows from standard facts on cohomology of coherent sheaves.

The book aims at undergraduate students. It could be a course book for a first Algebraic Geometry lecture, and hopefully motivates further studies.