Gross vectors modulo 2 and elliptic curves of prime conductor

Resumo Técnico: Vetores de Gross Módulo 2 e Curvas Elípticas de Condutor Primo

Enunciado do Problema
O artigo aborda as propriedades de paridade dos coeficientes de autovetores de Brandt associados a curvas elípticas supersingulares sobre corpos finitos $\mathbb{F}_p$. Especificamente, seja $p > 3$ um primo e $S_p$ o conjunto de classes de isomorfismo geométricas de curvas elípticas supersingulares cujos $j$-invariantes pertencem a $\mathbb{F}_p$. Para uma curva elíptica $E/\mathbb{Q}$ de condutor primo $p$, a correspondência de Jacquet–Langlands associa um autovetor de Brandt íntegro primitivo $v_E = \sum c_i e_i$. O problema central é determinar a paridade dos coeficientes $c_i$ para $i \in S_p$ quando $E$ possui posto de Mordell–Weil positivo.

Esta investigação surge do estudo de polinômios de divisores e de uma conjectura de Kazalicki e Kohen, que postula que, se $E$ tem posto positivo e número de raiz $+1$, então cada coeficiente $c_i$ indexado por uma classe supersingular racional ($i \in S_p$) deve ser par. Embora resultados anteriores tenham estabelecido isso sob condições restritivas (discriminante positivo, sem 2-torção racional), o caso geral permanecia em aberto. Além disso, esta questão de paridade está ligada à conjectura de Watkins sobre a divisibilidade do grau modular $m_E$ por potências de 2 baseada no posto de $E$.

Metodologia
Os autores empregam uma estratégia de múltiplas etapas combinando geometria aritmética, álgebras de quatérnios e teoria de classes de campos:

1. Redução aos Vetores de Gross: O problema é traduzido dos coeficientes $c_i$ do autovetor de Brandt para a paridade dos coeficientes $m_i(D)$ de "vetores de Gross" (vetores CM) associados a discriminantes fundamentais negativos $-D$ onde $p$ é inerte. Usando a ortogonalidade dos vetores de Gross em relação ao autovetor de Brandt de uma curva de posto positivo, os autores mostram que o vetor de paridades $(c_i \mod 2)_{i \in S_p}$ deve residir no complemento ortogonal do espaço gerado pelas linhas de paridade de Gross.
2. Redução de Frobenius: Um passo técnico fundamental reduz a paridade dos números de representação das redes ternárias de Gross $L_i$ para a paridade dos números de representação de subredes de posto dois $L_i^\perp$ perpendiculares ao endomorfismo de Frobenius $\pi_i$. Esta redução baseia-se na ação da conjugação de Frobenius, que agrupa vetores fora da rede perpendicular em órbitas de tamanho quatro, tornando sua contribuição par módulo 2.
3. Identificação com Formas Binárias: Usando as ordens máximas explícitas de Ibukiyama na álgebra de quatérnios $B_{p,\infty}$, os autores identificam as redes perpendiculares $L_i^\perp$ com formas quadráticas binárias específicas. Estas formas caem em dois ramos baseados em seus discriminantes: $-16p$ e $-p$ (este último ocorrendo apenas quando $p \equiv 3 \pmod 4$).
4. Teoria de Classes de Campos e Chebotarev: Os autores utilizam a parametrização de Xiao–Zhou–Deng–Qu para mapear classes supersingulares para órbitas inversas de classes de formas. Eles então aplicam o Teorema de Densidade de Chebotarev nos campos de classes de anéis correspondentes para construir discriminantes admissíveis específicos (primos e semiprimos) que isolam coordenadas supersingulares individuais. Ao escolher primos que se dividem de maneiras específicas dentro dos grupos de classes de ordens quadráticas, eles demonstram que as linhas de paridade de Gross podem gerar qualquer vetor da base padrão no espaço $\mathbb{F}_2^{S_p}$.

Contribuições Principais e Resultados

• O Teorema do Geramento de Linhas de Gross (Teorema 1.1): O resultado primário prova que os vetores dos coeficientes de Gross módulo 2, indexados por $S_p$, geram todo o espaço vetorial $\mathbb{F}_2^{S_p}$. Isso é alcançado através da construção explícita de linhas de Gross que isolam cada coordenada, tratando os $j$-invariantes excepcionais ($0$e$1728$) separadamente e tratando os ramos de discriminante $-16p$ e $-p$ usando estratégias distintas de seleção de primos.
• Resolução da Conjectura de Paridade de Kazalicki–Kohen (Corolário 1.2): Como consequência direta do teorema de geramento, os autores provam que, se uma curva elíptica $E/\mathbb{Q}$ tem condutor primo $p$ e posto de Mordell–Weil positivo, então cada coeficiente $c_i$ de seu autovetor de Brandt para $i \in S_p$ é par. Isso remove restrições anteriores sobre o discriminante e a existência de pontos de 2-torção racionais. O artigo observa que isso fornece um critério de um lado: um coeficiente ímpar em uma classe supersingular racional certifica que o posto é zero.
• Divisibilidade do Grau Modular (Corolário 1.3 e Teorema 6.1): Combinando o resultado de paridade com a fórmula de norma de Mestre e a identidade cúbica de Gross–Kudla, os autores provam que, para qualquer curva elíptica de condutor primo $p$, posto positivo e número de raiz $+1$, o grau modular $m_E$ é divisível por 4.
• Verificação da Conjectura de Watkins para Posto 2: O resultado confirma a conjectura de Watkins ($2^{\text{posto}} \mid m_E$) para todas as curvas elípticas de condutor primo e posto 2 com número de raiz $+1$.

Significância
O artigo afirma resolver uma conjectura específica de paridade referente a autovetores de Brandt, fornecendo um certificado algébrico robusto para posto 0 baseado na paridade de coeficientes supersingulares. Ao estabelecer a propriedade de geramento dos vetores de Gross módulo 2, o trabalho faz a ponte entre a aritmética de curvas supersingulares e as propriedades analíticas de formas modulares (especificamente o desaparecimento de funções $L$ no ponto central). A aplicação à conjectura de Watkins estende os casos conhecidos desta conjectura para todas as curvas de condutor primo de posto 2 com número de raiz $+1$, removendo restrições de discriminante prévias. A metodologia demonstra o poder de reduzir problemas de representação ternária para formas binárias via simetria de Frobenius e utilizar modelos de ordens máximas explícitas para controlar paridades de representação via teoria de classes de campos.