[Paper Review] Toric Poisson Ideals in Cluster Algebras

Sebastian Zwicknagl|arXiv (Cornell University)|Sep 15, 2010

Algebraic structures and combinatorial models51 references3 citations

TL;DR

This paper establishes that Noetherian cluster algebras over the complex numbers admit only finitely many torus-invariant Poisson prime ideals (TPPs), using combinatorial data from the initial seed's exchange matrix and compatible Poisson structures. It proves finiteness under genericity assumptions and provides an explicit description of these ideals when the COS condition holds, linking them to Laurent polynomial structures and cluster mutations.

ABSTRACT

This paper investigates the Poisson geometry associated to a cluster algebra over the complex numbers, and its relationship to compatible torus actions. We show, under some assumptions, that each Noetherian cluster algebra has only finitely many torus invariant Poisson prime ideals and we show how to obtain using the exchange matrix of an initial seed. In fact, these ideals are independent of the choice of compatible Poisson structure. In many interesting cases the ideals can be described more explicitly.

Motivation & Objective

• To classify torus-invariant Poisson prime ideals (TPPs) in Noetherian cluster algebras over ℂ.
• To establish finiteness of TPPs using combinatorial data from the initial seed and exchange matrix.
• To provide an explicit description of TPPs under the COS condition, which ensures chain completeness in codimension.
• To connect the stratification of symplectic leaves in Poisson geometry to cluster algebra combinatorics.
• To support the conjecture that all full-rank Poisson cluster algebras satisfy the COS condition.

Proposed method

• Utilizes the initial seed $({f x}, B)$, where $B$ is the exchange matrix and ${f x}$ the cluster variables.
• Applies compatible Poisson structures defined by a skew-symmetric matrix $\Lambda$, forming a Poisson cluster algebra $({\bf x}, B, \Lambda)$.
• Employs torus actions compatible with the Poisson structure, focusing on $T$-invariant Poisson ideals.
• Introduces the concept of defining clusters and uses mutations of seeds to analyze ideal stratifications.
• Applies the COS (Chain of Subideals) condition to ensure that inclusions of TPPs occur in minimal steps.
• Uses the fact that $H$-prime ideals are preserved under intersection over group actions, and that Poisson ideals are preserved under $H$-stabilization.

Experimental results

Research questions

• RQ1 Under what conditions does a Noetherian cluster algebra have only finitely many torus-invariant Poisson prime ideals?
• RQ2 How can the stratification of symplectic leaves in Poisson cluster algebras be described combinatorially?
• RQ3 Does the COS condition hold universally for full-rank Poisson cluster algebras, and what does it imply for ideal chains?
• RQ4 Can the defining clusters of TPPs be explicitly constructed from the exchange matrix and its mutations?
• RQ5 What is the relationship between the Poisson structure and the cluster algebra's upper cluster algebra structure?

Key findings

• The main result establishes that under genericity assumptions, a Noetherian cluster algebra over ℂ has only finitely many torus-invariant Poisson prime ideals.
• The set of such ideals is independent of the choice of compatible Poisson structure, relying only on the exchange matrix and seed data.
• When the COS condition holds, the ideals can be explicitly described using Laurent polynomial expressions derived from the cluster variables.
• For acyclic cluster algebras of even rank with full-rank exchange matrices, no non-trivial TPPs exist, implying smoothness of the corresponding cluster variety.
• The COS condition is verified for important classes such as function algebras on complex semisimple groups and unipotent radicals.
• The paper provides strong evidence for Conjecture 5.8, suggesting that all full-rank Poisson cluster algebras satisfy COS, and conjectures a characterization of TPPs via mutation and cluster membership.