V. Uma
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.
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.