Multiplicative 2-cocycles at the prime 2 (Q1946176): Difference between revisions

The authors work in the category of certain augmented \(R\)-algebras where \(R\) is a commutative ring with unit. Then for any \(R\)-algebra \(A\) we have \(\text{Spf} A=\text{colim}_J\text{Spec} A/J\) where \(J\) runs over all open ideals of \(A\). Let \(\hat{\mathbb{G}}_a\) and \(\hat{\mathbb{G}}_m\) denote the formal group laws over \(R\) given by \(x+_{\hat{\mathbb{G}}_a}y =x+y\) and \(x+_{\hat{\mathbb{G}}_m} y = x+y+xy\) respectively, which are both isomorphic to \(\text{Spf} R[[x]]\) as formal schemes over \(R\). Consider the set \(C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\) of symmetric formal power series \(f\) in \(k\) variables over \(R\) satisfying the relation \[ \begin{multlined} f(x_1, x_2, x_3, \cdots )- _{\hat{\mathbb{G}}_m} f(x_0+_{\hat{\mathbb{G}}_a}x_1, x_2, x_3, \cdots ) \\ +_{\hat{\mathbb{G}}_m} f(x_0, x_1+_{\hat{\mathbb{G}}_a}x_2, x_3, \cdots ) -_{\hat{\mathbb{G}}_m} f(x_0, x_1, x_3, \cdots )=1_{\hat{\mathbb{G}}_m}. \end{multlined} \] Then it also becomes a group scheme, called the Lubin-Tate \(k\)-variant symmetric 2-cocycle group. In this paper the authors compute the coordinate ring of \(\text{Spec} \, \mathbb{Z}_{(2)}\times C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\) for \(k \geq 1\). The result is: \[ \begin{aligned} \mathcal{O}(\text{Spec} \, \mathbb{Z}_{(2)} \times C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m))= &{\mathbb{Z}}_{(2)}[z_n | \nu_2\phi(n, k) \leq \nu_2 n] \otimes \varGamma[b_{n,\gamma_2(n,k)} | \nu_2\phi(n, k) > \nu_2 n]\\ &{\mathbb{Z}}_{(2)}[b_{n,i} | \gamma_2(n, k) < i < D_{n,k}]/\langle 2 b_{n, i}, b_{n, i}^2 \rangle \end{aligned} \] where \(\varGamma [x]\) denote the divided power algebra on a variable \(x\) (details are omitted). The proof employs a result on another scheme \(C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_a)\) due to the authors [Ill. J. Math. 53, No. 4, 983--1017 (2009; Zbl 1230.18012)], where \(C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_a)\) is isomorphic to the tangent space \(T_1C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\) at the identity point. To relate this scheme to \(C^k(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\), there is constructed a new spectral sequence with the \(E_1\)-term given by the tangent space \(T_1H^*(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\) and converging to \(H^*(\hat{\mathbb{G}}_a; \hat{\mathbb{G}}_m)\). The above theorem is obtained by analyzing this spectral sequence using the result of the authors quoted above.