Ok, to continue our quest toward the statement of the theorem, we need to explain a few more ideas. Today, we’ll talk about the structure of the Grothendieck group K(X) of coherent sheaves on an algebraic variety X. (Remember the ongoing convention that varieties are all (quasi) projective, defined over an algebraically closed field). In fact, this group has a ring structure and, given a map , there are maps between K(X) and K(Y) (in both directions). It turns out that the most general statement of the Riemann Roch Theorem is an equality inside this group, so we had better have an idea of how it works! There are some homological methods today, a topic which seems to me particularly ill-suited to this forum given my difficulty creating complicated commutative diagrams. At a few instances I will sketch how certain facts are to be proven without going into all the details.

### February 2009

February 27, 2009

## The Grothendieck Group of Coherent Sheaves on a Variety

Posted by Matt DeLand under AG From the Beginning, Algebraic Geometry[12] Comments

February 24, 2009

## Grassmannians, Redux

Posted by Charles Siegel under Algebraic Geometry, Algebraic Topology, Cohomology, Combinatorics, Computational Methods, Enumerative Geometry, Intersection Theory, Uncategorized1 Comment

Ok, today we start our march towards Schubert Calculus. Before we start, we’ll review the Grassmannian variety itself, because it’s central to the story. A lot of this will consist of setting up notation, and there will be two different notations for the “same” Grassmannians, so the notation will describe how we’re going to think of the object. For this series, we’ll assume that everything is done over , because we’re going to use a bit of algebraic topology along the way.

February 24, 2009

Clicking around wordpress, I’ve found two new math blogs that seem to have started in the last couple of months. So, go and check out Motivic Stuff and Embûches tissues and welcome them to the blathosphere.

February 18, 2009

## Direct Image Sheaves Under Proper Maps

Posted by Matt DeLand under AG From the Beginning, Algebraic Geometry, Cohomology[6] Comments

Today we continue our review/introduction of background material en route to stating and proving the Riemann Roch theorem. This theorem involves the relationship between proper maps and sheaves on the domain and target, so we need to understand how they are related. Really, we need to understand how to move from sheaves on the domain to sheaves on the target – so we’ll explain the (higher) direct image sheaves. Recall that all varieties are (quasi) projective and defined over algebraically closed fields.

February 18, 2009

## Deligne and Mumford on the Moduli of Curves

Posted by Charles Siegel under Algebraic Geometry, Big Theorems, Curves, Deformation Theory[3] Comments

Today I’m going to talk a bit about an important paper from 1969. This one. It’s a bit hard to read at some points, but it was revolutionary. In it, Pierre Deligne and David Mumford prove that the moduli space of curves is always irreducible. They proved this fact in two ways: first by using the Stable Reduction Theorem, which is a hard theorem on Abelian varieties. The second way was by using stacks.

February 14, 2009

Dear Readers,

Today I want to talk about morphisms between curves and the special properties they have. This is sort of a broad-based topic, given that the study of morphisms and their properties is essentially the whole of algebraic geometry. I decided that perhaps the best way to narrow my focus is to push towards proving that if is a non-constant isogeny of elliptic curves over a field with a kernel of order then there exists a dual isogeny (more…)

February 10, 2009

## Proper Maps and (Quasi) Projective Varieties

Posted by Matt DeLand under AG From the Beginning, Algebraic Geometry[11] Comments

I’m back! So let’s get down to business.

What I really want to talk about is the Riemann Roch Theorem. You may wonder why, since it has already been discussed here , but there have been vast generalizations of this theorem throughout the last century. I want to focus on Grothendieck’s version, but I plan to start slow. The material I’m following will mostly be taken from the classic Serre-Borel paper (recently pointed out to me). Today, we’ll content ourselves with talking about proper maps. I know that Charles already talked about a complete variety here and even proved Chow’s Lemma which is great. It tells us, that all complete varieties are “close” to being projective, so today we’ll focus on the projective ones.

February 3, 2009

Dear Readers,

Today we begin by talking about elliptic curves. We define an elliptic curve to be an abstract nonsingular genus one curve over a field with a given rational point. I’m told the theory of genus one curves without rational points is perhaps even more interesting than that of elliptic curves, but that may or may not be a topic for the future(when I know more about them)

February 3, 2009

So, I’ve been tinkering with having a local wiki on my laptop for notes and stuff, but I’ve run into the problem that, although pictures seem to be stored in the right location, and pages are created for them in the wiki, they won’t display. Anyone out there know much about php, mySQL, and MediaWiki to possibly help me out? I’m on a computer running Kubuntu, with the standard php5, mySQL and MediaWiki packages…

Any help at all would be greatly appreciated.

February 1, 2009

## The Clemens Conjecture

Posted by Charles Siegel under Algebraic Geometry, Curves, Enumerative Geometry, Hilbert Scheme, Intersection Theory, TalksLeave a Comment

This is a draft of a talk I’m giving on Thursday, mostly going over the work of Katz in this paper.

Let’s begin with an informal statement of the conjecture:

**Conjecture: **For every positive integer , a general quintic hypersurface in will contain only finitely many rational curves of degree .