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.

Version: v1 · 2026-08-30 · History
Domain-specific #: 2296
Origin domain: algebraic topology
Subdomain: chromatic homotopy theory
Aliases: Moduli Stack of Formal Groups, M FG

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.^[1]^[2]

The candidate title needs a standing precision rule. The affine scheme \(\mathcal M_{FGL}\), represented by the Lazard ring, classifies formal group laws with coordinates. The coordinate-change group scheme acts on it. The stack-theoretic quotient \([\mathcal M_{FGL}/G]\) is \(\mathcal M_{FG}\), the moduli stack of formal groups; the map \(\mathcal M_{FGL}\to\mathcal M_{FG}\) forgets the coordinate.^[1] Many sources and the candidate article use “moduli stack of formal group laws” for this quotient construction. This entry retains that discoverable title while treating “moduli stack of formal groups” as the mathematically preferred alias.

At a fixed prime \(p\), the height of a formal group over a field stratifies the characteristic-\(p\) fiber. The filtration by height and the formal neighborhoods of its geometric points provide the geometric organization behind chromatic stable homotopy theory. Complex cobordism supplies the universal formal group law; comodules and quasi-coherent sheaves on the stack encode stable operations; Landweber exact maps recover homology theories under flatness-like regularity conditions; and completions near height-\(n\) points lead toward Lubin–Tate deformation theory, Morava \(E\)-theory, and stabilizer actions.^[2]^[1]^[3]

The locked identity is therefore: one-dimensional commutative formal groups in families + coordinate presentations by formal group laws + invertible coordinate changes and base change + a groupoid-valued quotient retaining automorphisms + height filtration in characteristic \(p\) + geometric interpretation of chromatic localization and completion. It survives as domain-specific because this role package repeatedly organizes calculations and constructions in formal-group geometry and stable homotopy theory. It is not a prime: formal groups, Lazard coefficients, stack descent, \(p\)-typical height, complex bordism, and Morava theories are essential domain commitments.

Structural Signature¶

the base test scheme — usually \(\operatorname{Spec} R\) for a commutative ring \(R\), with pullback along ring maps;
the formal group — a one-dimensional commutative formal Lie group over the base;
the coordinate — a local parameter at the identity that turns the group operation into a formal group law \(F(x,y)\);
the law-classifying scheme — the spectrum of the Lazard ring, representing coefficients satisfying the formal-group-law identities;
the coordinate-change group — invertible power series under composition, acting by transport of the law;
the action groupoid — laws are objects and coordinate changes inducing isomorphisms are arrows;
the stack quotient — descent assembles the local coordinate presentations and retains stabilizer automorphisms;
the forgetful atlas-like map — the passage from a coordinate-bearing law to the underlying coordinate-free formal group;
the invariant line — invariant differentials, often denoted \(\omega\), track the weight introduced by coordinate change;
the characteristic-\(p\) fiber — height is meaningful through the \(p\)-series after passage to residue fields;
the height filtration — closed loci of height at least \(n\), with locally closed exact-height strata;
the geometric point and stabilizer — a height-\(n\) formal group over an algebraically closed or perfect field carries an automorphism group related to the Morava stabilizer group;
the formal neighborhood — deformation theory near a point is controlled by Lubin–Tate parameters rather than by the stratum alone;
the sheaf or comodule dictionary — suitable algebraic data over the presentation descend to quasi-coherent sheaves on the stack;
the topological interpretation — complex-orientable theories map to the moduli problem, while chromatic localization isolates height ranges or neighborhoods.

Recognition requires the quotient-and-descent level, not merely a list of formal group laws. A coefficient ring with a chosen universal law is the coordinate presentation. The stack begins when coordinate changes, base change, and automorphisms are made part of the classified object.

What It Is Not¶

