Structure of Jackson integrals of \(BC_n\) type (Q1012444): Difference between revisions

The finiteness of non-symmetric and symmetric cohomologies associated with Jackson integrals of type \(BC_n\) is studied. The explicit bases of the cohomologies are given. These bases determine a parameter-dependent Jackson integral, and it is shown that they satisfy holonomic systems of linear \(q\)-difference equations with respect to the parameters. The main results of the paper are presented in four theorems. The first theorem is: Let \(Q=\{(\lambda_1,\dotsc,\lambda_n)\in\mathbb Z^n:-s-1-(n-1)l\leq \lambda_i\leq s+(n-1)l,\,i=1,\dotsc,n\}\) and the parameters \(a_1,a_2,\dotsc,a_m\) and \(t_1,t_1,\dotsc,t_l\) be generic. Then \(H^n(X,\Phi,\nabla_q)\) -- the non-symmetric rational de Rham cohomologies associated with the Jackson integrals of type \(BC_n\) (\(\nabla_q\) is the \(n\)-dimensional covariant \(q\)-difference operator) has dimension \(\tilde\kappa:=\{m+2(n-1)l\}^n\) and is spanned by the basis \(\{z^\lambda:\lambda\in Q\}\). The third theorem is: there exist invertible matrices \(Y_{a_k}\), \(Y_{t_j}\) whose entries \(\eta_{\lambda,\nu}^{(a_k)}\), \(\eta_{\lambda, \nu}^{(t_j)}\) are rational functions of \(a_1,a_2,\dotsc,a_m\) and \(t_1,t_1,\dotsc,t_l\) respectively, such that \(T_{a_k}\langle z^\lambda,\xi\rangle=\sum_{\nu\in Q}\eta_{\lambda,\nu}^{(a_k)} \langle z^\nu,\xi\rangle\), \(T_{t_j}\langle z^\lambda,\xi\rangle= \sum_{\nu\in Q}\eta_{\lambda,\nu}^{(t_j)} \langle z^\nu,\xi \rangle\), where \(T_u\) is the shift operator on a parameter and \(\lambda\) runs over the set \(Q\).