<p>In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_548_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\triangle (q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>▵</mi> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40687_2025_548_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\triangle (q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>▵</mi> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.</p>

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

Denominator identity for the affine Lie superalgebra \(\widehat{\mathfrak {spo}}(2m,2m+1)\) and indefinite theta functions

  • Toshiki Matsusaka,
  • Miyu Suzuki

摘要

In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of \(\triangle (q)\) ( q ) , where \(\triangle (q)\) ( q ) is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.