Not the Lazard ring alone. The Lazard ring represents laws with a chosen coordinate; it does not by itself perform the stack quotient.
Not a coarse moduli set. Isomorphism classes alone erase automorphism groups and can fail to behave well in families.
Not one formal group law. Additive, multiplicative, elliptic, and universal laws are points or families in the moduli problem.
Not a coordinate-invariant equation. The coefficients of \(F(x,y)\) change under reparameterization even though the formal group may not.
Not an ordinary finite-type algebraic stack under the catalog node's default boundary. Goerss stresses that \(\mathcal M_{FG}\) lacks the finiteness properties demanded by customary definitions; it is often treated as an infinite-dimensional, pro-algebraic, or suitably generalized stack.^[2]^[4]
Not the moduli stack of elliptic curves. An elliptic curve has an associated formal completion, giving a map toward \(\mathcal M_{FG}\), but much geometric information is forgotten.
Not the moduli of \(p\)-divisible groups. Those objects enrich and enlarge the deformation context and have their own height and dimension data.
Not a derived enhancement by default. Classical \(\mathcal M_{FG}\), nonconnective spectral moduli stacks of oriented formal groups, and other derived constructions must be distinguished rather than collapsed.^[5]
Not the chromatic filtration itself. Height geometry models and organizes chromatic phenomena; the filtration of spectra and the stratification of a stack are related structures, not identical objects.
Not merely the Morava stabilizer group. A stabilizer describes automorphisms near an exact-height point; it is one local symmetry component of the global moduli stack.

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.^[6]^[1]

The stack perspective turns Hopf-algebroid descent into geometry. A presentation by the rings of laws and strict or general isomorphisms can encode quasi-coherent sheaves as comodules, while the coordinate-free stack explains why changes of orientation should not change the underlying phenomenon. Goerss uses the height filtration and formal neighborhoods to formulate algebraic chromatic convergence and fracture decompositions.^[2]

Landweber exactness concerns maps from schemes bearing formal groups into \(\mathcal M_{FG}\) whose regularity makes base change of complex bordism homology exact. Height-\(n\) deformation theory supplies complete local models used in Morava \(E\)-theory. Modern spectral versions refine this geometry and relate restriction or completion of sheaves to chromatic localization, monochromatic layers, and \(K(n)\)-localization.^[3]

The abstraction does not automatically cover multidimensional formal groups, noncommutative formal groups, arbitrary formal schemes, or every derived moduli problem. Each requires additional parameters or a changed category of objects.

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.

The notation also varies. \(\mathcal M_{FGL}\) is often used for the scheme of laws and \(\mathcal M_{FG}\) for the stack of groups, but authors can change typography or restrict to \(p\)-local, \(p\)-typical, oriented, or derived versions. A claim should state the base, dimension, commutativity, coordinate convention, allowed isomorphisms, and whether the object is classical or spectral.

Height is a fiberwise characteristic-\(p\) invariant. “Height exactly \(n\)” should not be treated as a naive partition over every ring. The robust geometry uses closed height-at-least loci and locally closed exact-height strata after localization at \(p\). Lubin–Tate theory describes deformations in a formal neighborhood of a height-\(n\) point; it should not be paraphrased merely as gluing all strata together.

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.

Height then turns a vast global problem into layers. Restriction to bounded-height opens, local cohomology supported at higher-height closed loci, and completion near a fixed height yield different but compatible views. Stabilizer groups make local symmetry explicit; deformation rings make infinitesimal variation explicit. The resulting organization explains why rational cohomology, complex \(K\)-theory, and higher Morava theories occupy different chromatic levels without treating them as unrelated constructions.

