Corpo local

Em matemática, um corpo local é um tipo especial de corpo que é corpo topológico localmente compacto em relação a uma topologia não discreta. Ou, um campo K é chamado de campo local (não arquimediano) se for completo com respeito a uma topologia induzida por uma valoração discreta v e se o seu corpo residual k for finito. Às vezes, os números reais R e os números complexos C (com suas topologias padrão) também são definidos como campos locais; esta é a convenção que adotaremos a seguir. Dado um campo local, a valoração definida nele pode ser de dois tipos, cada um correspondendo a um dos dois tipos básicos de campos locais: aqueles em que a valoração é arquimediana e aqueles em que não é. No primeiro caso, o campo local é chamado de campo local arquimediano, no segundo caso, é chamado de campo local não arquimediano. Campos locais surgem naturalmente na teoria dos números como complexões de campos globais.

Enquanto campos locais arquimedianos são bastante conhecidos na matemática há pelo menos 250 anos, os primeiros exemplos de campos locais não arquimedianos, os campos dos números p-ádicos para um número primo positivo p, foram introduzidos por Kurt Hensel no final do século XIX.

Todo campo local é isomorfo (como campo topológico) a um dos seguintes:

• Campos locais arquimedianos (característica zero): os números reais R e os números complexos C.
• Campos locais não arquimedianos de característica zero: extensões finitas dos números p-ádicos Q_p (onde p é qualquer número primo).
• Campos locais não arquimedianos de característica p (para qualquer número primo p): o campo das séries de Laurent formais F_q((T)) sobre um campo finito F_q, onde q é uma potência de p.

Em particular, de importância na teoria dos números, classes de campos locais aparecem como as compleções dos campos numéricos algébricos com respeito à sua valoração discreta correspondente a um dos seus ideais máximos. Artigos de pesquisa em teoria moderna dos números frequentemente consideram uma noção mais geral, exigindo apenas que o corpo residual seja perfeito de característica positiva, não necessariamente finito. Este artigo usa a definição anterior.

Valor absoluto induzido

Dado tal valor absoluto em um campo K, a seguinte topologia pode ser definida em K: para um número real positivo m, define-se o subconjunto B_m de K por

$B_{m}:=\{a\in K:|a|\leq m\}.$

Então, os b+B_m formam uma base de vizinhança de b em K.

Inversamente, um campo topológico com uma topologia localmente compacta não discreta tem um valor absoluto definindo sua topologia. Pode ser construído usando a medida de Haar do grupo aditivo do campo.

Características básicas dos campos locais não arquimedianos

Para um campo local não arquimediano F (com valor absoluto denotado por |·|), os seguintes objetos são importantes:

• seu anel de inteiros ${\mathcal {O}}=\{a\in F:|a|\leq 1\}$ que é um anel de valoração discreta, é a bola unitária fechada de F e é compacto;
• as unidades em seu anel de inteiros ${\mathcal {O}}^{\times }=\{a\in F:|a|=1\}$ que formam um grupo e são a esfera unitária de F;
• o único ideal primo não nulo ${\mathfrak {m}}$ em seu anel de inteiros que é sua bola unitária aberta $\{a\in F:|a|<1\}$;
• um gerador $\varpi$ de ${\mathfrak {m}}$ chamado de uniformizador de $F$;
• seu corpo residual $k={\mathcal {O}}/{\mathfrak {m}}$ que é finito (já que é compacto e discreto).

Todo elemento não nulo a de F pode ser escrito como a = ϖⁿu com u uma unidade e n um número inteiro único.

A valoração normalizada de F é a função sobrejetiva v : F → Z ∪ {∞} definida por enviar um a não nulo ao número inteiro único n tal que a = ϖⁿu com u uma unidade, e por enviar 0 a ∞. Se q é a cardinalidade do corpo residual, o valor absoluto em F induzido por sua estrutura como campo local é dado por:

$|a|=q^{-v(a)}.$

Uma definição equivalente e muito importante de um campo local não arquimediano é que ele é um campo que é completo com respeito a uma valoração discreta e cujo corpo residual é finito.

Exemplos

