2 votos

Retículas en geometría algebraica

En la obra de Chriss y Ginzburg Geometría compleja y teoría de la representación definen un celosía en la siguiente situación: dejemos que $A$ ser un anillo (supongo que sólo me importa el caso de que $A$ es un álgebra conmutativa sobre un campo) y $t \in A$ un divisor central no nulo tal que $\cap_{i \geq 0} t^iA = 0$ . Si $M$ es un módulo sobre la localización $A_t$ un entramado es una red finitamente generada $A$ -submódulo $L \subset M$ tal que $A_t \cdot L = M$ .

¿Cuál es la motivación geométrica de este concepto? En particular, ¿por qué se denomina celosía? Me encantaría una explicación para, por ejemplo $A = \mathbb{C}[t]$ pero creo que los autores introducen la noción para aplicarla a ejemplos más interesantes como $A = \mathbb{C}[x,y,t]/(xy-t)$ .

2voto

Will Sawin Puntos 38407

La definición normal de un entramado se puede enunciar como Una red en un $\mathbb R$ -Módulo $M$ es una entidad finitamente generada $\mathbb Z$ -submódulo $L \subset M$ tal que $\mathbb R \cdot L = M$ ,

Ahora, $\mathbb R$ no es una localización de $\mathbb Z$ pero creo que de ahí viene el nombre.

Si esto es cierto, entonces el término "red" no proviene del significado geométrico de este concepto, sino que es sólo un nombre conveniente para una estructura algebraica que resulta ser útil por razones no relacionadas.

1voto

ricree Puntos 5055

Wikipedia nos dice que una red es un subgrupo discreto de $\mathbb{R}^n$ que abarca todo el espacio vectorial. Este uso de la palabra parece tener su origen en el estudio de las construcciones hechas con listones (OED: tiras estrechas de madera) que, ignorando el comportamiento de los límites, tienen dos direcciones de simetría traslacional discreta.

El uso original de la red se ha generalizado en varias direcciones. Una de las que nos interesa es la siguiente: Dado un grupo topológico localmente compacto $G$ una red es un subgrupo discreto $\Gamma$ tal que $G/\Gamma$ tiene un volumen finito. En el caso particular de que $G$ es un espacio vectorial sobre una característica $p$ campo local como $\mathbb{F}_q((t))$ En este sentido, los entramados son (hasta alguna alteración dimensional finita) una suma de copias de $\mathbb{F}_q[t^{-1}]$ .

En el entorno de tales campos locales, o más generalmente, de los espacios vectoriales de Tate, la palabra retículo se utiliza también para una especie de objeto dual, a saber, un subgrupo compacto. Las dos nociones se distinguen a veces con un prefijo: $k[t^{-1}]$ es un $d$ -(con d de discreto) en $k((t))$ , mientras que $k[[t]]$ a $c$ -lattice (con c de compacto). $d$ -lattices y $c$ -lattices tienen intersección de dimensión finita, y su suma es de co-dimensión finita en el espacio total. Véase por ejemplo BBE .

En cualquier caso, si se establece $A = k[[t]]$ Así que $A_t = k((t))$ y $M$ es una dimensión finita $A_t$ -espacio vectorial, entonces una red en su sentido es lo mismo que un $c$ -en el sentido del espacio vectorial de Tate. Me imagino que estaban generalizando a partir de esta idea.

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