Symmetric Poisson Structures

• Symmetric Poisson structures are defined by symmetric bivector fields coupled with torsion-free connections that satisfy a specialized integrability condition.
• They generalize classical Poisson geometry by replacing skew-symmetric tensors with symmetric ones, thereby incorporating pseudo-Hessian, Koszul-Vinberg, and shifted structures.
• These structures facilitate invariant foliations, reduction techniques, and dynamical models in both affine and algebroid settings, broadening geometric applications.

Symmetric Poisson structures form a family of constructions that transpose characteristic features of Poisson geometry into settings where symmetry, rather than skew-symmetry, is primary. In current usage, the expression covers several non-identical notions: a symmetric bivector field coupled to a torsion-free connection and satisfying a connection-dependent integrability law; contravariant pseudo-Hessian and Koszul-Vinberg structures, where symmetric $2$-tensors play the role of Poisson tensors on affine or left-symmetric algebroid backgrounds; shifted Poisson structures whose low-shift components are invariant symmetric tensors; and Poisson structures obtained from symmetry reduction or Poisson symmetric spaces (Moučka et al., 21 Aug 2025, Abouqateb et al., 2020, Wang et al., 2020, Kemp et al., 2024).

1. Scope of the notion

The phrase “symmetric Poisson structure” does not designate a single universally fixed definition. In the differential-geometric literature, it can mean a pair $(\vartheta,\nabla)$ with $\vartheta\in \Gamma(\Sym^2 TM)$ and $\nabla$ torsion-free, subject to a symmetric Schouten-type condition. In affine and algebroid settings, it can mean a symmetric bivector $h\in \Gamma(S^2TM)$ or $H\in \Gamma(S^2A)$ satisfying a contravariant Codazzi identity or a Koszul-Vinberg self-commutation relation. In derived and representation-theoretic settings, the symmetric aspect appears through invariant symmetric tensors, symmetric Leibniz products, or Poisson symmetric-space structures.

Setting	Symmetric datum	Integrability or interpretation
Manifold with torsion-free connection	$\vartheta \in \Gamma(\Sym^2 TM)$	$[\vartheta,\vartheta]_s=0$
Affine manifold $(M,\nabla)$	$h\in \Gamma(S^2TM)$	contravariant Codazzi equation
Left-symmetric algebroid $(\vartheta,\nabla)$0	$(\vartheta,\nabla)$1	$(\vartheta,\nabla)$2
Jacobi-left-symmetric algebroid $(\vartheta,\nabla)$3	$(\vartheta,\nabla)$4	$(\vartheta,\nabla)$5
$(\vartheta,\nabla)$6-shifted Poisson on $(\vartheta,\nabla)$7	$(\vartheta,\nabla)$8	adjoint invariance

These usages are linked by an explicit analogy repeatedly stated in the literature: ordinary Poisson geometry uses skew-symmetric tensors and Lie-type structures, whereas the symmetric theories replace them by symmetric tensors and left-symmetric, Hessian, or connection-dependent structures. At the same time, some papers use “symmetric” in the sense of Poisson symmetric spaces or symmetric Leibniz geometry rather than symmetric bivector fields, so the term is broader than a single tensorial definition (Kimura et al., 2024, Chekhov et al., 2014, Albuquerque et al., 2020).

2. Reduction, Poisson-Lie symmetry, and symmetric spaces

A classical source of Poisson structures with symmetry is the reduction of rigid-body phase space. For the symmetric top, the unreduced phase space is

$(\vartheta,\nabla)$9

with canonical nonzero brackets

$\vartheta\in \Gamma(\Sym^2 TM)$0

The canonical Poisson structure is invariant under the right action of $\vartheta\in \Gamma(\Sym^2 TM)$1, but the Hamiltonian of a symmetric top is invariant only under the subgroup

$\vartheta\in \Gamma(\Sym^2 TM)$2

corresponding to rotations about the body symmetry axis. The invariant variable is the third column $\vartheta\in \Gamma(\Sym^2 TM)$3, and the quotient

$\vartheta\in \Gamma(\Sym^2 TM)$4

inherits the reduced Lie-Poisson brackets

$\vartheta\in \Gamma(\Sym^2 TM)$5

The Casimirs are

$\vartheta\in \Gamma(\Sym^2 TM)$6

