20 votos

¿Qué ejemplos ilustran la utilidad de las valoraciones de Krull (es decir, rango > 1)?

En la teoría moderna de la valoración, no sólo se estudian los valores absolutos en un campo, sino también Valoraciones de Krull . La motivación es bastante fácil:

Si $k$ es un campo, a anillo de valoración de $k$ es un subring $R$ tal que para cada $x \in k^{\times}$ al menos uno de los siguientes $x, x^{-1}$ es un elemento de $R$ . (Se deduce, por supuesto, que $k$ es el campo de fracción de $R$ .) Si $| \ |$ es una norma no arquimediana sobre un campo, entonces el conjunto $\{x \in k \ | \ |x| \leq 1 \}$ es un anillo de valoración. Sin embargo, lo contrario no se cumple, ya que si $R$ es un anillo de valoración, entonces $k^{\times}/R^{\times}$ no es necesario inyectar en $\mathbb{R}$ sino que es (bajo una extensión directa de la relación de divisibilidad sobre $R$ ) un grupo abeliano totalmente ordenado. Además, una cierta construcción formal de series de potencias muestra que para cualquier grupo abeliano totalmente ordenado $\Gamma$ existe $k$ y $R$ con $k^{\times}/R^{\times} \cong \Gamma$ .

Mi pregunta es la siguiente: ¿cuáles son algunos casos en los que tener la generalidad de las valoraciones de Krull es útil para resolver algún problema (que no es a priori de la teoría de la valoración)? ¿Cómo surgen las valoraciones de Krull en la geometría algebraica?

Casi puedo recordar un ejemplo de esto. Creo que es posible dar una prueba rápida del Teorema de Lang-Nishimura -- que teniendo una suave $k$ -punto racional es un invariante biracional entre completos [hmm, ¡criterio valorativo!] $k$ -variedades. Creo que vi esto en algunas de las notas de la conferencia de Bjorn Poonen, pero se me olvida dónde. [El año pasado por estas fechas, habría enviado un correo electrónico a Bjorn. Estoy probando este nuevo enfoque en la teoría de que Bjorn puede responder si lo desea, y si no alguien más seguramente estará ansioso por decirme la respuesta].

¿Hay otros buenos ejemplos? ¿Tal vez algo relacionado con la resolución de singularidades?

3voto

JimmyJ Puntos 1443

Me gustaría señalar Oberwolfach de Teissier informe sobre valoraciones y resoluciones de singularidad en características positivas.

Además, más relacionado con tu comentario aquí ,Cutkosky-Tessier tiene un reciente papel que tiene algunas referencias con los resultados del punto de vista de Zariski sobre la teoría de la valoración. Los sitios web de Cutkosky y Teissier tienen mucho más.

2voto

Ed Guiness Puntos 21866

Por un sabor diferente de las respuestas hasta la fecha: las valoraciones más allá de las valoraciones discretas clásicas que surgen de los valores absolutos han demostrado ser extremadamente útiles para analizar estructuras de ciertas álgebras de división finito-dimensionales sobre sus centros. Las álgebras de división (incluso cuando son finito-dimensionales sobre sus centros) son notoriamente difíciles de entender: por ejemplo, casi siempre es imposible describir sus subcampos. Sin embargo, cuando el centro $F$ es henseliano con respecto a una valoración general (henseliano significa simplemente que se cumple el lema de Hensel: esto sustituye a la noción de completitud que se utiliza en el caso clásico), entonces es fácil ver que la valoración sobre $F$ se extiende únicamente a $D$ y si además el álgebra de división $D$ es "manso" (es decir, la característica de $\overline{F}$ no divide $[D:F]$ ), entonces se pueden utilizar las valoraciones sobre $F$ y $D$ obtener información significativa sobre $D$ .

A modo de ejemplo: si además $D$ está totalmente ramificado sobre $F$ es decir, $|V(D)/V(F)| = [D:F]$ donde $V()$ representa el grupo de valor, entonces resulta que existe un emparejamiento alterno no degenerado de $V(D)/V(F) \times V(D)/V(F)$ al grupo de $m$ -raíces de la unidad en $\overline{F}$ donde $m$ es el período de $D$ en el grupo de Brauer de $F$ . Este emparejamiento determina completamente $D$ : $D$ se descompone como un producto tensorial de "álgebras de símbolos" (es decir, cuaterniones generalizados), donde los factores tensoriales corresponden a una base simpléctica para $V(D)/V(F)$ . Las clases de isomorfismo de $F$ -subálgebras de $D$ están determinados por subgrupos de $V(D)/V(F)$ y el $F$ -clases de isomorfismo de subcampos de $D$ están determinados por subgrupos totalmente isótropos de $V(D)/V(F)$ . Esto a su vez determina completamente álgebras de división domesticadas sobre campos de la forma $k((x_1))\cdots ((x_n))$ donde $k$ es separablemente cerrado.

Para una encuesta, véase el documento: Wadsworth, A. R., Valuation theory on finite dimensional division algebras. Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 385--449, Fields Inst. Commun. 32, Amer. Math. Soc., Providence, RI, 2002. (Revisiones matemáticas: MR1928379 (2003g:16023) )

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X