Eichler-Selberg relations for the third-order mock theta functions

Resumo Técnico: Relações de Eichler-Selberg para Funções Mock Theta de Terceira Ordem

Enunciado do Problema
O artigo aborda as propriedades estruturais das funções mock theta de terceira ordem de Ramanujan, especificamente $f(q)$ e $\omega(q)$. Embora a modularidade dessas funções tenha sido estabelecida através da teoria de formas de Maass harmônicas de Zwegers, o artigo busca generalizar identidades clássicas que relacionam essas funções a séries de Appell-Lerch. Especificamente, visa estender a identidade conhecida de Watson para $f(q)$, que relaciona uma soma envolvendo os coeficientes de $f(q)$ a uma série de Appell-Lerch, para um arcabouço mais amplo de relações do tipo "Eichler-Selberg". Essas relações tipicamente conectam somas de coeficientes ponderadas por polinômios (envolvendo polinômios de Chebyshev) a formas modulares, analogamente à fórmula do número de classe de Eichler-Selberg.

Metodologia
O autor emprega a teoria de formas de Maass harmônicas e projeção holomorfa para derivar essas relações. O arcabouço metodológico procede em três etapas principais:

1. Identificação de Componentes Modulares: O artigo utiliza a completude de Zwegers das funções mock theta. Para $f(q)$, a função é completada para uma forma modular real-analítica vetorial de peso $1/2$. A primeira componente, $H_1(\tau)$, está relacionada a $f(q)$ via $q^{-1/24}f(q)$ mais uma integral não-holomorfa envolvendo uma série theta.
2. Colchetes de Rankin-Cohen: A técnica central envolve a construção do colchete de Rankin-Cohen $[H_1, \eta]_v$ (e similarmente $[H_2, \eta]_v$ para $\omega(q)$), onde $\eta(\tau)$ é a função eta de Dedekind. Este colchete combina a forma de Maass harmônica com uma forma modular para produzir uma forma modular real-analítica de peso $2v+1$.
3. Projeção Holomorfa: O autor aplica o operador de projeção holomorfa $\pi_{hol}$ a esses colchetes de Rankin-Cohen. Este operador mapeia a forma modular real-analítica para uma forma modular holomorfa no espaço $M_{2v+1}(\Gamma_0(8), \chi)$. Os coeficientes de Fourier da forma holomorfa resultante são computados explicitamente via uma fórmula integral envolvendo a parte não-holomorfa da função original.
4. Determinação de Séries de Eisenstein: Para identificar a forma modular resultante, o autor determina sua componente de Eisenstein analisando seus valores nos pontos de cusp de $\Gamma_0(8)$ (especificamente $i\infty, 0, 1/2, 1/4$). Ao resolver um sistema de equações lineares baseado nesses valores de cusp, a parte de Eisenstein é expressa em termos de séries de Eisenstein padrão, que são então convertidas em séries de Lambert.

Contribuições Principais e Resultados

• Generalização da Identidade de Watson (Teorema 1): O artigo estabelece uma generalização natural da identidade de Watson para $f(q)$. Para qualquer inteiro $v \geq 1$, uma série $q$ específica envolvendo os coeficientes $c_f(n)$ de $f(q)$, ponderados pelos polinômios de Chebyshev $T_{2v}$, é mostrada como uma forma de cusp em $S_{2v+1}(\Gamma_0(8), \left(\frac{-1}{\cdot}\right))$.

  • A identidade iguala uma soma dupla envolvendo $c_f(n)$ e $T_{2v}$ a uma combinação de séries do tipo Appell-Lerch e séries de Lambert que representam séries de Eisenstein.
  • Resultados de Vanecimento: Para $v=1$ e $v=2$, a forma de cusp resultante desaparece identicamente. Isso recupera identidades conhecidas (incluindo a original de Watson) como casos especiais.
  • Caso de Não-Vanecimento: Para $v=3$, a forma de cusp é não-nula e é explicitamente identificada como um múltiplo do cociente eta $\eta^4(z)\eta^{10}(2z)$.

• Resultado Análogo para $\omega(q)$ (Teorema 2): Um teorema paralelo é provado para a função mock theta de terceira ordem $\omega(q)$. O artigo estabelece uma relação do tipo Eichler-Selberg onde uma série $q$ envolvendo coeficientes $c_\omega(n)$ e polinômios de Chebyshev resulta em uma forma de cusp em $S_{2v+1}(\Gamma_0(8), \chi_{-4})$.

  • Semelhante ao Teorema 1, esta forma de cusp desaparece para $v=1$ e $v=2$, recuperando a identidade clássica para $\omega(q)$, mas é não-nula para pesos superiores.

• Lemas Técnicos: O artigo fornece provas rigorosas para diversas identidades de séries $q$ (Lemas 7–11) que facilitam a transformação entre séries theta indefinidas de tipo Hecke e séries de Appell-Lerch generalizadas, bem como a conversão de séries de Eisenstein em séries de Lambert.

Significância e Alegações
O artigo afirma fornecer uma "generalização natural" de identidades clássicas para funções mock theta de terceira ordem. A principal significância reside em:

1. Extensão do Escopo: Ele vai além do caso específico de $v=0$ (ou peso 1) para pesos arbitrários $2v+1$, revelando uma família de identidades parametrizadas por $v$.
2. Extensão Metodológica: O autor afirma que o método apresentado — utilizando colchetes de Rankin-Cohen de formas de Maass harmônicas e projeção holomorfa — pode ser estendido para estudar outras classes de funções mock theta além da terceira ordem.
3. Novidade: O artigo observa que as identidades específicas derivadas para $v=1$ e $v=2$ (que resultam em formas de cusp nulas) e a forma explícita da forma de cusp não-nula para $v=3$ não haviam aparecido anteriormente na literatura.

O trabalho é enquadrado como uma contribuição à teoria aritmética das funções mock theta, ligando seus coeficientes à teoria de formas modulares e números de classe através da lente das formas de Maass harmônicas.