Moduli Stack of Formal Group Laws¶
A coordinate-independent moduli stack obtained from formal group laws by quotienting coordinate changes, retaining isomorphisms and organizing formal groups by height for chromatic homotopy theory.
Core Idea¶
The moduli stack of formal group laws is the coordinate-independent classifying object conventionally denoted \(\mathcal M_{FG}\). A one-dimensional commutative formal group law is a power series \(F(x,y)\) satisfying identity, commutativity, and associativity equations. Choosing a coordinate on a formal group writes its multiplication as such a law. Changing the coordinate changes the displayed series without changing the underlying formal group. The moduli stack records formal groups in families together with their isomorphisms, so it preserves precisely the equivalence information that a set of isomorphism classes would discard.
Scope of Application¶
In formal-group geometry, the stack is the natural home for coordinate-free statements about one-dimensional commutative formal groups, invariant differentials, height, and deformation. In algebraic topology, it organizes the formal groups attached to complex-oriented multiplicative cohomology theories. Quillen's theorem identifies the coefficient ring of complex cobordism with the Lazard ring in the relevant grading convention, connecting the universal orientation to the universal formal group law.
Clarity¶
Three levels should be named separately. First, a formal group law is a coordinate formula over a ring. Second, a formal group is the coordinate-free formal scheme with group structure; coordinates may exist only locally. Third, the moduli stack is the groupoid-valued object classifying families and isomorphisms of those formal groups. Confusing these levels produces false equalities between a representing affine scheme and its quotient stack.
Manages Complexity¶
The stack compresses infinitely many coordinate formulas and coordinate substitutions into one equivalence-invariant moduli object. Calculations may use the Lazard ring, a Hopf algebroid, or a convenient coordinate, while results can be interpreted as statements about the same underlying stack. This separates presentation-dependent algebra from invariant geometry.
Abstract Reasoning¶
- If two formal group laws differ by an invertible coordinate change, they determine isomorphic objects of \(\mathcal M_{FG}\), though their coefficients differ. 2. If a construction depends on a coordinate coefficient without the appropriate transformation rule, it does not descend to the coordinate-free stack. 3. If a family admits coordinates only locally, stack descent can still classify it even when no global law is chosen.
Knowledge Transfer¶
Exact transfer occurs among algebraic presentations of formal groups, complex orientations, generalized cohomology theories, height calculations, Lubin–Tate deformation spaces, and chromatic localization. In each case the same object/isomorphism/base-change groupoid and the same coordinate-forgetting logic remain literal.
The moduli-stack strategy also transfers exactly to other mathematical moduli problems only at a higher superclass level: classify families, retain automorphisms, impose descent, and distinguish an atlas from the quotient object. That transferable mathematical pattern belongs to stack and moduli theory, not to this domain node's exact identity.
Relationships to Other Abstractions¶
Current abstraction Moduli Stack of Formal Group Laws Domain-specific
Parents (1) — more general patterns this builds on
-
Moduli Stack of Formal Group Laws is a kind of Representation Prime
a coordinate law presents a formal group, while the quotient stack represents the invariant moduli problem.
Hierarchy path (1) — routes to 1 parentless root
- Moduli Stack of Formal Group Laws → Representation → Abstraction
Neighborhood in Abstraction Space¶
Moduli Stack of Formal Group Laws sits in a sparse region of the domain-specific corpus (85th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Cobordism, Moduli & Geometric Duality (5 abstractions)
Nearest neighbors
- Algebraic stack — 0.81
- Fiber Product of Schemes — 0.81
- Quotient stack — 0.81
- Continuous Group Action — 0.80
- Derived scheme — 0.80
Computed from structural-signature embeddings · 2026-09-08