The abstraction also localizes errors. A coordinate-dependent claim fails descent. A height claim outside characteristic \(p\) is ill-posed. A quotient that keeps only orbits loses isotropy. A local deformation calculation does not automatically determine the global stack. A spectral enhancement cannot be inferred from the existence of the classical stack.

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.
If a construction depends on a coordinate coefficient without the appropriate transformation rule, it does not descend to the coordinate-free stack.
If a family admits coordinates only locally, stack descent can still classify it even when no global law is chosen.
If one replaces the action groupoid with its orbit set, stabilizers disappear and base-change behavior can deteriorate.
If a formal group has exact height \(n\) over a perfect characteristic-\(p\) field, its local automorphisms and deformations bring Morava stabilizer and Lubin–Tate structures into the analysis.
If a theory's associated map to \(\mathcal M_{FG}\) satisfies Landweber's exactness criterion, base change from complex bordism can define a homology theory; an arbitrary map need not.
If only heights at most \(n\) are retained, the resulting open part corresponds to a bounded chromatic range rather than one exact-height layer.
If a result is proved on a coordinate presentation and is compatible with the groupoid arrows, it is a candidate to descend to the moduli stack.
If the usual finite-presentation or quasi-compactness hypotheses are required, \(\mathcal M_{FG}\) cannot silently be treated as a routine algebraic stack.
If an elliptic curve is mapped to its formal completion, different elliptic curves may lose information under that map; \(\mathcal M_{FG}\) is not a complete classifier of elliptic curves.

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. Outside mathematics, calling a catalog a “moduli stack” is metaphorical unless it has the relevant groupoid-valued descent structure.

The portable residue is Representation, Invariance, Symmetry, Classification, and Local–Global reasoning. But those primes do not recover the Lazard presentation, formal groups, height strata, or chromatic interpretation.

Examples¶

universal law presentation: \(\operatorname{Spec} L\), for the Lazard ring \(L\), parametrizes formal group laws with coordinate; quotienting by coordinate changes produces the coordinate-independent moduli problem;
ordinary rational behavior: over characteristic zero, logarithms make one-dimensional commutative formal groups locally simple, illustrating why chromatic complexity concentrates at primes;
complex \(K\)-theory: the multiplicative formal group represents a height-one chromatic case after localization at a prime;
complex cobordism: its universal formal group law provides the principal coordinate presentation connecting topology to \(\mathcal M_{FG}\);
height-\(n\) point: a formal group over a perfect field defines a geometric point whose automorphisms are governed by a Morava stabilizer group;
Lubin–Tate neighborhood: deformations of a finite-height formal group are represented by a complete local deformation ring, modeling the formal neighborhood rather than the entire global stack;
Landweber-exact family: a suitably regular map from a base scheme with a formal group permits exact base change from complex bordism;
elliptic-curve map: taking the formal completion of an elliptic curve gives a map from the elliptic moduli problem into formal-group moduli but forgets global curve data;
non-example—coefficient table: a list of law coefficients without coordinate-change arrows is a presentation fragment, not the stack;
failure—coarse quotient: treating coordinate orbits as a set erases automorphism groups and therefore fails the intended moduli identity.

Structural Tensions¶

computable coordinate vs. invariant object — coordinates make universal formulas available, while invariant statements must survive their change;
global stack vs. local neighborhood — the stack unifies all heights, while deformation theory is strongest after completion at a particular point;
stratification vs. interaction — height layers simplify analysis, while specialization and completion relations prevent them from being independent pieces;
geometric language vs. finiteness failure — stack geometry is conceptually exact, while ordinary algebraic-stack finiteness hypotheses do not fit the full object;
classical moduli vs. spectral refinement — the classical stack organizes ordinary formal groups, while spectral enhancements encode additional homotopical structure;
chosen orientation vs. coordinate freedom — a complex orientation supplies a coordinate and enables calculation, while the underlying formal group should not depend on that choice;
local symmetry vs. global classification — Morava stabilizers describe isotropy at height points, while no single stabilizer represents the whole stack;
algebraic model vs. topological realization — a formal group or sheaf can suggest a cohomology theory, while realization requires hypotheses and can carry obstructions.

Structural–Framed Character¶