and for $\vartheta\in \Gamma(\Sym^2 TM)$7 the relevant coadjoint orbit is diffeomorphic to $\vartheta\in \Gamma(\Sym^2 TM)$8, with KKS form

$\vartheta\in \Gamma(\Sym^2 TM)$9

After adjoining the untouched translational variables, the reduced space becomes

$\nabla$0

with reduced Hamiltonian

$\nabla$1

Here the term

$\nabla$2

is a Casimir contribution and can be dropped from the Hamiltonian dynamics (Zub et al., 2014).

A second, more explicitly group-theoretic use of symmetry appears in the Poisson geometry of bilinear forms. The space $\nabla$3 of bilinear forms on $\nabla$4, identified with $\nabla$5, carries the quadratic bracket

$\nabla$6

For the congruence action $\nabla$7, the mixed bracket on $\nabla$8 is forced into exactly three cases: $\nabla$9 Passing from pairs $h\in \Gamma(S^2TM)$0 to triples $h\in \Gamma(S^2TM)$1 and the action $h\in \Gamma(S^2TM)$2, one obtains an involutive anti-Poisson automorphism

$h\in \Gamma(S^2TM)$3

whose fixed-point set

$h\in \Gamma(S^2TM)$4

gives a quotient $h\in \Gamma(S^2TM)$5 immersed into $h\in \Gamma(S^2TM)$6 by

$h\in \Gamma(S^2TM)$7

The resulting identification makes $h\in \Gamma(S^2TM)$8 into a Poisson symmetric space in the sense of Fernandes (Chekhov et al., 2014).

A related Poisson-Lie-symmetric picture appears on

$h\in \Gamma(S^2TM)$9

where the holomorphic Poisson bracket contains quadratic terms and the constant coupling $H\in \Gamma(S^2A)$0. The natural left actions of $H\in \Gamma(S^2A)$1 and $H\in \Gamma(S^2A)$2 are Poisson for the standard multiplicative Poisson-Lie bracket

$H\in \Gamma(S^2A)$3

For the $H\in \Gamma(S^2A)$4-action, the local moment map is built from

$H\in \Gamma(S^2A)$5

The special case $H\in \Gamma(S^2A)$6 provides a building block, and Theorem 1.1 constructs a local holomorphic Poisson diffeomorphism

$H\in \Gamma(S^2A)$7

so the Poisson structure decouples locally into $H\in \Gamma(S^2A)$8 commuting $H\in \Gamma(S^2A)$9 blocks. The tensor is non-degenerate on a dense open subset, but not globally symplectic (Fairon et al., 2021).

3. Connection-dependent symmetric bivectors

The most explicit modern definition of a symmetric Poisson structure replaces the skew bivector $\vartheta \in \Gamma(\Sym^2 TM)$0 of ordinary Poisson geometry by a symmetric bivector

$\vartheta \in \Gamma(\Sym^2 TM)$1

which defines a symmetric bracket on functions,

$\vartheta \in \Gamma(\Sym^2 TM)$2

and a gradient map

$\vartheta \in \Gamma(\Sym^2 TM)$3

A basic obstruction is that the naive analogues of the usual Poisson integrability conditions fail: the ordinary skew Schouten bracket gives no content for a symmetric bivector, and both plausible Jacobiators force the symmetric bracket to vanish. To recover a nontrivial theory one fixes a torsion-free connection $\vartheta \in \Gamma(\Sym^2 TM)$4, introduces the symmetric Lie bracket

$\vartheta \in \Gamma(\Sym^2 TM)$5

extends it to a symmetric Schouten bracket $\vartheta \in \Gamma(\Sym^2 TM)$6, and defines a symmetric Poisson structure to be a pair

$\vartheta \in \Gamma(\Sym^2 TM)$7

satisfying

$\vartheta \in \Gamma(\Sym^2 TM)$8

The integrability condition is concretely

$\vartheta \in \Gamma(\Sym^2 TM)$9

hence equivalent to the cyclic identity

$[\vartheta,\vartheta]_s=0$0

In terms of the bracket on functions,

$[\vartheta,\vartheta]_s=0$1

where

$[\vartheta,\vartheta]_s=0$2

