Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they are also closely related to symplectic leaves in the corresponding Poisson-Lie groups. The term "cells" might be misleading because their topology can be quite non-trivial. As a first step towards understanding this topology, we enumerate the connected components of real double Bruhat cells. This result extends (from the simply-laced case to the general one) and proves the conjecture made in a joint work with B.Shapiro-M.Shapiro-A.Vainshtein; it also extends earlier work by B.Shapiro-M.Shapiro-A.Vainshtein and K.Rietsch.
We continue the study of cluster algebras initiated in math.RT/0104151 and math.RA/0208229. We develop a new approach based on the notion of an upper cluster algebra, defined as an intersection of certain Laurent polynomial rings. Strengthening the Laurent phenomenon from math.RT/0104151, we show that, under an assumption of "acyclicity", a cluster algebra coincides with its "upper" counterpart, and is finitely generated. In this case, we also describe its defining ideal, and construct a standard monomial basis. We prove that the coordinate ring of any double Bruhat cell in a semisimple comple…
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 comb…
Kontsevich and Soibelman defined the Donaldson-Thomas invariants of a 3d Calabi-Yau category with a stability condition. Any cluster variety can produce an example of such a category, whose corresponding Donaldson-Thomas invariants are encoded by a special formal automorphism of the cluster variety, known as the Donaldson-Thomas transformation. In this paper we prove a conjecture of Goncharov and Shen in the case of $\mathrm{GL}_n$, which describes the Donaldson-Thomas transformation of the double quotient of the double Bruhat cells $H \backslash \mathrm{GL}_n^{u,v}/H$ where $H$ is a maximal t…
A stratified manifold has a Bruhat atlas on it if it can be covered with open charts such that each chart is stratified-isomorphic to an (opposite) Bruhat cell in a (usually Kac-Moody) flag manifold. In this paper, we construct an anticanonical stratification on the wonderful compactification of the symmetric space $PSO(2n)/SO(2n-1)$ and show that the open charts are isomorphic to certain (opposite) Bruhat cells in the type $D_{n+1}$ flag manifold.
In this paper we study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth morphism from the stack classifying $F$-zips with $G$-structure to the stack classifying the generalized Bruhat cells and study the relation between the resulting stratifications. We apply these general results to the twisted orthogonal $F$-zip given by the second De Rham cohomology of a relative surface, focussing on K3-surfaces.
Double Bruhat cells $G^{u,v}$ were studied by Fomin and Zelevinsky. They provide important examples of cluster algebras and cluster Poisson varieties. Cluster varieties produce examples of 3d Calabi-Yau categories with stability conditions, and their Donaldson-Thomas invariants, defined by Kontsevich and Soibelman, are encoded by a formal automorphism on the cluster variety known as the Donaldson-Thomas transformation. Goncharov and Shen conjectured in that for any semisimple Lie group $G$, the Donaldson-Thomas transformation of the cluster Poisson variety $H\backslash G^{u,v}/H$ is a slight m…
A partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group $G$ has a natural stratification into projected Richardson varieties. When $G$ is a connected reductive group, a Bruhat atlas for ${\mathcal {P}}_K$ was constructed by He, Knutson and Lu: ${\mathcal {P}}_K$ is locally modeled with Schubert varieties in some Kac-Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties…
Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a finite family of compactifications of X(G) which contains the polyhedral compactification. Moreover, this family can be regarded as a non-Archimedean analogue of Satake compactifications for symmetric spaces.
We study the Grassmann manifold $G_k$ of all $k$-dimensional subspaces of ${\mathbb R}^n$. The Cartan embedding $G_k\subset O(n)$ realizes $G_k$ as a subspace of $Sl_n({\mathbb R})$ and we study the decomposition $G_k=\coprod_w (BwB\cap G_k)$ inherited from the classical Bruhat decomposition. We prove that this defines a CW structure on $G_k$ and determine the incidence numbers between cells.
By explicitly describing a cellular decomposition we determine the Borel invariant cycles that generate the Chow groups of the quotient of a reductive group by a Levi subgroup. For illustrations we consider the variety of polarizations $\mbf{SL}_n / \mbf{S}(\mbf{GL}_p\times \mbf{GL}_q)$, and we introduce the notion of a sect for describing its cellular decomposition. In particular, for $p=q$, we show that the Bruhat order on the sect corresponding to the dense cell is isomorphic, as a poset, to the rook monoid with the Bruhat-Chevalley-Renner order.
We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM unitary groups in odd variables for which the considering actions are not transitive. We prove this result by giving negative examples on the question of Bruhat--Colliot-Thélène--Sansuc--Tits or its variant, which is related to the weak approximation on tori over $\mathbb{Q}$.
Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of valued root groups, thanks to Bruhat-Tits theory. In this context, it becomes possible to compute explicitly a minimal generating set of the (all conjugated) maximal pro-p-subgroups thanks to parametrizations of a suitable maximal torus and of corresponding root groups. We show that the minimal number of generators is then linear with respect to the rank of…
We characterise the permutations pi such that the elements in the closed lower Bruhat interval [id,pi] of the symmetric group correspond to non-taking rook configurations on a skew Ferrers board. It turns out that these are exactly the permutations pi such that [id,pi] corresponds to a flag manifold defined by inclusions, studied by Gasharov and Reiner. Our characterisation connects the Poincare polynomials (rank-generating function) of Bruhat intervals with q-rook polynomials, and we are able to compute the Poincare polynomial of some particularly interesting intervals in the finite Weyl grou…
Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the étale fundamental group of the moduli stack $\mathcal{M}_X(\mathcal{G})$ of torsors under $\mathcal{G}$ is isomorphic to that of the moduli stack $\mathcal{M}_X(G)$ of principal $G$-bundles. For any smooth, noetherian and irreducible stack $\mathcal{X}$, we show that an inclusion of an open substack $\mathcal{X}^\circ$, whose complement has codimension at least two, will induce an isomorphism of étale …
We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1…
We show some of the conjectures of Pappas and Rapoport concerning the moduli stack of $\mathcal{G}$-torsors on a curve C, where $\mathcal{G}$ is a semisimple Bruhat-Tits group scheme on C. In particular we prove the analog of the uniformization theorem of Drinfeld-Simpson in this setting. Furthermore we apply this to compute the connected components of these moduli stacks and to calculate the Picard group of the stack of torsors in case $\mathcal{G}$ is simply connected.
In this paper we study the $p$-adic analytic geometry of the basic unitary group Rapoport-Zink spaces $\M_K$ with signature $(1,n-1)$. Using the theory of Harder-Narasimhan filtration of finite flat groups developed by Fargues in \cite{F2},\cite{F3}, and the Bruhat-Tits stratification of the reduced special fiber $\M_{red}$ defined by Vollaard-Wedhorn in \cite{VW}, we find some relatively compact fundamental domain $\D_K$ in $\M_K$ for the action of $G(\Q_p)\times J_b(\Q_p)$, the product of the associated $p$-adic reductive groups, and prove that $\M_K$ admits a locally finite cell decompositi…
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi. For the case G = B, we use the Mihalcea's equivariant …
Let V be a finite dimensional vector space over the two element field. We compute orbits for the linear action of groups generated by transvections with respect to a certain class of bilinear forms on V. In particular, we compute orbits that are in bijection with connected components of real double Bruhat cells in semisimple groups, extending results of M.Gekhtman, B. Shapiro, M. Shapiro, A.Vainshtein and A. Zelevinsky.
In this paper we reduce the problem of counting the number of connected components in the intersection of two opposite open Schubert cells in the variety of real complete flags to a purely combinatorial question of counting the number of orbits of a certain intriguing group action in the space of upper triangular matrices with {0,1}-valued entries. The crucial step of our reduction uses the parametrization of the space of real unipotent totally positive upper triangular matrices introduced by Lusztig and Berenstein, Fomin, Zelevinski.
