Coxeter group actions on _4 F₃(1) hypergeometric series

From MaRDI portal
Publication:631495



Abstract: We investigate a certain linear combination K(vecx)=K(a;b,c,d;e,f,g) of two Saalschutzian hypergeometric series of type 4F3(1). We first show that K(a;b,c,d;e,f,g) is invariant under the action of a certain matrix group GK, isomorphic to the symmetric group S6, acting on the affine hyperplane V=(a,b,c,d,e,f,g)inBbbC7colone+f+g−a−b−c−d=1. We further develop an algebra of three-term relations for K(a;b,c,d;e,f,g). We show that, for any three elements mu1,mu2,mu3 of a certain matrix group MK, isomorphic to the Coxeter group W(D6) (of order 23040), and containing the above group GK, there is a relation among K(mu1vecx), K(mu2vecx), and K(mu3vecx), provided no two of the muj's are in the same right coset of GK in MK. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in a,b,c,d,e,f,g. The set of (|MK|/|GK|atop3)=(32atop3)=4960 resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple (mu1,mu2,mu3) in question. This Hamming type is defined in terms of Hamming distance between the muj's, which in turn is defined in terms of the expression of the muj's as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.




Cites work









This page was built for publication: Coxeter group actions on \({}_{4} F_{3}(1)\) hypergeometric series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631495)