Usuario:Juan Marquez/archives-uno

Geometric and topological group theory

todos estos temas serán desarrollados a partir de

  • libro de Ross Geoghegan: Topological methods in group theory, GTM-243 (2008), Springer ISBN 978-0-387-74611-1 y el
  • panfleto de Peter Scott y Terry Wall titulado: Topological methods in group theory, London Math. Soc. Lecture Note Ser., 36, Cambridge Univ. Press (1979) 137-203. En dirección [1], en el apartado de sources for the Bass Serre theory puedes descargarlo
  • Word computations and free crossed resolutions en [2]

Producto libre

editar

En las matemáticas, particularmente en la teoría de grupos, el producto libre de grupos es la construción de un nuevo grupo a partir de una dada colección de ellos y que permite la inclusión como subgrupos a cada uno de los factores que le construyen.

Para ilustrar la construcción, más precisamente, utilicemos dos grupos G, H. Entonces su producto libre es el grupo   que consiste en un nuevo grupo cuyos elementos tienen la forma canónica

 

donde los   y los   es decir los elementos de G*H son palabras reducidas de letras alternadas que son elementos de los dos grupos G y H respectivamente.

Entonces uno puede pensar que el grupo G está incluido en G*H pues trivialmente vemos que cada elemento de G es una palabra reducida en G*H, y similarmente para H.

Ejemplos

editar

Un ejemplo básico es el grupo libre   de rango dos; éste, se puede interpretar como

 

Otro un poco más complejo es   que se interpreta como

 


Producto libre amalgamado

editar

Una manera similar pero más general de construir grupos a partir de antiguos es el producto libre amalgamado, que consiste empezar con dos grupos arbitrarios A, B y un tercer C que se encuentra encajado es ambos A y B, entonces uno toma el cociente   a partir del producto libre de A con B y haciendo módulo N(C) que es la clausura normal de C en ambos A, B.

En símbolos se tiene

 

Ejemplos de esta construcción aparecen en el teorema de Seifert-van Kampen donde se calcula es grupo fundamental de un espacio topológico en términos de los grupos fundamentales de algunos de sus subespacios.

Más detalles, si   y   son los encajes, y si   y   son sus presentaciones, entonces

 

Más abstracto

editar

Desde un punto de vista más abstracto el producto libre amalgamado es un ejemplo de la construcción denominada coproducto . El producto libre amalgamado aparece en el Teorema de Seifert-van Kampen de la topología algebraica cuando se calcula el grupo fundamental de dos subespacios de un espacio topológico cuya intersección es arco-conexa.


HNN extensión

editar

Una HNN-extensión es una contrucción de un nuevo grupo a partir de uno dado A y otro embedded C en A. Corresponde al producto libre amalgamado cuando B=A.

En símbolos corresponde a

 

Ejemplos de esta construcción corresponden a la extensión de grupos dada por una sucesión exacta  

La presentación de la extensión, vía el encaje   está dada por:

 

donde A es presentado  

Ejemplos

editar

Si elegimos   el morfismo obvio dos veces entonces la presentación

 

determina una HNN-extensión de los enteros, es decir vemos que   es  , una HNN-extensión grupo trivial sobre sí mismo.

Grafo de grupos

editar

En la teoría geométrica de grupos, un grafo de grupos es un objeto consistente en una colección de grupos indexados por un grafo, uno por cada vértice y por cada arista, además entre estos grupos hay morfismos inyectivos que cumplen ciertas condiciones.

Para cada grafo de grupos finito y conexo, hay un único grupo canónicamente asociado llamado su grupo fundamamental.

Un grafo de grupos admite una acción que conserva la orientación: el grafo de grupos puede ser recuperado desde le grafo cociente y los subgrupos estabilizadores.

Esta teoría es comúnmente referida como la teoría de Bass-Serre.

Definición

editar

Teoría de Bass-Serre

editar

La Teoría de Bass-Serre es una parte de la tema matemático de la teoría de grupos que trata del análisis de la estructura algebraica de las acciones de grupos vía automorfismos de árboles simpliciales.