Accordingly, the theory is not governed by the Jacobi identity of the symmetric bracket alone; the Jacobiator is controlled by the symmetric Lie bracket of gradients (Moučka et al., 21 Aug 2025).

The same paper distinguishes between symmetric and strong symmetric Poisson structures. A pair $[\vartheta,\vartheta]_s=0$3 is strong if

$[\vartheta,\vartheta]_s=0$4

equivalently

$[\vartheta,\vartheta]_s=0$5

This is further equivalent to

$[\vartheta,\vartheta]_s=0$6

and therefore to

$[\vartheta,\vartheta]_s=0$7

The resulting hierarchy is

$[\vartheta,\vartheta]_s=0$8

and the inclusions are strict. This distinction is essential because equivalent formulations in ordinary Poisson geometry become inequivalent once skew-symmetry is replaced by symmetry.

4. Foliations, cotangent dynamics, and linear models

Given $[\vartheta,\vartheta]_s=0$9, the characteristic distribution and characteristic module are

$(M,\nabla)$0

The condition $(M,\nabla)$1 implies

$(M,\nabla)$2

If $(M,\nabla)$3 is regular, then $(M,\nabla)$4, and Lewis’ theorem gives geodesic invariance of the characteristic distribution. More generally, the characteristic distribution of any symmetric Poisson structure is locally geodesically invariant. When the structure is involutive, the characteristic partition is totally geodesic; on each leaf $(M,\nabla)$5, the restricted bivector $(M,\nabla)$6 is non-degenerate and defines a leaf metric

$(M,\nabla)$7

The ambient connection induces a torsion-free leaf connection $(M,\nabla)$8, and $(M,\nabla)$9 is again a non-degenerate symmetric Poisson structure. In the strong case, $h\in \Gamma(S^2TM)$0 is the Levi-Civita connection of $h\in \Gamma(S^2TM)$1, so strong symmetric Poisson structures correspond to totally geodesic foliations together with the induced metric and connection data (Moučka et al., 21 Aug 2025).

The same framework equips each fiber of $h\in \Gamma(S^2TM)$2 with the characteristic metric

$h\in \Gamma(S^2TM)$3

For any $h\in \Gamma(S^2TM)$4-admissible geodesic $h\in \Gamma(S^2TM)$5, the squared norm

$h\in \Gamma(S^2TM)$6

is smooth, and if $h\in \Gamma(S^2TM)$7 is symmetric Poisson then $h\in \Gamma(S^2TM)$8 is constant.

A major dynamical construction uses the Patterson-Walker metric on $h\in \Gamma(S^2TM)$9,

$(\vartheta,\nabla)$00

whose inverse defines a symmetric bracket

$(\vartheta,\nabla)$01

Vertical lift intertwines the symmetric Schouten bracket with the Patterson-Walker bracket: $(\vartheta,\nabla)$02 The induced dynamics

$(\vartheta,\nabla)$03

has integral-curve equations

$(\vartheta,\nabla)$04

This recovers the parallel transport equation, gradient extensions of dynamical systems, and the Newtonian equation

$(\vartheta,\nabla)$05

for conservative systems. If $(\vartheta,\nabla)$06 is viewed as a quadratic polynomial $(\vartheta,\nabla)$07 on $(\vartheta,\nabla)$08, then

$(\vartheta,\nabla)$09

and an integral curve $(\vartheta,\nabla)$10 of $(\vartheta,\nabla)$11 satisfies

$(\vartheta,\nabla)$12

Thus $(\vartheta,\nabla)$13 is a geodesic for every such integral curve exactly when $(\vartheta,\nabla)$14.

In the linear case, with $(\vartheta,\nabla)$15, a symmetric Poisson bracket is linear if it preserves linear functions, and the induced commutative product on $(\vartheta,\nabla)$16 is defined by

$(\vartheta,\nabla)$17

Linear symmetric Poisson structures correspond to Jacobi-Jordan algebras, that is commutative algebras satisfying

$(\vartheta,\nabla)$18

Strong linear symmetric Poisson structures correspond to associative Jacobi-Jordan algebras. The theory contains flat pseudo-Riemannian examples, rank-one structures $(\vartheta,\nabla)$19, Lie-group examples, and a $(\vartheta,\nabla)$20-dimensional linear example showing that

$(\vartheta,\nabla)$21

5. Contravariant pseudo-Hessian and Koszul-Vinberg theories

