Algebraic Geometry/Printable version


Algebraic Geometry

The current, editable version of this book is available in Wikibooks, the open-content textbooks collection, at
https://en.wikibooks.org/wiki/Algebraic_Geometry

Permission is granted to copy, distribute, and/or modify this document under the terms of the Creative Commons Attribution-ShareAlike 3.0 License.

Introduction

Algebraic Geometry : Introduction

What is Algebraic Geometry?

edit

Algebraic Geometry is a branch of mathematics that combines abstract algebra with geometry - more precisely; it is the study of algebraic objects using geometrical tools. It can be seen as a combination of linear algebra ("systems of linear equations in several variables"), and algebra ("study of polynomial equations in one variable" (though not exclusively)). Perhaps another description is that algebraic geometry is the study of polynomial functions and the spaces on which those polynomial functions are defined (known as algebraic varieties).

Therefore, the starting point for algebraic geometry is the study of the solutions of systems of polynomial equations:

 

The theorems for polynomial equations depend on whether or not the field   is algebraically closed and whether   has characteristic 0.

For example, let   and  . This is Fermat's Last Theorem - and if   then only trivial solutions to the problem exist.

What questions can be asked of this system of polynomial equations? It is not possible in many circumstances to note all the solutions explicitly (remember that a single polynomial equation cannot be solved in general exactly if it's degree is greater than 4 - see Abel–Ruffini theorem) - so most study is dedicated towards the geometrical structure of the set of solutions to these equations.

Notation

edit

Throughout the book, a ring will generally be taken as a commutative ring with identity, and   will represent an algebraically closed field.

Preliminaries

edit

In order to progress in the subject, we must review some results from commutative algebra (i.e. the study of commutative rings).

History

edit

The field of algebraic geometry was first developed by Islamic mathematicians, such as the Persian mathematician Omar Khayyám.


Functions

A function is a relation mapping one set (the domain) to another (the codomain) such that every element in domain has a unique image in its co-domain.

Examples of functions would include  ,  

function is denoted by symbol   or   where   is the independent variable and function are written as