Equivariant $K$-theory of cellular toric varieties

V. Uma
2024-08-26
Abstract:In this article we describe the $T_{comp}$-equivariant topological $K$-ring of a $T$-{\it cellular} complete toric variety. We further show that $K_{T_{comp}}^0(X)$ is isomorphic as an $R(T_{comp})$-algebra to the ring of piecewise Laurent polynomial functions on the associated fan denoted $PLP(\Delta)$. Furthermore, we compute a basis for $K_{T_{comp}}^0(X)$ as a $R(T_{comp})$-module and multiplicative structure constants with respect to this basis.
K-Theory and Homology,Algebraic Geometry,Algebraic Topology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the description of the equivariant K - theory of a specific type of algebraic varieties (i.e., complete, T - cellular toric varieties). Specifically, the author attempts to describe the topological equivariant K - rings associated with these varieties and prove their structural properties. ### Main research questions 1. **Describe the equivariant K - ring**: The main objective of the paper is to describe the \(T_{\text{comp}}\)-equivariant topological K - ring \(K^0_{T_{\text{comp}}}(X(\Delta))\) of the complete T - cellular toric variety \(X(\Delta)\). 2. **Isomorphism properties**: Further, the author proves that \(K^0_{T_{\text{comp}}}(X)\) is isomorphic as an \(R(T_{\text{comp}})\)-algebra to the ring \(PLP(\Delta)\) of piecewise Laurent polynomial functions on the associated fan \(\Delta\). 3. **Basis and multiplication structure constants**: In addition, the author calculates the basis of \(K^0_{T_{\text{comp}}}(X)\) as an \(R(T_{\text{comp}})\)-module and determines the multiplication structure constants with respect to this basis. ### Specific formulas and definitions - **Equivariant K - ring**: \[ K^0_{T_{\text{comp}}}(X) \] represents the \(T_{\text{comp}}\)-equivariant topological K - ring of \(X\), where \(T_{\text{comp}}\cong(S^1)^n\) is the maximal compact subgroup of the complex algebraic group \(T\cong(\mathbb{C}^*)^n\). - **Ring of piecewise Laurent polynomial functions**: \[ PLP(\Delta):=\left\{(f_\sigma)\in\prod_{\sigma\in\Delta}Z[M/M\cap\sigma^\perp]\mid f_{\sigma'}|_\sigma = f_\sigma\text{ whenever }\sigma\preceq\sigma'\in\Delta\right\} \] - **Basis elements**: \[ f_i\in K^0_{T_{\text{comp}}}(X)\quad\text{such that}\quad f_i|_{x_i}=\prod_{j = 1}^{n - k_i}(1 - e^{u_{ij}}),\quad f_i|_{x_l}=0\quad\forall l > i \] - **Multiplication structure constants**: \[ f_i\cdot f_j=\sum_{p = 1}^m a^p_{i,j}\cdot f_p \] where the structure constants \(a^l_{i,j}\) can be determined by the following recurrence formula: \[ a^l_{i,j}=\left[f_i\cdot f_j-\sum_{p = l+1}^m a^p_{i,j}\cdot f_p\right]\bigg|_{x_l}\cdot\prod_{r = 1}^{n - k_l}(1 - e^{-u_{lr}}) \] ### Summary By describing the equivariant K - ring of complete T - cellular toric varieties and proving their isomorphism properties, the paper solves the key problems in the equivariant K - theory of these varieties. At the same time, it also provides specific bases and multiplication structure constants, which provide a basis for further research on the geometric and topological properties of these varieties.