arxiv: 2604.22381 · v2 · submitted 2026-04-24 · 🧮 math-ph · math.AG· math.MP· math.QA· math.RA

Recognition: 2 theorem links

· Lean Theorem

Affine Supertrusses and Superbraces

Andrew James Bruce

Authors on Pith no claims yet

Pith reviewed 2026-05-13 07:49 UTC · model grok-4.3

classification 🧮 math-ph math.AGmath.MPmath.QAmath.RA

keywords affine supertrusssuperbracecotrussRump braceYang-Baxter equationsuperalgebraaffine superschemetruss

0 comments

The pith

From an affine supertruss one can construct an affine superbrace, generalizing Rump's braces to supermathematics.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines affine supertrusses as representable functors from the category of unital associative supercommutative superalgebras to the category of trusses. It equips the representing superalgebras with a cotruss structure. The main result shows that such supertrusses yield affine superbraces. This construction generalizes Rump's braces into the superalgebra setting. As an application, the paper proposes a generalization of the set-theoretic Yang-Baxter equation to affine superschemes.

Core claim

An affine supertruss is a representable functor from unital associative supercommutative superalgebras to trusses, with the representing superalgebra carrying a cotruss structure. From any such supertruss an affine superbrace can be constructed. This extends the theory of braces due to Rump to the super context, and the constructions suggest a natural generalization of the set-theoretic Yang-Baxter equation to the category of affine superschemes.

What carries the argument

The affine supertruss as a representable functor to trusses together with the cotruss structure on its representing superalgebra.

Load-bearing premise

The cotruss structure on the representing superalgebra is compatible with the truss operations so that the brace construction preserves all identities and the super grading.

What would settle it

Finding a specific affine supertruss whose induced superbrace does not satisfy the brace axioms or fails to respect the grading would disprove the construction.

read the original abstract