A contravariant pseudo-Hessian manifold is a triple

$(\vartheta,\nabla)$22

where $(\vartheta,\nabla)$23 is flat and $(\vartheta,\nabla)$24 is a symmetric bivector satisfying the contravariant Codazzi equation

$(\vartheta,\nabla)$25

In affine coordinates, this becomes

$(\vartheta,\nabla)$26

From $(\vartheta,\nabla)$27 one canonically constructs a skew Poisson tensor $(\vartheta,\nabla)$28 on $(\vartheta,\nabla)$29 by

$(\vartheta,\nabla)$30

or locally

$(\vartheta,\nabla)$31

The fundamental equivalence is

$(\vartheta,\nabla)$32

Moreover, $(\vartheta,\nabla)$33 is integrable, its leaves carry pseudo-Hessian structures, and for every leaf $(\vartheta,\nabla)$34, the tangent bundle $(\vartheta,\nabla)$35 is a symplectic leaf of $(\vartheta,\nabla)$36; with the induced symplectic form and the tangent-bundle complex structure, $(\vartheta,\nabla)$37 becomes a pseudo-Kähler manifold. The paper also notes that a full Darboux-Weinstein-type local normal form fails in general, although a corank-one normal form exists (Abouqateb et al., 2020).

The Koszul-Vinberg approach shifts from affine manifolds to left-symmetric algebroids. For a left-symmetric algebroid $(\vartheta,\nabla)$38, a symmetric tensor $(\vartheta,\nabla)$39 is a Koszul-Vinberg structure when

$(\vartheta,\nabla)$40

This is the direct analogue of $(\vartheta,\nabla)$41 for a Poisson bivector. If $(\vartheta,\nabla)$42 is nondegenerate, then

$(\vartheta,\nabla)$43

so nondegenerate Koszul-Vinberg tensors correspond to pseudo-Hessian $(\vartheta,\nabla)$44-cocycles. The paper develops the full compatibility package parallel to Poisson-Nijenhuis theory: compatible KV structures, Koszul-Vinberg-Nijenhuis structures $(\vartheta,\nabla)$45, the hierarchy

$(\vartheta,\nabla)$46

KV$(\vartheta,\nabla)$47-structures $(\vartheta,\nabla)$48, complementary symmetric $(\vartheta,\nabla)$49-tensors $(\vartheta,\nabla)$50, and pseudo-Hessian-Nijenhuis structures $(\vartheta,\nabla)$51. If $(\vartheta,\nabla)$52 is KVN, then every $(\vartheta,\nabla)$53 is KV and

$(\vartheta,\nabla)$54

for all $(\vartheta,\nabla)$55 (Wang et al., 2020).

The Jacobi extension replaces left-symmetric algebroids by Jacobi-left-symmetric algebroids $(\vartheta,\nabla)$56, where $(\vartheta,\nabla)$57 is symmetric, equivalently $(\vartheta,\nabla)$58. For $(\vartheta,\nabla)$59, the modified self-bracket is

$(\vartheta,\nabla)$60

and $(\vartheta,\nabla)$61 is Jacobi-Koszul-Vinberg when

$(\vartheta,\nabla)$62

If this holds, then $(\vartheta,\nabla)$63 acquires a Jacobi-left-symmetric algebroid structure. The theory also contains a Poissonization-like construction: $(\vartheta,\nabla)$64 and $(\vartheta,\nabla)$65 is Jacobi-Koszul-Vinberg on $(\vartheta,\nabla)$66 if and only if $(\vartheta,\nabla)$67 is a Koszul-Vinberg structure on an extended left-symmetric algebroid over $(\vartheta,\nabla)$68. On an affine manifold $(\vartheta,\nabla)$69, a Jacobi-Koszul-Vinberg structure is a pair $(\vartheta,\nabla)$70 satisfying three explicit conditions, including

$(\vartheta,\nabla)$71

$(\vartheta,\nabla)$72

In the nondegenerate case, the corresponding metric data produce a semi-Weyl manifold and, in fact, a locally conformally Hessian manifold (Kimura et al., 2024).

6. Shifted, categorical, and algebraic variants

In derived algebraic geometry, shifted Poisson structures on a CDGA $(\vartheta,\nabla)$73 are Maurer-Cartan elements

