Teoría de Bass-Serre

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas.
Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso referencias|Teoría de Bass-Serre}} ~~~~

Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo.
Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 21 de octubre de 2011.
También puedes ayudar wikificando otros artículos o cambiando este cartel por uno más específico.

En la teoría geométrica de grupos, la Teoría de Bass-Serre es una parte del tema matemático de la teoría de grupos y la topología combinatoria que trata del análisis de la estructura algebraica de las acciones de grupos, mediante automorfismos, sobre los árboles simpliciales.

Esta 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 amalgamación y la de HNN-extensión, empleando principalmente el concepto de 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 y aporta un método muy importante cuando se estudia a los grupos infinitos discretos.

Historia

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

La motivación original de Serre fue para entender la estructura de ciertos grupos algebraicos cuyas 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 esta herramienta básica, y actualmente el término Teoría de Bass-Serre es ampliamente 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), los tratamientos elementales de esta teoría están disponibles en los artículos de Bass (Covering theory for graphs of groups), el artículo de Scott-Wall (Topological methods in group theory), y los libros de Hatcher, Baumslag, Dicks-Martin Dunwoody y Cohen.

Implementación básica

Grafos en el sentido de Serre

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 $\scriptstyle E\to E$ , $\scriptstyle e\mapsto\bar{e}$ tal que $\scriptstyle e\neq \bar{e}$ y $\scriptstyle \bar{\bar{e}}=e$ para toda $\scriptstyle e\in E$ , y el mapeo de vértice inicial $\scriptstyle o:E\to V\,$ . Así, en A, para cada arista e este viene equipado con su inverso formal $\scriptstyle \bar{e}$ . El vértice $o (e)$ es llamado el origen o el vértice inicial de e y el vértice $o(\bar{e})$ es llamado el vértice terminal de e y es denotado por t(e).

Ambos, los lazos (aristas para las cuales $o (e) = t (e)$ ) 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 $E +$ y $E -$ tales que para cada vértice e exactamente una de las aristas del par $e,\bar{e}$ pertence a $E +$ y la otra pertenece a $E -$ .

Grafo de grupos

Un grafo de grupos A consiste de la siguiente data:

un grafo conexo A
una asignación $\scriptstyle v\mapsto A_v$ de un grupo a cada vértice de A
otra asignación $\scriptstyle e\mapsto A_e$ de un grupo a cada arista del grafo
un morfismo de frontera $\scriptstyle \alpha_e:A_e\to A_{o(e)}\,$ para cada arista de A que es inyectivo, es decir un monomorfismo.

Para cada $\scriptstyle e\in E$ el mapeo $\scriptstyle \alpha_{\bar{e}}:A_e\to A_{t(e)}$ es denotado por $\scriptstyle \omega_e\,$

Grupo fundamental de un grafo de grupos

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

la primera es una definición algebraica mediante una presentación de grupo, directamente como una aplicación iterada de los productos libres amalgamados y las HNN-extensiones;
la 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 $\scriptstyle E=E^+\sqcup E^-$ de A. Entonces el grupo fundamental de A con respecto a T, denotado por $\scriptstyle \pi_1(\mathbf{A},T)$ , es definido como el cociente del producto libre de grupos

$\scriptstyle *_{v\in V}A_v*F(E)$

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

$\scriptstyle\bar{e}\alpha_e(g)e=\omega_e(g)$ , para cada e en E y cada $\scriptstyle g\in A_v$ y es llamada la relación de Bass-Serre
$\scriptstyle\bar{e}e=1$ para cada $\scriptstyle e\in E$
e=1 para cada arista del árbol generador T.

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

El grupo $\scriptstyle G=\pi_1(\mathbf{A},T)$ 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

$\scriptstyle(*_{v\in V}A_v)*F(E^+T)$

sujeto a las relaciones

$\scriptstyle e^{-1}a_e(g)e=\omega_e(g)$ para cada e en $\scriptstyle E^+T$ y cada g en $A e$
$\scriptstyle e=1$ para cada e en $\scriptstyle E^+T$

Esta presentación puede, entonces, ser reescrita como

$\scriptstyle B=*_{v\in V}A_v/{\rm ncl}\{\alpha_e(g)=\omega_e(g)\}$ donde e está en $\scriptstyle E^+T$ y g en $\scriptstyle G_e$ lo que muestra que B es un producto libre amalgamado iterado de los grupos-vértices $\scriptstyle A_v$ .

Entonces el grupo $\scriptstyle G=\pi_1(\mathbf{A},T)$ tiene presentación

$\scriptstyle \langle B, E^+(A-T)|e^{-1}\alpha_e(g)e=\omega(g)\rangle$ donde e pertence a $\scriptstyle E^+(A-T)$ y g a $\scriptstyle G_e$

lo que nos indica que G es una HNN-extensión múltiple de B con los símbolos estables $\scriptstyle\{e|e\in E^+(A-T)\}$ .

Descomposiciones

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

$\scriptstyle(*_{v\in V}A_v)*F(X)$

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

Categorías:

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

Jean-Pierre Serre — Jean Pierre Serre. Jean Pierre Serre (nacido el 15 de septiembre de 1926) es un matemático francés. Por sus contribuciones a la geometría algebraica, la teoría de números y la topología ha sido considerado uno de los matemáticos más prominentes… … Wikipedia Español
Grafo de grupos — En teoría geométrica de grupos, un grafo de grupos es un objeto que consiste en una colección de grupos indexados por los vértices y arista de un grafo, junto con una familia de monomorfismos de los grupos de aristas en los grupos de vértices.… … Wikipedia Español
Producto libre de grupos — Saltar a navegación, búsqueda En las matemáticas, particularmente en la teoría de grupos, el producto libre de grupos es la construcción de un nuevo grupo a partir de una dada colección de ellos y que permite la inclusión como subgrupos a cada… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Teoría de Bass-Serre

Contenido

Historia