Modular forms for chromatic homotopy: Supersingular congruences

Resumo Técnico: Formas Modulares para Homotopia Cromática: Congruências Supersingulares

Enunciado do Problema
Este artigo aborda uma conjectura de Donald Larson dentro do programa de Behrens, que busca descrever a família beta dividida na sequência espectral de Adams–Novikov (ANSS) para os grupos de homotopia estável das esferas usando formas modulares módulo $p$. Especificamente, o problema concerne à representação das formas de Behrens $f_{i/j}$, que são formas modulares de peso $12t$ (onde $t = i(p^2-1)/12$) associadas a elementos de ordem $p$, $\beta_{i/j}$, na ANSS.

Larson conjecturou que, para um primo $p \ge 5$, escrevendo $i = r p^n$ com $(r, p) = 1$, a forma de Behrens $f_{i/j}$ pode ser representada pela potência pura da forma modular do discriminante, $\Delta^t$, se, e somente se, o índice $j$ satisfizer $1 \le j \le p^n$. Para índices admissíveis $j > p^n$, nenhum representante de $f_{i/j}$ é igual a $\Delta^t$. O artigo visa provar esta conjectura para todos os primos $p \ge 5$, estabelecendo um critério nítido para quando estas formas modulares são potências puras de $\Delta$.

Metodologia
A prova reduz o problema topológico de identificar elementos beta divididos a um problema geométrico relativo ao comportamento de formas modulares em curvas modulares $X_0(\ell)$ e seus valores em pontos supersingulares. A metodologia procede através dos seguintes passos:

1. Redução a Condições de Congruência: O artigo utiliza as quatro condições definidoras de Behrens (C1–C4) para as formas $f_{i/j}$. As condições (C1)–(C3) referem-se ao não-vanishing e à ordem de $q$ da forma, enquanto a condição (C4) impõe uma restrição de divisibilidade envolvendo o invariante de Hasse $A_p$ e o operador $L_\ell = V_\ell - \iota$ (onde $V_\ell$ é o operador $U_\ell$ atuando sobre expansões em $q$ e $\iota$ é a inclusão de formas de nível um). Especificamente, (C4) exige que $A_p^j \mid L_\ell(\bar{f}_{i/j})$ no anel de formas modulares módulo $p$ em $\Gamma_0(\ell)$.

2. Análise de Nível 2: O autor realiza um cálculo explícito no nível $\ell=2$. Usando os geradores de Larson para o anel de formas modulares em $\Gamma_0(2)$, o operador $L_2(\Delta^t)$ é fatorado. A divisibilidade desta expressão por potências do invariante de Hasse $A_p$ é analisada comparando os loci de zeros de $L_2(\Delta^t)$ com os pontos supersingulares em $X_0(2)$. Esta análise revela que a divisibilidade ocorre se, e somente se, $j \le p^n$, desde que os pontos supersingulares satisfaçam uma condição específica de raiz da unidade.

3. Teorema de Contenção Supersingular: Para estender o resultado do nível 2 para todos os níveis $\ell \neq p$, o artigo prova um teorema geométrico referente aos valores da função modular $R_\ell = V_\ell(\Delta)/\Delta$ em pontos supersingulares. A afirmação central é que, para qualquer ponto supersingular $\tilde{P}$ em $X_0(\ell)$ sobre $\mathbb{F}_p$, o valor $R_\ell(\tilde{P})$ é uma raiz da unidade de ordem $m$, onde $m = (p^2-1)/12$.

4. Racionalidade de Discriminantes Supersingulares: A prova do teorema de contenção baseia-se em um novo resultado concernente à racionalidade dos discriminantes de curvas elípticas supersingulares. Utilizando modelos de Deuring (curvas supersingulares definidas sobre $\mathbb{F}_{p^2}$ com endomorfismo de Frobenius $[-p]$) e potências de eta nos níveis 3 e 4, o autor demonstra que a quantidade $\kappa(E) = \Delta(E, \omega)^{(p^2-1)/12}$ é independente da curva $E$ e do diferencial $\omega$, tomando o valor $(-1)^{(p+1)/2}$. Isso permite que a razão de discriminantes ao longo de uma isogenia seja mostrada como 1 quando elevada à potência $m$.

Principais Contribuições e Resultados

• Prova da Conjectura de Larson: O artigo prova a conjectura de Larson integralmente para todos os primos $p \ge 5$. Estabelece que a potência pura $\Delta^t$ satisfaz as condições de Behrens (C1)–(C4) precisamente quando $1 \le j \le p^n$.
• Nitidez do Limite: O artigo prova que para índices admissíveis $j > p^n$ (que ocorrem quando $r > 1$ e $n \ge 2$), a forma $\Delta^t$ falha na condição (C4) no nível $\ell=2$. Consequentemente, nenhum representante de $f_{i/j}$ pode ser $\Delta^t$ neste intervalo.
• Teorema de Contenção Supersingular (Teorema 1.2): Prova-se que, para qualquer primo $\ell \neq p$, o valor da função modular $R_\ell$ em cada ponto supersingular de $X_0(\ell)$ elevado à potência $m = (p^2-1)/12$ é igual a 1.
• Racionalidade de Discriminantes Supersingulares (Teorema 1.3): O artigo estabelece que, para uma curva elíptica supersingular $E$ sobre $\mathbb{F}_{p^2}$ com Frobenius $[-p]$, o valor $\Delta(E, \omega)^{(p^2-1)/12}$ é igual a $(-1)^{(p+1)/2}$. Este valor é independente da escolha da curva ou do diferencial invariante.
• Fatoração de Nível 2: O artigo fornece uma fatoração detalhada de $L_2(\Delta^t)$ em termos dos fatores lineares correspondentes aos pontos supersingulares, mostrando como a multiplicidade destes fatores se relaciona com a valoração $p$-ádica do expoente $t$.

Significância
O artigo completa o cálculo do intervalo no qual as formas de Behrens associadas à família beta dividida são representadas por potências puras do discriminante. Ao reduzir as condições de congruência topológica para afirmações geométricas sobre pontos supersingulares em curvas modulares, o trabalho faz a ponte entre a homotopia estável e a geometria aritmética de curvas elípticas. A prova depende inteiramente de cálculos aritméticos em curvas modulares e propriedades de curvas elípticas supersingulares, sendo que o único dado topológico é a existência e as condições definidoras das formas de Behrens. Os resultados confirmam a nitidez do limite $j = p^n$ para a representabilidade destas formas, resolvendo uma previsão específica feita dentro do programa de homotopia cromática.