Interlacing for zeros of the Serre derivative of Eisenstein series

Resumo Técnico: Entrelaçamento para os Zeros da Derivada de Serre das Séries de Eisenstein

Enunciado do Problema
O artigo investiga a localização e as propriedades de entrelaçamento dos zeros da derivada de Serre das séries de Eisenstein, denotada por $\vartheta_k(E_k)$. Enquanto Rankin e Swinnerton-Dyer (1970) estabeleceram que os zeros não elípticos da série de Eisenstein $E_k$ residem no arco inferior do domínio fundamental, e Sugibayashi provou recentemente que os zeros de $\vartheta_k(E_k)$ também residem neste arco, faltavam estimativas quantitativas precisas para suas localizações. Além disso, o comportamento de entrelaçamento desses zeros — especificamente como os zeros de $\vartheta_\ell(E_\ell)$ se relacionam com $\vartheta_k(E_k)$, e como $\vartheta_k(E_k)$ se relaciona com $E_{k+2}$ — permanecia não provado. Os autores enquadram este trabalho dentro da filosofia de que $\vartheta_k(E_k)$ atua como um análogo modular para o produto $E_2 \cdot E_k$, estendendo os conhecidos resultados de entrelaçamento para produtos $E_w E_k$ (onde $w \ge 4$) para o caso $w=2$.

Metodologia
Os autores empregam uma estratégia de construção de aproximações cada vez mais precisas para os zeros da função $F_k(\theta)$, que é uma transformação de valores reais de $\vartheta_k(E_k)$ definida no arco inferior $A = \{e^{i\theta} : \pi/2 < \theta < 2\pi/3\}$. A metodologia procede em quatro estágios de aproximação:

1. Zeros de Pré-amostragem ($\theta^{**}_{k,i}$): Definidos como os zeros da aproximação mais simples $F^{**}_k(\theta) = \sin(k\theta/2)$. Estes são dados explicitamente como múltiplos inteiros de $2\pi/k$.
2. Zeros de Amostragem ($\theta^*_{k,i}$): Definidos como os zeros da próxima aproximação $F^*_k(\theta)$, que inclui um termo de correção envolvendo $B_0(\theta)$. Os autores derivam uma expansão assintótica para esses zeros em termos dos zeros de pré-amostragem, precisa até a ordem $O(1/k^3)$.
3. Zeros de Pós-amostragem ($\hat{\theta}_{k,i}$): Definidos como os zeros de $\hat{F}_k(\theta)$, que adiciona um termo envolvendo $d(\theta)^{-k}$. Uma inovação técnica fundamental é a introdução de uma variável $W$ dependente de $s = k(2\pi/3 - \theta)$, permitindo uma aproximação altamente precisa próximo ao ponto final $\theta = 2\pi/3$. Isso evita a necessidade de uma análise de caso por caso do "movimento" dos zeros próximo à fronteira, uma dificuldade em trabalhos anteriores.
4. Zeros Reais ($\theta_{k,i}$): Os autores provam que os zeros reais de $F_k(\theta)$ estão exponencialmente próximos dos zeros de pós-amostragem (especificamente, dentro de $O(1/k^2)$).

Usando essas estimativas precisas de localização, os autores analisam as distâncias entre zeros consecutivos e as posições relativas de zeros de diferentes pesos para estabelecer propriedades de entrelaçamento.

Principais Contribuições e Resultados
O artigo estabelece quatro teoremas principais sobre os zeros de $\vartheta_k(E_k)$:

1. Entrelaçamento de Stieltjes: Para todos os inteiros pares $\ell > k \ge 4$, os zeros de $\vartheta_\ell(E_\ell)$ entrelaçam-se de forma de Stieltjes com os zeros de $\vartheta_k(E_k)$ no arco inferior. Isso significa que, entre quaisquer dois zeros consecutivos da série de peso menor, há pelo menos um zero da série de peso maior.
2. Classificação de Entrelaçamento Padrão: O artigo fornece uma classificação precisa de quando os zeros de $\vartheta_\ell(E_\ell)$ entrelaçam-se padrardamente com os de $\vartheta_k(E_k)$ (onde "padrardamente" implica exatamente um zero de uma sequência entre quaisquer dois zeros consecutivos da outra). Isso ocorre se, e somente se, $\ell - k \in \{2, 4, 6, 8, 12\}$ ou se $(k, \ell)$ pertence a uma lista específica de pares excepcionais (por exemplo, $(4, 14), (6, 16)$, etc.).
3. Entrelaçamento com $E_{k+2}$: Para todos os inteiros pares $k \ge 4$, os zeros de $\vartheta_k(E_k)$ entrelaçam-se com os zeros de $E_{k+2}$ no arco inferior. Especificamente, cada zero de $E_{k+2}$ situa-se ligeiramente à direita de um zero correspondente de $\vartheta_k(E_k)$.
4. Zeros da Projeção Cúspide: Como uma aplicação do terceiro resultado, os autores mostram que para $k \notin \{4, 6, 8, 12\}$, todos os zeros não-cúspides e não-elípticos da projeção cúspide $\text{cuspproj}(\vartheta_k(E_k)) = \vartheta_k(E_k) + \frac{k}{12}E_{k+2}$ residem no arco inferior. Isso estende um resultado anterior de Xue e Zhu.

Significado e Alegações
Os autores alegam que sua abordagem oferece um método "uniforme" que é conceitualmente mais simples do que as técnicas anteriores usadas para zeros de séries de Eisenstein. Ao utilizar o termo de aproximação de pós-amostragem, eles evitam a complexa análise de casos necessária perto do ponto final $\theta = 2\pi/3$ em estudos anteriores (como os de Nozaki, Griffin et al., e Frendreiss et al.). Essa uniformidade permite provas mais limpas de propriedades de entrelaçamento e sugere que o método pode ser passível de generalização em outros contextos onde o movimento de zeros próximo a fronteiras é um obstáculo técnico.

O artigo também nota uma conexão com o teorema de Markov sobre o entrelaçamento de derivadas de polinômios, observando que seus resultados para pesos que são múltiplos de 12 podem ser vistos como um análogo modular do resultado de Markov. O trabalho confirma que o "produto modificado" $\vartheta_k(E_k)$ comporta-se analogamente ao produto $E_w E_k$ (para $w \ge 4$) em relação à localização e ao entrelaçamento de seus zeros, validando assim o quadro filosófico de tratar a derivada de Serre como uma generalização natural do produto $E_2 \cdot E_k$.