Equivariant \(K\)-theory of Bott towers. Application to the multiplicative structure of the equivariant \(K\)-theory of flag varieties (Q2495305)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equivariant \(K\)-theory of Bott towers. Application to the multiplicative structure of the equivariant \(K\)-theory of flag varieties
scientific article

    Statements

    Equivariant \(K\)-theory of Bott towers. Application to the multiplicative structure of the equivariant \(K\)-theory of flag varieties (English)
    0 references
    0 references
    5 July 2006
    0 references
    Let \(G\) be a connected complex semi-simple Lie group, \(B\) a Borel subgroup of \(G\) and \(T\subset B\) a compact maximal torus of \(B\). There is a \(G\)-action on the associated flag variety \(X=G/B\) induced by the multiplication on \(G\). The Bott-Samelson varieties were introduced by \textit{R. Bott} and \textit{H. Samelson} [Am. J. Math. 80, 964--1029 (1958); Correction. ibid. 83, 207--208 (1961; Zbl 0101.39702)] and are equipped with a \(T\)-action and a \(T\)-equivariant map with values in \(X\). The Bott-towers are toric varieties built as iterated fibrations with fibre \(\mathbb{C}P^1\), equipped with a \(D\)-action where \(D\) is a compact torus of the same dimension as the variety [\textit{M. Grossberg} and \textit{Y. Karshon}, Duke Math. J. 76, 23--58 (1994; Zbl 0826.22018)]. The first sections are devoted to definitions and preliminary results. In section 5 for a Bott tower \(Y\) a basis \(\{\widehat{\mu}_\varepsilon^D\}_{\varepsilon\in{\mathcal E}}\) for \(K_D(Y)\) as an \(R[D]\)-module where \({\mathcal E}\) is the cell decomposition of \(Y\) is given, and it is used to perform several calculations. In sections 6 and 7 the author gives some applications to the calculation of the equivariant \(K\)-theory of the Bott-Samelson and flag varieties. In the last section some applications are given for the fact shown by \textit{B. Kostant} and \textit{S. Kumar} [J. Differ. Geom. 32, 549--603 (1990; Zbl 0731.55005)] that the canonical map \(\mathbb{Z}\otimes_{R[D]} K_T(X)\rightarrow K(X)\) is an isomorphism.
    0 references
    equivariant \(K\)-theory
    0 references
    Bott towers
    0 references
    flag verieties
    0 references

    Identifiers