Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 13, 2006

Seminar on 2-Vector Bundles and Elliptic Cohomology, VI

Posted by Urs Schreiber

In the 4th (and probably last) session of our seminar Birgit Richter talked in more detail about

0) elliptic curves and formal groups

1) “classical” elliptic cohomology (according to Landweber, Ochanine and Stong)

and a tiny bit about

2) topological modular forms (due mainly to Hopkins)

and ran out of time before talking about

3) other forms of elliptic cohomology (e.g. Kriz-Sati) ,

complementing my rough outline last time with more technical details.

0) elliptic curves and formal groups

The Weierstrass form of an elliptic curve is an equation in two variables x and y of the form

(1)E:y 2 +a 1 xy+a 3 y=x 3 +a 2 x+a 4 y+a 6 .

There is something called the discriminant Δ of E and if it is nonvanishing we have a smooth curve.

Thinking of the above equation as living over the real numbers, such smooth curves are certain smooth curves in 2 . Straight lines in 2 which coincide with this curve in three point P, Q and R define an abelian group structure on points by setting

(2)P+Q+R=0 .

For many applications it is convenient to perform a coordinate transformation from (x,y) to (w,z) with

(3)w =1 y z =xy.

Then there is an f such that the above equation for the ellitptic curves reads equivalently

(4)w=f(z,w).

By iteratively re-inserting f into itself according to this equation, we find that

(5)f(z,w)=z 3 (1 +A 1 z+A 2 z 2 +)[a 1 ,a 2 ,a 3 ,a 4 ,a 6 ][[z]],

which is a power series in z starting in degree 3, with coefficients being polynomials in the a i over the integers.

Using this, we can understand the above mentioned addition on the elliptic curve as given by a power series in two variables. Namely, if (w 1 ,z 1 ) and (w 2 ,z 2 ) are two points on the smooth elliptic curve E (which means that the z coordinate is determined by w), then the result of adding them has a z-coordinate which is given by a power series

(6)F E(z 1 ,z 2 )[a 1 ,,a 6 ][[z 1 ,z 2 ]].

This F E is a formal group law, which implies (as I mentioned last time) that it satisfies equations

1) F(z 1,0 )=z 1

2) F(z 1 ,z 2 )=F(z 2 ,z 1 )

3) F(F(z 1 ,z 2 ),z 3 )=F(z 1 ,F(z 2 ,z 3 ))

for all z i.

Form this one can show that inverses of all elements exist.

The prototypical example of such a formal group law is obtained by taking a 1-dimensional real Lie group, looking at the tangent space T e at a given point e, using the exponential map to identify a neighbourhood of e in the group with the tangent space and expanding for x,yT e the multiplication in the group as

(7)μ(x,y) = n,ma nmx ny m =x+y+higher terms[[x,y]].

In general, formal groups are local expansions of group laws. The power series F E associated to a smooth elliptic curve as described above is similarly the expansion of the additve group law defined by the elliptic curve.

Quillen explained that formal groups are related to complex cobordisms.

Let MU * be the complex bordsim ring, which is the ring whose elements are cobordism classes of (stably) complex manifolds with multiplication being cartesian product and additon being disjoint union. We write

(8)Ω * U=MU *.

This ring is universal for formal group laws in the sense that there is a formal group law

(9)F MU

over MU * such that for every formal group law F over any ring R there is a unique ring homomorphism

(10)θ:MU *R

such that

(11)F=θ *F MU

which means that if F MU(x,y)= n,ma nmx ny m then

(12)F(x,y)= n,mθ(a nm)x ny m.

Recalling from above that every elliptic curve E gives rise to a formal group law F E over the ring [a 1 ,,a 6 ], we find that for every elliptic curve there is a unique ring homomorphism

(13)θ E:MU *[a 1 ,,a 6 ].

Using this homomorphism we get an action of MU * on [a 1 ,,a 6 ]. We want to use this to form a generalized cohomology theory () by tensoring [a 1 ,,a 6 ] with the universal cohomology MU * theory defined by complex cobordisms.

Instead of describing the ring spectrum which represents MU *, we here just say how the MU cohomology MU *(X) of any space X looks like.

We set MU n(X) to be the ring of maps

(14)ϕ:M nX

