Statement

For k=1,2,3k=1,2,3, define the 3232-dimensional subspace

Vk:=r{±βk}Φk(e7)r.V_k:= \bigoplus_{r\in\{\pm\beta_k\}\sqcup\Phi_k} (\mathfrak e_7)_r.

Then VkV_k is an sl6SM\mathfrak{sl}_6^{\mathrm{SM}}-submodule of the adjoint e7\mathfrak e_7-module, and

VkΛ0C6Λ2C6Λ4C6Λ6C6=ΛevenC6,V_k\cong \Lambda^0\mathbb C^6 \oplus\Lambda^2\mathbb C^6 \oplus\Lambda^4\mathbb C^6 \oplus\Lambda^6\mathbb C^6 =\Lambda^{\mathrm{even}}\mathbb C^6,

the of the defining module.

This is an isomorphism of modules and . The subspace VkV_k is not generally a of e7\mathfrak e_7.

Restriction to sl5 and the Standard Model

For C6C5C\mathbb C^6\cong\mathbb C^5\oplus\mathbb C as sl5SM\mathfrak{sl}_5^{\mathrm{SM}}-modules, the gives

Λeven(C5C)ΛevenC5ΛoddC5=ΛC5.\Lambda^{\mathrm{even}}(\mathbb C^5\oplus\mathbb C) \cong \Lambda^{\mathrm{even}}\mathbb C^5 \oplus \Lambda^{\mathrm{odd}}\mathbb C^5 =\Lambda\mathbb C^5.

Consequently VkΛC5V_k\cong\Lambda\mathbb C^5 as an sl5SM\mathfrak{sl}_5^{\mathrm{SM}}-module, and its restriction to gSM\mathfrak g_{\mathrm{SM}} is the .

The two added singlets

The (e7)±βk(\mathfrak e_7)_{\pm\beta_k} commute with sl6SM\mathfrak{sl}_6^{\mathrm{SM}}, so they supply the trivial modules Λ0C6\Lambda^0\mathbb C^6 and Λ6C6\Lambda^6\mathbb C^6. Under gSM\mathfrak g_{\mathrm{SM}} they model the and its antiparticle, completing the .

Dependence on choices and conventions

The spaces VkV_k require a compatible and a labeling of the three root lines. Exchanging βk\beta_k with βk-\beta_k preserves VkV_k but swaps the two singlet root spaces and hence the conventional degree-zero/degree-six assignment. Particle and antiparticle labels are likewise conventional; the module isomorphism is the invariant statement.

References
  1. John C. Baez, “Three Generations in E7,” 2026, Theorem 12. arXiv:2608.06271.
  2. John C. Baez and John Huerta, “The Algebra of Grand Unified Theories,” Bulletin of the American Mathematical Society 47 (2010), 483–552. arXiv:0904.1556.
  3. Benjamin Nasmith, “An Exceptional Combinatorial Sequence and Standard Model Particles,” 2020. arXiv:2012.03933.