<p>Determining the explicit forms and modularity for string functions and branching coefficients for Kac–Moody algebras after Kac, Peterson, and Wakimoto is an important problem. For positive admissible-level string functions for the affine Kac–Moody algebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(A_{1}^{(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mrow> <mn>1</mn> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, very little is known. Here we apply the notion of quasi-periodicity to a generalized Euler identity of Schilling and Warnaar for the affine Kac–Moody algebra <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(A_{1}^{(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mrow> <mn>1</mn> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>. For integral-level string functions, the classical periodicity reduces the infinite sum of string functions in the generalized Euler identity to a finite sum of string functions with theta function coefficients. For admissible level, we similarly reduce to an analogous finite sum of string functions, but we also gain an additional finite sum of the form <Equation ID="Equ95"> <EquationSource Format="TEX">\(\begin{aligned} \sum _{i}\Phi _{i}(q)\Psi _{i}(q), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo>∑</mo> <mi>i</mi> </munder> <msub> <mi mathvariant="normal">Φ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where the <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Phi _i(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>’s are modular and depend only on the spin, and the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Psi _{i}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>’s are (mixed) mock modular Hecke-type double-sums and depend only on the quantum number. For levels 1/2, 1/3, and 2/3, we shall also see that the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Psi _{i}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>’s give us families of mock theta conjecture-like identities for symmetric Hecke-type double-sums. Our work here focuses on evaluating the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Psi _{i}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>’s, and our expressions utilize Ramanujan’s second-order mock theta function <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mu _2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and third-order mock theta functions <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f_{3}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\omega _3(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ω</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\psi _{3}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ψ</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\chi _3(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>χ</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

New polar-finite forms of generalized Euler identities for \(A_{1}^{(1)}\)-string functions and mock theta conjecture-like identities

  • Stepan Konenkov,
  • Eric T. Mortenson

摘要

Determining the explicit forms and modularity for string functions and branching coefficients for Kac–Moody algebras after Kac, Peterson, and Wakimoto is an important problem. For positive admissible-level string functions for the affine Kac–Moody algebra \(A_{1}^{(1)}\) A 1 ( 1 ) , very little is known. Here we apply the notion of quasi-periodicity to a generalized Euler identity of Schilling and Warnaar for the affine Kac–Moody algebra \(A_{1}^{(1)}\) A 1 ( 1 ) . For integral-level string functions, the classical periodicity reduces the infinite sum of string functions in the generalized Euler identity to a finite sum of string functions with theta function coefficients. For admissible level, we similarly reduce to an analogous finite sum of string functions, but we also gain an additional finite sum of the form \(\begin{aligned} \sum _{i}\Phi _{i}(q)\Psi _{i}(q), \end{aligned}\) i Φ i ( q ) Ψ i ( q ) , where the \(\Phi _i(q)\) Φ i ( q ) ’s are modular and depend only on the spin, and the \(\Psi _{i}(q)\) Ψ i ( q ) ’s are (mixed) mock modular Hecke-type double-sums and depend only on the quantum number. For levels 1/2, 1/3, and 2/3, we shall also see that the \(\Psi _{i}(q)\) Ψ i ( q ) ’s give us families of mock theta conjecture-like identities for symmetric Hecke-type double-sums. Our work here focuses on evaluating the \(\Psi _{i}(q)\) Ψ i ( q ) ’s, and our expressions utilize Ramanujan’s second-order mock theta function \(\mu _2(q)\) μ 2 ( q ) and third-order mock theta functions \(f_{3}(q)\) f 3 ( q ) , \(\omega _3(q)\) ω 3 ( q ) , \(\psi _{3}(q)\) ψ 3 ( q ) , and \(\chi _3(q)\) χ 3 ( q ) .