The Lie algebraic structure of colored networks

The paper proves that net_{C,N} admits a Levi decomposition with solvable radical [⟨C⟩ 0; a ⟨B⟩], semisimple part (c/⟨C⟩)⊕(b/⟨B⟩) ≃ sl_C ⊕ sl_B, and abelianization of dimension 2 generated by B and C (Theorem 6.1 and Corollary 6.2). It establishes c ≃ gl_C, b ≃ gl_B, [b,c]=0, a abelian, and [B,a]=a, [C,a]=−a, from which H1 = ⟨B,C⟩ follows . The candidate solution independently derives the same structure using a direct block-matrix computation of brackets, identifies the radical and a Levi factor, verifies [L,L] = sl_C ⊕ sl_B ⊕ a, and obtains dim H1 = 2. The only caveat is that the paper’s shorthand a ≃ Gr(C,N) is imprecise (it matches dimension and a standard chart but not the global object), yet this does not affect the stated Lie-algebraic conclusions .