Bibliography

OpenAI

• [OAI26] OpenAI, Finite generation for the $K(n)$-local sphere, OpenAI Math Release preprint (2026).

Algebraic Topology/ Homotopy Theory

• [Lur10] J. Lurie, Chromatic Homotopy Theory, Harvard University, lecture notes (2010). Course notes.

• [Qui69] D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bulletin of the American Mathematical Society 75 (1969), no. 6, 1293–1298.

• [Lan76] Peter Landweber, Homological properties of comodules over $MU_*MU$ and $BP_*BP$, American Journal of Mathematics (1976): 591-610 jstor:2373808

• [Nau07] N. Naumann, The stack of formal groups in stable homotopy theory, Advances in Mathematics 215 (2007), no. 2, 569–600. https://doi.org/10.1016/j.aim.2007.04.007

• [DH04] E. S. Devinatz and M. J. Hopkins, Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups, Topology 43 (2004), no. 1, 1–47.

• [Hea23] D. Heard, The $Sp_{k,n}$-local stable homotopy category, Algebraic & Geometric Topology 23 (2023), no. 8, 3655–3706. https://doi.org/10.2140/agt.2023.23.3655

Arithmetic Geometry/ Number Theory

• [Laz65] Lazard, Michel. “Groupes analytiques $p$-adiques.” Publications Mathématiques de l’IHÉS 26 (1965): 5–219.

• [NSW08] Neukirch, J., Schmidt, A., and Wingberg, K. (2008). Cohomology of Number Fields. 2nd ed., Grundlehren der mathematischen Wissenschaften, Vol. 323. Springer, Berlin, Heidelberg.

• [Sch11] Schneider, P. (2011). $p$-Adic Lie Groups. Grundlehren der mathematischen Wissenschaften, Vol. 344. Springer, Berlin, Heidelberg.

• [Tat66] J. Tate, p-Divisible Groups, in Proceedings of a Conference on Local Fields, Driebergen, 1966, Springer, 1967, pp. 158–183.

• [SW20] Scholze, Peter, and Jared Weinstein. Berkeley Lectures on $p$-adic Geometry. Annals of Mathematics Studies, vol. 207. Princeton: Princeton University Press, 2020. https://doi.org/10.1515/9780691202150