Symmetric Functions and q-Products with an Application to Theoretical Physics

Maria E. X. Guimarães

Instituto de Fsica, Universidade Federal Fluminense, Niterói-RJ, Brazil.

DOI: 10.4236/apm.2021.115025                

Abstract

The main purpose of this paper is to show that the Poincaré q-polynomials admit a representation in terms of the symmetric functions and the Patterson-Selberg (or Ruelle-type) spectral functions. We have shown that the q-series elliptic genera can be expressed in terms of q-analogs of the classical special functions, specially the equivalence between the spectral Patterson-Selberg and the Ruelle functions. The main result of this manuscript is to show that this representation can be used in theoretical physics and we analyze them in terms of the Patterson-Selberg spectral function R (s).

Keywords

Poincaré q-Polynomials, Patterson-Selberg Spectral Functions, Ruelle Spectral Functions

1. Introduction

The main purpose of this paper is to present the explicit formulas of q-polynomials which admit a presentation in terms of the Patterson-Selberg (or Ruelle-type) spectral functions. It has been shown that equivariant methods also can be used to define and analyze (twisted) K-theory [1] [2] [3]. Applying techniques from the equivariant K-theory, one can construct a Chern character and K-theory Euler class. This is manifested by the fact that the q-series elliptic genera can be expressed in terms of q-analogs of the classical special functions, in particular the spectral Patterson-Selberg and Ruelle functions $\mathcal{R}\left(s\right)$ [4]. In the present paper we would like to call attention to this connection by discussing some mathematical aspects associated with it.

One of the aims of the present paper is the application of the analytic Patterson-Selberg function $\mathcal{R}\left(s\right)$ and the symmetric functions (S-functions) in Analysis and Theoretical Physics. $\mathcal{R}\left(s\right)$ and S-functions not only provide beautiful formulas in analysis but also promote interesting results in theoretical physics. We mention below some results which will be explored along this manuscript.

Symmetric functions. Symmetric functions are directly connected with the Quantum Hall effect.

Finite-dimensional algebras. These algebras have wide variety of applications in Physics in the so-called quantum group which can be regarded as a deformation, depending on a parameter q, of the universal enveloping algebra of a semi-simple Lie algebra. Therefore, this is not finite-dimensional algebras but they are finitely generated. Their representation theory for q not a root of unity was found to be similar to the corresponding semi-simple Lie algebra.

Quantum groups. Quantum groups are an example of quasi-triangular Hopf algebras and, as such, for each quantum group there exists a universal R-matrix which intertwines with the action of the coproduct. By considering q-deformations of simple Lie superalgebras, one comes across to the concept of quantum supergroups.

Infinite-dimensional algebras. Of central importance in many diverse areas, Mathematics and Theoretical Physics are a particular class of infinite-dimensional algebras called (affine) Kac-Moody algebras. Unlike the finite-dimensional case, where the simple Lie algebras can be realized in terms of a finite number of fermionic/bosonic modes, simple Kac-Moody algebras have various vertex operator realizations. As an example, in terms of a finite number of bosonic free fields, the modes of which generate a Heisenberg algebra.

This paper is organized as follows. In Section 2 we consider the twisted symmetric products, the Euler characteristic $\chi \left(X\right)$. Then in Section 3 we analyse the Hirzebruch $\chi \left(X^n\right)$ genera and calculate it in the orbifold cycle case. In Section 4 we calculate the orbifold symmetric product. In Section 5 we present the so-called Patterson-Selberg functions $\mathcal{R}\left(s\right)$ and discuss their applications. Finally, we summarize our key results in the Conclusion.

2. The Twisted Symmetric Product

Let G be a finite group and X be a G-space, on which a normal subgroup A acts trivially. The G-equivariant K-theory of X can be decomposed as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A [5] (theorems 3.2 and 3.4).

Now we turn to the symmetric group and denote by $G={\mathfrak{S}}_n$ the symmetric group on n symbols. As before, we denote the non-trivial class of G by $\alpha$. Using the decomposition formula (theorem 3.4 of [5] ), one can calculate $K_{{\mathfrak{S}}_n}^{\mathrm{<mo>\; *\; </mo>}}\left(X^n\mathrm{,}\alpha \right)$, where the group acts on the n-fold product of a manifold X by permutation of coordinates. At last, formula for the twisted symmetric products takes the form

