pith. sign in

arxiv: 2510.03148 · v2 · submitted 2025-10-03 · 🧮 math.AT · math.CO

Yamaguti algebras and noncrossing partitions

Fr\'ed\'eric Chapoton (IRMA) , Vladimir Dotsenko (IRMA) This is my paper

Pith reviewed 2026-05-18 10:52 UTC · model grok-4.3

classification 🧮 math.AT math.CO
keywords Yamaguti algebrasnoncrossing partitionsnonsymmetric operadscombinatorial algebraLie-Yamaguti algebras
0
0 comments X

The pith

The nonsymmetric operad of Yamaguti algebras is described combinatorially by noncrossing partitions without singleton blocks.

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

The paper establishes that Yamaguti algebras, recently defined by Das to act as envelopes for Lie-Yamaguti algebras arising in differential geometry, have their nonsymmetric operad given exactly by noncrossing partitions that contain no singleton blocks. This replaces an abstract algebraic definition with a direct combinatorial model in which the partitions label basis elements and govern the allowed compositions. A sympathetic reader would care because the model turns questions about relations and free objects in these algebras into concrete counting and gluing problems on diagrams. The result therefore links a new class of geometric algebras to well-studied combinatorial objects.

Core claim

We show that the nonsymmetric operad of Yamaguti algebras admits a simple combinatorial description via noncrossing partitions without singleton blocks.

What carries the argument

noncrossing partitions without singleton blocks, which label the basis of the operad and encode its composition rules by diagram gluing.

If this is right

  • Free Yamaguti algebras on a generating set can be constructed by linear combinations of the allowed partitions.
  • Composition of operations corresponds to the standard concatenation or nesting rules for noncrossing partitions.
  • The generating function for the dimensions of the operad components is given by the known enumeration of noncrossing partitions without singletons.
  • Relations among operations become combinatorial equivalences or rewrites on the partition diagrams.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same partitions might yield combinatorial models for other operads recently defined in the same geometric context.
  • One could check whether the description remains valid after passing to the symmetric operad or after adding extra generators.
  • The approach may connect Yamaguti algebras to existing combinatorial studies of noncrossing partitions in free probability and lattice theory.

Load-bearing premise

The definition of Yamaguti algebras introduced by Das is taken as the correct starting point and the chosen partitions capture the operad structure with neither missing relations nor extraneous elements.

What would settle it

An explicit identity satisfied by all Yamaguti algebras that cannot be realized by any composition of noncrossing partitions without singleton blocks, or a dimension mismatch between the space of n-ary operations and the count of such partitions on n labeled points.

read the original abstract

Recently, Das defined a new type of algebras, the Yamaguti algebras, which are supposed to serve as envelopes of Lie-Yamaguti algebras appearing naturally in differential geometry. We show that the nonsymmetric operad of Yamaguti algebras admit a simple combinatorial description via noncrossing partitions without singleton blocks.

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.

Referee Report

2 major / 2 minor

