Quantitative Oppenheim in signature $(2,2)$ via determinant values

Resumo Técnico: Oppenheim Quantitativo em Assinatura (2, 2) via Valores de Determinante

Enunciado do Problema
O artigo aborda o problema de Oppenheim quantitativo para formas quadráticas indefinidas de assinatura $(2, 2)$. A conjectura de Oppenheim clássica, provada por Margulis, afirma que os valores de uma forma quadrática irracional indefinida em vetores inteiros são densos em $\mathbb{R}$. O refinamento quantitativo questiona o comportamento assintótico da função de contagem:
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
conforme $T \to \infty$. Embora isso tenha sido estabelecido para assinaturas superiores por Dani–Margulis e Eskin–Margulis–Mozes (EMM), as baixas assinaturas $(2, 1)$ e $(, 2)$ exigem hipóteses diofantinas adicionais para excluir reticulados que são excessivamente bem aproximados por formas racionais. O caso $(2, 2)$ foi provado anteriormente por Eskin–Margulis–Mozes. Este artigo fornece uma nova prova do caso $(2, 2)$ ao reestruturar o problema em termos de valores de determinante em reticulados em $M_2(\mathbb{R})$.

Metodologia
Os autores reformulam o problema usando a identificação de $\mathbb{R}^4$ com $M_2(\mathbb{R})$, onde a forma quadrática é o determinante:
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
O problema é, assim, transformado no contou de pontos de reticulado $\Lambda < M_2(\mathbb{R})$ com valores de determinante em um intervalo específico. A prova emprega a estratégia de altura modificada e de esquiva (avoidance strategy), uma abordagem dinâmica desenvolvida anteriormente no trabalho dos autores sobre o caso $(2, 1)$.

Componentes metodológicos principais incluem:

1. Configuração Dinâmica: O problema é analisado no espaço de reticulados unimodulares $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$. A ação do grupo $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ corresponde à ação natural em $M_2(\mathbb{R})$.
2. Funções de Altura Modificadas: A função de altura padrão $\alpha(\Delta)$, que mede o tamanho do menor vetor não nulo em potências exteriores do reticulado, falha em satisfazer os limites de momento uniformes necessários no grau exterior 2 crítico devido à presença de planos racionais "quase-nulos". Os autores introduzem uma altura modificada $\tilde{\alpha}_{\eta, M}$ que omite planos racionais dois-dimensinais cujos vetores de Plücker são "quase-nulos" (ou seja, estão muito próximos dos submódulos excepcionais $M_c$ ou $M_r$).
3. Altura Auxiliar e Contração: Para provar os limites de momento para a altura modificada, uma altura auxiliar $\hat{\alpha}_{\eta, M, \theta}$ é introduzida. Esta altura incorpora uma função de peso $\phi_\theta$ que penaliza a proximidade com os submódulos excepcionais, compensando a degeneração das estimativas de contração perto desses subespaços.
4. Esquiva de Conjuntos Excepcionais: A prova utiliza uma iteração de tempo de parada que combina:
   • Estimativas de contração longe de um conjunto excepcional (onde a altura auxiliar contrai sob a ação de subgrupos horosféricos expansivos).
   • Não-divergência quantitativa e condições diofantinas para mostrar que o fluxo evita o conjunto excepcional (onde um plano racional não-quase-nulo é levado extremamente próximo de um somando excepcional).
5. Separação de Contribuições Singulares: Os autores distinguem entre planos isotrópicos racionais exatos (onde o determinante se anula identicamente) e planos quase-nulos. Eles provam que, para reticulados de determinante-irracional, existem apenas finitos planos isotrópicos racionais exatos. A contribuição de planos quase-nulos, mas não isotrópicos, é mostrada como vanishing (tendendo a zero) no limite, enquanto os planos isotrópicos exatos contribuem com um termo singular para a fórmula assintótica.

Principais Contribuições e Resultados
O artigo estabelece o seguinte teorema principal (Teorema 1.1):

Seja $\Lambda < M_2(\mathbb{R})$ um reticulado diofantino que não é determinante-racional. Para qualquer norma $\|\cdot\|$ em $\mathbb{R}^4$ e quaisquer $a < b$, o número de pontos de reticulado com determinante não nulo satisfaz:
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
Além disso, o limite para pontos com determinante zero existe:
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
A função de contagem total é dada por:
$$N_\Lambda(a, b; T) \sim \left( \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)}(b-a) + c^{\text{sing}}_\Lambda \mathbf{1}_{\{0 \in (a, b)\}} \right) T^2.$$

Descobertas Técnicas Específicas:

• Finitude de Planos Isotrópicos: Para um reticulado não-determinante-racional, existem no máximo quatro planos racionais dois-dimensinais nos quais o determinante se anula identicamente (no máximo dois colunas-isotrópicos e dois linhas-isotrópicos). Esta finitude é uma característica especial do caso $2 \times 2$.
• Constante Singular: A constante $c^{\text{sing}}_\Lambda$ é estritamente positiva se, e somente se, $\Lambda$ contém um submódulo $\mathbb{Z}$ de posto dois no qual o determinante se anula. Ela é explicitamente computada como uma soma sobre estes finitos planos isotrópicos racionais.
• Condição Diofantina: O resultado sustenta-se sob uma condição "split-diophantine", que impede que a forma de determinante seja aproximada muito de perto por formas quadráticas split racionais. Isso é equivalente à condição não-EWAS usada por Eskin–Margulis–Mozes.
• Coeficientes Algébricos: Como corolário, o teorema aplica-se a qualquer reticulado com entradas algébricas que não seja determinante-racional, pois estes satisfazem automaticamente a condição diofantina via desigualdades do tipo Liouville.

Significância e Alegações
O artigo alega que sua principal novidade reside na técnica de prova em si, e não na declaração do teorema.

• Modelo Simplificado: Ao trabalhar no cenário de determinante $2 \times 2$, os autores fornecem um "caso de modelo simplificado" para o método de altura modificada e de esquiva. Nesta dimensão, a teoria de representação e os limites de subnível são elementares comparados aos casos de dimensões superiores, embora o principal mecanismo dinâmico permaneça visível.
• Nova Prova de EMM: O trabalho recupera o teorema de Oppenheim quantitativo $(2, 2)$ de Eskin–Margulis–Mozes. Os autores observam que sua abordagem difere da prova original de EMM, que trabalhava diretamente com médias-$K$ e usava argumentos de encolhimento/sobreposição para conjuntos ruins. Em contraste, este artigo introduz uma segunda altura auxiliar modificada para satisfazer a necessária desigualdade do tipo Margulis, evitando a aproximação direta de conjuntos ruins por retângulos.
• Fundação para Dimensões Superiores: A formulação de determinante é apresentada como o membro mais simples de um problema de valor de determinante de dimensão superior estudado no artigo complementar dos autores [7], sugerindo que os insights obtidos aqui são fundamentais para abordar assinaturas mais complexas.

O artigo não propõe novas aplicações experimentais ou implicações futuras além do contexto matemático de sistemas dinâmicos e da teoria quantitativa de formas quadráticas. Ele foca estritamente em estabelecer a fórmula de contagem assintótica através do método dinâmico refinado.