Structure and cohomology of moduli of formal modules

Abstract: Given a commutative ring

A

, a "formal

A

-module" is a formal group equipped with an action of

A

. There exists a classifying ring

L^{A}

of formal

A

-modules. This paper proves structural results about

L^{A}

and about the moduli stack

m a t h c a l M_{f m A}

of formal

A

-modules. We use these structural results to aid in explicit calculations of flat cohomology groups of

m a t h c a l M_{f m A}^{2 - b u d s}

, the moduli stack of formal

A

-module

2

-buds. For example, we find that a generator of the group

H_{f l}^{1} (m a t h c a l M_{f m m a t h b b Z}; o m e g a)

, which also generates (via the Adams-Novikov spectral sequence) the first stable homotopy group of spheres, also yields a generator of the

A

-module

H_{f l}^{1} (m a t h c a l M_{f m A}^{2 - b u d s}; o m e g a)

for any torsion-free Noetherian commutative ring

A

. We show that the order of the

A

-modules

H_{f l}^{1} (m a t h c a l M_{f m A}^{2 - b u d s}; o m e g a)

and

H_{f l}^{2} (m a t h c a l M_{f m A}^{2 - b u d s}; o m e g a o t i m e s o m e g a)

are each equal to

2^{N_{1}}

, where

N_{1}

is the leading coefficient in the

2

-local zeta-function of

S p e c A

. We also find that the cohomology of

m a t h c a l M_{f m A}^{2 - b u d s}

is closely connected to the delta-invariant and syzygetic ideals studied in commutative algebra:

H_{f l}^{0} (m a t h c a l M_{f m A}^{2 - b u d s}; o m e g a o t i m e s o m e g a)

is the delta-invariant of the largest ideal of

A

which is in the kernel of every ring homomorphism

A i g h t a r r o w m a t h b b F_{2}

, and consequently

H_{f l}^{0} (m a t h c a l M_{f m A}^{2 - b u d s}; o m e g a o t i m e s o m e g a)

vanishes if and only if

A

is a ring in which that ideal is syzygetic.

This page was built for publication: Structure and cohomology of moduli of formal modules