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 also given.
These bases determine parameter-dependent Jackson integral, and it is shown that they satisfy holonomic systems of linear $q$-difference equations with respect to the parameters.
References
G. E. Andrews, $q$-series: their development and application in analysis, number theory, combinatorics, physics, and computer algebra, CBMS Regional Conference Series in Mathematics, 66. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI,, 1986.
Mathematical Reviews (MathSciNet):
MR858826
K. Aomoto, $q$-analogue of de Rham cohomology associated with Jackson integrals I, II, Proc. Japan Acad. Ser. A Math. Sci., 66 (1990), 161--164; 240--244.
K. Aomoto, Finiteness of a cohomology associated with certain Jackson integrals, Tohoku Math. J. (2), 43 (1991), 75--101.
K. Aomoto, Connection formulas in the $q$-analog de Rham cohomology, Functional analysis on the eve of the 21st century, Vol.,1 (New Brunswick, NJ, 1993), 1--12, Progr. Math., 131, Birkhäuser Boston, Boston, MA, 1995.
K. Aomoto, $q$-difference de Rham complex and Čech cohomology (an essay on basic hypergeometric functions), Sugaku Expositions, 13 (2000), 125--142.
K. Aomoto, Integral representations and holonomic $q$-difference structure of Askey--Wilson type functions, Preprint,, 2006.
K. Aomoto and M. Ito, $BC_n$-type Jackson integral generalized from Gustafson's $C_n$-type sum, J. Difference Equ. Appl., 14 (2008), 1059--1097.
K. Aomoto and M. Ito, A determinant formula for a holonomic $q$-difference system of $BC_n$ type Jackson integrals, Adv. Math. (to appear).,
K. Aomoto and K.Kato, A $q$-analogue of de Rham cohomology associated with Jackson integrals, Special functions (Okayama, 1990), 30--62, ICM-90 Satell. Conf. Proc., Springer, Tokyo, 1991.
K. Aomoto and K. Kato, Gauss decomposition of connection matrices for symmetric $A$-type Jackson integrals. Selecta Math. (N.S.), 1 (1995), 623--666.
R. Askey and J. Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials, Mem. Amer. Math. Soc., 54 (1985), 319.
Mathematical Reviews (MathSciNet):
MR783216
F. Conforto, Abelsche Funktionen und Algebraische Geometrie, Springer-Verlag, 1956.
Mathematical Reviews (MathSciNet):
MR79316
J. F. van Diejen, On certain multiple Bailey, Rogers and Dougall type summation formulas, Publ. Res. Inst. Math. Sci., 33 (1997), 483--508.
R. A. Gustafson, Some $q$-beta and Mellin-Barnes integrals with many parameters associated to the classical groups, SIAM J. Math. Anal., 23 (1992), 525--551.
R. A. Gustafson, Some $q$-beta and Mellin--Barnes integrals on compact Lie groups and Lie algebras, Trans. Amer. Math. Soc., 341 (1994), 69--119.
F. Harary and E. M. Palmer, Graphical enumeration, Academic Press, New York-London, 1973.
Mathematical Reviews (MathSciNet):
MR357214
M. Ito, Symmetry classification for Jackson integrals associated with irreducible reduced root systems, Compositio Math., 129 (2001), 325--340.
M. Ito, Symmetry classification for Jackson integrals associated with the root system $BC\sb n$, Compositio Math., 136 (2003), 209--216.
M. Ito, Convergence and asymptotic behavior of Jackson integrals associated with irreducible reduced root systems, J. Approx. Theory, 124 (2003), 154--180.
M. Ito, Askey--Wilson type integrals associated with root systems, Ramanujan J., 12 (2006), 131--151.
M. Ito, $q$-difference shift for a $BC\sb n$-type Jackson integral arising from `elementary' symmetric polynomials, Adv. Math., 204 (2006), 619--646.
M. Ito, Another proof of Gustafson's $C\sb n$-type summation formula via `elementary' symmetric polynomials, Publ. Res. Inst. Math. Sci., 42 (2006), 523--549.
M. Ito, A multiple generalization of Slater's transformation formula for a very-well-poised-balanced $_2r\psi _2r$ series, Q. J. Math., 59 (2008), 221--235.
M. Ito and S. Okada, An application of Cauchy--Sylvester's theorem on compound determinants to a $BC_n$-type Jackson integral, Preprint,, 2008.
K. W. J. Kadell, A proof of the $q$-Macdonald-Morris conjecture for $BC\sb n$, Mem. Amer. Math. Soc., 108 (1994), 516.
I. G. Macdonald, A formal identity for affine root systems, Lie groups and symmetric spaces, 195--211, Amer. Math. Soc. Transl. Ser. 2, 210, Amer. Math. Soc., Providence, RI, 2003.
K. Mimachi and M. Noumi, An integral representation of eigenfunctions for Macdonald's $q$-difference operators, Tohoku Math. J. (2), 49 (1997), 517--525.
T. Oda, Convex bodies and algebraic geometry, An introduction to the theory of toric varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 15. Springer-Verlag, Berlin,, 1988.
Mathematical Reviews (MathSciNet):
MR922894
G. Pólya and R. C. Read, Combinatorial enumeration of groups, graphs, and chemical compounds, Springer-Verlag, New York, 1987.
Mathematical Reviews (MathSciNet):
MR884155
G. Pólya and G. Szegö, Problems and theorems in analysis I, Series, integral calculus, theory of functions, Grundlehren der Mathematischen Wissenschaften, 193. Springer-Verlag, Berlin-New York, 1978.,
Mathematical Reviews (MathSciNet):
MR580154
C. Sabbah, Systèmes holonomes d'équations aux $q$-différences, $D$-modules and microlocal geometry (Lisbon, 1990), 125--147, de Gruyter, Berlin, 1993.
C. L. Siegel, Analytic Functions of Several Complex Variables, Institute for Advanced Study, Princeton, N.J.,, 1950.
Mathematical Reviews (MathSciNet):
MR34847
W. T. Tutte, Graph theory, Encyclopedia of Mathematics and its Applications, 21. Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA, 1984.
Mathematical Reviews (MathSciNet):
MR746795
V. Tarasov and A. Varchenko, Geometry of $q$-hypergeometric functions, quantum affine algebras and elliptic quantum groups, Astérique, 246 (1997), 1--135.