Affine open covering of the quantized flag manifolds at roots of unity (Q2049366)

The author proves that the quantized flag manifold at a root of unity has a natural affine open covering parametrized by the elements of the Weyl group. In particular, the quantized flag manifold turns out to be a quasi-scheme in the sense of \textit{A. L. Rosenberg} [Noncommutative algebraic geometry and representations of quantized algebras. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0839.16002)]. Roughly speaking the author generalizes the Bruhat decomposition of a connected semisimple algebraic group \(G\). The flag manifold \(\mathcal{B}= G/B \) has an affine open covering by \(B\) orbits : \(\mathcal{B}= \bigcup_{w\in W}BwB\), where \(B\) is a Borel subgroup and \(W\) is the Weyl group of \(G\). Let \(R\) be the homogeneous coordinate algebra of \(\mathcal{B}\) and let \(R^w\) be the coordinate algebra of \(\mathcal{B}^w\) so that \(\mathcal{B}= \mathrm{Proj }R\), \(\mathcal{B}^w = \mathrm{Spec }R^w\). The author considers the case where \(G\) is replaced by the corresponding quantum group. Let \(K\) be a field equipped with \(q\in K^*\). Using the quantum group the author defines \(q\)-analogues \(R_{K,q}\), \(R_{K,q}^W\) of \(R\), \(R^w\) respectively. \(R_{K,q}\) is a graded K-algebra, and \(R_{K,q}^w\). The original case of a semisimple complex \(G\) corresponds to conditions \(K=\mathbb{C}\) and \(q=1\). However in general \(R_{K,q}\) and \(R_{K,q}^w\) are non-commutative. Using \(R_{K,q}\) and \(R_{K,q}^w\) the author defines as in [\textit{A. L. Rosenberg}, Noncommutative algebraic geometry and representations of quantized algebras. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0839.16002)] and [\textit{V. A. Lunts} and \textit{A. L. Rosenberg}, Sel. Math., New Ser. 5, No. 1, 123--159 (1999; Zbl 0928.16020)] the abelian categories \(\mathrm{Mod}(\mathcal{O}_{B_{K,q}} )\) and \(Mod(\mathcal{O}_{B_{K,q}^w} )\) which are regarded as the categories of ``quasi-coherent sheaves'' on the virtual spaces \(B_{K,q}=\mathrm{Proj }R_{K,q}\) and \(B_{K,q}^w=\mathrm{Proj }R_{K,q}^w\) and the exact functors \((i^w_{K,q}): \mathrm{Mod}(\mathcal{O}_{B_{K,q}} ) \rightarrow Mod(\mathcal{O}_{B_{K,q}^w} )\). In order to verify that \(\mathrm{Mod}(\mathcal{O}_{B_{K,q}} )\) defines a quasi-scheme \(B_{K,q}\) in the sense of [\textit{A. L. Rosenberg}, Noncommutative algebraic geometry and representations of quantized algebras. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0839.16002)] the author shows the patching property \[M\in \mathrm{Mod}(\mathcal{O}_{B_{K,q}} ) , (i^w_{K,q})^*M=0 \forall w \Rightarrow M=0.\] The main result of this paper is the proof of such property when \(q\) is a root of unity.