Brzezi\'nski'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 a `cotruss' 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Bruce sets up affine supertrusses as representable functors and derives superbraces from a new cotruss structure on the representing superalgebra, giving a clean categorical lift of Rump's braces.

read the letter

The core move is defining an affine supertruss as a representable functor from unital associative supercommutative superalgebras to ordinary trusses, then adding a cotruss structure so that the representing object yields an affine superbrace. This produces the claimed generalization of Rump's braces and a proposed super version of the set-theoretic Yang-Baxter equation on affine superschemes. The approach stays inside standard category theory for supergroups, which keeps the grading built in from the start rather than patched on later. That is the actual new piece: the cotruss auxiliary and the explicit brace construction that follows from it. The paper does this without introducing free parameters or circular definitions, and the abstract claims the identities carry over once the cotruss is in place. On the positive side, the functorial framing makes the whole thing systematic and potentially reusable for other heap-based structures. The soft spot is the compatibility of the cotruss operations with the Z2-grading. The heap and product need to map homogeneous components to homogeneous components so that the brace identities survive in the super category; if that check is only sketched or relies on an implicit property of representable functors, the generalization could fail on concrete examples. A short direct verification on even and odd parts, or one low-dimensional example, would settle it. This is for readers already working with trusses, braces, or superalgebraic versions of Yang-Baxter equations. A specialist in mathematical physics or quantum algebra who knows the ordinary Rump construction would get immediate value and could test the grading claim quickly. It deserves a serious referee because the definitions are new, the claims are falsifiable, and the gap is narrow enough that revision can fix it.

Referee Report

1 major / 0 minor

Summary. The manuscript defines an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses, with the representing superalgebras equipped with a cotruss structure (heap operation plus compatible product). It constructs an affine superbrace from any affine supertruss, thereby generalizing Rump's braces to the super setting, and proposes a corresponding generalization of the set-theoretic Yang-Baxter equation to affine superschemes.

Significance. If the constructions hold, the work supplies a functorial route to super versions of trusses and braces, which could feed into supersymmetric integrable systems and quantum-group constructions. The categorical framing is a positive feature, as it makes the generalization of Rump's brace construction potentially automatic once the cotruss axioms are verified.

major comments (1)

[Definition of cotruss structure and subsequent brace construction] The central construction places a cotruss structure on the representing supercommutative superalgebra and claims that the resulting brace satisfies all truss identities while remaining graded. No explicit verification is supplied that the ternary heap operation and the distributivity rule map homogeneous components to homogeneous components of the correct parity; without this check the super-grading may fail to be preserved and the brace identities will not hold in the super category.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for explicit verification of grading preservation. We address the major comment below and will revise the manuscript to incorporate the requested check.

read point-by-point responses

Referee: [Definition of cotruss structure and subsequent brace construction] The central construction places a cotruss structure on the representing supercommutative superalgebra and claims that the resulting brace satisfies all truss identities while remaining graded. No explicit verification is supplied that the ternary heap operation and the distributivity rule map homogeneous components to homogeneous components of the correct parity; without this check the super-grading may fail to be preserved and the brace identities will not hold in the super category.

Authors: We agree that an explicit verification is required. Although the cotruss structure is defined algebraically on the representing supercommutative superalgebra and the functoriality ensures compatibility with the super category, the manuscript does not spell out the parity calculations. In the revised version we will add a dedicated paragraph (or short subsection) verifying that for homogeneous elements a, b, c the heap operation a + b − c and the distributivity rule produce outputs of the expected parity, using supercommutativity of the product and the Z_2-grading on the heap. This will confirm that the resulting affine superbrace satisfies the truss identities in the graded sense. revision: yes

Circularity Check

0 steps flagged

No significant circularity; purely definitional functorial constructions

full rationale

The paper defines affine supertrusses as representable functors from the category of unital associative supercommutative superalgebras to the category of trusses, equips the representing superalgebras with a cotruss structure by definition, and then explicitly constructs an affine superbrace from an affine supertruss. These steps are standard category-theoretic constructions and generalizations of existing notions (Rump's braces) without any fitted parameters, self-referential equations, or load-bearing self-citations. The proposed generalization of the set-theoretic Yang-Baxter equation is presented as an application of the constructions rather than a derived prediction that reduces to the inputs. The derivation chain is self-contained against external benchmarks in algebraic geometry and category theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

The central claim rests on standard category-theoretic notions of representable functors and on the established theory of supercommutative superalgebras; no numerical parameters are fitted and the new entities are introduced by definition rather than by additional postulates.

axioms (2)

standard math Standard axioms of category theory for functors and representability
The definition of affine supertruss is phrased entirely in the language of categories and functors.
domain assumption Standard properties of unital associative supercommutative superalgebras
The source category is taken to be the usual category of such superalgebras.

invented entities (3)

affine supertruss no independent evidence
purpose: Super-graded analogue of a truss realized via representable functor
Newly defined object that packages the truss structure functorially over superalgebras.
cotruss structure no independent evidence
purpose: Dual structure placed on the representing superalgebra
Auxiliary concept introduced to make the functorial definition work.
affine superbrace no independent evidence
purpose: Super-graded analogue of a brace obtained from an affine supertruss
Constructed object that generalizes Rump's braces.

pith-pipeline@v0.9.0 · 5465 in / 1656 out tokens · 52194 ms · 2026-05-13T07:49:44.686456+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 2.1. An affine supertruss (scheme) T is a representable functor T: SAlg_K → Truss. ... The representing superalgebra X must ... admit a pair of superalgebra homomorphisms Δ² : X → X⊗X, Δ³ : X → X⊗X⊗X ... satisfying (2.2a)–(2.2g) including co-distributivity with signed maps m135_X and m246_X.
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 2.1. ... T(A) is a two-sided semi-brace under the binary product and the abelian group operation t +_e u := [t, e, u] ...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

& Papamikos, G., Entwining Yang-Baxter maps over Grassmann algebras,Physica D472, Article ID 134469, 9 p

Adamopoulou, P. & Papamikos, G., Entwining Yang-Baxter maps over Grassmann algebras,Physica D472, Article ID 134469, 9 p. (2025)

work page 2025
[2]

Reine Angew

Baer, R., Zur Einf¨ uhrung des Scharbegriffs,J. Reine Angew. Math.160(1929), 199–207

work page 1929
[3]

& Duplij, S., Basic concepts of ternary Hopf algebras,J

Borowiec, A., Dudek, W.A. & Duplij, S., Basic concepts of ternary Hopf algebras,J. Kharkov Nat. Univ., ser. Nuclei, Particles and Fields,529, No. 3(15) 21–29 (2001)

work page 2001
[4]

& Saracco, P., Heaps of modules and affine spaces,Ann

Breaz, S., Brzezi´ nski, T., Rybo lowicz, B. & Saracco, P., Heaps of modules and affine spaces,Ann. Mat. Pura Appl.203, No. 1, 403–445 (2024)

work page 2024
[5]

& Saracco, P., Heaps of modules: categorical aspects, Forum Math

Breaz, S., Brzezi´ nski, T., Rybo lowicz, B. & Saracco, P., Heaps of modules: categorical aspects, Forum Math. Sigma13, Paper No. e166, 25 p. (2025)

work page 2025
[6]

Roumaine Math

Brzezi´ nski, T., Towards semi-trusses,Rev. Roumaine Math. Pures Appl.63(2018), no. 2, 75–89

work page 2018
[7]

Brzezi´ nski, T., Trusses: between braces and rings,Trans. Amer. Math. Soc.372(2019), no. 6, 4149–4176

work page 2019
[8]

Pure Appl

Brzezi´ nski, T., Trusses: paragons, ideals and modules,J. Pure Appl. Algebra224(2020), no. 6, 106258, 39 pp

work page 2020
[9]

Brzezi´ nski, T., Lie trusses and heaps of Lie affebras,PoS406, 12 pp., 307 (2022)

work page 2022
[10]

& Papworth, J., Affine Nijenhuis operators and Hochschild cohomology of trusses, SIGMA19, Paper 056, 22 p

Brzezi´ nski, T. & Papworth, J., Affine Nijenhuis operators and Hochschild cohomology of trusses, SIGMA19, Paper 056, 22 p. (2023). 12 AFFINE SUPERTRUSSES AND SUPERBRACES

work page 2023
[11]

& Rybo lowicz, B., Modules over trusses vs modules over rings: Direct sums and free modules,Algebr

Brzezi´ nski, T. & Rybo lowicz, B., Modules over trusses vs modules over rings: Direct sums and free modules,Algebr. Represent. Theor.25(2022), 1–23

work page 2022
[12]

& Wisbauer, R., Corings and Comodules, London Mathematical Society Lecture Note Series 309

Brzezi´ nski, T. & Wisbauer, R., Corings and Comodules, London Mathematical Society Lecture Note Series 309. Cambridge: Cambridge University Press (ISBN 0-521-53931-5/pbk). xi, 476 p. (2003)

work page 2003
[13]

& Fioresi R., Mathematical foundations of supersymmetry, EMS Series of Lectures in Mathematics,European Mathematical Society(EMS), Z¨ urich, 2011, xiv+287 pp

Carmeli, C., Caston, L. & Fioresi R., Mathematical foundations of supersymmetry, EMS Series of Lectures in Mathematics,European Mathematical Society(EMS), Z¨ urich, 2011, xiv+287 pp. ISBN: 978-3-03719-097-5

work page 2011
[14]

Doikou, A., Algebraic structures in set-theoretic Yang-Baxter & reflection equations, in Encyclopedia of Mathematical Physics 2nd ed,Elsevier, 2024, ISBN:9780323957038

work page 2024
[15]

Drinfel’d, V. G. On some unsolved problems in quantum group theory, Quantum groups, Proc. Workshops, Euler Int. Math. Inst. Leningrad/USSR 1990,Lect. Notes Math.1510, 1–8 (1992)

work page 1990
[16]

Algebra31, No

Etingof, P., Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation, Commun. Algebra31, No. 4, 1961–1973 (2003)

work page 1961
[17]

& Urba´ nski, P., Lie brackets on affine bundles,Ann

Grabowska, K., Grabowski, J. & Urba´ nski, P., Lie brackets on affine bundles,Ann. Global Anal. Geom.24, No. 2, 101–130 (2003)

work page 2003
[18]

& Mikhailov, A.V., Grassmann extensions of Yang-Baxter maps,J

Grahovski, G.G., Konstantinou-Rizos, S. & Mikhailov, A.V., Grassmann extensions of Yang-Baxter maps,J. Phys. A, Math. Theor.49, No. 14, Article ID 145202, 17 p. (2016)

work page 2016
[19]

& Lawson, M.V., Wagner’s theory of generalised heaps, Springer, Cham, 2017

Hollings, C.D. & Lawson, M.V., Wagner’s theory of generalised heaps, Springer, Cham, 2017. xv+189 pp. ISBN: 978-3-319-63620-7

work page 2017
[20]

Graduate Texts in Mathematics, 5, New York, NY: Springer

Mac Lane, S., Categories for the working mathematician, 2nd ed. Graduate Texts in Mathematics, 5, New York, NY: Springer. xii, 314 p, (1998)

work page 1998
[21]

Manin, Y.I., Gauge field theory and complex geometry, volume 289 of Grundlehren der Math- ematischen Wissenschaften, Springer-Verlag, Berlin, second edition, 1997

work page 1997
[22]

Z.20(1924), no

Pr¨ ufer, H., Theorie der Abelschen Gruppen,Math. Z.20(1924), no. 1, 165–187

work page 1924
[23]

Algebra307(2007), 153–170

Rump, W., Braces, radical rings, and the quantum Yang-Baxter equation,J. Algebra307(2007), 153–170

work page 2007
[24]

Commun.12, No

ˇSkoda, Z., Quantum heaps, cops and heapy categories,Math. Commun.12, No. 1, 1–9 (2007)

work page 2007
[25]

New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004

Varadarajan, V.S., Supersymmetry for mathematicians: an introduction, Courant Lecture Notes in Mathematics, 11. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004. viii+300 pp. ISBN: 0-8218-3574-2

work page 2004