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 $\mathcal{M}_{fmA}$ of formal $A$-modules. We use these structural results to aid in explicit calculations of flat cohomology groups of $\mathcal{M}_{fmA}^{2-buds}$, the moduli stack of formal $A$-module $2$-buds. For example, we find that a generator of the group $H^1_{fl}(\mathcal{M}_{fm\mathbb{Z}}; \omega)$, 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^1_{fl}(\mathcal{M}_{fmA}^{2-buds}; \omega)$ for any torsion-free Noetherian commutative ring $A$. We show that the order of the $A$-modules $H^1_{fl}(\mathcal{M}_{fmA}^{2-buds}; \omega)$ and $H^2_{fl}(\mathcal{M}_{fmA}^{2-buds}; \omega\otimes \omega)$ are each equal to $2^{N_1}$, where $N_1$ is the leading coefficient in the $2$-local zeta-function of $Spec A$. We also find that the cohomology of $\mathcal{M}_{fmA}^{2-buds}$ is closely connected to the delta-invariant and syzygetic ideals studied in commutative algebra: $H^0_{fl}(\mathcal{M}_{fmA}^{2-buds}; \omega\otimes \omega)$ is the delta-invariant of the largest ideal of $A$ which is in the kernel of every ring homomorphism $A\rightarrow \mathbb{F}_2$, and consequently $H^0_{fl}(\mathcal{M}_{fmA}^{2-buds}; \omega\otimes \omega)$ vanishes if and only if $A$ is a ring in which that ideal is syzygetic.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2010
- DOI:
- 10.48550/arXiv.1005.0119
- arXiv:
- arXiv:1005.0119
- Bibcode:
- 2010arXiv1005.0119S
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Algebraic Geometry;
- 14L05
- E-Print:
- Rewritten, moved most of the calculations of the classifying ring over to a revision of 1511.03784, added some nice cohomology calculations