Thank you to James Tao for explaining the following, geometrically intuitive, interpretation to me.

A scheme is the result of patching affine schemes together, an affine scheme is any locally ringed space that is equivalent to Spec of a ring. To make an analogy, a manifold is the result of patching together copies of $\mathbb{R}^n$, in a way that preserves the smooth structure.

And the smooth structure of $\mathbb{R}^n$ is essentially the fact that it is a sheaf: over any open set, we have the space of smooth functions on that set, and these functions restrict and glue nicely, etc.

So when you go from $\mathbb{R}^n$ to “smooth manifolds,” you are creating spaces that locally look like $\mathbb{R}^n$, respect the same kind of smooth structure (as captured by the fact that smooth functions are defined on open sets in a way independent of the patching), yet have some global structure that might prevent them from just being the same as $\mathbb{R}^n$.

If you care about algebraic (polynomial / rational) functions defined on algebraic sets (zeroes of systems of polynomials), then you can do the same program! The “basic patch” is “affine scheme,” and you patch affine schemes together to get a scheme. Continue reading Spectrum of a Ring

In singular cohomology, the first chern class of two tensored line bundles $c_1( A \otimes B) = c_1(A) + c_1(B)$ is the additive formal group law, $F(x,y) = x + y$.

Quillen was messing with K-theory (another cohomology theory with a notion of chern classes) trying to take the first chern class of two tensored line bundles $c_1(A \otimes B)$, and realized that that it wasn’t $c_1(A) + c_1(B)$. There was a more complicated formal group law there!

What do I mean by “more complicated formal group law”?

Milnor had been studying the structure of the coefficient ring of MU and showed that it was isomorphic to a polynomial ring. Quillen recalled this, and realized that complex cobordism was the ‘most general’ way to express the first chern class of the tensor product of two line bundles.

Note that the only connected algebraic groups of dimension equal to 1 over an algebraically closed field $\mathbb{K}$ are:

The additive group over $\mathbb{K}$

The multiplicative group over $\mathbb{K}$ (as a set, comprises all the non-identity elements of the field).

An elliptic curve group over $\mathbb{K}$ (the abelian variety case)

What is an elliptic curve group?

You know, I’d really like to be able to “add” two points to get a third.

This is a nice thing, equipping our curve with an addition law gives us identity, its got inverses, and, yes, it’s associative.

How do we get a (1-dimensional) formal group law out of, say, $y^2 = 4x^3 + ax + b$? (for the curious, pg. 40-41 of this lecture)

First let’s homogenize $y^2z = 4x^3 + axz^2 + bz^3$, and check that the point at infinity is smooth (i.e. its Jacobian $\frac{\partial F_i}{\partial x_i}$ is full rank).

How do we get the elliptic formal group law’s coefficients to be in one dimension? We take a Taylor series expansion of our elliptic curve about the origin. This is commonly denoted $\hat{C}$.

A Pedagogical Crime

Here’s an intuitive way to define K-theory:

We can think of $K^0(X)$ as a generalization of the dimension of vector spaces. The key property of dimension is additivity for short exact sequences, so consequently one forms the universal group with that property.

Another way to define K-theory is the following:

A generalized multiplicative cohomology theory $h^*(-)$ which is complex orientable. That is, there is an $h$-theoretic notion of chern class. $h^*(-)$ is even ($h^n(*) = 0$ for all odd $n$), and weakly periodic ($h^n(*) \otimes_{h^*(pt)} h^2(*) \simeq h^{n+2}(*)$ for all $n$).

Our cohomology theory $h^*(-)$ should behave according to the multiplicative formal group law. Let $\hat{\mathbb{G}}_m$ be the formal completion of the multiplicative formal group law over a coefficient ring $R$. We require that the coefficient ring of our formal group law and the coefficient ring of our cohomology theory be isomorphic, $R \simeq h^*(*)$, and the formal group laws over these coefficient rings must also be isomorphic, $\hat{\mathbb{G}}_m \cong \text{Spf}$ $h^*(*)[[x]]$, (where $x$ is the first chern class of a universal line bundle).

What’s this Spf thing? How is $h^*(pt)[[x]]$ a formal group law? Well, the formal spectrum of a ring R[c] is something that *looks* like localization.

$Spf R[c]$ :=

In other words, condition 2 that defines K-theory is of the form:

With this definition, the intimate relationship between K-theory and vector bundles is not immediately apparent. Unfortunately, this is the manner in which we currently define elliptic cohomology…

What is elliptic cohomology?

We’re using the data of an elliptic curve to construct a new way to associate a sequence of abelian groups to spaces, and this new way should behave according to the formal group law of an elliptic curve.

This is how we currently define elliptic spectra:

A family of elliptic curves $C$ over a coefficient ring $R$

A generalized, complex orientable cohomology theory $h^*(-)$.

Our cohomology theory $h^*(-)$ should behave according to the elliptic formal group law. Let $\hat{C}$ be the formal completion of the elliptic formal group law (over a coefficient ring $R$). We require that the coefficient ring of our formal group law and the coefficient ring of our cohomology theory be isomorphic, $R \simeq h^*(*)$, and the formal group laws over these coefficient rings must also be isomorphic, $\hat{C} \cong \text{Spf}$ $h^*(*)[[x]]$, (where $x$ is the first chern class of a universal line bundle).

Why do we define it this way? We don’t know any other way! Well, that’s not quite true…

K-theory is to 1-dimensional field theory (i.e. to each point $x \in X$, associate a vector space $E_x$, and to each path in $X$ the connection on $E$ associates a linear map between these vector spaces) like elliptic cohomology is to 2-dimensional conformal field theory (associating Hilbert spaces to loops in $X$ and some operators to conformal surfaces with boundary in $X$).

(There is a theorem that 1|1 Euclidean field theories are isomorphic to K-theory spectra. )

Relating equivariant versions of elliptic cohomology to loop groups, tmf is proposed to be closely related to supersymmetric conformal field theories.

Elliptic cohomology is a “categorification of K-theory.”

If we think the natural analogy of vector bundles for K-theory is 2-vector bundles for elliptic cohomology, there is the $K(ku)$ interpretation. This is “like” an elliptic cohomology theory in the sense of detecting $v_2$-periodic phenomena, but is not complex orientable (then again, tmf isn’t complex orientable either!).

Some sources/references for the adventurous:

I recommend starting with Landweber’s introduction, which describes how elliptic genera led to elliptic cohomology, then reading Ravenel’s introduction, which leads to chromatic homotopy theory.

Another perspective on a geometric construction is exposited by Baez, which evolved into this construction. These are the product of taking seriously: ‘the key to elliptic cohomology is to study things like vector 2-bundles where the fiber lives in the 2-category not of 2-vector spaces but of bimodules, because the string 2-group has a natural representation in there (Urs Schreiber)’.

For those interested in the field theoretic developments, here are more recent notes on the work of Stolz-Teichner.

If you’re interesting in the physics-y pieces of this, the paper that introduces the Witten genus (which has values in the ring of modular forms over manifolds with rational string structure). A very different physics-y perspective on the categorical side is Loop Space Mechanics and Nonabelian Strings, which contrary to the title is quite beginner friendly.

If you’re into concrete 19th century mathematics, don’t mind reading in French, and REALLY want to get how formal group laws are useful for classification, I recommend reading Lazard’s work on formal group laws Groupes de Lie formels à un paramètre, and his concept of “analyseurs” (the beginning of operads) Groupes analytiques en caractéristique 0.