This abstraction is structural. Its objects and arrows are fixed by formal power-series identities, group-scheme actions, base change, descent, and equivalence. Height and deformation are algebraic invariants with explicit hypotheses. Mathematicians choose notations, topologies, strict versus general coordinate changes, and foundations for large or pro-algebraic stacks, but those choices frame equivalent presentations rather than creating the underlying identity.

Structural Core vs. Domain Accent¶

The structural core is family of objects + reversible changes of presentation + action groupoid + descent-compatible quotient + retained automorphisms + invariant stratification + local completion. The domain accent is one-dimensional commutative formal groups, the Lazard ring, invertible power series, invariant differentials, \(p\)-height, Morava stabilizers, Lubin–Tate deformation, complex cobordism, and chromatic homotopy. Remove those commitments and one obtains a generic moduli-stack or Representation pattern. Retain them and the moduli stack of formal groups remains a distinct domain abstraction.

Representation — a coordinate law presents a formal group, while the quotient stack represents the invariant moduli problem.
Invariance — the underlying group and well-formed constructions survive admissible coordinate changes.
Symmetry — automorphisms appear as stabilizers rather than being erased.
Classification — the stack classifies families with arrows, a richer structure than discrete labeling.
Hierarchy — height filtration orders characteristic-\(p\) loci by increasing height constraints.
Local–Global — coordinates and deformation charts are local, while descent assembles the global stack.
Equivalence — isomorphic formal groups are related inside the groupoid rather than forced to be literally equal.

The minimal prospective DAG uses strict subsumption under prime:representation. This captures the classifying presentation without claiming that \(\mathcal M_{FG}\) satisfies the existing Algebraic Stack node's customary finiteness boundary.

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 (85^th 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

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

the affine scheme of formal group laws \(\mathcal M_{FGL}\);
the Lazard ring or universal formal group law alone;
a coarse set or scheme of isomorphism classes;
the moduli stack of elliptic curves;
the moduli stack of \(p\)-divisible groups;
the moduli stack of formal groups of one fixed height;
a Lubin–Tate deformation space or Morava \(E\)-theory coefficient ring;
the Morava stabilizer group;
the generic catalog abstraction Algebraic Stack without a finiteness qualification;
a spectral or derived moduli stack of oriented formal groups;
chromatic filtration of spectra as though it were literally the height filtration;
the programming-data-structure meaning of “stack.”

References¶

[1] Jacob Lurie, “A Survey of Elliptic Cohomology,” in Algebraic Topology: The Abel Symposium 2007 (2009), especially §1.2, https://people.math.harvard.edu/~lurie/papers/survey.pdf. registry ↩a ↩b ↩c ↩d

[2] Paul G. Goerss, “Quasi-coherent sheaves on the moduli stack of formal groups,” arXiv:0802.0996 (2008), https://arxiv.org/abs/0802.0996. registry ↩a ↩b ↩c ↩d

[3] Rok Gregoric, “Moduli stack of oriented formal groups and the chromatic filtration,” arXiv:2111.15202 (2021), https://arxiv.org/abs/2111.15202. registry ↩a ↩b

[4] Brian D. Smithling, “On the moduli stack of commutative, 1-parameter formal Lie groups,” Journal of Pure and Applied Algebra 215, no. 4 (2011): 368–397, https://doi.org/10.1016/j.jpaa.2010.04.024. registry ↩

[5] Rok Gregoric, “Moduli stack of oriented formal groups and periodic complex bordism,” arXiv:2107.08657 (2021), https://arxiv.org/abs/2107.08657. registry ↩

[6] Daniel Quillen, “On the Formal Group Laws of Unoriented and Complex Cobordism Theory,” Bulletin of the American Mathematical Society 75 (1969): 1293–1298, https://doi.org/10.1090/S0002-9904-1969-12401-8. registry ↩

[7] “Moduli stack of formal group laws,” Wikipedia, frozen revision 1344140399, https://en.wikipedia.org/wiki/Moduli_stack_of_formal_group_laws. registry