Counting weighted maximal chains in the circular Bruhat order (Q2680822)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Counting weighted maximal chains in the circular Bruhat order
scientific article

    Statements

    Counting weighted maximal chains in the circular Bruhat order (English)
    0 references
    0 references
    0 references
    0 references
    4 January 2023
    0 references
    Let \(S_n\) be the symmetric group on \([n] := \{1,\dots,n\}\). An inversion of \(\pi \in S_n\) is a pair \(i, j\in [n]\) such that \(i < j\) and \(\pi (i) > \pi (j\). The number of inversions of \(\pi\) is its length, denoted \(\mathcal l(\pi)\). The Bruhat order on \(S_n\) is a partial ordering on \(S_n\), graded by length. It arises in geometry as the face poset for the Schubert decomposition of the variety of complete flags in \(\mathbb C^n\). Its cover relations have the form \(\pi s_{ij}< \pi\) where \(s_{ij} := (i, j)\) is a transposition such that \((\pi) = (\pi s_{ij} ) + 1\). The maximal element of the Bruhat order, written in row notation, is \(\pi_{\mathrm{top}} = [n, n - 1, \dots, 1]\) of length \(r := \binom{n}{2}\) and the smallest element is the identity permutation \(id = [1, 2, \dots, n]\) of length \(0\). In the Bruhat order, each maximal chain has the form \(id = \pi_0 < \pi_1< \dots < \pi_r = \pi_{\mathrm{top}}\). Let \({\alpha}_1, \dots, {\alpha}_n\) be indeterminates. Define the weight of a covering \(\pi s_{ij} < \pi\) with \(i < j\) to be \({\alpha}_i + {\alpha}_{i+1} +\cdots + {\alpha}_{j-1}\), and then define the weight of a maximal chain to be the product of the weights of its cover relations. In a result that extends to all Weyl groups, Stembridge shows that the sum of the weights of the maximal chains is \[ \frac{\binom{n}{2}!}{1^{n-1} 2^{n-2}\dots (n-1)^1}\prod_{1\leq i<j\leq n}{\alpha}_i + {\alpha}_{i+1} +\cdots + {\alpha}_{j-1}. \] The totally nonnegative Grassmannian \(Gr(k, n)_{\geq 0}\) is a subset of points in the real Grassmannian \(Gr(k, n)\) which have all nonnegative Plücker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of Postnikov's positroid cell decomposition of\(Gr(k, n)_{\geq 0}\). In this paper the authors provide a Stembridge-like formula for the circular Bruhat orderusing the hook formula and Young tableoux for rectangles.
    0 references
    circular Bruhat order
    0 references
    \(k\)-Bruhat order
    0 references
    positroid
    0 references
    totally nonnegative Grassmannians
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references