Poisson Triple Systems
- The paper establishes that in any Poisson algebra, three canonical ternary operations—derived from the commutative product and Lie bracket—satisfy exactly nine degree‐five polynomial identities.
- It details a universal enveloping Poisson algebra construction where every Poisson triple system embeds uniquely as a direct sum T ⊕ (T ⊗ T), with the ideal having no elements in degree 1 or 2.
- The work also frames Poisson triple systems operadically as the Veronese square of the Poisson operad, uniting aspects of associative triple systems and Lie triple systems.
to=container.exec 彩神争霸如何json code='{"cmd":["bash","-lc","python - <<\'PY\'\nimport urllib.request\nurl=\'http://export.arxiv.org/api/query?search_query=all:%22Poisson%20triple%20systems%22&start=0&max_results=5\'\ntry:\n print(urllib.request.urlopen(url, timeout=10).read()[:500].decode())\nexcept Exception as e:\n print(type(e), e)\nPY"]}'}
{"stdout":"
to=container.exec ฝ่ายขายออนไลน์ code='{"cmd":["bash","-lc","python - <<\'PY\'\nimport urllib.request\nurl=\'https://export.arxiv.org/api/query?search_query=all:%22Poisson%20triple%20systems%22&start=0&max_results=5\'\nreq=urllib.request.Request(url, headers={\"User-Agent\":\"Mozilla/5.0\"})\ntry:\n data=urllib.request.urlopen(req, timeout=20).read()\n print(data[:1000].decode())\nexcept Exception as e:\n print(type(e), e)\nPY"]}'}
{"stdout":"<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n
Great. Need use arxiv search tool; via arxiv API okay. Need maybe search relevant phrase and maybe exact id papers. We can gather titles/confirm. Since user's data includes multiple relevant. Need perhaps use search to find title, maybe "Poisson triple systems" and maybe "Poisson brackets after Jacobi and Plucker". Let's query by title? Perhaps enough to confirm 2507.13212 and maybe 1809.04538 and 1307.1465 and maybe 2410.07950? Since user asks topic without specifying exact paper. Encyclopedic article should encompass the topic across meanings. Need be careful because "Poisson Triple Systems" appears directly in 2507.13212 but other papers use phrase interpreted broadly or analogically. The user's data block instructs every concrete claim must appear verbatim in data block. So we can only use those details. We can discuss core concept per 2507.13212 and then "related uses of triple-system language" from 1809, 2410, and "three-particle theta-function/Jacobian Poisson structures" [1307.1465]. But must not invent connections too strongly. Need mark inference phrases like "This suggests". Also avoid including claims from 1711 or 1708 unless accurate to topic. Could mention phrase used in a different sense for triples of quadratic spaces? But likely not necessary.
Need article structure 5-7 numbered h2 sections. Intro paragraph no heading. Use markdown, sections with numbered h2 titles. Probably 6 sections.
Need cite arxiv IDs at most once per section. Since mainly on 2507.13212 cite in intro and relevant specific claims in sections. If draw from single paper introduction can cite there, then specific other papers once per section. Since likely article draws primarily on single paper 2507.13212, cite intro maybe enough; but also if mention other papers in their sections use those IDs.
Need no meta commentary.
Need comprehensive encyclopedia style with technical depth. Need define key terms. Could include formulas that appear in data block. Ensure formulas exact from data. Must not introduce new formulas or abbreviations. Need maybe define Editor's term if coin shorthand—but likely unnecessary.
Need maybe include table? Could use a small table to compare three ternary operations and related structures. But detailed explanations outside. Fine.
Need make article coherent.
Need search results maybe list exact titles and ids. Let's fetch titles and maybe summaries from arxiv API for 2507.13212 and others.
to=container.exec 彩彩票娱乐 code='{"cmd":["bash","-lc","python - <<\'PY\'\nimport urllib.request, re\nids=['2507.13212','1809.04538','1307.1465','2410.07950']\nfor aid in ids:\n url=f'https://export.arxiv.org/api/query?id_list={aid}'\n req=urllib.request.Request(url, headers={\"User-Agent\":\"Mozilla/5.0\"})\n data=urllib.request.urlopen(req, timeout=20).read().decode()\n title=re.search(r'
{"stdout":"2507.13212 Poisson triple systems\n1809.04538 Poisson brackets after Jacobi and Plucker\n1307.1465 Three-particle Integrable Systems with Elliptic Dependence on Momenta and Theta Function Identities\n2410.07950 Poincaré superalgebras and triple systems\n","stderr":""}
Need maybe maybe 1711 not relevant if topic is exact phrase not broad. Probably omit to avoid dilution. 1708 likewise. The task is "Poisson Triple Systems" and data includes 2507 main and other related analogies. Could mention "the term has also been used more broadly or heuristically" and discuss that 1809 and 1307 are adjacent but not identical. But careful: 1809 paper does not use phrase, data says "does not use phrase but interpreted in broad sense". Since that explanatory framing is in user data, we can mention as such. 1307 similarly "in the language of Poisson triple systems..." but that's from detailed explanation, not original paper phrase. The user wants encyclopedia article on topic, likely can include "broader related usages." Must distinguish factual status. Like: "The phrase is used precisely in the ternary-operadic sense by Bremner and Elgendy. Related literature has invoked analogous 'triple' viewpoints for 3-dimensional Nambu/Jacobian Poisson brackets and for three-particle theta-function constructions; these are conceptually adjacent rather than identical notions." That is an inference? "conceptually adjacent rather than identical" plausible interpretation; should mark as such or couch neutrally. Maybe: "In related literature, triple-system language also appears in broader or interpretive senses..." supported by details.
Need ensure all concrete claims trace to data. For example universal enveloping Poisson algebra with dimension dim T +(dim T)2. Data says "when finite-dimensional: namely, dimU(T)=..." yes exact. Good.
Need maybe mention nine identities degree 5. We can present them all? Since encyclopedia comprehensive yes maybe list. Need not present all formulas? Could present key ones and say nine identities. But comprehensive maybe include all nine? The user wants comprehensive article for technical audience. We can include the formulas exactly as in data. Let's include a table of three operations perhaps, then paragraphs, then list of nine identities maybe not numbered list? Since sections use numbered H2 already; inside section could use displayed equations with labels like (PTS1)-(PTS9). This is okay. Need not invent labels? Data uses PTS1 etc. yes provided. Good.
Need structure 5-7 numbered h2. Perhaps:
Intro para.
1. Definition and place among triple systems
2. Canonical ternary operations in a Poisson algebra
3. Axioms and polynomial identities
4. Universal enveloping Poisson algebra
5. Operadic formulation and Veronese powers
6. Related triple-Poisson constructions in adjacent literature
Need maybe historical context integrated. In section 6 mention 1809, 1307, 2410. Could also mention examples from Lie algebras and polynomial Poisson algebra maybe section 2 or 4. Need maybe mention 1708? It discusses "triples" and Poisson algebras in 3D superintegrable systems; but again not same term. Maybe section 6 can mention as adjacent applied context? But perhaps too much breadth. We only have 6 sections, okay to mention 1708 and 1809 as "broader triple language." But 1708 not necessary. The topic exact phrase should not get cluttered.
Need maintain "Address your response to the user" - but article shouldn't say "you". probably not.
Need not include references section? Could mention citations inline. An encyclopedia article may not have dedicated references. Fine.
Need note char 0 in definition. Data says field char 0. mention exactly. Good.
Need carefully avoid non-data claims like "free PTS on generators" unless in data yes "free PTS T on generators". There is enough. Could mention "computer algebra (Maple, Hermite normal forms, LLL reduction)" from 2507 section 7 summary. But if article comprehensive on topic maybe mention computational derivation of identities; yes concrete claim appears. Could mention in operadic section or outlook. Need cite [2507.13212]. Could say computational identification employed Maple, Hermite normal forms, and LLL reduction. Good.
Need all claims cite maybe 2507 section intro enough? Still for specific claims maybe cite per section. Since at most once per section we can cite [2507.13212] once in each section.
Let's craft intro paragraph: define PTS precisely from 2025 paper: vector spaces with 3 trilinear operations satisfying 9 polynomial identities degree 5, abstracting ternary shadow of Poisson algebras. Mention universal enveloping Poisson algebra and operadic relation to Veronese square. Maybe mention there are broader uses of triple-system language in nearby literature. cite [2507.13212].
Section 1: Definition and motivation. Explain Poisson algebra, three ternary ops. maybe table. Include examples from Lie algebra zero product and polynomial Poisson algebra F[X,Y] standard bracket. Need exact formulas. Use table with operation and origin. Before/after explain symmetries in degree 3. cite [2507.13212]. Need maybe mention all degree-3 identities follow from symmetries. yes from data.
Section 2: Axioms and identities. Need present symmetries and nine identities. Could maybe not all nine if too long? But comprehensive. We can include the symmetries and selected key identities plus mention nine total. But "comprehensive" and technical audience may appreciate full list. Let's include all nine displayed equations. Need ensure formulas exactly as data. Check PTS6 and PTS9 formatting. Need be careful to copy accurately. Use explicit align. Could be long but okay.
Potential issue: some formulas not 100% clean because data line breaks maybe with spaces. Need reproduce exactly enough. Let's copy from data. For PTS7 etc okay. For PTS6, formula:
[(a,b,c),d,e] = ([a,b,d],e,c) - (a,b,[d,c,e]) - (d,c,[a,b,e]) - (e,c,[a,b,d]).
Okay.
For PTS9 right side terms exactly.
Need say [−,−,−] alone is Lie triple system via PTS8 plus symmetries. And <−,−,−> is commutative associative triple system via PTS1. That's from data.
Section 3: Universal enveloping Poisson algebra. Define free Poisson algebra P(T), inclusion, ideal I(T), quotient U(T). Mention key structural lemma: I(T) no degree1 or degree2, U(T) ≅ T ⊕ (T⊗T). Include formulas for degree-1/2 products and brackets maybe some representative formulas. Maybe enough with product and bracket on degree-1 and mixed; but comprehensive maybe include all? Could include core formulas: a·b, [a,b], mixed formulas. And describe degree-2 pair formulas in prose maybe "the paper also gives explicit formulas..." Since all concrete claims must be in data; can say "the authors give explicit formulas..." without rest. But maybe need more detail. Could include the explicit mixed formulas. Use cite once [2507.13212].
Need mention universal property. Good.
Section 4: Operadic and computational aspects. Explain Poisson operad, Poisson n-tuple systems as Veronese power, equality of naive and non-naive, Koszulity open, Poisson operad Koszul due quadratic Gröbner basis, but theorem not apply because counterexample monomial ((a([bc][de]))). Mention computational methods. Good.
Section 5: Examples and reductions. Discuss Lie algebra example and polynomial Poisson algebra F[X,Y]. Maybe also say if setting two operations zero recovers Lie triple systems. Could mention comparison to associative triple systems and Jordan triple systems exactly from data. Need avoid claim "reduction" maybe. Could include worked examples and derived substructures. Good.
Section 6: Related triple-system viewpoints. Discuss broader literature not identical:
- 1809 rank-2 Poisson brackets with Nambu/Jacobian derivation and 3D Jacobi elliptic system. mention paper does not use phrase but very explicitly connects 3D Poisson geometry, rank-2 Poisson tensors, Nambu brackets and "Poisson triple" picture. cite [1809.04538].
- 1307 three-particle integrable systems with genus-2 theta identities and nontrivial Poisson tensor on ((z,\Omega)); can view as "Poisson triple system" for three interacting degrees of freedom. cite [1307.1465].
- 2410 low-dimensional Poincare superalgebras where triple systems encode nested bracket of three supercharges; in n=3 corresponds to Filippov 3-Lie algebra, etc. mention conceptually adjacent to Nambu/Poisson triple structures. cite [2410.07950].
Need perhaps say these are broader or analogical usages, not the precise operadic notion introduced in 2025. Since that's an interpretation claim based on data. Data says 1809 does not use the phrase; 2410 explains how triple systems can be understood in relation to Poisson/Nambu-type triple brackets. So okay to say "These belong to adjacent rather than identical vocabularies." Might be an inference; maybe say "These works treat different objects, but all organise Poisson or superalgebraic information around ternary operations or triples." That's directly grounded.
Need maybe mention 1711? Probably not necessary. It's "Poisson summation formula for triple of quadratic spaces" different meaning of "Poisson triple system"; maybe could create confusion. Better omit since topic is algebraic PTS.
Need citations one per section max. If section 6 mentions three papers, can cite each once in sentences. At most once per section given paper. fine.
Need maybe introduction cite 2507 only. Fine.
Need ensure article starts with paragraph no heading. Do not greet.
Need same language English.
Potential challenge: citations inline [2507.13212] etc. Good.
Let's craft carefully, not too verbose but comprehensive.
Need maybe not use footnotes or "Editor's term".
Let's draft with about 1300-1800 words? Maybe 2000. Oververbosity 3 concise but enough. Since encyclopedia article comprehensive maybe moderate long.
Need ensure formulas and claims exact. Let's cross-check universal formulas from 2507 details:
a·b = 1/2(a⊗b+b⊗a), [a,b]=1/2(a⊗b-b⊗a). Mixed product: a·(b⊗c)=
Degree2*degree2 product and bracket formulas have [a,b] notation inside? Wait in product formula they wrote + [a,b]\otimes [c,d] + [c,d]\otimes [a,b]. But [a,b] here is degree2? Actually in U(T) [a,b] = 1/2(a⊗b - b⊗a). It may be confusing but okay. We can skip full degree2-degree2 formulas to avoid ambiguity.
Need maybe include theorem "Every polynomial identity satisfied by these ternary operations in every Poisson algebra is a consequence..." good.
Let's ensure section headings numbered with ## like "## 1. Conceptual origin". Good.
Let's draft with intro plus 6 sections.
Poisson triple systems are ternary algebraic structures extracted from Poisson algebras by retaining three canonical trilinear operations and axiomatizing exactly the identities they satisfy. In the sense introduced by Bremner and Elgendy, a Poisson triple system is a vector space over a field of characteristic (0) equipped with three trilinear maps (\langle-,-,-\rangle), (( -,-,-)), and ([ -,-,-]), subject to symmetry conditions in degree (3) and nine polynomial identities of degree (5). The construction is intended to stand to Poisson algebras as associative triple systems or Lie triple systems stand to associative or Lie algebras: it isolates the “pure ternary” layer of the binary theory. The same work proves that every Poisson triple system has a universal enveloping Poisson algebra and places the theory in the operadic language of Veronese powers of the Poisson operad [2507.13212].
1. Canonical ternary operations and conceptual origin
A classical Poisson algebra (A) has two binary operations: a commutative associative product (a\cdot b) and a Lie bracket ([a,b]), related by the Leibniz rule
[
[a,b\cdot c] = [a,b]\cdot c + b\cdot [a,c].
]
From these data one obtains three canonical ternary operations:
[
\langle a,b,c\rangle := a\cdot b \cdot c,
\qquad
(a,b,c) := [a,b]\cdot c,
\qquad
[a,b,c] := [[a,b],c].
]
These are the basic operations of a Poisson triple system [2507.13212].
The first operation is the iterated commutative product. The second combines one Lie bracket with one multiplication. The third is the usual Lie triple product derived from the binary bracket. The Leibniz rule implies that no fourth primitive ternary operation is needed: for example,
[
[a\cdot b, c] = (a,c,b) + (b,c,a).
]
The degree-(3) symmetries of these operations are part of the defining structure. The operation (\langle a,b,c\rangle) is fully symmetric in (a,b,c). The operation ((a,b,c)) is antisymmetric in the first two arguments:
[
(a,b,c) + (b,a,c) = 0.
]
The operation ([a,b,c]) satisfies the standard Lie-triple symmetries
[
[a,b,c] + [b,a,c] = 0,
\qquad
[a,b,c] + [b,c,a] + [c,a,b] = 0.
]
All polynomial identities of degree (3) among the three operations follow from these symmetries [2507.13212].
Two standard examples delimit the theory. Every Lie algebra becomes a Poisson algebra by taking the commutative product to be zero; then (\langle-,-,-\rangle) and (( -,-,-)) vanish, while ([a,b,c]=[[a,b],c]) recovers the associated Lie triple system. At the other end, the polynomial Poisson algebra (\mathbb{F}[X,Y]) with bracket
[
[f,g] = \frac{\partial f}{\partial X} \frac{\partial g}{\partial Y} - \frac{\partial f}{\partial Y} \frac{\partial g}{\partial X}
]
produces nontrivial instances of all three ternary operations [2507.13212].
2. Defining identities
Abstractly, a Poisson triple system is a vector space (V) with three trilinear maps
[
\langle -,-,-\rangle,\quad (-,-,-),\quad [-,-,-] : V3 \to V
]
satisfying the degree-(3) symmetries above and nine polynomial identities in degree (5). These nine relations are the defining axioms of the theory [2507.13212].
The first three govern the symmetric triple product and its interaction with (( -,-,-)):
[
\langle \langle a,b,c \rangle, d,e \rangle
\langle a,b, \langle c,d,e \rangle \rangle,
\tag{PTS1}
]
[
\langle (a,b,c),d,e \rangle
(a,b, \langle c,d,e \rangle),
\tag{PTS2}
]
[
(a,b,(c,d,e))
(c,d,(a,b,e)).
\tag{PTS3}
]
The next two express mixed compatibility between (\langle-,-,-\rangle), (( -,-,-)), and ([ -,-,-]):
[
\langle [a,b,c],d,e \rangle
((a,b,e),c,d)
+
(a,b,(c,e,d)),
\tag{PTS4}
]
[
(\langle a,b,c \rangle, d,e)
(a,d, \langle b,c,e \rangle)
+
(b,d, \langle a,c,e \rangle)
+
(c,d, \langle a,b,e \rangle).
\tag{PTS5}
]
Two further identities govern mixed nesting with the Lie-triple product:
[
[(a,b,c),d,e]
([a,b,d],e,c)
(a,b,[d,c,e])
(d,c,[a,b,e])
(e,c,[a,b,d]),
\tag{PTS6}
]
[
([a,b,c],d,e)
([a,d,b],c,e)
([b,d,a],c,e)
([c,d,a],b,e)
+
([c,d,b],a,e).
\tag{PTS7}
]
The eighth identity is the standard derivation identity for the Lie triple product:
[
[a,b,[c,d,e]]
[[a,b,c],d,e]
+
[c,[a,b,d],e]
+
[c,d,[a,b,e]].
\tag{PTS8}
]
The ninth is the most elaborate mixed relation:
[
\begin{aligned}
[ \langle a,b,c \rangle, d,e ]
&=
((a,d,b),e,c)
(a,d,(e,c,b))
+
((b,d,a),e,c)
(b,d,(e,c,a)) \
&\quad
+
((c,d,b),e,a)
(c,d,(e,a,b)).
\end{aligned}
\tag{PTS9}
]
These identities are not an arbitrary presentation. Bremner and Elgendy show that, in any Poisson algebra, the three canonical ternary operations satisfy exactly these relations in degree (5), and every other degree-(5) identity is a consequence of them [2507.13212].
Two structural consequences are immediate. The operation (\langle-,-,-\rangle) is a commutative associative triple product in the sense of ((\mathrm{PTS1})). The operation ([ -,-,-]), by the degree-(3) symmetries together with ((\mathrm{PTS8})), is a Lie triple system. A Poisson triple system therefore contains, in coupled form, both a commutative associative triple system and a Lie triple system.
3. Universal enveloping Poisson algebra
A central result is that every Poisson triple system embeds into an honest Poisson algebra in a universal way. Let (T) be a Poisson triple system. One starts with the free Poisson algebra (P(T)) on the underlying vector space of (T), with natural inclusion
[
\iota : T \hookrightarrow P(T).
]
One then imposes the relations identifying the given ternary operations on (T) with the ternary composites formed inside the Poisson algebra:
[
\iota(a)\cdot \iota(b)\cdot \iota(c) - \iota(\langle a,b,c\rangle),
]
[
[\iota(a),\iota(b)]\cdot \iota(c) - \iota((a,b,c)),
]
[
[[\iota(a),\iota(b)],\iota(c)] - \iota([a,b,c]).
]
If (I(T)) denotes the Poisson ideal generated by these elements, the universal enveloping Poisson algebra is
[
U(T) := P(T)/I(T).
]
By construction, the induced ternary operations on (U(T)) restrict to the original Poisson triple system structure on (T) [2507.13212].
The key structural lemma states that (I(T)) has no elements in degree (1) or (2), and that every element of (U(T)) can be written uniquely as a sum of an element of degree (1) and an element of degree (2). Consequently,
[
U(T) \cong T \oplus (T\otimes T)
]
as a vector space. For finite-dimensional (T), this yields
[
\dim U(T) = \dim T + (\dim T)2.
]
Under the identification (U(T)\cong T\oplus (T\otimes T)), the binary Poisson structure is given explicitly in terms of the ternary operations. For (a,b,c\in T),
[
a\cdot b = \tfrac12(a\otimes b + b\otimes a),
\qquad
[a,b] = \tfrac12(a\otimes b - b\otimes a),
]
[
a\cdot (b\otimes c) = \langle a,b,c\rangle + (b,c,a),
]
[
[a, b\otimes c]
(a,b,c) + (a,c,b) - [b,c,a].
]
The paper also gives explicit formulas for products and brackets of two degree-(2) elements [2507.13212].
This construction proves more than existence. It yields the universal property expected of an enveloping object, and it implies a completeness theorem: every polynomial identity satisfied by the three canonical ternary operations in every Poisson algebra is a consequence of the defining identities of Poisson triple systems [2507.13212].
4. Operadic formulation
Poisson triple systems admit a natural operadic description. Let (\mathbf{P}) denote the Poisson operad, generated in arity (2) by the binary commutative product and Lie bracket. For each (n\ge 2), the operad governing Poisson (n)-tuple systems is the suboperad generated by arity-(n) operations. Bremner and Elgendy identify this operad with the non-naive ((n-1))-st Veronese power (\mathbf{P}{[n-1]}) of the Poisson operad. In particular, Poisson triple systems correspond to the Veronese square
[
\mathbf{P}{[2]}.
]
This places the theory in the same operadic framework as the Veronese-power constructions studied by Dotsenko, Markl, and Remm [2507.13212].
For the Poisson operad, naive and non-naive Veronese powers coincide. The argument uses the Markl–Remm one-operation presentation of Poisson algebras and the regularity properties of the resulting operad. The conclusion is that the higher operations describing Poisson triple systems are exactly those appearing in arities (3,5,7,\dots) inside the Poisson operad [2507.13212].
The operadic homological picture is incomplete. The Poisson operad itself is known to be Koszul because it has a quadratic Gröbner basis, but the analogous statement for the operad of Poisson triple systems remains open. A general theorem of Dotsenko–Markl–Remm does not apply in this case: the hypothesis fails because of a counterexample normal monomial
[
(a([bc][de]))
]
that has the required weight but does not belong to the relevant Veronese square of the free operad [2507.13212].
The derivation of the defining identities was also computational. The paper reports the use of Maple, Hermite normal forms, and LLL reduction to extract the independent degree-(5) relations from expansions of ternary monomials into binary Poisson monomials [2507.13212].
5. Examples, reductions, and structural comparisons
The theory contains several familiar classes of triple systems as limiting cases. If one imposes
[
\langle-,-,-\rangle = 0,
\qquad
(-,-,-)=0,
]
then only ([ -,-,-]) remains, and the axioms reduce to those of a Lie triple system. This is exactly what happens when a Lie algebra is regarded as a Poisson algebra with zero commutative product [2507.13212].
At the opposite extreme, the symmetric operation (\langle-,-,-\rangle) alone satisfies an associative ternary law, so it behaves as a commutative associative triple system. The full Poisson triple system is therefore not merely a Lie-type object with decoration; it is a coupled structure in which associative and Lie-theoretic ternary parts interact through (( -,-,-)) and the mixed identities.
A standard geometric example comes from the polynomial Poisson algebra (\mathbb{F}[X,Y]). In that setting,
[
\langle f,g,h\rangle = fgh,
]
[
(f,g,h)
\left(
\frac{\partial f}{\partial X}\frac{\partial g}{\partial Y}
\frac{\partial f}{\partial Y}\frac{\partial g}{\partial X}
\right)h,
]
and
[
[f,g,h]
\frac{\partial}{\partial X}
\left(
\frac{\partial f}{\partial X}\frac{\partial g}{\partial Y}
\frac{\partial f}{\partial Y}\frac{\partial g}{\partial X}
\right)\frac{\partial h}{\partial Y}
\frac{\partial}{\partial Y}
\left(
\frac{\partial f}{\partial X}\frac{\partial g}{\partial Y}
\frac{\partial f}{\partial Y}\frac{\partial g}{\partial X}
\right)\frac{\partial h}{\partial X}.
]
This example shows that Poisson triple systems are not confined to purely formal operadic settings; they arise directly from standard Poisson-geometric constructions [2507.13212].
The theory also admits comparison with Jordan and associative triple systems. The symmetric operation (\langle-,-,-\rangle) is ternary-associative, but a Poisson triple system is not in general a Jordan triple system because its symmetric part is coupled to the Lie-derived operations. A plausible implication is that Poisson triple systems should be viewed as mixed ternary analogues of Poisson algebras rather than as refinements of any single pre-existing class.
6. Broader uses of “triple” in Poisson-related literature
The precise term Poisson triple system is attached to the ternary-operadic notion above, but related literature has organized Poisson structures around triples in broader senses.
In "Poisson brackets after Jacobi and Plucker" the central objects are rank-(2) Poisson brackets of the form
[
{x_i,x_j} = T_{ij}\,x_1x_2\cdots \widehat{x_i}\cdots \widehat{x_j}\cdots x_n,
]
which are realizable as Jacobian/Nambu brackets generated by (n-2) Casimirs; in dimension (3) the paper explicitly interprets the Jacobi-elliptic system
[
\dot{x} = yz,\qquad \dot{y} = -xz,\qquad \dot{z} = -k2xy
]
through Nambu’s ternary bracket and a bi-Hamiltonian pair of binary Poisson brackets [1809.04538]. This is not the Bremner–Elgendy definition, but it is a closely related ternary organization of Poisson geometry.
A different triple viewpoint appears in "Three-particle Integrable Systems with Elliptic Dependence on Momenta and Theta Function Identities". There the effective three-particle system, after removing the center of mass, is formulated on the Jacobian of a genus-(2) curve with coordinates ((z_1,z_2)) and period matrix (\Omega), and the Poisson tensor is encoded by brackets
[
{z_i,\Omega_{jk}}=P_{ijk}(\Omega),
\qquad
{z_i,z_j}=0,
\qquad
{\Omega_{ij},\Omega_{kl}}=0.
]
The commuting Hamiltonians
[
H_1(z|\Omega)=\frac{\theta_{11}{(2)}(z|\Omega)}{\theta{(2)}(z|\Omega)},
\qquad
H_2(z|\Omega)=\frac{\theta_{22}{(2)}(z|\Omega)}{\theta{(2)}(z|\Omega)}
]
are controlled by genus-(2) theta identities, and the paper describes the resulting three-particle integrable structure as a “Poisson triple system” in an interpretive sense tied to three interacting degrees of freedom [1307.1465].
Triple-system language also enters neighboring algebraic contexts. "Poincaré superalgebras and triple systems" shows that, in dimensions (1,2,3), the odd–odd–odd Jacobi identity for certain Poincaré superalgebras is encoded by ternary products of anti-Lie, polarised anti-Jordan, or Filippov type, with triple product
[
[v,w,u] := c(v,w)\cdot u.
]
The paper explicitly relates these low-dimensional triple systems to Poisson/Nambu-type triple brackets at the level of structural analogy [2410.07950].
Taken together, these works indicate that “Poisson triple systems” now names a specific ternary abstraction of Poisson algebras, while adjacent literature continues to use triple-based formalisms for Nambu mechanics, higher-genus integrable systems, and low-dimensional superalgebraic structures. The common theme is that ternary operations or distinguished triples often encode information that binary Poisson brackets alone do not display transparently.
