The classification of real quadratic fields which satisfy Hammarhjelm's condition

Resumo Técnico: A Classificação de Campos Quadráticos Reais que Satisfazem a Condição de Hammarhjelm

Enunciado do Problema
Este artigo aborda a classificação de campos quadráticos reais $K = \mathbb{Q}(\sqrt{D})$ (onde $D > 1$ é livre de quadrados) que satisfazem a "condição de Hammarhjelm". Um campo satisfaz esta condição se dois critérios forem atendidos:

1. O anel de inteiros $\mathcal{O}_K$ possui fatoração única (ou seja, o número de classe $h_K = 1$).
2. A rede de Minkowski $f(\mathcal{O}_K) \subset \mathbb{R}^2$, definida pela imersão $\alpha \mapsto (\alpha, \sigma(\alpha))$, não contém pontos dentro do retângulo aberto $(1, \lambda) \times (-1, 1)$, onde $\lambda > 1$ é a unidade fundamental de $K$.

Estes campos apareceram recentemente no estudo de pontos visíveis em conjuntos algébricos de corte e projeção (cut-and-project sets). Anteriormente a este trabalho, os exemplos conhecidos limitavam-se a $D \in \{2, 5, 13, 29, 53\}$. O objetivo é determinar a lista completa de tais campos.

Metodologia
A prova procede estabelecendo uma relação entre a condição de Hammarhjelm e o tamanho da unidade fundamental em relação ao discriminante, seguida por uma análise caso a caso utilizando a teoria de gêneros e classificações existentes de campos com número de classe um.

1. Limitando a Unidade Fundamental:
   O autor demonstra primeiro que a condição de Hammarhjelm força a unidade fundamental $\lambda$ a ser pequena em relação ao discriminante $\Delta_K$.

• Se $D \equiv 2, 3 \pmod 4$, então $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$.
• Se $D \equiv 1 \pmod 4$, então $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$.
  Este limite é derivado construindo elementos específicos em $\mathcal{O}_K$ que cairiam no retângulo proibido se $\lambda$ fosse maior.

2. Teoria de Gêneros e Grupos de Classes Estreitos:
   O artigo utiliza a teoria de gêneros para restringir os possíveis discriminantes para campos com número de classe um. Especificamente, o número de classe estreito $h_K^+$ é divisível por $2^{r(K)-1}$, onde $r(K)$ é o número de fatores primos distintos de $\Delta_K$. Para $h_K=1$, isso implica que $r(K) \le 2$.

• O caso $r(K)=2$ com $D \equiv 1 \pmod 4$ (onde $\Delta_K = pq$) é analisado usando o 4-posto do grupo de classes estreito (via matrizes de Rédei). Mostra-se que se $p, q \equiv 1 \pmod 4$ e $q = p+4$, o 4-posto é 1, implicando $h_K > 1$.

3. Classificação por Tipo de Discriminante:
   A prova divide o problema com base na congruência de $D$ módulo 4:

• $D \equiv 2, 3 \pmod 4$: O autor mostra que nenhum desses campos satisfaz a condição para $D > 2$. Para $D=2$, a condição é satisfeita. Para $D \equiv 3 \pmod 4$, a ausência de unidades com norma negativa e o limite sobre $\lambda$ levam a uma contradição para qualquer primo $D$.
• $D \equiv 1 \pmod 4$:
  • Discriminante Primo ($D=p$): O limite sobre $\lambda$ força a unidade fundamental a ter norma $-1$, colocando $D$ na forma $D = (2m+1)^2 + 4$. Isto identifica os campos como um subconjunto da família de Yokoi.
  • Discriminante Composto ($D=pq$): A análise descarta casos onde $p, q \equiv 1 \pmod 4$ (devido ao argumento do 4-posto) e casos onde $p, q \equiv 3 \pmod 4$ (que pertencem à família "estreita de Richaud-Degert", mostrada a falhar na Condição H para $D > 5$).

4. Aplicação da Classificação de Biró:
   Para os campos identificados como pertencentes à família de Yokoi ($D = m^2 + 4$), o artigo baseia-se na classificação de Biró (2003) de campos com número de classe um dentro desta família. Biró determinou que os únicos discriminantes livres de quadrados desta forma com número de classe um são $D \in \{5, 13, 29, 53, 173, 293\}$.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.1, que afirma que existem exatamente sete campos quadráticos reais satisfazendo a condição de Hammarhjelm. Estes correspondem aos discriminantes:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

O artigo fornece uma prova rigorosa de que:

• Os exemplos previamente conhecidos ($D=2, 5, 13, 29, 53$) fazem parte de uma lista completa.
• Dois campos adicionais, $D=173$ e $D=293$, satisfazem a condição.
• Nenhum outro campo quadrático real satisfaz a condição.

A prova estabelece que a condição de Hammarhjelm implica que a unidade fundamental é pequena em relação ao discriminante, o que restringe o espaço de busca a famílias específicas de campos (família de Yokoi e extensões estreitas de Richaud-Degert) onde os campos de número de classe um já estão classificados.

Significância
O artigo resolve o problema de determinar todos os campos quadráticos reais que satisfazem a condição de Hammarhjelm, um problema motivado por desenvolvimentos recentes no estudo de pontos visíveis em conjuntos algébricos de corte e projeção. Ao combinar limites elementares sobre a unidade fundamental com resultados profundos da teoria de gêneros e da classificação da família de Yokoi, o autor fornece uma lista definitiva e finita de tais campos, estendendo o conjunto conhecido de cinco para sete exemplos.