Conjectural Positivity for Pontryagin Product in Equivariant K-theory of Loop Groups
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908583878197248 |
|---|---|
| author | Kumar, Shrawan |
| author_facet | Kumar, Shrawan |
| contents | Let $G$ be a connected simply-connected simple algebraic group over $\mathbb{C}$ and let $T$ be a maximal torus, $B\supset T$ a Borel subgroup and $K$ a maximal compact subgroup. Then, the product in the (algebraic) based loop group $Ω(K)$ gives rise to a comultiplication in the topological $T$-equivariant $K$-ring $K_T^{top}(Ω(K))$. Recall that $Ω(K)$ is identified with the affine Grassmannian $\mathcal{X}$ (of $G$) and hence we get a comultiplication in $ K_T^{top}(\mathcal{X})$. Dualizing, one gets the Pontryagin product in the $T$-equivariant $K$-homology $K^T_0(\mathcal{X})$, which in-turn gets identified with the convolution product (due to S. Kato). Now, $ K_T^{top}(\mathcal{X})$ has a basis $\{ξ^w\}$ over the representation ring $R(T)$ given by the ideal sheaves corresponding to the finite codimension Schubert varieties $X^w$ in $\mathcal{X}$. We make a positivity conjecture on the comultiplication structure constants in the above basis. Using some results of Kato, this conjecture gives rise to an equivalent conjecture on the positivity of the multiplicative structure constants in $T$-equivariant quantum $K$-theory $QK_T(G/B)$ in the Schubert basis. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_07689 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Conjectural Positivity for Pontryagin Product in Equivariant K-theory of Loop Groups Kumar, Shrawan K-Theory and Homology Algebraic Geometry Algebraic Topology Group Theory 14M15, 19E08, 19L47, 55N15, 14C15, 20G44, 19L64 Let $G$ be a connected simply-connected simple algebraic group over $\mathbb{C}$ and let $T$ be a maximal torus, $B\supset T$ a Borel subgroup and $K$ a maximal compact subgroup. Then, the product in the (algebraic) based loop group $Ω(K)$ gives rise to a comultiplication in the topological $T$-equivariant $K$-ring $K_T^{top}(Ω(K))$. Recall that $Ω(K)$ is identified with the affine Grassmannian $\mathcal{X}$ (of $G$) and hence we get a comultiplication in $ K_T^{top}(\mathcal{X})$. Dualizing, one gets the Pontryagin product in the $T$-equivariant $K$-homology $K^T_0(\mathcal{X})$, which in-turn gets identified with the convolution product (due to S. Kato). Now, $ K_T^{top}(\mathcal{X})$ has a basis $\{ξ^w\}$ over the representation ring $R(T)$ given by the ideal sheaves corresponding to the finite codimension Schubert varieties $X^w$ in $\mathcal{X}$. We make a positivity conjecture on the comultiplication structure constants in the above basis. Using some results of Kato, this conjecture gives rise to an equivalent conjecture on the positivity of the multiplicative structure constants in $T$-equivariant quantum $K$-theory $QK_T(G/B)$ in the Schubert basis. |
| title | Conjectural Positivity for Pontryagin Product in Equivariant K-theory of Loop Groups |
| topic | K-Theory and Homology Algebraic Geometry Algebraic Topology Group Theory 14M15, 19E08, 19L47, 55N15, 14C15, 20G44, 19L64 |
| url | https://arxiv.org/abs/2510.07689 |