Puntos fijos de acciones y funciones en 2-complejos

En esta tesis buscamos comprender cómo los invariantes algebraicos de un espacio X dan información acerca de la existencia de puntos fijos de una función o acción de un grupo en X, especialmente cuando X es de dimensión 2. Probamos que el grupo fundamental de un complejo simplicial finito de dimensi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Sadofschi Costa, Iván
Otros Autores: Barmak, Jonathan Ariel
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2019
Materias:
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n6591_SadofschiCosta
Aporte de:
id tesis:tesis_n6591_SadofschiCosta
record_format dspace
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Inglés
orig_language_str_mv eng
topic 2-COMPLEJOS
PRESENTACIONES DE GRUPO
PUNTOS FIJOS
ACCIONES DE GRUPO
PROPIEDAD DEL PUNTO FIJO
2-COMPLEXES
GROUP PRESENTATIONS
FIXED POINTS
GROUP ACTIONS
FIXED POINT PROPERTY
spellingShingle 2-COMPLEJOS
PRESENTACIONES DE GRUPO
PUNTOS FIJOS
ACCIONES DE GRUPO
PROPIEDAD DEL PUNTO FIJO
2-COMPLEXES
GROUP PRESENTATIONS
FIXED POINTS
GROUP ACTIONS
FIXED POINT PROPERTY
Sadofschi Costa, Iván
Puntos fijos de acciones y funciones en 2-complejos
topic_facet 2-COMPLEJOS
PRESENTACIONES DE GRUPO
PUNTOS FIJOS
ACCIONES DE GRUPO
PROPIEDAD DEL PUNTO FIJO
2-COMPLEXES
GROUP PRESENTATIONS
FIXED POINTS
GROUP ACTIONS
FIXED POINT PROPERTY
description En esta tesis buscamos comprender cómo los invariantes algebraicos de un espacio X dan información acerca de la existencia de puntos fijos de una función o acción de un grupo en X, especialmente cuando X es de dimensión 2. Probamos que el grupo fundamental de un complejo simplicial finito de dimensión 2 con la propiedad del punto fijo y característica de Euler par no puede ser abeliano o un subgrupo finito de SO(3). Damos un ejemplo de un complejo simplicial finito de dimensión 2 con la propiedad del punto fijo y característica de Euler igual a 2. También probamos que la propiedad del punto fijo no es un invariante homotópico para complejos simpliciales finitos de dimensión 2. Estos resultados responden dos preguntas que formuló R.H. Bing en 1969. Un resultado de J.P. Serre dice que toda acción de un grupo finito en un árbol tiene un punto fijo. C. Casacuberta y W. Dicks conjeturaron que un grupo que actúa en un 2-complejo finito y contráctil tiene un punto fijo. La misma pregunta fue realizada independientemente por Aschbacher y Segev. Estudiamos la conjetura de Casacuberta-Dicks desde diferentes puntos de vista, partiendo de la clasificación dada por Oliver y Segev de los grupos finitos que actúan sin puntos fijos en un 2-complejo acíclico. Probamos que, módulo un caso particular de la conjetura de Kervaire–Laudenbach–Howie, si la conjetura de Casacuberta–Dicks resulta falsa, existe un contraejemplo de una forma particular. Utilizando un resultado de Brown que extiende la teoría de Bass-Serre a 2-complejos, traducimos la conjetura de Casacuberta–Dicks para A5 en una pregunta de teoría combinatoria de grupos, cercana al relation gap problem. Probamos que algunos casos del problema obtenido se siguen del trabajo de Klyachko en ecuaciones sobre grupos. A través de experimentos computacionales analizamos los posibles grupos fundamentales de los G-complejos acíclicos de dimensión 2 sin puntos fijos que son potenciales contraejemplos. También probamos que ciertos grupos superperfectos p no aparecen de esta forma. El complejo de curvas C(Sg) de una superficie orientada Sg de género g fue introducido por Harvey como un análogo de los Tits buildings para mapping class group Mod(Sg). Dado que hay una analogía entre Aut(Fn) y Mod(Sg), es natural buscar un análogo de C(Sg) en este contexto. Probamos que un posible análogo, el complejo simplicial PB(Fn) con símplices las bases parciales no vacías del grupo libre de rango n es Cohen-Macaulay y por lo tanto tiene el tipo homotópico de un wedge de (n-1)-esferas.
author2 Barmak, Jonathan Ariel
author_facet Barmak, Jonathan Ariel
Sadofschi Costa, Iván
format Tesis doctoral
Tesis doctoral
publishedVersion
author Sadofschi Costa, Iván
author_sort Sadofschi Costa, Iván
title Puntos fijos de acciones y funciones en 2-complejos
title_short Puntos fijos de acciones y funciones en 2-complejos
title_full Puntos fijos de acciones y funciones en 2-complejos
title_fullStr Puntos fijos de acciones y funciones en 2-complejos
title_full_unstemmed Puntos fijos de acciones y funciones en 2-complejos
title_sort puntos fijos de acciones y funciones en 2-complejos
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2019
url https://hdl.handle.net/20.500.12110/tesis_n6591_SadofschiCosta
work_keys_str_mv AT sadofschicostaivan puntosfijosdeaccionesyfuncionesen2complejos
AT sadofschicostaivan fixedpointsofmapsandactionson2complexes
_version_ 1782023131762786304
spelling tesis:tesis_n6591_SadofschiCosta2023-10-02T20:20:06Z Puntos fijos de acciones y funciones en 2-complejos Fixed points of maps and actions on 2-complexes Sadofschi Costa, Iván Barmak, Jonathan Ariel 2-COMPLEJOS PRESENTACIONES DE GRUPO PUNTOS FIJOS ACCIONES DE GRUPO PROPIEDAD DEL PUNTO FIJO 2-COMPLEXES GROUP PRESENTATIONS FIXED POINTS GROUP ACTIONS FIXED POINT PROPERTY En esta tesis buscamos comprender cómo los invariantes algebraicos de un espacio X dan información acerca de la existencia de puntos fijos de una función o acción de un grupo en X, especialmente cuando X es de dimensión 2. Probamos que el grupo fundamental de un complejo simplicial finito de dimensión 2 con la propiedad del punto fijo y característica de Euler par no puede ser abeliano o un subgrupo finito de SO(3). Damos un ejemplo de un complejo simplicial finito de dimensión 2 con la propiedad del punto fijo y característica de Euler igual a 2. También probamos que la propiedad del punto fijo no es un invariante homotópico para complejos simpliciales finitos de dimensión 2. Estos resultados responden dos preguntas que formuló R.H. Bing en 1969. Un resultado de J.P. Serre dice que toda acción de un grupo finito en un árbol tiene un punto fijo. C. Casacuberta y W. Dicks conjeturaron que un grupo que actúa en un 2-complejo finito y contráctil tiene un punto fijo. La misma pregunta fue realizada independientemente por Aschbacher y Segev. Estudiamos la conjetura de Casacuberta-Dicks desde diferentes puntos de vista, partiendo de la clasificación dada por Oliver y Segev de los grupos finitos que actúan sin puntos fijos en un 2-complejo acíclico. Probamos que, módulo un caso particular de la conjetura de Kervaire–Laudenbach–Howie, si la conjetura de Casacuberta–Dicks resulta falsa, existe un contraejemplo de una forma particular. Utilizando un resultado de Brown que extiende la teoría de Bass-Serre a 2-complejos, traducimos la conjetura de Casacuberta–Dicks para A5 en una pregunta de teoría combinatoria de grupos, cercana al relation gap problem. Probamos que algunos casos del problema obtenido se siguen del trabajo de Klyachko en ecuaciones sobre grupos. A través de experimentos computacionales analizamos los posibles grupos fundamentales de los G-complejos acíclicos de dimensión 2 sin puntos fijos que son potenciales contraejemplos. También probamos que ciertos grupos superperfectos p no aparecen de esta forma. El complejo de curvas C(Sg) de una superficie orientada Sg de género g fue introducido por Harvey como un análogo de los Tits buildings para mapping class group Mod(Sg). Dado que hay una analogía entre Aut(Fn) y Mod(Sg), es natural buscar un análogo de C(Sg) en este contexto. Probamos que un posible análogo, el complejo simplicial PB(Fn) con símplices las bases parciales no vacías del grupo libre de rango n es Cohen-Macaulay y por lo tanto tiene el tipo homotópico de un wedge de (n-1)-esferas. In this thesis we seek to understand how the algebraic invariants of a space X give information on the existence of fixed points of a mapping or group action on X, specially when X is 2-dimensional. We prove the fundamental group of a finite 2-dimensional simplicial complex with the fixed point property and even Euler characteristic cannot be abelian or a finite subgroup of SO(3). We give an example of a finite 2-dimensional simplicial complex with the fixed point property and Euler characteristic 2. We also prove that the fixed point property is not a homotopy invariant for 2-dimensional finite simplicial complexes. These results answer two questions raised by R.H. Bing in 1969. A result of J.P. Serre states that a finite group acting on a tree has a fixed point. C. Casacuberta and W. Dicks conjectured that a group acting on a finite contractible 2-complex has a fixed point. The same question was raised independently by Aschbacher and Segev. We study the Casacuberta-Dicks conjecture from different points of view, parting from Oliver and Segev’s classification of the finite groups which act fixed point freely on a 2-dimensional acyclic complex. We prove that, modulo a special case of the Kervaire–Laudenbach–Howie conjecture, if the Casacuberta–Dicks conjecture fails, there is a counterexample of a particular form. Using a result of Brown which extends Bass–Serre theory to 2-complexes, we translate the Casacuberta–Dicks conjecture for the group A5 into a question in combinatorial group theory, closely related to the relation gap problem. We prove that some cases of the resulting problem follow from the work of Klyachko on equations over groups. We use computer experimentation to analyze the possible fundamental groups of the 2-dimensional fixed point free acyclic G-complexes which are potential counterexamples. We also prove that certain superperfect groups p do not arise as fundamental groups in this way. The curve complex C(Sg) of an oriented surface Sg of genus g was introduced by Harvey as an analogue of Tits buildings for the mapping class group Mod(Sg). Since there is an analogy between Aut(Fn) and Mod(Sg), it is natural to seek for an analogue of C(Sg) in this context. We prove that a possible analogue, the simplicial complex PB(Fn) with simplices the nonempty partial bases of the free group of rank n is Cohen-Macaulay and thus has the homotopy type of a wedge of (n-1)-spheres. Fil: Sadofschi Costa, Iván. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2019-03-12 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf eng info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n6591_SadofschiCosta