{"title":"On the Satake correspondence for the equivariant quantum differential equations and qKZ difference equations of Grassmannians","authors":"Giordano Cotti, Alexander Varchenko","doi":"arxiv-2409.09657","DOIUrl":null,"url":null,"abstract":"We consider the joint system of equivariant quantum differential equations\n(qDE) and qKZ difference equations for the Grassmannian $G(k,n)$, which\nparametrizes $k$-dimensional subspaces of $\\mathbb{C}^n$. First, we establish a\nconnection between this joint system for $G(k,n)$ and the corresponding system\nfor the projective space $\\mathbb{P}^{n-1}$. Specifically, we show that, under\nsuitable \\textit{Satake identifications} of the equivariant cohomologies of\n$G(k,n)$ and $\\mathbb{P}^{n-1}$, the joint system for $G(k,n)$ is gauge\nequivalent to a differential-difference system on the $k$-th exterior power of\nthe cohomology of $\\mathbb{P}^{n-1}$. Secondly, we demonstrate that the \\textcyr{B}-theorem for Grassmannians, as\nstated in arXiv:1909.06582, arXiv:2203.03039, is compatible with the Satake\nidentification. This implies that the \\textcyr{B}-theorem for\n$\\mathbb{P}^{n-1}$ extends to $G(k,n)$ through the Satake identification. As a\nconsequence, we derive determinantal formulas and new integral representations\nfor multi-dimensional hypergeometric solutions of the joint qDE and qKZ system\nfor $G(k,n)$. Finally, we analyze the Stokes phenomenon for the joint system of qDE and qKZ\nequations associated with $G(k,n)$. We prove that the Stokes bases of solutions\ncorrespond to explicit $K$-theoretical classes of full exceptional collections\nin the derived category of equivariant coherent sheaves on $G(k,n)$.\nFurthermore, we show that the Stokes matrices equal the Gram matrices of the\nequivariant Euler-Poincar\\'e-Grothendieck pairing with respect to these\nexceptional $K$-theoretical bases.","PeriodicalId":501063,"journal":{"name":"arXiv - MATH - Algebraic Geometry","volume":"116 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Algebraic Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09657","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We consider the joint system of equivariant quantum differential equations
(qDE) and qKZ difference equations for the Grassmannian $G(k,n)$, which
parametrizes $k$-dimensional subspaces of $\mathbb{C}^n$. First, we establish a
connection between this joint system for $G(k,n)$ and the corresponding system
for the projective space $\mathbb{P}^{n-1}$. Specifically, we show that, under
suitable \textit{Satake identifications} of the equivariant cohomologies of
$G(k,n)$ and $\mathbb{P}^{n-1}$, the joint system for $G(k,n)$ is gauge
equivalent to a differential-difference system on the $k$-th exterior power of
the cohomology of $\mathbb{P}^{n-1}$. Secondly, we demonstrate that the \textcyr{B}-theorem for Grassmannians, as
stated in arXiv:1909.06582, arXiv:2203.03039, is compatible with the Satake
identification. This implies that the \textcyr{B}-theorem for
$\mathbb{P}^{n-1}$ extends to $G(k,n)$ through the Satake identification. As a
consequence, we derive determinantal formulas and new integral representations
for multi-dimensional hypergeometric solutions of the joint qDE and qKZ system
for $G(k,n)$. Finally, we analyze the Stokes phenomenon for the joint system of qDE and qKZ
equations associated with $G(k,n)$. We prove that the Stokes bases of solutions
correspond to explicit $K$-theoretical classes of full exceptional collections
in the derived category of equivariant coherent sheaves on $G(k,n)$.
Furthermore, we show that the Stokes matrices equal the Gram matrices of the
equivariant Euler-Poincar\'e-Grothendieck pairing with respect to these
exceptional $K$-theoretical bases.