tmf is not a ring spectrum quotient of string bordism

Abstract: This paper shows that

m a t h r m t m f [1 / 6]

is not a ring spectrum quotient of

m a t h r m M O l a n g l e 8 a n g l e [1 / 6]

. In fact, for any prime

p > 3

and any sequence

X

of homogeneous elements of

p i_{*} m a t h r m M O l a n g l e 8 a n g l e

, the

p i_{*} m a t h r m M O l a n g l e 8 a n g l e

-module

pi_*�ig(mathrm{MO}langle8 angle_{(p)}/X�ig)

is not (even abstractly) isomorphic to

p i_{*} m a t h r m {t m f}_{(p)}

. It does so by showing that, for any commutative ring spectrum

R

and any sequence

X

of homogeneous elements of

p i_{*} (R)

, there is an isomorphism of graded

m a t h b f Q

-vector spaces

pi_*(R/X)otimesmathbf{Q} cong mathrm{H}_*(mathrm{Tot}(mathrm{K}(X)))otimesmathbf{Q},

where the right-hand side is the rational homology of the (total) Koszul complex of

X

, which is strictly bigger than

p i_{*} (R) / (X) o t i m e s m a t h b f Q

unless

X

is a

p i_{*} (R) o t i m e s m a t h b f Q

-quasi-regular sequence. The result then follows from the fact that the kernel of the

p

-local Witten genus cannot be generated by a

p i_{*} m a t h r m M O l a n g l e 8 a n g l e o t i m e s m a t h b f Q

-quasi-regular sequence.

Recommendations

Cites Work

Cited In (3)

This page was built for publication: tmf is not a ring spectrum quotient of string bordism