Linear theories of global fields with absolute values

1. Problema e Motivação

O artigo investiga a teoria de primeira ordem de um corpo global $k$ (uma extensão finita de $\mathbb{Q}$ ou de $\mathbb{F}_p(t)$) quando estruturado não como um anel, mas como um espaço vetorial sobre si mesmo, equipado com predicados para valores absolutos.

• Contexto: A teoria de primeira ordem completa de um corpo global na linguagem dos anéis (com adição e multiplicação) é indecidível (resultado clássico de Julia Robinson e Rumely). A decidibilidade da sua teoria existencial é um problema em aberto famoso.
• Abordagem Linear: Os autores restringem a linguagem aos símbolos de espaço vetorial: adição ($+$), zero ($0$), unidade ($1$) e multiplicação escalar por elementos de $k$ ($\cdot_\lambda$).
• Estrutura Adicional: Eles adicionam predicados relacionais derivados de valores absolutos:
  • $L_p(x, y) \iff |x|_p \leq |y|_p$ (ordenação relativa de módulos).
  • $M_p(x, y, z) \iff |xy|_p = |z|_p$ (relação de módulo do produto).
• Objetivo: Determinar a decidibilidade e as propriedades de eliminação de quantificadores para a teoria de $k$ nessas linguagens, distinguindo entre lugares finitos (ultramétricos), reais (archimedianos) e complexos.

2. Metodologia

Os autores utilizam uma combinação de teoria de modelos, teoria de corpos valorizados e teoremas de aproximação fraca.

1. Eliminação de Quantificadores para Espaços Vetoriais Valorizados:

   • Eles desenvolvem uma teoria de espaços vetoriais sobre um corpo $k$ com uma valorização discreta $v$.
   • Definem uma linguagem de dois tipos (sorts): o tipo do espaço vetorial e o tipo do grupo de valores.
   • Probatam a eliminação de quantificadores para a teoria desses espaços vetoriais valorizados discretamente (Teorema 3.5 e 3.8), generalizando resultados anteriores de van den Dries. Isso permite axiomatizar explicitamente a teoria.

2. Interpretação e Redução:

   • Estabelecem uma biinterpretação entre a estrutura do espaço vetorial com valor absoluto (linguagem unária) e a estrutura de espaços vetoriais valorizados (linguagem de dois tipos).
   • Para lugares finitos, usam a correspondência entre valores absolutos ultramétricos e valorizações.
   • Para lugares reais e complexos, utilizam a capacidade de definir a multiplicação ou subcorpos a partir da adição e do valor absoluto.

3. Definibilidade da Multiplicação:

   • Lugares Reais: Demonstram que, na presença de $L_p$ e $M_p$, a multiplicação do corpo pode ser definida sem quantificadores. Isso conecta a teoria linear à teoria do corpo completo, levando à indecidibilidade.
   • Lugares Complexos: Mostram que o subcorpo real $k \cap \mathbb{R}$ é definível. Se $k \cap \mathbb{R}$ for um corpo de números, a teoria do corpo completo é indecidível, arrastando a indecidibilidade para a teoria com valor absoluto complexo.

4. Aproximação Fraca (Weak Approximation):

   • Para lidar com famílias de lugares (conjuntos $S_0$ e $S_1$), utilizam o Teorema de Aproximação Fraca de Artin-Whaples.
   • Axiomatizam a teoria combinada de múltiplos lugares, garantindo que as condições locais (para cada lugar) podem ser satisfeitas simultaneamente por um elemento global.

3. Principais Contribuições e Resultados

Os resultados são divididos em teoremas sobre lugares individuais e famílias de lugares.

A. Teoria de um Único Lugar (Teorema 1.1)

• Lugares Finitos (Ultramétricos):

  • A teoria completa de $(k, +, 0, 1, (\cdot_\lambda), L_p, M_p)$ é decidível.
  • Coincide com a teoria da sua completude $\hat{k}_p$.
  • Possui eliminação de quantificadores.

• Lugares Reais (Archimedianos):

  • A teoria com apenas $L_p$ (ordenação de módulos) é decidível e coincide com a completude $\mathbb{R}$.
  • Indecidibilidade: Se incluir $M_p$ (relação de módulo do produto), a teoria torna-se indecidível. Isso ocorre porque $M_p$ permite definir a multiplicação do corpo, recuperando a estrutura do anel indecidível.
  • A teoria existencial com $M_p$ é Turing-equivalente à teoria existencial do corpo completo.

• Lugares Complexos:

  • A teoria com apenas $L_p$ é indecidível (diferente da completude $\mathbb{C}$).
  • Teoria Existencial:
    • Se $k \cap i\mathbb{R} = \{0\}$ (o corpo não contém elementos puramente imaginários não nulos), a teoria existencial é decidível.
    • Caso contrário, é Turing-equivalente à teoria existencial do subcorpo real $k \cap \mathbb{R}$.

B. Teoria de Famílias de Lugares (Teorema 1.2)

Para conjuntos de lugares $S_1 \subseteq S_0 \subseteq P_k$:

• A teoria de $(k, +, 0, 1, (\cdot_\lambda), (L_p)_{p \in S_0}, (M_p)_{p \in S_1})$ é decidível se e somente se:
  1. $S_0$ não contém lugares complexos.
  2. $S_1$ não contém lugares infinitos (reais ou complexos).
• Condição de Decidibilidade: A presença de qualquer lugar complexo em $S_0$ ou qualquer lugar infinito em $S_1$ (que introduz $M_p$ para lugares reais) torna a teoria indecidível.
• Axiomatização: No caso decidível, fornecem uma axiomatização explícita baseada nas teorias individuais e no esquema de aproximação fraca. A teoria é completa e model-completa (e com eliminação de quantificadores se $S_1 = \emptyset$).

4. Significado e Impacto

• Fronteira entre Decidibilidade e Indecidibilidade: O trabalho mapeia com precisão onde a adição de estrutura aritmética (valores absolutos) a uma estrutura linear (espaço vetorial) faz a teoria saltar de decidível para indecidível. A chave é a capacidade de definir a multiplicação do corpo.
• Generalização de Resultados Clássicos: Estende resultados de van den Dries sobre espaços vetoriais valorizados para o contexto de corpos globais com múltiplos lugares, lidando com a interação entre a estrutura linear e a topologia dos valores absolutos.
• Aplicação do Teorema de Aproximação: Demonstra como o teorema de aproximação fraca pode ser usado como uma ferramenta de axiomatização em teoria de modelos para corpos globais, permitindo tratar famílias infinitas de lugares de forma uniforme.
• Distinção entre Tipos de Lugares: Revela uma assimetria fundamental: lugares ultramétricos preservam a decidibilidade mesmo com a relação de produto de módulos, enquanto lugares reais e complexos (especialmente com $M_p$ ou $L_p$ em certos contextos) introduzem complexidade suficiente para a indecidibilidade.

Em resumo, o artigo fornece uma classificação completa da decidibilidade de teorias lineares de corpos globais equipados com valores absolutos, estabelecendo que a estrutura é decidível apenas quando se evita a combinação de lugares complexos e a capacidade de definir a multiplicação via módulos de produtos em lugares reais.