$\begin{array}{l}{\displaystyle \sum }\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}{q}^n\chi \left(K_{{\mathfrak{S}}_n}^{*}\left(X^n,\alpha \right)\otimes ℂ\right)\\ ={\displaystyle \underset{n>0}{\prod }}{\left(1-q^{2n-1}\right)}^{-\chi \left(X\right)}+{\displaystyle \underset{n>0}{\prod }}{\left(1+q^{2n-1}\right)}^{\chi \left(X\right)}\\ \times \left[1+\frac{1}{2}{\displaystyle \underset{n>0}{\prod }}{\left(1+q^{2n}\right)}^{\chi \left(X\right)}-\frac{1}{2}{\displaystyle \underset{n>0}{\prod }}{\left(1-q^{2n}\right)}^{\chi \left(X\right)}\right].\end{array}$ (1)

In Equation (1), $\chi \left(X\right)$ is the Euler characteristic of X and (*) implies the conjugacy of the K function. We can easily rewrite Equation (1) in terms of spectral functions $\mathcal{R}\left(s\right)$ and we will present it in section 5.

It is known that if X is any compact, connected manifold, then $\chi \left(X\right)=Td\left(X\right)$. By means of Atiyah-Singer formula one can calculate index of an elliptic operator and express it (i.e. express the signature of a manifold) in terms of Pontrjagin classes. As before, we denote the non-trivial class of G by $\alpha$.

3. The Analysis of the Hirzebruch Genera

Let M be a smooth manifold and G is a finite group of diffeomorphisms. Note that there are two kinds of interesting cohomology theories for the orbifold M/G.

· The orbifold de Rham cohomology $H^{\ast }\left(M/G\right)$. We easily have isomorphism

$H^{\ast }\left(M/G\right)\cong H^{\ast }{\left(M\right)}^G$ (2)

· Next cohomology is the delocalized equivariant cohomology

$H^{\ast }\left(M\mathrm{,}G\right)={\left(\underset{g\in G}{{\displaystyle \oplus }}{H}^{\ast }\left(M^g\right)\right)}^G=\underset{\left[g\right]\in G_{\ast }}{{\displaystyle \oplus }}{\left(M^g\right)}^{Z_g}=\underset{\left[g\right]\in G_{\ast }}{{\displaystyle \oplus }}{H}^{\ast }\left(M^g/Z_g\right)$ (3)

Equations (3) have been introduced for the study of the equivariant K-theory. In this equations $G_{\ast }$ denotes the set of conjugacy classes of G, $Z_g$ denotes the centralizer of g. For this cohomology theory, one can define an Euler number, denoted by $\chi \left(M/G\right)$ and $\chi \left(M\mathrm{,}G\right)$ respectively.

Definition 3.1

