arXiv++ Combinatorics

We study deep loci for the reduced-word Berenstein-Fomin-Zelevinsky cluster atlas on type-A double Bruhat cells. As defined in CGSS24, for a seed collection on a cluster variety X, the deep locus is the complement of the union of all corresponding cluster tori. We focus on double Bruhat cells G(u,v) for G = SL(n). Our main results are several theorems describing the structure of these deep loci, including their interaction with the Poisson structure, the relationships between the deep loci of different cells, and a tracking formula that allows us to compute the reduced-word deep locus of a cell from a lower-dimensional one. The paper also includes explicit low-rank calculations for double Bruhat cells in SL(3) and Borel double Bruhat cells in SL(4). Finally, we discuss the relationship between these results and some general properties of deep loci.

In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra. The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.

We define a notion of total positivity for the symmetric space $G/K$ by taking the Hausdorff closure of the image of Lusztig's totally positive part $G_{>0}$ in $G/K$. We introduce double Bruhat cells for the symmetric space and define their totally positive pieces. We prove a cell decomposition of the totally nonnegative symmetric space, give explicit positive parametrizations of all cells, establish closure relations, and show that the transition maps between the two natural families of parametrizations are subtraction-free.

Let $G$ be a Kac-Moody group, split over $\mathbb R$. The totally nonnegative part of $G$ and its (ordinary) flag variety $G/B^+$ was introduced by Lusztig. It is known that the totally nonnegative parts of $G$ and $G/B^+$ have remarkable combinatorial and topological properties. In this paper, we consider the totally nonnegative part of the $J$-twisted flag variety $G/{}^J B^+$, where ${}^J B^+$ is the Borel subgroup opposite to $B^+$ in the standard parabolic subgroup $P_J^+$ of $G$. The $J$-twisted flag varieties include the ordinary flag variety $G/B^+$ as a special case. Our main result show that the totally nonnegative part of $G/{}^J B^+$ decomposes into cells, and the closure of each cell is a regular CW complex. This generalizes the work of Galashin-Karp-Lam \cite{GKL22} and the joint work of Bao with the first author \cite{BH24} for ordinary flag varieties. As an application, we deduce that the totally nonnegative part of the double flag variety $G/B^+ \times G/B^-$ with respect to the diagonal $G$-action has similar nice properties. We also establish some connections between the totally nonnegative part of the double flag with the canonical basis of the tensor product of a lowest weight module with a highest weight module of $G$. As another application, we show that the link of identity in a totally nonnegative reduced double Bruhat cell of $G$ is a regular CW complex. This generalizes the work of Hersh \cite{Her14} on the link of $U_{\geq0}^-$ and gives a positive answer to an open question of Fomin and Zelevinsky.

Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.

We show coordinate rings of open Richardson varieties are upper cluster algebras for any symmetrizable Kac--Moody type. We further show the coordinate rings of (generalized) open Richardson varieties on the twisted product of flag varieties are upper cluster algebras for any symmetrizable Kac--Moody type. This includes, as special cases, reduced double Bruhat cells, Bott-Samelson varieties, braid varieties. Our results generalize various results by Casals--Gorsky--Gorsky--Le--Shen--Simental and Galashin--Lam--Sherman-Bennett--Speyer in finite types.