La teoría relaciona las acciones de los grupos sobre árboles con la descomposición de grupos como aplicaciones iteradas de las operaciones de producto libres con amalgamción y HNN-extensión, vía la noción de el grupo fundamental de un grafo de grupos. La teoría de Bass-Serre puede ser considerada como la versión 1-dimensional de la teoría de orbidades.

Historia

editar

La teoría de Bass-Serre fué desarrollada por Jean-Pierre Serre en los 1970s y formalizada en Trees, la monografía fundamental de Serre (desarrollada en conjunto con Hyman Bass) en el tema.

La motivación original de Serre fué para entender la estructura de ciertos grupos algebraicos cyuas construcciones llamadas Bruhat-Tits buildings son árboles. Sin embargo, la teoría rápidamente se convirtió en una herramienta estándar de la teoría geométrica de grupos y de la topología geométrica, particularmente para el estudio de las [3-variedad]]es. Subsecuentes trabajos de Hyman Bass contribuyeron substanciosamente a la formalización y desarrollo de la herramienta básica de la teoría y actualmente el término Teoría de Bass-Serre es ámpliamente usado para describir el tema.

Matemáticamente, la teoría de Bass-Serre se construye sobre la explotación y generalización de las propiedades de dos viejas construcciones teórico grupales: producto libre amalgamado y HNN-extensión. Pero, no como el tradicional estudio algebraico de estas dos construcciones, la teoría de Bass-Serre usa el lenguage geométrico de los espacios cubrientes y el grupo fundamental. Los Grafos de grupos, que son los objetos básicos de la teoría pueden ser vistos como las versiones uno-dimensionales de la teoría de orbidades.

Aparte del libro de Serre (Trees), tratamientos elementales de esta teoría están disponibles los articulos de Bass (Covering theory for graphs of groups), el árticulo de Scott-Wall (Topological methods in group theory), y los libros de Hatcher, Baumslag, Dicks-Martin Dunwoody y Cohen.

Implementación básica

editar

Grafos en el sentido de Serre

editar

El formalismo de los grafos en esta teoría es ligeramente diferente con la teoría de grafos estándar. Aquí un grafo A consiste de un conjunto de vértices V, uno de aristas E, un mapeo que invierte  ,   tal que   y   para toda  , y mapeo de vértice inicial  . Así en A para cada arista e este viene equipado con su inverso formal  . El vértice   es llamado el origen o el vértice inicial de e y el vértice   es llamado el terminus de e y es denotado por t(e).

Ambos, lazos (aristas para las cuales  ) y vértices múltiples son permitidos.

Una orientación sobre A es una partición de E en la unión de dos subconjuntos disjuntos   y   tales que para cada vértice e exactamente una de las aristas del par   pertence a   y la otra pertenece a  .

Grafo de grupos

editar

Un grafo de grupos A consiste de la siguiente data:

  • un grafo conexo A
  • una asignación   de un grupo a cada vértice de A
  • otra asignación   de un grupo a cada arista del grafo
  • un morfismo de frontera   para cada arista de A que es inyectivo es decir un monomorfismo

Para cada   es mapeo   es denotado por  

Grupo fundamental de un grafo de grupos

editar

Hay dos definiciones equivalentes de la noción de grupo fundamental de un grafo de grupos:

  • la primera es una definición directa mediante una presentación de grupo directamente (como una aplicación itereda de los productos libres amalgamados y las HNN-extensiones);
  • y una segunda usando el lenguage de grupoides.

La primera es la más fácil de establecer:

Primero, elija un árbol generador (spanning tree) T de A y una orientación   de A. Entonces el grupo fundamental de A con respecto a T, denotado por  , es definido como el cociente del producto libre

 

donde F(E) es el grupo libre con base libre E, sujeto a las siguientes relaciones:

  •  , para cada e en E y cada   y es llamada la relación de Bass-Serre
  •   para cada  
  • e=1 para cada arista del árbol generador T

La descripción en términos de grupoides es...

