Toward higher chromatic analogs of elliptic cohomology. II. (Q1004516)

In Part I [London Math. Soc. Lect. Note Ser. 342, 286--305 (2007; Zbl 1236.55010)], the author considered the Artin-Schreier curve \(C(pf)\) in characteristic \(p\) given by the equation \(y^ e=x-x^p\) where \(e=p^ f -1\), and proved that the Jacobian of the curve has a 1-dimensional formal summand of height \((p-1)f\). In the reviewed paper the author constructs a lifting of \(C(p,f)\) to a curve \(\tilde C(p,f)\) over a certain polynomial ring of characteristic 0. Furthermore, he proves that, over a certain quotient ring of \(R\), the formal completion of the Jacobian of \(\tilde C(p,f)\) has a 1-dimensional formal summand of height \((p-1)f\). Honda studied the Jacobian of Fermat algebraic curve \(x^N+y^N=1\), \(N>2\) over torsion free rings, see \textit{T. Honda} [Sympos. math. 11, Algebra commut., Geometria, Convegni 1971/1972, 271--284 (1973; Zbl 0295.14019)] Modulo a certain conjecture, Honda determined the formal structure of the curve's Jacobian for all such primes. The author proved this conjecture.