\(B_{n -1}\)-bundles on the flag variety. I (Q2075239)

The authors study the action of a Borel subgroup \(B_{n-1}\) of \(G_{n-1} = \mathrm{GL}(n-1)\) (respectively \(SO(n-1)\)) acting on the flag variety \(\mathcal{B}_n\) of \(G = \mathrm{GL}(n)\) (resp. \(\mathrm{SO}(n)\)). It is known that \(B_{n-1}\) acts on \(\mathcal{B}_n\) with finitely many orbits. The authors's goal is to provide a combinatorial description of the orbits and in particular to understand monoidal actions on the orbits. They hope that these results allow to understand representations of the Lie algebra realized via the Beilinson-Bernstein correspondence using local systems on these orbits. \(G_{n-1}\) is embedded as a symmetric subgroup of \(G_{n}\), up to center in the \(\mathrm{GL}(n)\)-case. This means that \(G_{n-1}\) is embedded in the point of \(G_{n}\) fixed by an involution (taking the identity component and up to center in the \(GL(n)\)-case). The main result of this paper is the proof that every \(B_{n-1}\)-orbit in \(\mathcal{B}_n\) is a fibre bundle over a \(B_{n-1}\)-orbit in a generalized flag variety of \(G_{n-1}\) with fibre a \(B_{m-1}\)-orbit on \(\mathcal{B}_m\) for some \(m < n\). In more detail, for each \(B_{n-1}\)-orbit in \(\mathcal{B}_n\) the authors define a special parabolic \(R\) of \(G_{n}\) so that \(R\cap G_{n-1}\) is a parabolic subgroup of \(G_{n-1}\) and the application \(G_{n-1}\rightarrow G_{n-1} /R\cap G_{n-1}\) allows constructing the aforementioned fiber bundle. This results allows the authors to give an inductive description of \(B_{n-1}\)-orbits on the flag variety \(\mathcal{B}_n\) in terms of special parabolics, Weyl group data, and data derived inductively from the same problem for a smaller index. In the sequel of this paper the authors use these results to give a complete combinatorial model for these orbits and show how to understand the closure relations on these orbits in terms of the monoid action. In the \(\mathrm{GL}(n)\)-case, \textit{T. Hashimoto} [Geom. Dedicata 105, 13--27 (2004; Zbl 1060.14072)] describes the \(B_{n-1}\)-orbits on \(\mathcal{B}_n\), and discusses part of the monoid action that the authors consider in this paper. While Hashimoto's approach is based on analyzing orbits of a Borel subgroup, the authors' approach is based more on studying the orbits of \(G_{n-1}\) on the flag manifold. [\textit{J. Gandini} and \textit{G. Pezzini}, J. Algebr. Comb. 47, No. 3, 357--401 (2018; Zbl 1453.14127)] studies the general case of orbits of solvable subgroups of \(G\) with finitely many orbits on the flag variety of \(G\).