Summary. The paper claims that the nonsymmetric operad of Yamaguti algebras (following Das's definition) admits a direct combinatorial realization: its underlying vector space has a basis given by noncrossing partitions without singleton blocks, and the operad composition is realized by the standard noncrossing partition composition.

Significance. If the claimed isomorphism holds, the result supplies an explicit, parameter-free combinatorial basis and composition rule for the Yamaguti operad. This would facilitate dimension computations, explicit relation checks, and further study of the link to Lie-Yamaguti algebras arising in differential geometry. The construction is presented as an independent combinatorial model rather than a re-derivation of prior parameters.

major comments (2)
  1. [Theorem 3.4] Theorem 3.4 (or the main isomorphism statement): the argument that the combinatorial operad is isomorphic to the quotient of the free nonsymmetric operad by the Yamaguti ideal must explicitly establish both surjectivity (every element in the quotient is hit) and injectivity (no extraneous relations are imposed by restricting to noncrossing partitions without singletons). The current sketch relies on dimension agreement via generating functions; a direct verification for arities 3 and 4, or an explicit inverse map, is needed to confirm the basis is faithful.
  2. [§2.3] §2.3, Definition of the operad composition: it is not immediately clear from the text whether the standard noncrossing-partition composition of two partitions without singletons necessarily yields another partition without singletons, or whether an auxiliary projection or case analysis is required to stay inside the chosen basis.
minor comments (2)
  1. [Introduction] The citation to Das's original definition of Yamaguti algebras should include the precise reference (journal or arXiv number) in the introduction and in the preliminaries section.
  2. [§2] Notation for the composition product could be made uniform between the algebraic and combinatorial sides to avoid minor confusion when comparing the two operads.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below and have revised the manuscript accordingly to strengthen the proof of the isomorphism and clarify the composition.

read point-by-point responses

  1. Referee: [Theorem 3.4] Theorem 3.4 (or the main isomorphism statement): the argument that the combinatorial operad is isomorphic to the quotient of the free nonsymmetric operad by the Yamaguti ideal must explicitly establish both surjectivity (every element in the quotient is hit) and injectivity (no extraneous relations are imposed by restricting to noncrossing partitions without singletons). The current sketch relies on dimension agreement via generating functions; a direct verification for arities 3 and 4, or an explicit inverse map, is needed to confirm the basis is faithful.

    Authors: We agree that dimension agreement via generating functions alone does not rigorously establish the isomorphism, as it leaves open the possibility of additional relations or missing elements. In the revised manuscript we add an explicit inverse map: given an element of the quotient operad, we map it to the unique linear combination of noncrossing partitions without singletons obtained by resolving the Yamaguti relations via the combinatorial basis. We prove this map is well-defined on the quotient and bijective by showing that the kernel of the projection onto the combinatorial space coincides exactly with the Yamaguti ideal. We also include direct, hand-checked verifications for arities 3 and 4 that list all basis elements, apply the defining relations, and confirm that the resulting dimensions match and that no extraneous linear dependence appears among the noncrossing partitions. revision: yes

  2. Referee: [§2.3] §2.3, Definition of the operad composition: it is not immediately clear from the text whether the standard noncrossing-partition composition of two partitions without singletons necessarily yields another partition without singletons, or whether an auxiliary projection or case analysis is required to stay inside the chosen basis.

    Authors: The standard noncrossing-partition composition does preserve the no-singleton-block condition. We have inserted a short lemma in the revised §2.3 that proves closure: when two noncrossing partitions without singletons are composed, any block that would become a singleton after gluing is necessarily merged with an adjacent block because of the noncrossing condition and the way the outer partition’s blocks are attached. The proof is by case analysis on the possible attachment points (leftmost, rightmost, or internal block) and uses the fact that isolated points cannot arise without violating noncrossingness. A concrete example for arity-3 composition is included to illustrate the argument. revision: yes

Circularity Check

0 steps flagged

No circularity: combinatorial model constructed independently from Das definition

full rationale

The paper starts from the external definition of Yamaguti algebras due to Das and constructs an explicit nonsymmetric operad on the vector space spanned by noncrossing partitions without singleton blocks. It defines the composition operation combinatorially and verifies that the resulting structure satisfies exactly the Yamaguti relations while providing a basis for the quotient operad. This verification proceeds by direct algebraic checks and combinatorial bijections internal to the paper, without any reduction of the central isomorphism to a self-citation, a fitted parameter renamed as a prediction, or a self-definitional loop. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the external definition of Yamaguti algebras supplied by Das and on standard facts about nonsymmetric operads; no free parameters or new invented entities are introduced.

axioms (1)
  • domain assumption Definition of Yamaguti algebras as introduced by Das
    The paper builds directly on this recent external definition for the algebraic structure under study.

pith-pipeline@v0.9.0 · 5566 in / 1029 out tokens · 40660 ms · 2026-05-18T10:52:27.628833+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    The local h-vector of the cluster subdivision of a simplex

    Christos A. Athanasiadis and Christina Savvidou. “The local h-vector of the cluster subdivision of a simplex”. In:Sém. Lothar . Combin.66 (2011/12), Art. B66c, 21

    work page 2011

  2. [2]

    Irreducible Lie- Yamaguti algebras

    Pilar Benito, Alberto Elduque, and Fabián Martín-Herce. “Irreducible Lie- Yamaguti algebras”. In: J. Pure Appl. Algebra 213.5 (2009), pp. 795–808

    work page 2009

  3. [3]

    Irreducible Lie- Yamaguti algebras of generic type

    Pilar Benito, Alberto Elduque, and Fabián Martín-Herce. “Irreducible Lie- Yamaguti algebras of generic type”. In: J. Pure Appl. Algebra 215.2 (2011), pp. 108–130. 8 REFERENCES

    work page 2011

  4. [4]

    A polynomial identity for the bilinear operation in Lie-Yamaguti algebras

    Murray R. Bremner. “A polynomial identity for the bilinear operation in Lie-Yamaguti algebras”. In:Linear Multilinear Algebra62.12 (2014), pp. 1671– 1682

    work page 2014

  5. [5]

    Bremner and Vladimir Dotsenko

    Murray R. Bremner and Vladimir Dotsenko. Algebraic operads: An algo- rithmic companion. CRC Press, Boca Raton, FL, 2016, pp. xvii+365

    work page 2016

  6. [6]

    Associative-Yamaguti algebras

    Apurba Das. “Associative-Yamaguti algebras”. In: (2025). arXiv: 2509.03648 [math.RA]

    work page arXiv 2025

  7. [7]

    Endofunctors and Poincaré–Birk- hoff–Witt theorems

    Vladimir Dotsenko and Pedro Tamaroff. “Endofunctors and Poincaré–Birk- hoff–Witt theorems”. In: Int. Math. Res. Not. IMRN 16 (2021), pp. 12670– 12690

    work page 2021

  8. [8]

    Operads of (noncrossing) partitions, interacting bialgebras, and moment- cumulant relations

    Kurusch Ebrahimi-Fard, Loïc Foissy, Joachim Kock, and Frédéric Patras. “Operads of (noncrossing) partitions, interacting bialgebras, and moment- cumulant relations”. In: Adv. Math. 369 (2020), pp. 107170, 55

    work page 2020

  9. [9]

    Homotopy Bata- lin-Vilkovisky algebras

    Imma Gálvez-Carrillo, Andrew Tonks, and Bruno Vallette. “Homotopy Bata- lin-Vilkovisky algebras”. In: J. Noncommut. Geom. 6.3 (2012), pp. 539–602

    work page 2012

  10. [10]

    On generating series of finitely presented operads

    Anton Khoroshkin and Dmitri Piontkovski. “On generating series of finitely presented operads”. In: J. Algebra 426 (2015), pp. 377–429

    work page 2015

  11. [11]

    Geometry of homogeneous Lie loops

    Michihiko Kikkawa. “Geometry of homogeneous Lie loops”. In: Hiroshima Math. J. 5.2 (1975), pp. 141–179

    work page 1975

  12. [12]

    Sur les partitions non croisées d’un cycle

    G. Kreweras. “Sur les partitions non croisées d’un cycle”. In: Discrete Math. 1.4 (1972), pp. 333–350

    work page 1972

  13. [13]

    Algebraic operads

    Jean-Louis Loday and Bruno Vallette. Algebraic operads. Vol. 346. Grund- lehren der Mathematischen Wissenschaften. Springer, Heidelberg, 2012, pp. xxiv+634

    work page 2012

  14. [14]

    PBW-pairs of varieties of linear algebras

    Alexander A. Mikhalev and Ivan P . Shestakov. “PBW-pairs of varieties of linear algebras”. In: Comm. Algebra 42.2 (2014), pp. 667–687

    work page 2014

  15. [15]

    Invariant affine connections on homogeneous spaces

    Katsumi Nomizu. “Invariant affine connections on homogeneous spaces”. In: Amer . J. Math.76 (1954), pp. 33–65

    work page 1954

  16. [16]

    The On-Line Encyclopedia of Integer Sequences

    OEIS Foundation Inc. The On-Line Encyclopedia of Integer Sequences. Pub- lished electronically at https://oeis.org. 2025

    work page 2025

  17. [17]

    Nonhomogeneous quadratic duality and curvature

    L. E. Positselski ˘ı. “Nonhomogeneous quadratic duality and curvature”. In: Funktsional. Anal. i Prilozhen. 27.3 (1993), pp. 57–66, 96

    work page 1993

  18. [18]

    Relative Rota-Baxter operators and symplec- tic structures on Lie-Yamaguti algebras

    Yunhe Sheng and Jia Zhao. “Relative Rota-Baxter operators and symplec- tic structures on Lie-Yamaguti algebras”. In: Comm. Algebra 50.9 (2022), pp. 4056–4073

    work page 2022

  19. [19]

    On the free Lie-Yamaguti algebra

    Jonatan Stava. “On the free Lie-Yamaguti algebra”. In: (2024). arXiv: 2408. 10815 [math.RA]

    work page 2024

  20. [20]

    On the Lie triple system and its generalization

    Kiyosi Yamaguti. “On the Lie triple system and its generalization”. In: J. Sci. Hiroshima Univ. Ser . A21 (1957/58), pp. 155–160. INSTITUT DE RECHERCHE MATHÉMATIQUE AVANCÉE , UMR 7501, U NIVERSITÉ DE STRASBOURG ET CNRS, 7 RUE RENÉ -D ESCARTES , 67000 S TRASBOURG , F RANCE Email address: chapoton@unistra.fr INSTITUT DE RECHERCHE MATHÉMATIQUE AVANCÉE , UMR ...

    work page 1957