Serie de potencias restringidas

En álgebra , el anillo de series de potencias restringidas es el subanillo de un anillo de series de potencias formales que consiste en series de potencias cuyos coeficientes se aproximan a cero cuando el grado tiende a infinito. ^{[1] Sobre un} cuerpo completo no arquimediano , el anillo también se denomina álgebra de Tate . Los anillos cocientes del anillo se utilizan en el estudio de un espacio algebraico formal, así como en el análisis rígido , este último sobre cuerpos completos no arquimedianos.

Sobre un anillo topológico discreto , el anillo de series de potencias restringidas coincide con un anillo de polinomios ; por lo tanto, en este sentido, la noción de "serie de potencias restringidas" es una generalización de un polinomio .

Sea A un anillo topologizado linealmente , separado y completo y el sistema fundamental de ideales abiertos. Entonces el anillo de series de potencias restringidas se define como el límite proyectivo de los anillos polinómicos sobre : ${\displaystyle \{I_{\lambda}\}}$${\displaystyle A/I_{\lambda}}$

${\displaystyle A\langle x_{1},\puntos ,x_{n}\rangle =\varprojlim _{\lambda }A/I_{\lambda }[x_{1},\puntos ,x_{n}]}$. ^{[2] [3]}

En otras palabras, es la terminación del anillo polinómico con respecto a la filtración . A veces, este anillo de series de potencias restringidas también se denota por . ${\displaystyle A[x_{1},\puntos ,x_{n}]}$${\displaystyle \{I_{\lambda }[x_{1},\puntos ,x_{n}]\}}$${\displaystyle A\{x_{1},\puntos ,x_{n}\}}$

Claramente, el anillo puede identificarse con el subanillo del anillo de series de potencias formales que consiste en series con coeficientes ; es decir, cada una contiene todos los coeficientes excepto un número finito de . Además, el anillo satisface (y de hecho se caracteriza por) la propiedad universal : ^[4] para (1) cada homomorfismo de anillo continuo a un anillo topologizado linealmente , separado y completo y (2) cada elemento en , existe un homomorfismo de anillo continuo único ${\displaystyle A\langle x_{1},\dots,x_{n}\rangle }$${\displaystyle A[[x_{1},\puntos ,x_{n}]]}$${\displaystyle \suma c_{\alpha }x^{\alpha }}$${\displaystyle c_{\alpha}\to 0}$${\displaystyle I_{\lambda}}$${\displaystyle c_{\alpha}}$ ${\displaystyle A\to B}$${\estilo de visualización B}$${\displaystyle b_{1},\puntos ,b_{n}}$${\estilo de visualización B}$

${\displaystyle A\langle x_{1},\puntos ,x_{n}\rangle \to B,\,x_{i}\mapsto b_{i}}$

extendiendo . ${\displaystyle A\to B}$

En el análisis rígido , cuando el anillo base A es el anillo de valoración de un cuerpo no arquimediano completo , el anillo de series de potencias restringidas tensadas con , ${\displaystyle (K,|\cdot |)}$${\estilo de visualización K}$

${\displaystyle T_{n}=K\langle \xi _{1},\dots \xi _{n}\rangle =A\langle \xi _{1},\dots ,\xi _{n}\rangle \oveces _{A}K}$

se llama álgebra de Tate, llamada así por John Tate . ^[5] Es equivalentemente el subanillo de series de potencias formales que consiste en series convergentes en , donde es el anillo de valoración en el cierre algebraico . ${\displaystyle k[[\xi _{1},\puntos ,\xi _{n}]]}$${\displaystyle {\mathfrak {o}}_{\overline {k}}^{n}}$${\displaystyle {\mathfrak {o}}_{\overline {k}}:=\{x\in {\overline {k}}:|x|\leq 1\}}$ ${\displaystyle {\overline {k}}}$

El espectro máximo de es entonces un espacio rígido-analítico que modela un espacio afín en geometría rígida . ${\displaystyle T_{n}}$

Defina la norma de Gauss de en por ${\displaystyle f=\sum a_{\alpha }\xi ^{\alpha }}$${\displaystyle T_{n}}$

${\displaystyle \|f\|=\max _{\alpha }|a_{\alpha }|.}$

