### About this blog

Rigorous trivialities is a web log about mathematics, but especially geometry, broadly construed. Contributors will be Charles Siegel, Jim Stankewicz and occasionally Matt Deland. Charles specializes in algebraic geometry, topology and mathematical physics. Jim specializes in arithmetic algebraic geometry. Matt has transitioned from algebraic geometry to work in industry.

Header is taken from the larger work by fdecomite under the creative commons license.

### Categories

- Abelian Varieties AG From the Beginning Algebraic Geometry Algebraic Topology Big Theorems Cohomology Combinatorics Complex Analysis Computational Methods Conferences Cranks Curves Deformation Theory Differential Geometry Enumerative Geometry Examples Group Theory Hilbert Scheme Hodge Theory ICTP Summer School Intersection Theory Knot Theory MaBloWriMo Math Culture Mathematical Physics Moduli of Curves Talks Toric Geometry Uncategorized Vector Bundles
December 2022 S M T W T F S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 ### Recent Comments

### Links

### Math Blogs

- 0xDE
- 360
- A Mind for Madness
- A Neighborhood of Infinity
- A Singular Contiguity
- Aline’s Weblog
- Arcadian Functor
- Ars Mathematica
- Blog of a Math Teacher
- Casting out Nines
- Combinatorics and More
- Concrete Nonsense
- Disquisitiones Mathematicae
- Dung Hoang Nguyen’s Weblog
- E. Kowalski’s Blog
- eon
- EvolutionBlog
- Geometric Algebra
- God Plays Dice
- Good Math, Bad Math
- gyre & gimble
- Halfway There
- Hydrobates
- in Theory
- Intrinsically Knotted
- Let’s Play Math
- Low Dimensional Topology
- Mathematics and Physics
- Mathematics Prelims
- Mathematics under the Microscope
- Mathematics Weblog
- Mathemusicality
- Michi’s Blog
- neverending books
- Noncommutative Geometry
- Polymathematics
- Portrait of the Mathematician
- Quomodocumque
- Reasonable Deviations
- Secret Blogging Seminar
- Sketches of Topology
- Tangled Web
- tcs math
- The Accidental Mathematician
- The Everything Seminar
- The n-Category Cafe
- The Narrow Road
- The Real Sqrt
- The Rising Sea
- The Unapologetic Mathematician
- Theoretical Atlas
- Tim Gowers’s Weblog
- Topological Musings
- What’s New

### Archives

- February 2015
- January 2015
- December 2014
- November 2014
- September 2014
- December 2013
- February 2013
- December 2012
- November 2012
- October 2012
- April 2012
- April 2011
- November 2010
- October 2010
- August 2010
- July 2010
- June 2010
- April 2010
- March 2010
- February 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- January 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007

### Tags

### Top Posts & Pages

# Author Archives: Matt DeLand

## The Grothendieck-Riemann-Roch Theorem, a proof-sketch

By this time I’m sure everyone whose curiousity was piqued by the statement of the Grothendieck-Riemann-Roch theorem has read it themselves. Nevertheless, in case you haven’t, I will proceed to outline the steps of the surprisingly “easy” proof. It is … Continue reading

Posted in Algebraic Geometry, Big Theorems, Cohomology
5 Comments

## The Grothendieck-Riemann-Roch Theorem, Stated

Suppose you have a proper map between smooth (quasi) projective varieties. Then suppose you have a coherent sheaf on . After viewing that sheaf as an element of the Grothendieck Group of coherent sheaves on , there are two things … Continue reading

## The Chow Ring and Chern Classes

Hopefully this will be the last background information post before we state and begin the proof of the Riemann Roch Theorem. This post will be a brief overview of Cycles, Chow Rings, and Chern Classes and their properties. The briefness … Continue reading

Posted in Uncategorized
3 Comments

## The Grothendieck Group of Coherent Sheaves on a Variety

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 … Continue reading

Posted in AG From the Beginning, Algebraic Geometry
12 Comments

## Direct Image Sheaves Under Proper Maps

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 … Continue reading

Posted in AG From the Beginning, Algebraic Geometry, Cohomology
7 Comments

## Proper Maps and (Quasi) Projective Varieties

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 … Continue reading

Posted in AG From the Beginning, Algebraic Geometry
12 Comments

## When is a variety not rational?

I also have an excuse for my absence… I’ve also been working on grant applications, job applications, my thesis, etc! I’ll take a little time now to write more about rational varieties. In general, it can be quite difficult to … Continue reading

Posted in Algebraic Geometry
2 Comments

## Rational Varieties — An Introduction Through Quadrics

Projective spaces are the most basic algebraic varieties we know (at least in some sense) and rational varieties are those that are as close as possible to being projective spaces. Informally, a rational variety is one admitting a parametrization by projective space. The project of determining which … Continue reading

Posted in AG From the Beginning, Algebraic Geometry
4 Comments

## Group Schemes and Moduli (IV)

Unless there is some specific interest, I think this will be the final post in the series about taking quotients of varieties by actions of group schemes. Recall that everything is being done over an algebraically closed field, . I’ll … Continue reading

Posted in AG From the Beginning, Algebraic Geometry, Examples
3 Comments

## Group Schemes and Moduli (III)

Finally we’re ready to discuss what sorts of quotients exist when group schemes act on (some) other schemes. Recall that for simplicity, every scheme/variety/morphism in sight is assumed to be over the spectrum of a fixed algebraically closed field, . … Continue reading