$\chi \left(M\mathrm{,}G\right)=1/\left|G\right|{\displaystyle \underset{\left(g\mathrm{,}h\right)}{\overset{\text{'}}{\sum }}}\chi \left(M^{\langle g\mathrm{,}h\rangle }\right)$ (4)

Here $\langle g\mathrm{,}h\rangle$ is the group generated by g and h, the sum is taken over commutating pairs $\left(g\mathrm{,}h\right)\in G\times G$

Note that $\chi \left(M\mathrm{,}G\right)$ as defined in (2) is the Euler number of $H^{\ast }\left(M\mathrm{,}G\right)$ or equivalently $K_G^{\ast }\left(M\right)$. Therefore, one can easily show that

$\chi \left(M\mathrm{,}G\right)={\displaystyle \underset{\left(g\mathrm{,}h\right)}{\overset{\text{'}}{\sum }}}\in G_{\ast }\chi \left(M^g/Z_g\right)\mathrm{,}$ (5)

it is a classical analogue of the Lefschitz formula. Indeed:

$\chi \left(M/G\right)=1/\left|G\right|{\displaystyle \underset{g\in G}{\sum }}\chi \left(M^g\right)={\displaystyle \underset{\left[g\right]\in G_{\ast }}{\sum }}1/\left|Z_g\right|\chi \left(M^g\right)\mathrm{.}$ (6)

Interesting classes of examples are provided by the symmetric products $X^{\left(n\right)}=X^n/S_n$. The following formulas have been proved by various authors:

${\displaystyle \underset{n\ge 0}{\sum }}\chi \left(X^{\left(n\right)}\right)q^n=1/{\left(1-q\right)}^{\chi \left(X\right)}$ (7)

${\displaystyle \underset{n\ge 0}{\sum }}\chi \left(X^n,S_n\right)q^n={\displaystyle \underset{l\ge 1}{\prod }}1/{\left(1-q^l\right)}^{\chi \left(X\right)}$ (8)

Again, we will present in Section 5, Equation (18), the result

${\displaystyle \underset{n\ge 0}{\sum }}\chi \left(X^{\left(n\right)}\right)q^n=1/\mathcal{R}(s=1/2\pi i\tau {\left(2-i\rho \left(\tau \right)-\frac{1}{2\pi i\tau }\right)}^{\chi \left(X\right)}$ (9)

Analysis for cycles. Let $x_j\mathrm{,}j=\mathrm{1,}\cdots \mathrm{,}d$ are the Chern roots of $X\left(d=dimX\right)$.

If ${\Delta }_n\left(X\right)=\left(x\mathrm{,}\cdots \mathrm{,}x\right)\in X^n$ then notice ${\left(X^n\right)}^{{\sigma }_n}={\Delta }_n\left(X\right)$, ${X^n|}_{{\Delta }_n\left(X\right)}$ is isomorphic to the direct sum of n copies of X and ${\sigma }_n$ acts on it by cycling the factors j. The eigenvalues of n cycles on ${\left(ℂ\right)}^n$ are ${\text{e}}^{\left(2k\pi \sqrt{1/n}\right)}$ for $k=0,\cdots ,n-1$ each with multiplicity 1. ${\displaystyle {\prod }_{k=1}^{n-1}}\left[1-{\text{e}}^{-x_j-2k\pi \left(-1/n\right)}\right]=\left({\displaystyle {\prod }_{k=1}^{\infty }}-{\displaystyle {\prod }_{k=n}^{\infty }}\right)\left(1-{\text{e}}^{-x_j-2k\pi \left(-1/n\right)}\right)$. Then with Appendix, Equation (18), we obtain

${\displaystyle \underset{k=1}{\overset{\infty }{\prod }}}\left(1-{\text{e}}^{-k{x}_j}\right)=\mathcal{R}\left(s=\left(1/i\tau -x_j-1/n\right)\left(1-i\rho \left(\tau \right)\right)\right)$ (10)

${\displaystyle \underset{k=n}{\overset{\infty }{\prod }}}\left(1-{\text{e}}^{-k{x}_j}\right)=\mathcal{R}\left(s=\left(n/i\tau -x_j-1/n\right)\left(1-i\rho \left(\tau \right)\right)\right)$ (11)

4. The Orbifold Symmetric Product

We will analyze the Poincaré polynomial of orbispace $\left[X^n/{\mathfrak{S}}_n\right]\mathrm{<mo>\; :\; </mo>}=\left[X\times \cdots \times X/{\mathfrak{S}}_n\right]$ [6], whose category objects aren-tuples $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\right)$ of points in X. In addition, the arrows are elements of the form $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\mathrm{<mo>\; ;\; </mo>}\sigma \right)$, where $\sigma \in {\mathfrak{S}}_n$. $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\mathrm{<mo>\; ;\; </mo>}\sigma \right)$ has its source as $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\right)$, while its target as $\left(x_{\sigma \left(1\right)}\mathrm{,}\cdots \mathrm{,}{x}_{\sigma \left(n\right)}\right)$. 1

The Poincaré q-polynomials. Let X be a topological space, denoted by $P\left(X\mathrm{,}y\right)$ its Poincaré polynomial, $P\left(X\mathrm{,}y\right)={\displaystyle {\sum }_j}{b}^j\left(X\right)y^j$. Here $b^j\left(X\right)$ is the j-th Betti number of X. The following formula has been proved by Macdonald [7]

${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}\text{P}\left(X^n/{\mathfrak{S}}_n,y\right)q^n=\frac{{\displaystyle {\prod }_j{\left(1+Q{y}^{2j+1}\right)}^{b^{2j+1}\left(X\right)}}}{{\displaystyle {\prod }_j{\left(1-Q{y}^{2j}\right)}^{b^{2j}\left(X\right)}}}.$ (12)

For $y=-1$, Equation (12) reduces to the formula for the Euler characteristic of the symmetric product ${\displaystyle {\sum }_{n=0}^{\infty }}\chi \left(X^n/{\mathfrak{S}}_n\right)Q^n={\left(1-Q\right)}^{-\chi \left(X\right)}$, which is valid for the topological space X whose cohomology $H^j\left(X\mathrm{<mo>\; ;\; </mo>}\text{real}\right)$ is finitely generated for each $j\ge 0$. Using the ${\mathfrak{S}}_n$ -equivariant K-theory of $X^n$, one can arrive at the following formula for generation functions [6]: ${\displaystyle {\sum }_{n=0}^{\infty }}{\chi }_{{\mathfrak{S}}_n}\left(X^n/{\mathfrak{S}}_n\right)q^n={\displaystyle {\prod }_{j>0}}{\left(1-Q^j\right)}^{-\chi \left(X\right)}$. In terms of the spectral functions $\mathcal{R}\left(s\right)$, Equation (12) takes the form

$\begin{array}{l}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}\text{P}\left(X^n/{\mathfrak{S}}_n,y\right)q^n\\ =\frac{\mathcal{R}{\left(s=\left(1-i\left(\log \left(y\right)\right)\left(2j+1\right)/\left(2\pi \tau \right)\right)\left(1-i\rho \left(\tau \right)\right)+i\sigma \left(\tau \right)\right)}^{b_{2j+1}(X)}}{\mathcal{R}(s=\left(1-i\left(\log \left(y\right)\right)\left(j/\pi \tau \right)\right){\left(1-i\rho \left(\tau \right)\right)}^{b_{2j}\left(X\right)}}.\end{array}$ (13)

The Poincaré orbifold polynomial can be defined as follows [6]

${\text{P}}_{orb}\left(\left[X/G\right]\mathrm{,}y\right)\mathrm{<mo>\; :\; </mo>}={\displaystyle \sum }{y}^j\text{rank}{H}_{orb}^j\left(\left[X/G\right]\mathrm{<mo>\; ;\; </mo>}\text{real}\right)\equiv {\displaystyle \sum }{y}^j{b}_{orb}^j\left(\left[X/G\right]\right)\mathrm{,}$ (14)

where $b_{orb}^j$ is the j-th orbifold Betti number.

Remark 4.1 For any arbitrary (fixed) positive integers $m_1\mathrm{,}\cdots \mathrm{,}{m}_r$ the following equality holds

${\displaystyle \underset{n_1,\cdots ,n_r=0}{\overset{\infty }{\sum }}}F\left(n_1,\cdots ,n_r\right)z_1^{n_1},\cdots ,z_r^{n_r}={\displaystyle \underset{N=0}{\overset{\infty }{\sum }}}{\displaystyle \underset{\stackrel{n_1{m}_1+\cdots +n_r{m}_r=N}{n_1,\cdots ,n_r\ge 0}}{\sum }}F\left(n_1,\cdots ,n_r\right)z_1^{n_1},\cdots ,z_r^{n_r}.$ (15)

For the symmetric product, viewed as an orbifold groupoid $\left[X^n/{\mathfrak{S}}_n\right]$, it follows that

$H_{orb}^{\ast }\left(\left[X^n/{\mathfrak{S}}_n\right]\mathrm{<mo>\; ;\; </mo>}\text{real}\right)\cong \underset{{\displaystyle \sum }j{n}_j=n}{{\displaystyle \oplus }}\underset{j}{{\displaystyle \otimes }}{H}^{\ast }{\left(X^{n_j}\mathrm{<mo>\; ;\; </mo>}\text{real}\right)}^{{\mathfrak{S}}_{n_j}}\mathrm{.}$ (16)

Using Equation (15) for calculating the orbifold Poincaré polynomial, we obtain

$\begin{array}{l}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{q}^n{\text{P}}_{orb}\left(\left[X^n/{\mathfrak{S}}_n\right],y\right)\\ ={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{q}^n\left({\displaystyle \underset{{\displaystyle \sum }j{n}_j=n}{\sum }}{\displaystyle \underset{j}{\prod }}\text{P}\left(X^{n_j}/{\mathfrak{S}}_{n_j},y\right)\right)\\ ={\displaystyle \underset{j>0}{\prod }}{\displaystyle \underset{n\ge 0}{\prod }}\frac{{\left(1+q^n{y}^{2j+1}\right)}^{b^{2j+1}\left(X\right)}}{{\left(1-q^n{y}^{2j}\right)}^{b^{2j}\left(X\right)}}\\ ={\displaystyle \underset{j>0}{\prod }}\frac{{\left[\mathcal{R}\left(s=-i\left(2j+1\right)\log \left(y\right)/\left(2\pi \tau \right)\left(1-i\rho \left(\tau \right)\right)+i\sigma \left(\tau \right)\right)\right]}^{b^{2j+1}\left(X\right)}}{{\left[\mathcal{R}(s=-ij\log \left(y\right)/\left(\pi \tau \right)\left(1-i\rho \left(\tau \right)\right)\right]}^{b^{2j}\left(X\right)}}.\end{array}$ (17)

For these formulas the cohomology of X must be finitely generated at each n. The first line in (17) is similar to the equality (2.32) of [6]. As before $b^j\left(X\right)$ is the j-th Betti number of X.

5. The Ruelle-Type Spectral Functions

Let us introduce the Ruelle-type spectral function of a hyperbolic geometry $\mathcal{R}\left(s\right)$ [4]. The function $\mathcal{R}\left(s\right)$ is an alternating product of more complicated factors, each one being the so-called Patterson-Selberg function,

${\displaystyle \underset{n=\mathcal{l}}{\overset{\infty }{\prod }}}\left(1-q^{an+\epsilon }\right)=\mathcal{R}\left(s=\left(a\mathcal{l}+\epsilon \right)\left(1-i\rho \left(\tau \right)\right)+1-a\right),$ (18)

${\displaystyle \underset{n=\mathcal{l}}{\overset{\infty }{\prod }}}\left(1+q^{an+\epsilon }\right)=\mathcal{R}\left(s=\left(a\mathcal{l}+\epsilon \right)\left(1-i\rho \left(\tau \right)\right)+1-a+i\sigma \left(\tau \right)\right),$ (19)

where $q\equiv {\text{e}}^{2\pi i\tau }$, $\rho \left(\tau \right)=\mathrm{Re}\tau /\mathrm{Im}\tau$, $\sigma \left(\tau \right)={\left(2\mathrm{Im}\tau \right)}^{-1}$, a is a real number, $\epsilon \mathrm{,}b\in ℂ$, $\mathcal{l}\in {\mathbb{Z}}_{+}$. The readers can find explicit formula for $\mathcal{R}\left(s\right)$ and its analytic properties in the reference [4].

The Bailey’s Transform and Infinite Hierarchy of the Bailey’s Chain

Let us begin with notations: ${\left(a;q\right)}_{\infty }:={\displaystyle {\prod }_{m=0}^{\infty }}\left(1-a{q}^m\right)$, and ${\left(a\mathrm{<mo>\; ;\; </mo>}q\right)}_n\mathrm{<mo>\; :\; </mo>}={\left(a\mathrm{<mo>\; ;\; </mo>}q\right)}_{\infty }/{\left(a{q}^n\mathrm{<mo>\; ;\; </mo>}q\right)}_{\infty }$. Bailey made the following observation [8] (see also [9] ), which is known as Bailey’s transform.

Theorem 5.1 (lectures [9], Theorem 3.1) Let for a suitable convergence conditions,

${\beta }_n={\displaystyle \underset{r=0}{\overset{n}{\sum }}}{\alpha }_r{u}_{n-r}{v}_{n+r},$ (20)

${\gamma }_n={\displaystyle \underset{r=n}{\overset{\infty }{\sum }}}{\delta }_r{u}_{r-n}{v}_{r+n},$ (21)

then

${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{\alpha }_n{\gamma }_n={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{\beta }_n{\delta }_n.$ (22)

Proof.

${\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{\alpha }_n{\gamma }_n={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{\displaystyle \underset{r=n}{\overset{\infty }{\sum }}}{\alpha }_n{\delta }_r{u}_{r-n}{v}_{r+n}={\displaystyle \underset{r=0}{\overset{\infty }{\sum }}}{\displaystyle \underset{n=0}{\overset{r}{\sum }}}{\alpha }_n{\delta }_r{u}_{r-n}{v}_{r+n}={\displaystyle \underset{r=0}{\overset{\infty }{\sum }}}{\delta }_r{\beta }_r.$ (23)

Important application of the Bailey’s transform and Bailey’s Lemma can be found in [8], Section 4

Let for $n\ge 0$

${\beta }_n={\displaystyle \underset{r=0}{\overset{n}{\sum }}}\frac{{\alpha }_r}{{\left(q;q\right)}_{n-r}{\left(aq;q\right)}_{n+r}},$ (24)

then also

${{\beta }^{\prime }}_n={\displaystyle \underset{r=0}{\overset{n}{\sum }}}\frac{{{\alpha }^{\prime }}_r}{{\left(q;q\right)}_{n-r}{\left(aq;q\right)}_{n+r}}.$ (25)

In addition

${{\alpha }^{\prime }}_r={\alpha }_r\frac{{\left({\rho }_1;q\right)}_r{\left({\rho }_2;q\right)}_r{\left(aq/{\rho }_1{\rho }_2\right)}^r}{{\left(aq/{\rho }_1;q\right)}_r{\left(aq/{\rho }_2;q\right)}_r},$ (26)

${{\beta }^{\prime }}_n={\displaystyle \underset{r\ge 0}{\sum }}{\beta }_r\frac{{\left({\rho }_1;q\right)}_r{\left({\rho }_2;q\right)}_r{\left(aq/{\rho }_1{\rho }_2;q\right)}_{n-r}{\left(aq/{\rho }_1{\rho }_2\right)}^j}{{\left(q;q\right)}_{n-j}{\left(aq/{\rho }_1;q\right)}_n{\left(aq/{\rho }_2;q\right)}_n}.$ (27)

We apply Bailey’s transform

$u_{n-r}:={\displaystyle \underset{m=0}{\overset{n-r}{\prod }}}\left(1-q^{m+1}\right)\equiv {\left(q;q\right)}_{n-r}=\frac{{\left(q;q\right)}_{\infty }}{{\left(q{q}^{n-r};q\right)}_{\infty }}={\displaystyle \underset{m=0}{\overset{\infty }{\prod }}}\frac{1-q^{m+1}}{1-q^{m+n-r+1}}$ (28)

$=\frac{\mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)}{\mathcal{R}\left(s=\left(n-r+1\right)\left(1-i\rho \left(\tau \right)\right)\right)},$ (29)

$v_{n+r}:={\displaystyle \underset{m=0}{\overset{n+r}{\prod }}}\left(1-a{q}^{m+1}\right)\equiv {\left(aq;q\right)}_{n+r}=\frac{{\left(q;q\right)}_{\infty }}{{\left(a{q}^{n+r};q\right)}_{\infty }}={\displaystyle \underset{m=0}{\overset{\infty }{\prod }}}\frac{1-q^{m+1}}{1-a{q}^{m+n+r+1}}$ (30)

$=\frac{\mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)}{\mathcal{R}\left(s=\left(n+r+\xi +1\right)\left(1-i\rho \left(\tau \right)\right)\right)},$ (31)

where $\xi =\log a/2\pi i\tau$.

Using Equations (29) and (31) we have:

${\beta }_n={\displaystyle \underset{r=0}{\overset{n}{\sum }}}{\alpha }_r\frac{\mathcal{R}\left(s=\left(n-r+1\right)\left(1-\rho \left(\tau \right)\right)\right)\cdot \mathcal{R}\left(s=\left(n-r+1\right)\left(1-\rho \left(\tau \right)\right)\right)}{\mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)\cdot \mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)},$ (32)

${{\beta }^{\prime }}_n={\displaystyle \underset{r=0}{\overset{n}{\sum }}}{{\alpha }^{\prime }}_r\frac{\mathcal{R}\left(s=\left(n-r+1\right)\left(1-\rho \left(\tau \right)\right)\right)\cdot \mathcal{R}\left(s=\left(n-r+1\right)\left(1-\rho \left(\tau \right)\right)\right)}{\mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)\cdot \mathcal{R}\left(s=1-i\rho \left(\tau \right)\right)}.$ (33)

In addition (see [9] ),

${{\alpha }^{\prime }}_r={\alpha }_r\frac{{\left({\rho }_1;q\right)}_r{\left({\rho }_2;q\right)}_r{\left(aq/{\rho }_1{\rho }_2\right)}^r}{{\left(aq/{\rho }_1;q\right)}_r{\left(aq/{\rho }_2;q\right)}_r},$ (34)

${{\beta }^{\prime }}_n={\displaystyle \underset{r\ge 0}{\sum }}{\beta }_r\frac{{\left({\rho }_1;q\right)}_r{\left({\rho }_2;q\right)}_r{\left(aq/{\rho }_1{\rho }_2;q\right)}_{n-r}{\left(aq/{\rho }_1{\rho }_2\right)}^r}{{\left(q;q\right)}_{n-j}{\left(aq/{\rho }_1;q\right)}_n{\left(aq/{\rho }_2;q\right)}_n}.$ (35)

Important special cases of Bailey’s Lemma and iterated of these results where found in [9]. Note that a pair of sequences $\left({\alpha }_n\mathrm{,}{\beta }_n\right)$ is called a Bailey pair. Thus if $\left({\alpha }_n\mathrm{,}{\beta }_n\right)$ is a Bailey pair, then $\left({{\alpha }^{\prime }}_n\mathrm{,}{{\beta }^{\prime }}_n\right)$ is a new pair which is given by (34) and (35).

Bailey’s Chain. Using Bailey initial pair $\left({{\alpha }^{\prime }}_n\mathrm{,}{{\beta }^{\prime }}_n\right)$ we can create a new pair $\left({{\alpha }^{″}}_n\mathrm{,}{{\beta }^{″}}_n\right)$ by applying Bailey’s Lemma. Continuing this process we create a sequence of Baley pairs, Bailey’s chain:

$\left({\alpha }_n\mathrm{,}{\beta }_n\right)\to \left({{\alpha }^{\prime }}_n\mathrm{,}{{\beta }^{\prime }}_n\right)\to \left({{\alpha }^{″}}_n\mathrm{,}{{\beta }^{″}}_n\right)\to \left({{\alpha }^{‴}}_n\mathrm{,}{{\beta }^{‴}}_n\right)\to \cdots$ (36)

Let us assume $\left({\alpha }_n,{\beta }_n\right)=\left({\alpha }_n^0,{\beta }_n^0\right)$, then this allows to extend the Bailey chain (36) to the left [9]:

$\cdots \to \left({\alpha }_n^{\left(-2\right)}\mathrm{,}{\beta }_n^{\left(-2\right)}\right)\to \left({\alpha }_n^{\left(-1\right)}\mathrm{,}{\beta }_n^{\left(-1\right)}\right)\to \left({\alpha }_n^0\mathrm{,}{\beta }_n^0\right)\to \left({{\alpha }^{\prime }}_n\mathrm{,}{{\beta }^{\prime }}_n\right)\to \cdots$ (37)

A Bailey pair is uniquely determined given either sequence ${\alpha }_n$ or ${\beta }_n$. Let a sequence ${\alpha }_n$ be given, then ${\beta }_n$ sequence can be found. Equation (24) and Equation (25) can be inverted, and the result is [9]:

$\begin{array}{c}{\alpha }_n=\left(1-a{q}^{2n}\right){\displaystyle \underset{k=0}{\overset{n}{\sum }}}{\beta }_k\frac{{\left(aq;q\right)}_{n+k-1}{\left(-1\right)}^{n-k}{q}^{C_2^{n-k}}}{{\left(q;q\right)}_{n-k}}\\ =\left(1-a{q}^{2n}\right){\displaystyle \underset{k=0}{\overset{n}{\sum }}}{\beta }_k\frac{{\displaystyle {\prod }_{m=0}^{\infty }\left(1-a{q}^{m+n+k}\right){\left(-1\right)}^{n-k}{q}^{C_2^{n-k}}}}{{\displaystyle {\prod }_{m=0}^{\infty }\left(1-q^{m+n-k+1}\right)}}.\end{array}$ (38)

Finally, we obtain

${\alpha }_n=\left(1-a{q}^{2n}\right){\displaystyle \underset{k=0}{\overset{n}{\sum }}}{\beta }_k\frac{\mathcal{R}\left(s=\left(n+k\right)\left(1-i\rho \left(\tau \right)\right)\right){\left(-1\right)}^{n-k}{q}^{C_2^{n-k}}}{\mathcal{R}\left(s=\left(n-k+1\right)\left(1-\rho \left(\tau \right)\right)\right)}.$ (39)

6. Conclusion

The main purpose of this paper is to present an explicit formula of q-polynomials which admit presentation in terms of the Patterson-Selberg (or Ruelle-type) spectral functions. Equivariant methods also can be used to define and analyze (twisted) K-theory. Applying techniques from the equivariant K-theory, one can construct a Chern character and K-theory Euler class. This is manifested by the fact that the q-series elliptic genera can be expressed in terms of q-analogs of the classical special functions, in particular the spectral Patterson-Selberg and Ruelle functions $\mathcal{R}\left(s\right)$. Our main results were presented in Section 5 and they were applied them in some interesting problems in theoretical physics.

Acknowledgements

The author would like to thank Prof. A. A. Bytsenko for fruitful discussions during the preparation of this manuscript.

NOTES

¹The mentioned category is a groupoid for the inverse of $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\mathrm{<mo>\; ;\; </mo>}\sigma \right)$, which is $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\mathrm{<mo>\; ;\; </mo>}{\sigma }^{-1}\right)$. This is the reason why we can consider $\left[X^n/{\mathfrak{S}}_n\right]$ as an orbispace.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Adem, A. and Ruan, Y. (2003) Twisted Orbifold K-Theory. Communications in Mathematical Physics, 237, 533-556. https://doi.org/10.1007/s00220-003-0849-x
[2]	Wang, W. (2003) Equivariant K-theory, Generalized Symmetric Products and Twisted Heisenberg Algebra. Communications in Mathematical Physics, 234, 101-127. https://doi.org/10.1007/s00220-002-0753-9
[3]	Freed, D.S., Hopkins, M.J. and Teleman, C. (2008) Twisted Equivariant K-Theory with Complex Coefficients. Journal of Topology, 1, 16-44. https://doi.org/10.1112/jtopol/jtm001
[4]	Bonora, L. and Bytsenko, A. A. (2011) Partition Functions for Quantum Gravity, Black Holes, Elliptic Genera and Lie Algebra Homologies. Nuclear Physics B, 852, 508-537. https://doi.org/10.1016/j.nuclphysb.2011.07.002
[5]	Gómez, J.M. and Uribe, B. (2007) A Decomposition of Equivariant K-Theory in Twisted Equivariant K-Theories. International Journal of Mathematics, 28, Article ID: 1750016. https://doi.org/10.1142/S0129167X17500161
[6]	Lupercio, E., Uribe, B. and Xicotencatl, M.A. (2007) The Loop Orbifold of the Symmetric Product. Journal of Pure and Applied Algebra, 211, 293-306. https://doi.org/10.1016/j.jpaa.2007.01.002
[7]	Macdonald, I.G. (1962) The Poincaré Polynomial of a Symmetric Product. Mathematical Proceedings of the Cambridge Philosophical Society, 58, 563-568. https://doi.org/10.1017/S0305004100040573
[8]	Bailey, W.N. (1947) Some Identities in Combinatory Analysis. Proceedings of the London Mathematical Society, 49, 421-435. https://doi.org/10.1112/plms/s2-49.6.421
[9]	Andrews, G.E. (1985) q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Regional Conference in Mathematics, vol. 66, Published by the American Mathematical Society, Providence, Rhode Island. https://doi.org/10.1090/cbms/066