from stably complex n-manifolds M n to X, where we identitfy two maps if their domain manifolds are cobounded by a stably complex (n+1 )-manifold.

Here stably complex means that we can embed M n in some R N for N sufficiently large, such that the normal bundle of M n in N is a -vector bundle.

The entire ring MU *(X) is just the direct sum

(15)MU *(X)= nMU n(X)

and in particular the bare MU * from above is shorthand for the MU-cohomology of a point

(16)MU *:=MU *(pt).

It is important for the following construction that there is a natural graded action of MU *(pt) on any MU *(X)

(17)MU n(pt)×MU m(X)MU n+m(X)

simply given by taking a map

(18)M npt

and

(19)M mX

and forming the obvious map

(20)M n×M mpt×XX.

In summary, we have an action of the ring MU *(pt) both on the ring [a 1 ,,a 6 ] and the ring MU *(X), for all X.

Hence, for each elliptic curve E and each space X, we can form the graded ring

(21)E *(X):=MU *(X) MU *(pt)[a 1 ,,a 6 ].

This is the elliptic cohomology ring of X with respect to the elliptic curve E.

As an example for this we recover ordinary integral cohomology and K-theory as degenerate cases of elliptic cohomology.

Namely, if our elliptic curve happens to be

(22)y 2 =x 3

with a bad singularity at (0,0 ), the corresponding group law is simply (this is not supposed to be obvious)

(23)F(x,y)=x+y.

As I reviewed last time, this is the group law which corresponds to ordinary integral cohomology.

The elliptic curve

(24)y 2 =x 3 +x 2

has a singularity which is not quite as bad. It gives rise to the group law

(25)F(x,y) =1 (1 x)(1 y) =x+y+xy.

As you can see from the table given last time, this is the group law which identifies complex K-theory.


1) classical elliptic cohomology

A special case of elliptic curves are the Jacobi curves, which are of the form

(26)y 2 =1 2 δx 2 +ϵx 4 ,

depending on two parameters δ and ϵ.

The discriminant of these is

(27)Δ=ϵ(δ 2 ϵ) 2 .

Using

(28)g 2 :=(δ 2 3 ϵ)/3 g 3 =δ(δ 2 9 ϵ)/27

we can alternatively write

(29)y 2 =4 x 3 g 2 xg 3 ,

which however works only in characteristic >3 , which is problematic in particular when applied to speher spectra, cause homotopy classes there have lots of 2- and 3-torsion.

Anyway, the formal group law corresponding to these curves is

(30)F(x,y)=xR(y)+yR(x)R(x),

where

(31)R(x):=1 2 δx 2 +ϵx 4 .

This formula was originally found by Euler, even though he did not call it a formal group law.

We can rewrite F(x,y) as

(32)F(x,y)=g 1 (g(x)+g(y)),

where

(33)g(x)= 0 xR(t) 1 /2 dt.

Now let M˜ * be the ring of modular forms under the subgroup of SL(2 ,) generated by ττ+2 and τ1 τ.

There is a theorem due to Landweber, Ravenal and Stong which says that for δ and ϵ algebraically independent over we have

(34)M˜ *=[1 2 ][δ,ϵ]

and for all of the rings in the diagram

(35)M˜ * M˜ *[(δ 2 ϵ) 1 ] M˜ *[ϵ 1 ] M˜ *[Δ 1 ]

there exists a generalized homology theory h * such that h *(pt) is that given ring.

This is constructed by noticing that the formal group law defes an action of the oriented cobordism ring on the given ring R * from above, which allows us to form the homology ring of some space X as

(36)XΩ * SO(X) Ω * SOR *.

This is the homology which does the job.

The relation to genera is as follows.

A genus is a ring homomorphism

(37)ϕ:Ω * SOΛ

from oriented cobordisms to any other ring Λ that is also a -algebra.

Since

(38)Ω * SO[[P 2 ],[P 4 ],]

it suffices to specify ϕ on [P 2 n].

One calls the expression

(39)g ϕ(x):= 0 x n0 ϕ[P 2 n]t 2 ndt= n0 ϕ[P 2 n]x 2 n+1 2 n+1

the logarithm of the genus.

Ochanine defined an genus to be elliptic if this logarithm is of the form

