Homogeneous Polynomial Laws

• Homogeneous polynomial laws are algebraic maps between modules defined by a scaling property (p_A(rx) = r^d p_A(x)) and uniquely decompose into homogeneous components.
• They leverage the universal properties of divided power algebras to connect symmetric multilinear forms with polynomial maps and enable algebraic adjunctions.
• The framework extends to weighted, bi-variant, and derived settings, underpinning applications in Clifford algebras and modern derived algebraic geometry.

A homogeneous polynomial law is an algebraic structure generalizing the notion of polynomial maps between modules over a commutative ring. In Roby’s formulation, a homogeneous polynomial law of degree $d$ between $R$-modules $M$ and $N$ is a family of maps $p_A: M \otimes_R A \to N \otimes_R A$ (where $A$ varies over all commutative $R$-algebras), which is functorial in $A$ and satisfies the key scaling property $p_A(r x) = r^d p_A(x)$ for all $r \in A$, $R$0. Homogeneous polynomial laws play a critical role in the theory of divided power algebras, generalized Clifford algebra constructions, and the universal properties of algebraic adjunctions (Bach, 8 Oct 2025, Chambert-Loir et al., 5 Dec 2025, Velanga, 2017).

1. Definition and Foundational Properties

The formal definition is as follows: for a commutative ring $R$1 and $R$2-modules $R$3, a polynomial law $R$4 consists of set maps $R$5 for each commutative $R$6-algebra $R$7, natural in $R$8. The law is homogeneous of degree $R$9 if for all $M$0, $M$1, $M$2. The set of such degree-$M$3 homogeneous laws is denoted $M$4 or $M$5 (Chambert-Loir et al., 5 Dec 2025, Bach, 8 Oct 2025).

Homogeneous polynomial laws naturally generalize both algebraic (single-variable) polynomials and symmetric multilinear forms. Every $M$6-linear map $M$7 induces an $M$8-homogeneous polynomial law by evaluating on the diagonal: $M$9. Conversely, every homogeneous law arises from a suitable symmetric multilinear map via the polarization process ((Velanga, 2017), Theorem 2.1).

Homogeneous laws decompose uniquely into homogeneous pieces: any polynomial law $N$0 admits a “locally finite” decomposition $N$1 with each $N$2 (Chambert-Loir et al., 5 Dec 2025).

2. Universal Properties via Divided Power Algebras

The divided power algebra $N$3, introduced by Roby, encodes the universal properties of homogeneous polynomial laws. For each $N$4, $N$5 is the $N$6th graded summand, and the assignment

$N$7

