--- title: Strong Symmetric Poisson Structures url: https://www.emergentmind.com/topics/strong-symmetric-poisson-structures type: topic --- # Strong Symmetric Poisson Structures Searching arXiv for the cited papers to ground the article in the literature. The expression **strong symmetric Poisson structures** does not denote a single universally fixed notion. In the current arXiv literature it appears in several mathematically distinct settings: symmetric and truncated symmetric Poisson algebras attached to Lie algebras, where “strong” refers to strong Lie nilpotence or strong solvability [1612.08051]; Koszul–Vinberg and Jacobi–Koszul–Vinberg structures on left-symmetric or Jacobi-left-symmetric algebroids, where symmetric tensors replace skew bivectors and “strong” may refer either to compatible Nijenhuis recursion or to non-degeneracy [2004.01774], [2412.20103]; connection-dependent symmetric Poisson geometry, where a symmetric bivector $S$ is paired with a torsion-free connection $\nabla$ and the strong condition is $\nabla_{S(\alpha)}S=0$ [2508.15890]; and Poisson CGL extensions in algebraic geometry, where “strongly symmetric” is a precise torus-equivariant condition on the log-canonical coefficients and Poisson–Ore tails [2503.05644]. The term also appears informally in adjacent contexts, but often without a formal standalone definition [1403.2869], [1503.07339], [2505.01949]. ## 1. Terminological range and conceptual fault lines A central fact of the subject is that **“symmetric”** does not have a uniform meaning across the literature. In the Lie-algebraic setting of symmetric Poisson algebras, symmetry refers to the symmetric algebra $S(L)$ or its truncated quotient $\mathbf{s}(L)$, endowed with the Poisson bracket induced from the Lie bracket on $L$ [1612.08051]. In the algebroid setting, symmetry means that the fundamental tensor is a **symmetric** element of $\Gamma(S^2A)$ rather than a skew bivector, so the resulting theory is presented as a symmetric analogue of Poisson geometry [2004.01774], [2412.20103]. In the connection-dependent setting, symmetry refers to a symmetric bivector $S\in \Gamma(S^2TM)$ together with a torsion-free connection, and the entire integrability theory depends on that connection [2508.15890]. In the CGL setting, “symmetric” and “strongly symmetric” are properties of iterated Poisson–Ore extensions compatible with a torus action [2503.05644]. The adjective **“strong”** is equally non-uniform. For truncated symmetric Poisson algebras it refers to upper Lie powers or upper derived powers, producing notions of **strong Lie nilpotence** and **strong solvability** [1612.08051]. For Koszul–Vinberg geometry it refers either to the presence of a compatible Nijenhuis recursion operator and complementary symmetric tensors, which generate a hierarchy of compatible KV tensors [2004.01774], or to non-degeneracy of the symmetric tensor $h$, so that $h^\sharp:A^*\to A$ is an isomorphism [2412.20103]. For symmetric Poisson geometry in the presence of a connection, it is a strict strengthening of $[S,S]_s=0$, equivalent to the gradient map being an algebra morphism or, equivalently, to $\nabla_{S(\alpha)}S=0$ for all $\alpha$ [2508.15890]. For Poisson CGL extensions, it strengthens the symmetric condition by requiring $h_j^*=-h_j$ and $\chi_k(h_j)=\chi_j(h_k)$ [2503.05644]. A recurring source of confusion is the assumption that there is a single established definition. That assumption is not supported by the literature. One paper on the symmetric top explicitly states that it **does not introduce or use a formal notion of “strong symmetry” or “strongly symmetric” Poisson structures** [1403.2869]. By contrast, the 2025 paper on symmetric Poisson geometry explicitly distinguishes **symmetric** from **strong symmetric** Poisson structures as different classes, with strict inclusions between them [2508.15890]. The phrase is therefore best treated as a family resemblance rather than a single definition. ## 2. Strong Lie-theoretic behavior in symmetric Poisson algebras Let $L$ be a Lie algebra over a field of characteristic $p>0$. Its symmetric algebra $$ S(L)=\bigoplus_{n=0}^\infty U_n/U_{n-1} $$ is canonically isomorphic to the associated graded algebra of the universal enveloping algebra and carries a Poisson bracket determined by $\{x,y\}=[x,y]$ for $x,y\in L$, extended by linearity and the Leibniz rule. The truncated symmetric Poisson algebra is $$ \mathbf{s}(L)=S(L)/(x^p\mid x\in L), $$ which is again a Poisson algebra because the ideal $(x^p\mid x\in L)$ is a Poisson ideal in characteristic $p$ [1612.08051]. The terminology of **strong symmetric Poisson structures** in this setting refers to the Lie-theoretic strength of the Poisson algebra. If $P$ is a Poisson algebra, its lower central series is $\gamma_1(P)=P$ and $\gamma_{n+1}(P)=\{\gamma_n(P),P\}$, while the upper Lie powers are $P(0)=P$ and $P(n)=\{P(n-1),P\}\cdot P$. Strong Lie nilpotence means $P(s)=0$ but $P(s-1)\neq 0$. Similarly, with upper derived powers $\tilde\delta^{\,0}(P)=P$ and $\tilde\delta^{\,n+1}(P)=\{\tilde\delta^{\,n}(P),\tilde\delta^{\,n}(P)\}\cdot P$, strong solvability means $\tilde\delta^{\,s}(P)=0$ but $\tilde\delta^{\,s-1}(P)\neq 0$ [1612.08051]. For $\mathbf{s}(L)$ the classification is sharp. The paper proves $$ \mathbf{s}(L)\text{ is Lie nilpotent }\Longleftrightarrow \mathbf{s}(L)\text{ is strongly Lie nilpotent }\Longleftrightarrow L\text{ is nilpotent and }\dim L^2<\infty, $$ for all $p>0$. For solvability, assuming $p\ge 3$, $$ \mathbf{s}(L)\text{ is solvable }\Longleftrightarrow \mathbf{s}(L)\text{ is strongly solvable }\Longleftrightarrow L\text{ is solvable and }\dim L^2<\infty. $$ In characteristic $2$, strong solvability is still equivalent to solvability of $L$ together with $\dim L^2<\infty$, but ordinary solvability can occur without strong solvability; the paper constructs explicit counterexamples [1612.08051]. The strong Lie nilpotency class of $\mathbf{s}(L)$ is computed exactly when $L$ is nilpotent and $\dim L^2<\infty$: $$ 1+(p-1)\sum_{n\ge 1}\dim\big(\gamma_{n+1}(L)/\gamma_{n+2}(L)\big). $$ For $p>3$, the ordinary Lie nilpotency class coincides with the strong class and equals the same number. For $p=2,3$, the same formula gives the strong class and an upper bound for the ordinary one [1612.08051]. The untruncated symmetric algebra behaves much more rigidly. Extending Shestakov’s result, the paper shows that over any field the following are equivalent: $L$ is abelian, $S(L)$ is strongly Lie nilpotent, and $S(L)$ is Lie nilpotent; assuming $\operatorname{char}K\neq 2$, this is also equivalent to strong solvability and solvability of $S(L)$. Thus truncation is the mechanism that permits non-abelian examples with strong Lie-theoretic behavior [1612.08051]. ## 3. Symmetric analogues on left-symmetric and Jacobi-left-symmetric algebroids A second major use of the phrase arises in the theory of **Koszul–Vinberg structures** on left-symmetric algebroids. If $(A\to M,\circ,a)$ is a left-symmetric algebroid, a symmetric tensor $H\in \Gamma(S^2A)$ defines a bundle map $H^\sharp:A^*\to A$, and the symmetric Schouten-type bracket $[H_1,H_2]_{KV}$ is introduced on symmetric tensors. A **KV structure** is a symmetric tensor satisfying $$ [H,H]_{KV}=0. $$ This is presented as the symmetric analogue of a Poisson tensor on a Lie algebroid. When $H^\sharp$ is fiberwise nondegenerate, the inverse tensor $H^{-1}\in \Gamma(S^2A^*)$ is $d_A$-closed, so the nondegenerate theory is the symmetric counterpart of the symplectic side of Poisson geometry [2004.01774]. The strong form in this framework is a **KV–Nijenhuis structure** $(H,N)$. Here $N:A\to A$ is a Nijenhuis operator and the compatibility conditions are $$ N\circ H^\sharp=H^\sharp\circ N^*,\qquad \alpha\cdot_H^+\beta=\alpha\cdot_N\beta . $$ Under these hypotheses, $H_N$ defined by $(H_N)^\sharp=N\circ H^\sharp$ is again a KV structure, $H$ and $H_N$ are compatible in the sense that $[H,H_N]_{KV}=0$, and the hierarchy $$ (H_k)^\sharp:=N^k\circ H^\sharp,\qquad k\in \mathbb N, $$ consists of pairwise compatible KV tensors: $$ [H_i,H_j]_{KV}=0\quad \text{for all }i,j. $$ This is the sense in which the paper describes “strong symmetric Poisson structures”: a symmetric Poisson tensor enhanced by recursion, compatibility, and complementary symmetric $2$-tensors, mirroring Poisson–Nijenhuis and $P\Omega$ geometry [2004.01774]. The same paper develops equivalent companion notions. A **KV2-structure** is a pair $(H,\Omega)$ with $H$ KV and $\Omega\in \Gamma(S^2A^*)$ a $2$-cocycle such that, with $$ N:=H^\sharp\circ \Omega^\flat, $$ the twisted symmetric form $\Omega_N(X,Y):=\Omega(N(X),Y)$ is again $d_A$-closed. A **pseudo-Hessian–Nijenhuis** structure $(B,N)$ is defined by $d_AB=0$, symmetry of $B(N(X),Y)$ in the two $N$-slots, and $d_A B_N=0$ with $B_N(X,Y)=B(N(X),Y)$. For nondegenerate data these notions are equivalent to KVN structures [2004.01774]. A related but different formulation appears in the theory of **Jacobi–Koszul–Vinberg structures** on Jacobi-left-symmetric algebroids. Given a Jacobi-left-symmetric algebroid $(A,\phi)$ and a symmetric tensor $h\in \Gamma(S^2A)$, one defines the twisted bracket $$ [h,h]_\phi(\alpha,\beta,\gamma):=[h,h]_A(\alpha,\beta,\gamma)+h(\phi,\alpha)h(\beta,\gamma)-h(\phi,\beta)h(\gamma,\alpha). $$ A **Jacobi–Koszul–Vinberg structure** is a tensor satisfying $$ [h,h]_\phi=0. $$ The paper explicitly states that a Koszul–Vinberg structure is a symmetric analogue of a Poisson structure on a Lie algebroid, and a Jacobi–Koszul–Vinberg structure is a symmetric analogue of a Jacobi structure on a Jacobi algebroid [2412.20103]. In this later usage, **strong** means **non-degenerate**. A tensor $h$ is non-degenerate when $h^\sharp:A^*\to A$ is a bundle isomorphism. For ordinary KV structures, non-degeneracy is equivalent to the corresponding symmetric $(0,2)$-tensor being $S_A$-closed. For Jacobi–KV manifolds $(M,\nabla,h,E)$, if $h$ is non-degenerate and $g=(h^\sharp)^{-1}$, then $(M,\nabla,g,\theta)$ with $\theta=g'E$ is a locally conformally Hessian manifold [2412.20103]. Thus the strong/non-strong distinction here is not recursive, but metric-like. ## 4. Strong symmetric Poisson geometry with torsion-free connection A third, conceptually independent theory defines symmetric Poisson geometry directly on a smooth manifold. Here the basic datum is a pair $(S,\nabla)$ with $S\in \Gamma(S^2TM)$ a symmetric bivector field and $\nabla$ a torsion-free connection. The induced symmetric bracket on functions is $$ \{f,g\}:=S(df,dg),\qquad X_f:=S(df). $$ The connection determines a **symmetric Schouten bracket** $[\cdot,\cdot]_s$ on symmetric multivectors. A **symmetric Poisson structure** is defined by $$ [S,S]_s=0. $$ Equivalent formulations include $$ \frac12 [S,S]_s(\alpha,\beta,\eta)= (\nabla_{S(\alpha)}S)(\beta,\eta)+\text{cyclic}(\alpha,\beta,\eta), $$ and a function-level expression involving the symmetric bracket of vector fields [2508.15890]. A **strong symmetric Poisson structure** is then defined by the requirement that the gradient map is an algebra morphism from the commutative algebra $(C^\infty(M),\{\cdot,\cdot\})$ to the symmetric bracket algebra of vector fields: $$ X_{\{f,g\}}=[X_f,X_g]_s\qquad\text{for all }f,g. $$ This is equivalent to $$ \nabla_{X_f}S=0\quad\text{for all }f\in C^\infty(M), $$ or, equivalently, $$ \nabla_{S(\alpha)}S=0\quad\text{for all }\alpha\in \Omega^1(M). $$ In local coordinates, if $S=\frac12 S^{ij}\partial_{x^i}\odot \partial_{x^j}$, the strong condition becomes $$ S^{km}(\nabla_m S)^{ij}=0. $$ The paper emphasizes that this notion is genuinely stronger than the symmetric Poisson condition and weaker than $\nabla S=0$ [2508.15890]. The geometric consequences are markedly different from ordinary Poisson geometry. The characteristic distribution is $\operatorname{im}S\subset TM$, equipped with the characteristic metric $$ g_{S,m}(S(\alpha),S(\beta)):=S(\alpha,\beta). $$ For symmetric Poisson structures this distribution is preserved by the symmetric bracket and is locally geodesically invariant. For strong symmetric Poisson structures the characteristic module is involutive, and the corresponding leaves are totally geodesic. Each leaf carries a nondegenerate restricted bivector $S_N$, a leaf metric $g_N=S_N^{-1}$, and a leaf connection $\nabla^N$; in the strong case $\nabla^N$ is the Levi–Civita connection of $g_N$ [2508.15890]. The nondegenerate theory collapses to classical metric geometry: if $S$ is nondegenerate, then $(S,\nabla)$ is strong symmetric Poisson if and only if $\nabla$ is the Levi–Civita connection of $S^{-1}$. The paper therefore identifies nondegenerate strong symmetric Poisson structures with $(\text{pseudo-})$Riemannian metrics [2508.15890]. The linear theory yields an algebraic classification. On $V^*$ with the Euclidean connection, linear symmetric Poisson structures are in bijection with **Jacobi–Jordan algebras** on $V$, meaning commutative algebras satisfying the Jacobi identity $$ u\cdot (v\cdot w)+\text{cyclic}=0. $$ Strong linear symmetric Poisson structures correspond to those Jacobi–Jordan algebras that are moreover associative. In dimensions $\le 4$, all linear symmetric Poisson structures are strong; in dimension $5$ there exist involutive symmetric Poisson structures that are not strong [2508.15890]. The same paper also constructs a natural dynamics on $T^*M$ from the Patterson–Walker metric $$ g_\nabla = dp_j\odot dx^j - p_k\Gamma^k_{ij}\,dx^i\odot dx^j, $$ whose inverse gives a symmetric Poisson bracket on $T^*M$. For quadratic Hamiltonians $H=S^v$, the base curves of the associated dynamics are geodesics precisely when $(S,\nabla)$ is symmetric Poisson [2508.15890]. This dynamical characterization has no direct analogue in the Lie-algebraic or CGL usages of the terminology. ## 5. Strongly symmetric Poisson CGL extensions and torus-equivariant deformations In algebraic Poisson geometry, the phrase **strongly symmetric Poisson structures** has a precise meaning in the Goodearl–Yakimov framework of Poisson CGL extensions. Start with a complex algebraic torus $\mathbb T$ acting on $\mathbb C^n$ with weights $\beta=(\beta_1,\dots,\beta_n)$ and a log-canonical bracket $$ \{x_j,x_k\}_{\pi_0}=\lambda_{j,k}x_jx_k. $$ In the $\mathbb T$-action data case, one chooses a symmetric bilinear form $\langle\cdot,\cdot\rangle$ on $\mathfrak t^*$ and sets $$ \lambda_{j,k}=-\langle \beta_j,\beta_k\rangle, $$ so $$ \{x_j,x_k\}_{\pi_0}=-\langle\beta_j,\beta_k\rangle x_jx_k. $$ The bracket is **$\mathbb T$-log-symplectic** when the only solution of $\lambda w=0$ and $\beta w=0$ is $w=0$; equivalently, on $(\mathbb C^\times)^n$ the $\mathbb T$-orbits and $\pi_0$-symplectic leaves span the tangent bundle [2503.05644]. The paper proves that, under mild assumptions, every $\mathbb T$-invariant first-order deformation with no $(\mathbb C^\times)^n$-invariant component is unobstructed. The resulting algebraic deformation has bracket $$ \{x_j,x_k\}_{\pi^S(c)}=-\langle\beta_j,\beta_k\rangle x_jx_k+\phi_{j,k}(x_{j+1},\dots,x_{k-1}), $$ where the tail polynomial depends only on intermediate variables. This triangularity is the CGL shape [2503.05644]. A **symmetric Poisson CGL extension** is a polynomial algebra with a compatible torus action and bracket $$ \{x_j,x_k\}=-\chi_j(h_k)x_jx_k+\phi_{j,k}, $$ with $\phi_{j,k}\in \mathbb C[x_{j+1},\dots,x_{k-1}]$, together with data $h_j,h_j^*\in \mathfrak t$ satisfying $\chi_k(h_j^*)=-\chi_j(h_k)$. The **strongly symmetric** condition strengthens this by requiring $$ h_j^*=-h_j \quad\text{for all }j,\qquad \chi_k(h_j)=\chi_j(h_k). $$ Thus the log-canonical coefficients come from a symmetric bilinear form [2503.05644]. The main deformation theorem states that for $\mathbb T$-action data satisfying the stated assumptions, the canonical deformation of the log-canonical structure on $\mathbb C^n$ yields a **strongly symmetric $\mathbb T$-Poisson CGL structure**. For a symmetrizable generalized Cartan matrix $A$ and any sequence of simple roots, the construction produces explicit strongly symmetric $\mathbb T$-Poisson CGL extensions; in finite type it recovers the standard Poisson structures on Bott–Samelson cells and generalized Schubert cells. For a sequence $\mathbf i=(i_1,\dots,i_n)$, the first-order term is $$ \pi_1(c)=\sum_{j\in J} c_j\Big(\prod_{j