(40)g ϕ(x)= 0 x(1 2 δt 2 +ϵt 4 ) 1 /2 dt

for suitable ring elements δ and ϵ, algebraically independent over and Δ0 .

There is a theorem by Landweber, Ochanine and Stong which says that if a genus ϕ is elliptic, then its image is

(41)ϕ(Ω * SO)=[δ,2 γ,2 γ 2 ,,2 γ 2 n]

with

(42)γ=δ 2 ϵ4 .

Furthermore, the image of spin cobordisms is

(43)ϕ(Ω * Spin)=[16 δ,(8 δ) 2 ,ϵ].

Again, looking at degenerate cases we find famliar examples.

1) In the case that ϵ=δ we get

(44)g ϵ=1 ,δ=1 (x) = 0 x(1 2 t 2 +t 4 ) 1 /2 dt = 0 x1 1 t 2 dt =tanh 1 (x).

This corresponds to the signature genus of L-genus (which I also mentioned last time).

Here, too, the corresponding Jacobi-curve is singular.


2) Another example is ϵ=0 and δ=1 8 . Here one gets

(45)g 1 8 ,0 (x)= 0 x(1 1 4 t 2 ) 1 /2 dt

and this corresponds to the Â-genus.

As Atiyah and Singer found with their famous index theorem, for M compact and spin and dimM=2 n the Â-genus

(46)Â(M)=ind(D)

is the index of a Dirac operator on M, taking values in the integers.

We want some lifting of this statement to the loop space of M.

It turns out that this is possible if M is string (), which means, according to a theorem by Laughlin, that it sfirst two Stieffel-Whitney classes and one half of the first Pontryagin class vanishes.

In this case there is something like a Dirac operator on loop space LM and a theorem due to Witten and Zagier says that its index is a genus which is the q-series of a modular form - the Witten genus (partition function of the heterotic string).

What we are after is the homology theory which corresponds to this genus.


tmf - topological modular forms

According to Birgit Richer, in her experience it takes a group of experts a full week to discuss the construction of tmf. At that point 4 minutes time were left.

Apart from that, what is important about tmf is that, as Jacob Lurie describes on pp. 9-10 of his “survey” (), tmf is something like the universal elliptic cohomology.

We can get a glimpse of what this means by realizing that the way elliptic cohomology was defined above depended on a choice of coordinates (in the Weierstrass form) for an elliptic curve. In a vague sense tmf is the coordinate-free version of alliptic cohomology. Or something like that.

The point is that the Weierstrass form

(47)y 2 +a 1 xy+a 3 y=x 3 +a 2 x 2 +a 4 x+a 6

is invariant under the coordinate transformations of the form

(48)x λ 2 +r y λ 3 y+λ 2 sx+t,

where λ is a “unit” (invertible). Call the group of these transformations

(49)G.

Let

(50)A=[a 1 ,,a 6 ][u ±1 ]

and form the cohomology theory

(51)X(E A) *(X)=MU *(X) MU *A.

Then, according to a theorem by Hopkins, Miller, Goerss which has been given a more conceptual proof by Jacob Lurie, the G-invariant part (E A) G of E A is a model for tmf.

(I am only 30 per cent convinced that this statement makes good sense as stated. Need to check that.)

There is a map from the tmf cohomology of a point to modular forms

(52)tmf *(pt)M *

whose kernel and cokernel are annihilated by 24.

Moreover, it is known that

(53)tmf *[1 6 ][pt]=[1 /6 ,c 4 ,c 6 ]=M *[1 /6 ].

Finally, the Witten genus is the composition map

(54)MStringtmfKU[[q]]

from string cobordisms over tmf to power series in q with coefficients in K-theory, restricted to the 0 -dimensional string manifold.


Oh dear, you can tell that this last part was transmitted and received in mere 4 minutes.

Posted at July 13, 2006 8:04 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/872

1 Comment & 0 Trackbacks

Re: Seminar on 2-Vector Bundles and Elliptic Cohomology, VI

Hello,
We invite you to submit your papers to our journals (http://advpubl.org/) with advanced referring system and participate in our open forums at
http://advpubl.org/forum/index.php

Thanks,
Jonathan.
Advanced publications

Posted by: Jonathan on May 26, 2007 9:12 AM | Permalink | Reply to this

Post a New Comment