Affine Superbrace Overview

• Affine superbrace is a functorial supergeometric structure induced from an affine supertruss with a counit, converting a heap operation into an additive group law.
• It employs representable functors from unital associative supercommutative superalgebras to trusses, ensuring compatibility with superalgebra morphisms.
• Affine superbraces generalize Rump’s classical brace formalism, linking semi-braces with affine supergroup examples and providing a framework for Yang–Baxter solutions.

Searching arXiv for papers on affine superbraces and closely related structures. An affine superbrace is a brace-like structure in supergeometry obtained from an affine supertruss with a counit. In the formulation introduced in "Affine Supertrusses and Superbraces" (Bruce, 24 Apr 2026), one starts with a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses, then uses a distinguished point supplied by a counit to convert the underlying abelian heap operation into an ordinary abelian group law. The resulting object is a representable functor to the category of two-sided semi-braces, and is presented as a generalization of Rump’s braces to supermathematics.

1. Definition and conceptual setting

The source notion is an affine supertruss, defined as a representable functor

$T : {SAlg}_{\mathbb K} \longrightarrow {Truss},$

where ${SAlg}_{\mathbb K}$ is the category of unital associative supercommutative superalgebras over a commutative ring $\mathbb K$, and ${Truss}$ is the category of trusses (Bruce, 24 Apr 2026). Representability means that

$$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$

for some representing superalgebra $X$.

An affine superbrace is not introduced independently of this framework. Rather, it arises canonically from an affine supertruss whose representing object carries a counit. The paper defines the affine superbrace as the representable functor

$Br : {SAlg}_{\mathbb K}\to {Bra}$

obtained from an affine unital supertruss, where the target category is the category of two-sided semi-braces (Bruce, 24 Apr 2026). In this sense, the affine superbrace is a functorial and supergeometric analogue of the passage from a unital truss to a brace-like object.

This construction is explicitly positioned as a super-analogue of the brace formalism developed in the non-super setting. In particular, the earlier paper "Affine structures on groups and semi-braces" (Stefanelli, 2022) shows that affine structures on groups form a category equivalent to that of semi-braces, and that Rump’s affine description of braces is recovered as an abelian/groupal special case. The super version replaces groups and set-based algebraic structures by representable functors on superalgebras.

2. Affine supertrusses and the representing supercotruss

The representing object of an affine supertruss is a supercommutative superalgebra equipped with two coproduct-type maps, giving what the paper calls a supercotruss. Concretely, this is a triple

$(X,\Delta^{(2)},\Delta^{(3)})$

where

$$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$

are superalgebra homomorphisms (Bruce, 24 Apr 2026).

These maps encode the truss structure on each $T(A)$. If ${SAlg}_{\mathbb K}$0 is a superalgebra and ${SAlg}_{\mathbb K}$1, the binary product and ternary heap operation are recovered as

${SAlg}_{\mathbb K}$2

${SAlg}_{\mathbb K}$3

where ${SAlg}_{\mathbb K}$4 denotes the ordered multiplication map ${SAlg}_{\mathbb K}$5 (Bruce, 24 Apr 2026).

The ternary operation is required to satisfy the heap identities

${SAlg}_{\mathbb K}$6

and, in the abelian case,

${SAlg}_{\mathbb K}$7

The paper also recalls the para-associative identity and transposition rule

${SAlg}_{\mathbb K}$8

A truss is then an abelian heap equipped with associative multiplication satisfying

${SAlg}_{\mathbb K}$9

At the level of the representing algebra, these become co-identities. The paper requires $\mathbb K$0 to be an abelian quantum heap, encoded by

$\mathbb K$1

$\mathbb K$2

$\mathbb K$3

together with binary coassociativity

$\mathbb K$4

The distributivity constraints are expressed by

$\mathbb K$5

$\mathbb K$6

Here

$\mathbb K$7

$\mathbb K$8

with

$\mathbb K$9

The paper proves that if ${Truss}$0 is an affine supertruss, then its representing object is precisely such a triple ${Truss}$1, and that this description is obtained via Yoneda’s lemma (Bruce, 24 Apr 2026).

3. Construction from affine supertruss to affine superbrace

The passage to an affine superbrace requires a counit on the representing supercotruss. Specifically, the paper assumes a counit

${Truss}$2

satisfying

${Truss}$3

For every superalgebra ${Truss}$4, this yields a distinguished element

${Truss}$5

where ${Truss}$6 is the canonical inclusion (Bruce, 24 Apr 2026).

The heap operation on ${Truss}$7 is then converted into an ordinary group law by the standard heap-to-group construction: ${Truss}$8 With the original binary multiplication ${Truss}$9, the paper proves the following lemma: for every $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$0, $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$1 is a two-sided semi-brace under the operations $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$2 and $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$3 (Bruce, 24 Apr 2026).

This is the defining mechanism of an affine superbrace. The essential point is that the “addition” is not primitive; it is induced from the heap structure once a distinguished point has been chosen functorially through the counit. A plausible implication is that the affine superbrace is best understood as a unital refinement of the affine supertruss rather than as an independent first-order structure.

4. Functoriality, duality, and categorical form

The construction is functorial in the superalgebra argument. If $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$4 is a superalgebra morphism, then $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$5 is a truss morphism and also preserves the induced brace operations: $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$6

