Affine Supertrusses and Superbraces

Abstract: Brzeziński's trusses are `ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to define ($\mathbb{Z}_2$-graded) super-versions of trusses is addressed in this note. Taking our cue from the theory of algebraic supergroups, we define an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses. The representing superalgebras are equipped with acotruss' structure--a new concept in itself. We show that from an affine supertruss one can construct an affine superbrace, and so generalise Rump's braces to supermathematics. As an application of these constructions, we propose a generalisation of the set-theoretic Yang--Baxter equation to the setting of affine superschemes.

• The paper introduces a categorical extension of trusses to superalgebra, generalizing ring-like structures using Z₂-grading.
• It develops affine supertrusses and superbraces via representable functors and explicit supercotruss structures that enforce graded distributivity.
• The work establishes an anti-equivalence of categories and applies the framework to derive set-theoretical Yang–Baxter maps in supergeometry.

Affine Supertrusses and Superbraces: A Categorical Generalization to the Super Setting

Introduction

The paper "Affine Supertrusses and Superbraces" (2604.22381) presents a rigorous categorical extension of the truss concept, as introduced by Brzeziński, to the context of supermathematics. The principal motivation is to generalize "ring-like" algebraic objects—where the addition operation is replaced by an abelian heap and distributivity is defined in terms of ternary operations—to $\mathbb{Z}_2$-graded settings that underpin supergeometry and mathematical physics. The work unifies structures such as rings and Rump's braces, facilitating a categorical framework amenable to the representation-theoretic methods standard in superalgebraic geometry. Central results include the introduction of affine supertrusses and their representing "supercotrusses", a generalization of Rump's construction to affine superbraces, and the formulation of set-theoretic Yang–Baxter maps in the affine supergeometric setting.

Background and Motivations

The underlying philosophy treats heaps as group-like objects deprived of a fixed identity, facilitating observer- or gauge-free constructions, akin to approaches in physics where affine or frame-independent formulations (e.g., affine bundles) are preferred. Trusses extend heaps by equipping them with a distributive, associative binary operation, thus interpolating between braces and rings. The categorical roadblock in directly "superizing" trusses is that trusses lack an underlying vector space: the ternary operation (heap structure) does not permit the standard componentwise introduction of $\mathbb{Z}_2$-grading with Koszul signs. To surmount this, the study adopts the functor-of-points perspective from supergeometry, defining an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras (denoted $SAlg_\mathbb{K}$) to the category of trusses. The representing object (superalgebra) is then required to possess a supercotruss structure, parallel to the way affine supergroups correspond to Hopf superalgebras.

Definition and Construction of Affine Supertrusses and Supercotrusses

An affine supertruss is specified as a representable functor $T: SAlg_\mathbb{K} \rightarrow Truss$, i.e., $T(-) \cong \text{Hom}_{SAlg_\mathbb{K}}(X, -)$ for some superalgebra $X$. The functorial viewpoint ensures that "superness" is categorical: all constructions are natural in $A\in SAlg_\mathbb{K}$, and morphisms of affine supertrusses are natural transformations.

For $T$ to land in trusses (rather than just sets), $X$ must carry a compatible system of algebraic coproducts—a supercotruss structure—comprising a binary comultiplication $\Delta^{(2)}: X \to X\otimes X$ and a ternary comultiplication $\mathbb{Z}_2$0. These satisfy:

• $\mathbb{Z}_2$1 is an abelian quantum heap, a notion generalizing Skoda's quantum heaps and paralleling ternary Hopf algebras.
• $\mathbb{Z}_2$2 is a (not necessarily counital) coassociative coalgebra.
• Distributivity compatibility is encoded in co-distributive diagrams involving $\mathbb{Z}_2$3 and $\mathbb{Z}_2$4, including graded symmetries implemented by sign rules.

Through Yoneda's lemma, the structure maps of $\mathbb{Z}_2$5 correspond bijectively to natural transformations between functors of points, ensuring that heap and product structures are preserved functorially. The work proves an anti-equivalence of categories between affine supertrusses and the category of supercotrusses—extending the classical relationship between commutative affine group schemes and Hopf algebras to this new algebraic context.

Affine Superbraces and the Yang–Baxter Equation in the Super Setting

By analogy to Rump's construction, the existence of a counit (unit map) on $\mathbb{Z}_2$6 upgrades an affine supertruss to a unital affine supertruss, which functorially induces a brace structure—the affine superbrace—on $\mathbb{Z}_2$7 for each $\mathbb{Z}_2$8. The precise operations:

• The binary operation is derived from $\mathbb{Z}_2$9,
• The ternary (heap) operation from $SAlg_\mathbb{K}$0,
• The unit and zero elements correspond to maps from $SAlg_\mathbb{K}$1 to $SAlg_\mathbb{K}$2 satisfying counit and cozero conditions.

These affine superbraces provide a functorial apparatus for constructing set-theoretical solutions to the Yang–Baxter equation, but generalized to parametrized families over all superalgebras $SAlg_\mathbb{K}$3. Notably, the "super" aspect is internal: Koszul sign rules do not enter the Yang–Baxter map itself, but instead the grading is reflected in the functorial/categorical structure.

Several explicit low-dimensional affine supertruss examples are constructed, including those based on $SAlg_\mathbb{K}$4 (with $SAlg_\mathbb{K}$5) and the multiplicative supergroup $SAlg_\mathbb{K}$6. For each, the author computes the induced affine superbrace and exhibits nontrivial Yang–Baxter maps, such as the superflip and parity involution, confirming their compatibility with the superalgebra structure.

Equivalence of Categories and Theoretical Consequences

A central theoretical result is a proof of categorical anti-equivalence between:

• The category of affine supertrusses (as representable functors $SAlg_\mathbb{K}$7),
• The category of supercotrusses (superalgebras endowed with $SAlg_\mathbb{K}$8 compatible with the truss axioms).

Homomorphisms in this equivalence are morphisms of superalgebras preserving all comultiplication structure, including units/zeros when present. This result places supertrusses in the established functorial dictionary of algebraic supergeometry, setting the stage for further developments and applications.

Implications, Applications, and Future Directions

On the practical side, this framework offers a categorical and representation-theoretic approach toward constructing and analyzing ternary algebraic structures relevant in quantum algebra, integrable systems with anticommuting (fermionic) variables, and possibly gauge- or observer-independent physics. The paper speculates on applications to discrete integrable systems with lattice fermions and points toward the construction of new classes of Yang–Baxter maps by categorical means.

On the theoretical side, several directions are highlighted:

• The definition and categorical structure of "superparagons," analogues of truss ideals/quotients, remains open due to the subtleties of quotients of representable functors in supergeometry.
• Affine supertruss modules, representing heap-theoretic generalizations of modules over rings, can be developed via representable functors endowed with natural truss actions.
• The categorical construction invites the exploration of higher structures, such as bialgebra-like objects and noncommutative geometry in the super-ternary context.

Conclusion

This work constructs a comprehensive framework for affine supertrusses as a categorical and representable extension of Brzeziński’s trusses to superalgebra. The functorial approach, together with explicit constructions, anti-equivalence to supercotrusses, and the application to the Yang–Baxter equation over superschemes, substantially enriches the landscape of algebraic supergeometry and its applications to mathematical physics. The categorical methods presented suggest a wide array of future research in the theory and application of ternary and super-ternary algebraic structures, including open problems in the representation theory and quotient theory of these objects.