Algebraic Geometry/Printable version
This is the print version of Algebraic Geometry You won't see this message or any elements not part of the book's content when you print or preview this page. |
The current, editable version of this book is available in Wikibooks, the open-content textbooks collection, at
https://en.wikibooks.org/wiki/Algebraic_Geometry
Introduction
What is Algebraic Geometry?
editAlgebraic 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
editThroughout the book, a ring will generally be taken as a commutative ring with identity, and will represent an algebraically closed field.
Preliminaries
editIn order to progress in the subject, we must review some results from commutative algebra (i.e. the study of commutative rings).
History
editThe 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