We recall the lower-upper varieties from [Knutson '05] and give a formula for their equivariant cohomology classes, as a sum over generic pipe dreams. We recover as limits the classic and bumpless pipe dream formulae for double Schubert polynomials. As a byproduct, we obtain a formula for the degree of the $n$th commuting variety as a sum of powers of 2. Generic pipe dreams also appear in the Segre-Schwarz-MacPherson analogue of the AJS/Billey formula, and when computing the Chern-Schwarz-MacPherson class of the orbit $B_- w B_+ \subseteq Mat_{k\times n}$ or of a double Bruhat cell $B_-u B_+ \cap B_+ v B_-$.

We derive the cluster structure on the conjugation quotient Coxeter double Bruhat cells of a simple Lie group from that on the double Bruhat cells of the corresponding adjoint Lie group given by Fock and Goncharov using the notion of amalgamation given by Fock and Goncharov, and Williams, thereby generalizing the construction developed by Gekhtman \emph{et al}. We will then use this cluster structure on the conjugation quotient Coxeter double Bruhat cells to construct generalized Bäcklund-Darboux transformations between two Coxeter-Toda systems on simple Lie groups in terms of cluster mutations, thereby generalizing the construction developed by Gekhtman \emph{et al}. We show that these generalized Bäcklund-Darboux transformations preserve Hamiltonian flows generated by the restriction of the trace function of any representation of the simple Lie group, from which we deduce that the family of Coxeter-Toda systems on a simple Lie group forms a single cluster integrable system. Finally, we also develop network formulations of the Coxeter-Toda Hamiltonians for the classical Lie groups, and use these network formulations to obtain combinatorial formulas for these Coxeter-Toda Hamiltonians.

The general linear group $GL_{n}$, along with its adjoint simple group $PGL_n$, can be described by means of weighted planar networks. In this paper we give a network description for simple Lie groups of types $B$ and $C$. The corresponding networks are axially symmetric modulo a sequence of cluster mutations along the axis of symmetry. We extend to this setting the result of Gekhtman, Shapiro, and Vainshtein on the Poisson property of Postnikov's boundary measurement map. We also show that $B$ and $C$ type networks with positive weights parametrize the totally nonnegative part of the respective group. Finally, we construct network parametrizations of double Bruhat cells in symplectic and odd-dimensional orthogonal groups, and identify the corresponding face weights with Fock-Goncharov cluster coordinates.

Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schröer often yields Frobenius exact categories which allow to categorify such cluster algebras. In previous work, the third-named author has constructed Higgs categories and relative cluster categories in the relative Jacobi-finite setting (arXiv:2109.03707). Higgs categories generalize the Frobenius categories used by Geiss-Leclerc-Schröer. In this article, we construct the Higgs category and the relative cluster category in the relative Jacobi-infinite setting under suitable hypotheses. These cover for example the case of Jensen-King-Su's Grassmannian cluster category. As in the relative Jacobi-finite case, the Higgs category is no longer exact but still extriangulated in the sense of Nakaoka-Palu. We also construct a cluster character refining Plamondon's. In the appendix, Chris Fraser and the second-named author categorify quasi-cluster morphisms using Frobenius categories. A recent application of this result is due to Matthew Pressland, who uses it to prove a conjecture by Muller-Speyer.

When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. By fixing $w$ from the Weyl group, we can define MV polytopes whose highest vertex is labelled by $w$. We show that these polytopes are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we define a collection of generalized minor functions $Δ_γ^\text{new}$ which tropicalize on the reduced Bruhat cell to the BZ data of an MV polytope of highest vertex $w$. We also describe the combinatorial structure of MV polytopes of highest vertex $w$. We explicitly describe the map from the Weyl group to the subset of elements bounded by $w$ in the Bruhat order which sends $u \mapsto v$ if the vertex labelled by $u$ coincides with the vertex labelled by $v$ for every MV polytope of highest vertex $w$. As a consequence of this map, we prove that these polytopes have vertices labelled by Weyl group elements less than $w$ in the Bruhat order.

We show that the totally nonnegative part of the twisted product of flag varieties of a Kac-Moody group admits a cellular decomposition, and the closure of each cell is a topological manifold with boundary. We also establish explicit parameterizations of each totally positive cell. In the special cases of double flag varieties and braid varieties, we show that the totally nonnegative parts are regular CW complexes homeomorphic to closed balls. Moreover, we prove that the link of any totally nonnegative double Bruhat cell in a reductive group is a regular CW complex homeomorphic to a closed ball, solving an open problem of Fomin and Zelevinsky.

We introduce $3$-dimensional generalizations of Postnikov's plabic graphs and use them to establish cluster structures for type $A$ braid varieties. Our results include known cluster structures on open positroid varieties and double Bruhat cells, and establish new cluster structures for type $A$ open Richardson varieties.

Inspired by Fock-Goncharov's amalgamation procedure \cite{Fock-Goncharov-2006}, Shen-Weng introduced string diagrams in \cite{Shen-Weng-2021}, which are very useful to describe many interesting skew-symmetrizable matrices closely related with Lie theory. In this paper, we prove that the skew-symmetrizable matrices from string diagrams are in the smallest class $\mathcal P^\prime$ of skew-symmetrizable matrices containing the $1\times 1$ zero matrix and closed under mutations and source-sink extensions. This result applies to the exchange matrices of cluster algebras from double Bruhat cells, unipotent cells, double Bott-Samelson cells and so on. Our main result can be used to explain why many skew-symmetrizable matrices from Lie theory have reddening sequences. It can be also used to prove some interesting results regarding non-degenerate potentials on many quivers from Lie theory.

We study defining inequalities of string cones via a potential function on a reduced double Bruhat cell. We give a necessary criterion for the potential function to provide a minimal set of inequalities via tropicalization and conjecture an equivalence.

We describe an infinite family of non-Plücker cluster variables inside the double Bruhat cell cluster algebra defined by Berenstein, Fomin, and Zelevinsky. These cluster variables occur in a family of subalgebras of the double Bruhat cell cluster algebra which we call Double Rim Hook (DRH) cluster algebras. We discover that all of the cluster variables are determinants of matrices of special form. We conjecture that all the cluster variables of the double Bruhat-cell cluster algebra have similar determinant form. We notice the resemblance between our staircase diagram and Auslander-Reiten quivers.

Berenstein, Fomin and Zelevinsky defined functions on double Bruhat cells which they called generalized minors. By relating certain double Bruhat cells to configuration spaces of flags, we give formulas for these generalized minors as tensor invariants. This allows us to verify certain weight identities. The weights of the tensor invariants can then be used to construct the quiver for the cluster structure on the configuration space of three flags. We also show a converse statement--that the weights of tensor invariants can by computed from the structure of the quiver. The weight identities are important because they are necessary for the existence of cluster structures on the moduli space of framed local systems.

These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of double Bruhat cells in the theory of total positivity. Once the definition of cluster algebras is introduced in several stages of increasing generality, proofs of fundamental results are sketched in the rank 2 case. From these foundations we build up the notion of Poisson structures compatible with a cluster algebra structure and indicate how this leads to a quantization of cluster algebras. Finally we give applications of these ideas to integrable systems in the form of Zamolodchikov periodicity and the pentagram map.

We establish the relation of the potential function constructed by Gross-Hacking-Keel-Kontsevich's and Berenstein-Kazhdan's decoration function on the open double Bruhat cell in the base affine space $G/\mathcal{N}$ of a simple, simply connected, simply laced algebraic group $G$. As a byproduct we derive explicit identifications of polyhedral parametrization of canonical bases of the ring of regular functions on $G/\mathcal{N}$ arising from the tropicalizations of the potential and decoration function with the classical string and Lusztig parametrizations.

Leclerc and Zelevinsky, motivated by the study of quasi-commuting quantum flag minors, introduced the notions of strongly separated and weakly separated collections. These notions are closely related to the theory of cluster algebras, to the combinatorics of the double Bruhat cells, and to the totally positive Grassmannian. A key feature, called the purity phenomenon, is that every maximal by inclusion strongly (resp., weakly) separated collection of subsets in $[n]$ has the same cardinality. In this paper, we extend these notions and define $\mathcal{M}$-separated collections for any oriented matroid $\mathcal{M}$. We show that maximal by size $\mathcal{M}$-separated collections are in bijection with fine zonotopal tilings (if $\mathcal{M}$ is a realizable oriented matroid), or with one-element liftings of $\mathcal{M}$ in general position (for an arbitrary oriented matroid). We introduce the class of pure oriented matroids for which the purity phenomenon holds: an oriented matroid $\mathcal{M}$ is pure if $\mathcal{M}$-separated collections form a pure simplicial complex, i.e., any maximal by inclusion $\mathcal{M}$-separated collection is also maximal by size. We pay closer attention to several special classes of oriented matroids: oriented matroids of rank $3$, graphical oriented matroids, and uniform oriented matroids. We classify pure oriented matroids in these cases. An oriented matroid of rank $3$ is pure if and only if it is a positroid (up to reorienting and relabeling its ground set). A graphical oriented matroid is pure if and only if its underlying graph is an outerplanar graph, that is, a subgraph of a triangulation of an $n$-gon. We give a simple conjectural characterization of pure oriented matroids by forbidden minors and prove it for the above classes of matroids (rank $3$, graphical, uniform).