Esto produce un álgebra de Banach sobre k ; es decir, un álgebra normada que es completa como espacio métrico . Con esta norma , cualquier ideal de es cerrado ^[6] y, por lo tanto, si I es radical, el cociente también es un álgebra de Banach (reducida) llamada álgebra afinoide . ${\displaystyle T_{n}}$ ${\displaystyle I}$${\displaystyle T_{n}}$${\displaystyle T_{n}/I}$

Algunos resultados clave son:

• (División de Weierstrass) Sea una serie -distinguida de orden s ; es decir, donde , es un elemento unidad y para . ^[7] Entonces para cada , existen un único y un único polinomio de grado tal que ${\displaystyle g\in T_{n}}$${\displaystyle \xi _{n}}$${\displaystyle g=\sum _{\nu =0}^{\infty }g_{\nu }\xi _{n}^{\nu }}$${\displaystyle g_{\nu }\in T_{n-1}}$${\displaystyle g_{s}}$${\displaystyle |g_{s}|=\|g\|>|g_{v}|}$${\displaystyle \nu >s}$${\displaystyle f\in T_{n}}$${\displaystyle q\in T_{n}}$${\displaystyle r\in T_{n-1}[\xi _{n}]}$ ${\displaystyle <s}$

  ${\displaystyle f=qg+r.}$^[8]

• ( Preparación de Weierstrass ) Como se indicó anteriormente, sea una serie distinguida de orden s . Entonces existe un único polinomio mónico de grado y un elemento unidad tal que . ^[9]${\displaystyle g}$${\displaystyle \xi _{n}}$ ${\displaystyle f\in T_{n-1}[\xi _{n}]}$${\displaystyle s}$${\displaystyle u\in T_{n}}$${\displaystyle g=fu}$
• (Normalización de Noether) Si es un ideal, entonces existe un homomorfismo finito . ^[10]${\displaystyle {\mathfrak {a}}\subset T_{n}}$${\displaystyle T_{d}\hookrightarrow T_{n}/{\mathfrak {a}}}$

Como consecuencia de la división, los teoremas de preparación y la normalización de Noether, es un dominio de factorización único noetheriano de dimensión de Krull n . ^[11] Un análogo del Nullstellensatz de Hilbert es válido: el radical de un ideal es la intersección de todos los ideales maximales que contienen al ideal (decimos que el anillo es Jacobson). ^[12]${\displaystyle T_{n}}$

Los resultados para anillos polinómicos como el lema de Hensel , los algoritmos de división (o la teoría de bases de Gröbner ) también son válidos para el anillo de series de potencias restringidas. A lo largo de la sección, sea A un anillo topologizado linealmente, separado y completo.

• (Hensel) Sea un ideal maximalista y la función cociente. Dado un en , si para algún polinomio mónico y una serie de potencias restringidas tales que generen el ideal unitario de , entonces existen en y en tales que ${\displaystyle {\mathfrak {m}}\subset A}$${\displaystyle \varphi :A\to k:=A/{\mathfrak {m}}}$${\displaystyle F}$${\displaystyle A\langle \xi \rangle }$${\displaystyle \varphi (F)=gh}$${\displaystyle g\in k[\xi ]}$${\displaystyle h\in k\langle \xi \rangle }$${\displaystyle g,h}$${\displaystyle k\langle \xi \rangle }$${\displaystyle G}$${\displaystyle A[\xi ]}$${\displaystyle H}$${\displaystyle A\langle \xi \rangle }$

  ${\displaystyle F=GH,\,\varphi (G)=g,\varphi (H)=h}$. ^[13]

• Bourbaki, N. (2006). Algèbre conmutativo: Capítulos 1 a 4 . Springer Berlín Heidelberg. ISBN 9783540339373.
• Grothendieck, Alejandro ; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publicaciones Mathématiques de l'IHÉS . 4 . doi :10.1007/bf02684778. SEÑOR  0217083.
• Bosch, Sigfrido; Güntzer, Ulrich; Remmert, Reinhold (1984), "Capítulo 5", Análisis no arquimediano , Springer
• Bosch, Siegfried (2014), Lecciones sobre geometría formal y rígida, ISBN 9783319044170
• Fujiwara, Kazuhiro; Kato, Fumiharu (2018), Fundamentos de la geometría rígida I

• Teorema de preparación de Weierstrass

• https://ncatlab.org/nlab/show/restricted+formal+power+series
• http://math.stanford.edu/~conrad/papers/aws.pdf
• https://web.archive.org/web/20060916051553/http://www-math.mit.edu/~kedlaya//18.727/tate-algebras.pdf