M
C G I L L M
M
M
M
M
M
M
M
M
M
M
M
M
M
M
M
M
M
M

Algebraic geometry is one of the oldest and vastest branches of mathematics.
Besides being an active field of research for many centuries, it plays
a central role in
number
theory, differential geometry, group theory, mathematical physics and
other branches of science.
In McGill, algebraic
geometry is represented by Peter
Russell and Eyal Goren and
is very much connected to the interests of other members of the department:
Henri
Darmon, Jacques Husrtubise and Niky
Kamran. We are running a joint seminar with CICMA,
Université de Montreal and UQAM. In addition there are courses given
in algebraic geometry and related areas. Check it out!
Initially, algebraic geometry was concerned with the study of curves in the plane and really started boosting up with the discovery of projective geometry. In this geometry, the line k (k any field) is completed by adding one point at infinity resulting in the projective line P^{1}, the plane k^{2} is completed by adding a projective line at infinity to yield the projective plane P^{2}. Thus P^{2}= k^{2}U P^{1}=k^{2} U k U{pt}. On a more conceptual level, the projective space P^{n }over a field k is the parameter space of lines in k^{n}^{+1}. Such a line is determined by a nonzero point on it (a_{0}, ... , a_{n}), where one is allowed to replace (a_{0}, ... , a_{n}) by (ta_{0}, ... , ta_{n}) for any non zero t in k. We denote such a class of points by (a_{0}: ... : a_{n}). Thus P^{n }is the collection of (a_{0}: ... : a_{n}). The points with a_{1} not equal to 0 may be normalized so that a_{1 }= 1. Then a_{1}, ... , a_{n}in (1: a_{1}: ... : a_{n}) are determined uniquely and are in one to one correspondence with k^{n }by the map (1: a_{1}: ... : a_{n}) > (a_{1}, ... , a_{n}). The complement is the points (0: a_{1}: ... : a_{n}), which are precisely P^{n}^{ 1} . Thus we get an inductive dissection P^{n }= k^{n }U k^{n}^{1 }U ... U k U {*}, where * is the point (0: ... :0:1). One of the nicest theorems is Bezout's theorem: Two curves C and D in P^{2}, defined by equations of degree M and N intersect at MN points, counting multiplicity. For long time geometry was the study of projective geometry. By that one means the study of sets defined as the set of solutions for a given system of homogeneous polynomials. Such sets look like a set Y in k^{n} such that the points of Y are the common solutions to a system of polynomials (f_{1}, ... , f_{r}) in n variables, and where one adds to Y its limit points at infinity. Much effort went into
freeing algebraic geometry from the necessity of dealing with sets defined
by a particular collection of equations. This was to serve not only for
solving some technical problems at the time, but also to signal out precisely
what
are the objects of study to themselves before we incorporate them
in any particular way into a space. This is very similar to the way manifolds
are studied today via the definition of atlas.
Another problem was to find a way of actually saying what is geometry. One can think about geometry as a collection of objects, where for any two objects it is known whether "one lies on the other", and where it is known what is a regular function on such a structure. Yet another problem is putting on a firm ground the "feeling" that a family of algebraic sets (say a family of curves) varying smoothly in time is "like" a curve defined using equations with integer coefficients where for every prime number one can consider the curve modulo this prime. Hence the curve varies over the parameter space whose points are primes. All these problems, and many other problems coming
from the attempt to generalize known results in complex geometry to results
in algebraic geometry, lead to the development of modern algebraic topology.
The chief inventor and force behind which was Grothendieck with many deep
contributions by Dieudonné, Serre, Deligne and many others.
In this theory of schemes,
the basic objects are composed of rings. The objects of the geometry are
the prime ideals of the ring and the notion of "lying on" is given by "containing".
The functions are given by elements of the ring itself. Mysterious as itseems,
this makes for a totally coherent geometric theory, where such spaces (called
"spectra") can be glued together, and where any classical geometric notion
can be defined.
Today, algebraic geometry
is composed of many different branches. Some are closely related to complex
analysis (geometry over the complex numbers), some are closelyrelated to
number theory (moduli spaces), some to mathematical physics (CalabiYau
manifolds and mirror symmetry), some to algebraic topology (elliptic cohomology,
étale cohomology, topoi) etc.
Apart from those, as
any developed branch of science, algebraic geometry is troubled with its
own house keeping: How many curves of a degree 3 pass through 9 points
in the plane? How many lines are there on a cubic surface? How to parameterize
all the varieties in P^{n
}of some given invariants? How
to understand group actions on a given
space and existence of
a quotient? What is the structure and properties of algebraic groups? What
do the automorphisms of an algebraic variety look like? etc., etc...
Members of the department
studying algebraic geometry are Peter
Russell and Eyal Goren.
Members whose interests are bordering with algebraic geometry are Niky
Kamran, Jacques Hurtubise, Henri
Darmon and many of the members of CICMA.
Eyal Goren: I am interested in questions where number theory is studied via geometry. Specific key words are modular forms, moduli spaces, elliptic curves, abelian varieties, pdivisible groups, L functions. In the last couple of years I was working on the ambitious project of bringing our knowledge of moduli spaces of abelian varieties and modular forms on them to the level of our knowledge in the case of elliptic curves. Here we comment that an abelian variety is a complete algebraic group (over C it is topologically a torus) and the moduli space is a variety that parameterize all those abelian varieties. Every variety gives a point in the space and a curve C in the moduli space gives a family of abelian varieties parameterized by C. In the case of elliptic curves this theory played a crucial role in the proof of Fermat's last theorem. It is therefore expected that much deep mathematics is to be discovered in the study of such moduli spaces, connecting questions from number theory (in particular Diophantine equations and modular forms) to questions on the geometry of these moduli spaces. Specific questions I
have been working on together with E. Bachmat and F. Oort are the geometry
of Hilbert modular varieties in positive characteristic (stratification,
variation of Newton polygons, singularities),
padic and mod p
Hilbert
modular forms and pdivisible groups with real multiplication.
Peter Russell: I have long been interested in studying affine spaces and closely related varieties (e.g., over C, contractible affine varieties) as algebraic varieties in their own right. The famous cancellation problem, for instance, asks whether X is an affine space provided that X x C is an affine space. This is known if the dimension of X is at most 2. Closely related is the quest to understand the automorphism group of affine space C^{n}, still a mystery for n bigger than 2. A quite recent result (obtained in collaboration with M. Koras and others) says that C* actions on C^{3} are linear in a suitable coordinate system. Again, this is not known for C^{n}, n >3. Among my other interests
are the study of embeddings of rational curves in the affine plane (generically
rational curves, closed embeddings of C*, ...); some special topics
in positive characteristic geometry (purely inseparable forms, Frobenius
sandwiches, ...).
Courses (current and recent years): 19971998:
Topics in Algebra III: Approaches to the Jacobian Problem. McGill.
189722A. Lecturer: A. Sathaye.
19981999:
Algebraic Curves. McGill. 189612B. Lecturer:J. Hurtubise.
19992000:
20002001:
COMING YEAR (200102): Introduction to Algebraic Geometry. Lecturer: E. Goren.
This is an introductory course in Algebraic Geometry. It develops from
scratch the theory of algebraic varieties over algebraically closed fields,
including morphisms, sheaves and cohomology. The course presupposes basic
commutative algebra. The topics to be studied are: affine and projective
algebraic
Vecotr bundles on Curves. Lecturer: E. Goren. This is a
special graduate course given within the Theme Year on Groups and Geometry
taking place at the CRM during 200102. The course presupposes basic algebraic
geometry at the level of the course \emph{Introduction to Algebraic Geometry}
given in the first term. It develops the theory of curves and vector bundles
of curves and their moduli. The topics to be studied are: curves, the RiemannRoch
theorem and the Hurwitz genus formula; vector bundles on curves and their
invariants, monodromy, flat vector bundles and Weil's theorem; semistability;
the Hilbert scheme; geometric invariant theory; construction of moduli
spaces.
QuebecVermont Number Theory Seminar. See also the activities of
Page constructed by Eyal Goren: goren@math.mcgill.ca 