Los grupos fundamentales de un grafo de grupos como un proceso iterativo

editar

El grupo   definido arriba admite una descripción algebraica en términos de productos libres amalgamados y HNN-extensiones.

Primero se construye un grupo B como cociente del producto libre

 

sujeto a las relaciones

  •   para cada e en   y cada g en  
  •   para cada e en  

Esta presentación puede, entonces, ser reescrita como

  donde e está en   y g en  

lo que muestra que B es un producto libre amalgamado iterado de los grupos-vértices  .

Entonces el grupo   tiene presentación

  donde e pertence a   y g a  

lo que nos indica que G es una HNN-extensión múltiple de B con los símbolos estables  

Descomposiciones

editar

Un isomorfismo entre un grupo G y el grupo fundamental de un grafo de grupos is llamado un descomposición (splitting) de G. Si las grupos-arista en la descomposición vienen de alguna clase de grupos (e.g. finito, cíclico, abeliano, etc), a la descomposición se le dice que descompone sobre dicha clase. Así una descomposición donde todos los grupo-arista son finitos se dice que descompone sobre grupos finitos.

Algebraicamente, una descomposición de G con grupos-arista triviales corresponderá a la descomposición por producto libre

 

deonde F(X) es un grupo libre con base libre   consistente en todos las aristas positivamente orientadas en el complemento del árbol-generador T en A.

Teorema de formas normales

editar

Cubiertas de árbol de Bass-Serre

editar

Teorema fundamental

editar

Ejemplos

editar

Hechos básicos y propiedades

editar

Acciones triviales y no trivilales

editar

Desarrolllos importantes de esta teoría

editar

Referencias

editar

Ver también

editar

Punta de un grupo o un espacio

editar
  • Ver ends en wiki-en para comparar.

Una construcción topológica que esta cobrando una importancia tremenda por su utilidad en la teoría topológica de los grupos es el concepto de punta o fín en una espacio topológico X dado. Uno debería pensar en este concepto como una manera de llegar al infinito dentro de X.

Para comprender el concepto comencemos con la noción de rayo (topología) en X tanto como la de rayos equivalentes:

  • Un rayo topológico en X es un mapeo inyectivo  .
  • Diremos que dos rayos   son equivalentes si existe una homotopía entre las restricciones  .

Las clases de equivalencia de tal relación recibe el nombre de conjunto de las puntas del espacio X , el cual vamos a simbolizar mediante  .

Es conveniente pensar en el concepto de punta de X como un componente de X en el infinito, entonces tener una punta es como pensar que el espacio es conexo en el infinito.


    • ref: Ross Geoghegan: Topological methods in group theory, GTM-243 (2008) página 295

otra caracterización

editar

Definimos la relación   entre elementos del conjunto potencia de un grupo

  significa   es un conjunto finito.

También

  significa que   and  


Tales relaciones son llamadas cuasi-inclusión y cuasi-igualdad respectivamente.


Un sunconjunto   es denominado cuasi-invariante si y solo si

para cada   sucede  


El conjunto   junto con la diferencia simétrica   es un  -espacio vectorial y que tiene los subespacios

  es cuasi-invariante  
  es finito  

entonces el número de puntas de G resulta ser igual a la dimensión del espacio cociente

 

Ejemplos

editar

Es fácil ver que   tiene dos puntas, pero un poquito menos que   tiene solo una punta (al igual que todo   para todo n mayor que dos).

Teorema de Stallings

editar

Un espacio X tiene infinitas puntas ssi el grupo fundamental de su cubriente es un producto libre amalgamado o una HNN extensión

    • ref: Ross Geoghegan: Topological methods in group theory, GTM-243 (2008) página 303

Teorema de Grushko

editar

En el álgebra abstracta, el teorema de Grushko

  • que en opinión de William S. Massey es el teorema más importante de los grupos libres y los productos libres de grupos
  • El enunciado es:
Sea   un epimorfismo, entonces existen H, K subgrupos de G tales que   y   y  

Teoría geométrica de grupos

editar

Teoría geométrica de grupos