$$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$7

Accordingly, the semi-brace structure exists fiberwise on each $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$8 but is not ad hoc; it is compatible with the functor-of-points formalism (Bruce, 24 Apr 2026).

The ambient categorical picture is also explicit. The paper defines the category of supercotrusses $$T(-) \cong \operatorname{Hom}_{SAlg_{\mathbb K}}(X,-)$$9, with morphisms $X$0 satisfying

$X$1

$X$2

It then proves an equivalence of categories

$X$3

so affine supertrusses and their representing supercotrusses are dual to one another (Bruce, 24 Apr 2026).

The non-super analogue clarifies the structural intent of this result. In (Stefanelli, 2022), affine structures on groups and semi-braces are shown to be equivalent formulations of the same algebraic data, with functors $X$4 and $X$5 satisfying

$X$6

This suggests that the supergeometric formalism is designed to play a comparable unifying role, although the super paper formulates its main equivalence at the level of affine supertrusses and supercotrusses rather than directly as an equivalence for affine superbraces.

5. Brace identities, examples, and explicit formulas

The induced structure satisfies the expected two-sided brace relations. For all $X$7, the paper records

$X$8

$X$9

These are described as the super/functorial versions of the brace distributive law, with the important qualification that the “superness” is internal to the representing superalgebra and to the functorial dependence on superalgebras $Br : {SAlg}_{\mathbb K}\to {Bra}$0, rather than a sign rule imposed directly on a tensor product of graded modules (Bruce, 24 Apr 2026).

A concrete example is given by the superalgebra $Br : {SAlg}_{\mathbb K}\to {Bra}$1, with

$Br : {SAlg}_{\mathbb K}\to {Bra}$2

$Br : {SAlg}_{\mathbb K}\to {Bra}$3

$Br : {SAlg}_{\mathbb K}\to {Bra}$4

For $Br : {SAlg}_{\mathbb K}\to {Bra}$5, the operations become

$Br : {SAlg}_{\mathbb K}\to {Bra}$6

$Br : {SAlg}_{\mathbb K}\to {Bra}$7

The counit is

$Br : {SAlg}_{\mathbb K}\to {Bra}$8

so

$Br : {SAlg}_{\mathbb K}\to {Bra}$9

and the induced affine superbrace addition is

$(X,\Delta^{(2)},\Delta^{(3)})$0

(Bruce, 24 Apr 2026).

A second example uses $(X,\Delta^{(2)},\Delta^{(3)})$1, coming from an affine abelian supergroup. The induced truss operations are

$(X,\Delta^{(2)},\Delta^{(3)})$2

$(X,\Delta^{(2)},\Delta^{(3)})$3

again with counit yielding $(X,\Delta^{(2)},\Delta^{(3)})$4. The associated affine superbrace is then obtained by the same formulas $(X,\Delta^{(2)},\Delta^{(3)})$5 and $(X,\Delta^{(2)},\Delta^{(3)})$6 (Bruce, 24 Apr 2026).

6. Relation to braces, skew braces, and Yang–Baxter theory

The affine superbrace is presented as a genuine generalization of Rump’s braces. The paper states that classical braces are recovered after choosing an ordinary algebraic point, whereas in the super setting everything is parameterized by superalgebras $(X,\Delta^{(2)},\Delta^{(3)})$7 (Bruce, 24 Apr 2026). In the non-super framework, (Stefanelli, 2022) shows that if the additive group of the associated semi-brace is abelian, then one gets an ordinary brace, and that Rump’s earlier affine structures appear as abelian affine structures. This situates affine superbraces within a direct extension of the brace/semi-brace tradition rather than as an unrelated construction.

The Yang–Baxter connection is one of the stated applications. The paper uses affine superbraces to produce families of solutions to the set-theoretic Yang–Baxter equation. For

$(X,\Delta^{(2)},\Delta^{(3)})$8

the braid relation is

$(X,\Delta^{(2)},\Delta^{(3)})$9

equivalently

$$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$0

$$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$1

$$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$2

The paper emphasizes that these are not super Yang–Baxter equations in the graded-linear sense; rather, the superness is internal to the affine superscheme and its functorial parameterization (Bruce, 24 Apr 2026).

A nearby but distinct development appears in "Affine Rota-Baxter groups and affine skew braces" (Ma et al., 22 Jun 2026). That paper introduces affine skew braces and shows that affine skew braces naturally give rise to Yang–Baxter solutions on affine schemes, but it also states explicitly that it does not define an affine superbrace and includes no $$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$3-grading, no supercommutativity, no super-Hopf algebra, and no super-brace definition. This contrast is significant: affine superbraces belong specifically to the supergeometric extension of trusses and braces, whereas affine skew braces in (Ma et al., 22 Jun 2026) remain within ordinary affine-scheme geometry.

Taken together, these works place affine superbraces at the intersection of truss theory, brace theory, affine-scheme methods, and supergeometry. Their defining feature is the conversion of a functorial abelian heap into a brace-like additive law by means of a counit, producing two-sided semi-braces on every $$\Delta^{(2)}:X\to X\otimes X, \qquad \Delta^{(3)}:X\to X\otimes X\otimes X$$4-point set and thereby extending the brace formalism from sets and groups to affine superschemes (Bruce, 24 Apr 2026).