$(\vartheta,\nabla)$74

in the completed shifted polyvector dg Lie algebra, satisfying

$(\vartheta,\nabla)$75

For the Chevalley-Eilenberg algebra of an ordinary Lie algebra,

$(\vartheta,\nabla)$76

the low-shift classification is especially explicit. A $(\vartheta,\nabla)$77-shifted Poisson structure is exactly an invariant symmetric tensor

$(\vartheta,\nabla)$78

so the classification is

$(\vartheta,\nabla)$79

A $(\vartheta,\nabla)$80-shifted Poisson structure is equivalent to quasi-Lie bialgebra data. For Lie $(\vartheta,\nabla)$81-algebras, all $(\vartheta,\nabla)$82-shifted Poisson structures are trivial when

$(\vartheta,\nabla)$83

Hence only $(\vartheta,\nabla)$84 can be nontrivial for ordinary Lie algebras, whereas Lie $(\vartheta,\nabla)$85-algebras admit nontrivial shifts $(\vartheta,\nabla)$86, with $(\vartheta,\nabla)$87 again governed by invariant symmetric tensors and the lower shifts described by finite higher multilinear data except in the $(\vartheta,\nabla)$88 case, where an infinite tower remains (Kemp et al., 2024).

A higher-categorical refinement appears in the study of $(\vartheta,\nabla)$89- and $(\vartheta,\nabla)$90-shifted Poisson structures on semi-free CDGAs. A $(\vartheta,\nabla)$91-shifted Poisson structure has weight-$(\vartheta,\nabla)$92 component

$(\vartheta,\nabla)$93

and this produces a coexact homotopy yielding an infinitesimal syllepsis

$(\vartheta,\nabla)$94

on the symmetric strict monoidal $(\vartheta,\nabla)$95-category

$(\vartheta,\nabla)$96

The induced syllepsis is

$(\vartheta,\nabla)$97

By contrast, $(\vartheta,\nabla)$98-shifted Poisson structures produce infinitesimal $(\vartheta,\nabla)$99-braidings. Their second-order integration requires total symmetry,

$\vartheta\in \Gamma(\Sym^2 TM)$00

and coherency, which in the symmetric strict case can be written as

$\vartheta\in \Gamma(\Sym^2 TM)$01

The obstruction is controlled by the third-weight Maurer-Cartan component,

$\vartheta\in \Gamma(\Sym^2 TM)$02

so higher shifted Poisson data are read categorically as braidings and syllepses (Kemp, 4 May 2025).

A different algebraic use of “symmetric Poisson” occurs for oscillator Lie algebras. There the Poisson structure is a commutative associative product $\vartheta\in \Gamma(\Sym^2 TM)$03 on the Lie algebra satisfying the Leibniz rule

$\vartheta\in \Gamma(\Sym^2 TM)$04

For a generic oscillator Lie algebra $\vartheta\in \Gamma(\Sym^2 TM)$05, the classification is rigid: there exists $\vartheta\in \Gamma(\Sym^2 TM)$06 such that the only nonzero product is

$\vartheta\in \Gamma(\Sym^2 TM)$07

and all other products between basis elements vanish. The associated Lie-admissible product

$\vartheta\in \Gamma(\Sym^2 TM)$08

is then a symmetric Leibniz algebra. On the group side, these products correspond to bi-invariant torsion-free connections with the same curvature as the canonical bi-invariant connection

$\vartheta\in \Gamma(\Sym^2 TM)$09

and if the Poisson structure is symmetric Leibniz the corresponding connection is locally symmetric and has the same holonomy as $\vartheta\in \Gamma(\Sym^2 TM)$10 (Albuquerque et al., 2020).

Taken together, these developments suggest that “symmetric Poisson structure” is best understood as a family resemblance rather than a single axiom system. The recurring pattern is the replacement of skew-symmetric Hamiltonian data by symmetric $\vartheta\in \Gamma(\Sym^2 TM)$11-tensors, symmetric multilinear operations, or symmetric-space symmetries, together with an auxiliary integrability mechanism—torsion-free connections, contravariant Codazzi equations, Koszul-Vinberg brackets, Maurer-Cartan towers, or Poisson-Lie reduction—that restores the structural role played by the Poisson condition in the skew-symmetric theory.