33 votos

Qué es realmente el sistema local

Sé que un sistema local es una gavilla localmente constante. Pero ¿por qué un sistema local en el espacio topológico $X$ corresponden a $\tilde{X}\times_G V$ donde $G$ es el grupo fundamental de $X$ , $\tilde{X}$ es el espacio de cobertura universal de $X$ y $V$ es un $G$ -¿Módulo? ¿Cómo se recupera la gavilla localmente libre de $\tilde{X} \times_G V$ ?

33voto

YequalsX Puntos 320

El grupo $G$ actúa correctamente de forma discontinua sobre $\tilde{X}$ por lo que si $x$ es cualquier punto de $\tilde{X}$ admite una vecindad $U$ s.t. que $U g$ es disjunta de $U$ si $g \in G$ no es trivial. Por lo tanto, el mapa natural de $U$ a $\tilde{X}/G = X$ es una incrustación.

Por lo tanto, el mapa natural de $U \times V$ a $\tilde{X}\times_G V$ también es un incrustación, por lo que $\tilde{X}\times_G V$ es localmente constante (es decir, localmente un producto).

Observaciones más detalladas:

  • Debemos equipar $V$ con su topología discreta

  • El objeto $\tilde{X}\times_G V$ no es en sí misma una gavilla, sino más bien el espacio etale de una gavilla. Para obtener la gavilla real consideramos la proyección natural $\tilde{X}\times_G V \to \tilde{X}/G = X$ y forman la gavilla de secciones asociada. Sobre el conjunto abierto $U \hookrightarrow X,$ esto restringe a la gavilla de secciones a la proyección $U\times V \to U$ cuyas secciones son precisamente la gavilla constante sobre $U$ unido al espacio vectorial $V$ . (Aquí es donde vemos que es importante equipar $V$ con la topología discreta). Así, nuestro haz original de secciones es localmente constante, como se ha dicho.

1 votos

¿así surge todo el sistema local? ¿Es esta forma más natural que la forma original (la definición habitual de gavilla)?

1 votos

@abc: Sí, todos los sistemas locales surgen de esta manera, y es una forma muy natural de pensar en ellos. Muy a menudo se habla del sistema local correspondiente a un $G$ -módulo $V$ y esto es lo que quieren decir.

4 votos

¿Puedo preguntar cómo se define $\tilde{X}\times_G V $ ? La notación hace que parezca un pullback pero no veo ningún mapa natural $\tilde{X}\to G$ o $V\to G$ ? ¿Es sólo el producto módulo $(x,gv) = (xg,v)$ para $x\in\tilde{X},v\in V,g\in G$ ?

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