is an $N$8-linear isomorphism ((Chambert-Loir et al., 5 Dec 2025), Roby's Theorem). The map $N$9 (the $p_A: M \otimes_R A \to N \otimes_R A$0th divided power) defines a degree-$p_A: M \otimes_R A \to N \otimes_R A$1 homogeneous law, and all such laws factor uniquely through the universal property of $p_A: M \otimes_R A \to N \otimes_R A$2. This structure underpins the transfer of properties and constructions between polynomial laws and algebraic objects such as symmetric and exterior powers.

The divided power algebra itself is constructed via generators and relations: $p_A: M \otimes_R A \to N \otimes_R A$3 and admits a grading $p_A: M \otimes_R A \to N \otimes_R A$4 (Chambert-Loir et al., 5 Dec 2025).

3. Weighted and Bi-Variant Polynomial Laws

Bach’s formulation generalizes classical polynomial laws to weighted polynomial laws, allowing simultaneous interaction with multiple target algebras in different degrees. A $p_A: M \otimes_R A \to N \otimes_R A$5-weighted polynomial law $p_A: M \otimes_R A \to N \otimes_R A$6 consists of:

• $p_A: M \otimes_R A \to N \otimes_R A$7-modules $p_A: M \otimes_R A \to N \otimes_R A$8 and $p_A: M \otimes_R A \to N \otimes_R A$9,
• a sequence of associative $A$0-algebras $A$1,
• a (possibly inhomogeneous) law $A$2,
• for each $A$3, a law $A$4.

When $A$5 and all $A$6 with $A$7 for $A$8, classical homogeneous laws are recovered as the special case $A$9 (Bach, 8 Oct 2025). Bi-variant polynomial laws introduce additional components $R$0 for handling bilinear forms, as required in Clifford algebra constructions.

This categorical framework captures both classical and novel algebraic phenomena, unifying the treatment of objects such as generalized Clifford algebras, Weyl algebras, and projective restrictions.

4. Functoriality, Lifting, and Adjunctions

Homogeneous and weighted polynomial laws behave well with respect to base change and morphisms of schemes. The pull-back $R$1 induces $R$2 for any morphism $R$3. If $R$4 admits a left adjoint $R$5, and a law $R$6 is a lift of $R$7 along $R$8, there is an isomorphism of Clifford-type algebras: $R$9 (Bach, 8 Oct 2025). This functorial adjunction structure is foundational to the modern perspective on Clifford algebras and their variants.

The Krashen–Lieblich projective restriction exemplifies this theory: for a locally free sheaf $A$0 on $A$1 and projective bundle $A$2, the tautological homogeneous law on $A$3 lifts uniquely via $A$4, yielding explicit geometric models for Clifford-type constructs.

5. Derived and $A$5-Categorical Extensions

Homogeneous polynomial laws and their associated algebraic constructions extend to derived and higher-categorical contexts. In the $A$6-category of connective $A$7-modules ($A$8) and associative $A$9-algebras ($p_A(r x) = r^d p_A(x)$0), one considers derived homogeneous laws: triples $p_A(r x) = r^d p_A(x)$1 with $p_A(r x) = r^d p_A(x)$2 and appropriate universal property. The derived Clifford algebra functor $p_A(r x) = r^d p_A(x)$3 is the left adjoint to the forgetful functor, constructed via pushouts of free $p_A(r x) = r^d p_A(x)$4-algebras ((Bach, 8 Oct 2025), Theorem 5.1.3).

This framework recovers classical results on $p_A(r x) = r^d p_A(x)$5, and enables computation of derived or differential graded algebra (DGA) models with nontrivial higher homology, exhibiting base change compatibility: $p_A(r x) = r^d p_A(x)$6 This categorical upgrade clarifies the nature of Clifford and related algebras in complex and derived algebraic contexts.

6. Examples and Applications

Table: Representative Constructions Involving Homogeneous Polynomial Laws

Example	Data	Resulting Algebraic Object
Weyl Algebra	Bilinear form $p_A(r x) = r^d p_A(x)$7	$p_A(r x) = r^d p_A(x)$8
Quadratic Clifford	$p_A(r x) = r^d p_A(x)$9, $r \in A$0	$r \in A$1
Roby Non-diagonal	Homog. polys $r \in A$2 on $r \in A$3	$r \in A$4relations as in [KL A.1])
Projective Restriction	Tautological law on $r \in A$5 over $r \in A$6	$r \in A$7
Derived Clifford (Vezzosi)	Derived quadratic form	Recovers Vezzosi's derived Clifford algebra

Homogeneous polynomial laws fundamentally characterize the universal properties behind numerous algebraic and geometric constructions, including symmetric powers, binomial polynomials, monomial laws, and multipolynomials. Notably, every (multi)linear map between vector spaces (or Banach spaces) can be seen as a homogeneous polynomial via diagonalization, and polarization formulas extend to multipolynomial laws, with remainder terms precisely characterizable by combinatorial techniques (Velanga, 2017, Chambert-Loir et al., 5 Dec 2025).

7. Connections, Impact, and Current Directions

The theory of homogeneous polynomial laws serves as a connective tissue between algebraic geometry, representation theory, and homological algebra. Their categorical and universal properties undergird the development of crystalline cohomology, $r \in A$8-adic Hodge theory, and modern derived algebraic geometry (Bach, 8 Oct 2025, Chambert-Loir et al., 5 Dec 2025). Formalization efforts (e.g., in Lean/Mathlib) reinforce their foundational role and enable computational manipulation at the level of proof assistants (Chambert-Loir et al., 5 Dec 2025).

Current research directions include the systematic exploration of adjunctions between Clifford-type functors and their base categories, classification of weighted law lifts along morphisms of schemes, and explicit computation of derived Clifford algebras. Recent advances demonstrate that all classical and generalized Clifford constructions—ranging from Roby’s divided-power algebras to geometric and derived settings—fit naturally into the adjoint-colimit framework established by the universal properties of homogeneous (and weighted) polynomial laws (Bach, 8 Oct 2025).