1. Os números p-ádicos: o anel de inteiros de Q_p é o anel dos p-ádicos inteiros Z_p. Seu ideal primo é pZ_p e seu corpo residual é Z/pZ. Todo elemento não nulo de Q_p pode ser escrito como u pⁿ onde u é uma unidade em Z_p e n é um número inteiro, então v(u pⁿ) = n para a valoração normalizada.
2. As séries de Laurent formais sobre um campo finito: o anel de inteiros de F_q((T)) é o anel das séries de potências formais F_q[[T]]. Seu ideal máximo é (T) (ou seja, as séries de potências cujo termo constante é zero) e seu corpo residual é F_q. Sua valoração normalizada está relacionada ao grau (inferior) de uma série de Laurent formal como segue:

   $v\left(\sum _{i=-m}^{\infty }a_{i}T^{i}\right)=-m$ (onde a_−m não é nulo).

3. As séries de Laurent formais sobre os números complexos não são um campo local. Por exemplo, seu corpo residual é C[[T]]/(T) = C, que não é finito.

Grupos de unidades superiores

O n^º grupo de unidades superiores de um campo local não arquimediano F é

$U^{(n)}=1+{\mathfrak {m}}^{n}=\left\{u\in {\mathcal {O}}^{\times }:u\equiv 1\,(\mathrm {mod} \,{\mathfrak {m}}^{n})\right\}$

para n ≥ 1. O grupo U⁽¹⁾ é chamado de grupo de unidades principais, e qualquer elemento dele é chamado de unidade principal. O grupo de unidades completo ${\mathcal {O}}^{\times }$ é denotado U⁽⁰⁾.

Os grupos de unidades superiores formam uma filtração decrescente do grupo de unidades

${\mathcal {O}}^{\times }\supseteq U^{(1)}\supseteq U^{(2)}\supseteq \cdots$

cujos quocientes são dados por

${\mathcal {O}}^{\times }/U^{(n)}\cong \left({\mathcal {O}}/{\mathfrak {m}}^{n}\right)^{\times }{\text{ e }}\,U^{(n)}/U^{(n+1)}\approx {\mathcal {O}}/{\mathfrak {m}}$

para n ≥ 1. (Aqui "$\approx$" significa um isomorfismo não canônico.)

Estrutura do grupo de unidades

O grupo multiplicativo dos elementos não nulos de um campo local não arquimediano F é isomorfo a

$F^{\times }\cong (\varpi )\times \mu _{q-1}\times U^{(1)}$

onde q é a ordem do corpo residual, e μ_q−1 é o grupo das raízes (q−1)st da unidade (em F). Sua estrutura como grupo abeliano depende de sua característica:

• Se F tem característica positiva p, então

$F^{\times }\cong \mathbf {Z} \oplus \mathbf {Z} /{(q-1)}\oplus \mathbf {Z} _{p}^{\mathbf {N} }$

onde N denota os números naturais;

• Se F tem característica zero (ou seja, é uma extensão finita de Q_p de grau d), então

$F^{\times }\cong \mathbf {Z} \oplus \mathbf {Z} /(q-1)\oplus \mathbf {Z} /p^{a}\oplus \mathbf {Z} _{p}^{d}$

onde a ≥ 0 é definido de forma que o grupo das raízes de potência p da unidade em F seja $\mu _{p^{a}}$.

Teoria dos campos locais

Esta teoria inclui o estudo dos tipos de campos locais, extensões de campos locais usando o lema de Hensel, extensões de Galois de campos locais, filtrações de grupos de ramificação dos grupos de Galois de campos locais, o comportamento do mapa norma em campos locais, a homomorfismo de reciprocidade local e o teorema de existência na teoria local dos corpos de classe, correspondência local de Langlands, teoria de Hodge-Tate (também chamada de teoria p-ádica de Hodge), fórmulas explícitas para o símbolo de Hilbert na teoria local dos corpos de classe, veja por exemplo.

Campos locais de dimensão superior

Um campo local é às vezes chamado de campo local unidimensional.

Um campo local não arquimediano pode ser visto como o campo das frações da completude do anel local de um esquema aritmético unidimensional de posto 1 em seu ponto não singular.

Para um número inteiro n não negativo, um campo local de dimensão n é um campo de valoração discreta completo cujo corpo residual é um campo local de dimensão (n − 1). Dependendo da definição de campo local, um campo local de dimensão zero é então ou um campo finito (com a definição usada neste artigo), ou um campo perfeito de característica positiva.

Do ponto de vista geométrico, campos locais de dimensão n com último corpo residual finito estão naturalmente associados a uma bandeira completa de sub esquemas de um esquema aritmético de dimensão n.

Links externos

• Hazewinkel, Michiel, ed. (2001), «Local field», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer