Quantum K-theory positivity conjecture for homogeneous spaces

Let X=G/PXX=G/P_X be a rational projective homogeneous space. Schubert varieties in XX are indexed by WXW^X, and for uWXu\in W^X let XuX^u be the Schubert variety with codimX(Xu)=(u)\operatorname{codim}_X(X^u)=\ell(u). Write Ou=[OXu]{\mathcal O}^u=[{\mathcal O}_{X^u}] for its class in the small quantum KK-theory ring QK(X)\operatorname{QK}(X), whose products are

OuOv=dwWXNu,vw,dqdOw,{\mathcal O}^u\star {\mathcal O}^v=\sum_d\sum_{w\in W^X}N_{u,v}^{w,d}q^d{\mathcal O}^w,

where dd ranges over effective classes in H2(X,Z)H_2(X,\mathbb Z). Quantum KK-theory positivity conjecture. For u,v,wWXu,v,w\in W^X and dH2(X,Z)d\in H_2(X,\mathbb Z), one has

(1)(uvw)+dc1(TX)Nu,vw,d0.(-1)^{\ell(uvw)+\int_d c_1(T_X)}N_{u,v}^{w,d}\geq 0.

This conjecture extends the known sign alternation for structure constants in ordinary and classical KK-theory to quantum KK-theory of homogeneous spaces. The source presents it as an expected positivity property and gives no resolution of the general statement.

Sources & referencesView supporting material

Primary source

Vladimiro Benedetti, Nicolas Perrin and Weihong Xu, “Quantum K-theory of IG(2, 2n)”, arXiv:2402.12003 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.