Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. Description based on print version record. Includes bibliographical references.

by Robert M. Freund. / "April 1984." / Bibliography: leaf i.

We say that a covering space of the surface S over X has the Birman--Hilden property if the subgroup of the mapping class group of X consisting of mapping classes that have representatives that lift to S embeds in the mapping class group of S modulo the group of deck transformations. We identify one necessary condition and one sufficient condition for when a covering space has this property. We give new explicit examples of irregular branched covering spaces that do not satisfy the necessary condition as well as explicit covering spaces that satisfy the sufficient condition. Our criteria are conditions on simple closed curves, and our proofs use the combinatorial topology of curves on surfaces.

Teorias de campo discretas euclideanas invariantes por transformações que preservam a topologia e o volume dos espaços são estudadas em três dimensões. Teorias com tal simetria são chamadas de quasetopológicas. Os modelos são definidos em diagramas de Heegard, interpretados como uma generalização das triangulações e redes cúbicas. Quando um diagrama descreve uma triangulação, o seu gênero g corresponde ao número de tetraedros. Uma função de partição Z () é atribuída a cada diagrama . Nas teorias quase topológicas, Z() depende apenas de g e da topologia de . Ou seja, as operações de simetria são homeomorfismos que preservam o gênero. Nas triangulações, tem-se invariância por homeomorfismos que preservam o número de tetraedros. Provou-se que tais operações sempre podem ser escritas como composições de três operações elementares, batizadas de moves quase topológicos. Impondo-se invariância de Z pela ação dos moves, chegou-se a um sistema de equações que caracteriza as teorias quasetopológicas. Mostrou-se que a cada álgebra de Hopf corresponde uma solução simples do sistema. Uma nova generalização das álgebras de Hopf foi proposta como ansatz para uma solução mais geral, mas as condições de simetria a reduziram a uma álgebra de Hopf. Nesta generalização, a relação de biálgebra foi substituída por uma relação modificada mais fraca. Identidades tradicionais das álgebras de Hopf deixam de ser verificadas, mas uma série de relações semelhantes foi obtida. A generalização estudada sugere uma família de outras generalizações, com modificações diversas da relação de biálgebra, as quais podem ser usadas na busca de novos exemplos de teorias quasetopológicas. / Euclidean discrete field theories invariant under topology and volume preserving transformations are studied in three-dimensions. Theories with such symmetry are called quasitopological. The models are defined in Heegard diagrams, which are interpreted as a generalization of triangulations and cubic lattices. When a diagram describes a triangulation, its genus g corresponds to the number of tetrahedra. A partition function Z() is assigned to each diagram . In quasitopologica theories, Z() depends only on 9 and on the topology of V. In other words, the symmetry operations are genus preserving homeomorphisms. In the case of triangulations, there is invariance under homeomorphisms which preserve the number of tetrahedra. It was proved that such operatíons can always be written as compositions of three elementary operations, denoted quasitopological moves. Imposing invariance of Z under the action of the moves, a system of equations was found which characterizes quasitopological theories. It was shown that to each Hopf algebra corresponds a simple solution of the equations. A new generalization of Hopf algebras was proposed as an ansatz for a more general solution, but the symmetry conditions reduced it to a Hopf algebra. In this generalization, the bialgebra relation was replaced by an weaker modified one. Traditional identities of Hopf algebras are not verified, but a series of similar relations was obtained. The generalization considered suggests a fami1y of other generalizations, with varied modifications of the bialgebra relatiol1, which can be used in the search for new examples of quasitopological theories.

Teorias de campo discretas euclideanas invariantes por transformações que preservam a topologia e o volume dos espaços são estudadas em três dimensões. Teorias com tal simetria são chamadas de quasetopológicas. Os modelos são definidos em diagramas de Heegard, interpretados como uma generalização das triangulações e redes cúbicas. Quando um diagrama descreve uma triangulação, o seu gênero g corresponde ao número de tetraedros. Uma função de partição Z () é atribuída a cada diagrama . Nas teorias quase topológicas, Z() depende apenas de g e da topologia de . Ou seja, as operações de simetria são homeomorfismos que preservam o gênero. Nas triangulações, tem-se invariância por homeomorfismos que preservam o número de tetraedros. Provou-se que tais operações sempre podem ser escritas como composições de três operações elementares, batizadas de moves quase topológicos. Impondo-se invariância de Z pela ação dos moves, chegou-se a um sistema de equações que caracteriza as teorias quasetopológicas. Mostrou-se que a cada álgebra de Hopf corresponde uma solução simples do sistema. Uma nova generalização das álgebras de Hopf foi proposta como ansatz para uma solução mais geral, mas as condições de simetria a reduziram a uma álgebra de Hopf. Nesta generalização, a relação de biálgebra foi substituída por uma relação modificada mais fraca. Identidades tradicionais das álgebras de Hopf deixam de ser verificadas, mas uma série de relações semelhantes foi obtida. A generalização estudada sugere uma família de outras generalizações, com modificações diversas da relação de biálgebra, as quais podem ser usadas na busca de novos exemplos de teorias quasetopológicas. / Euclidean discrete field theories invariant under topology and volume preserving transformations are studied in three-dimensions. Theories with such symmetry are called quasitopological. The models are defined in Heegard diagrams, which are interpreted as a generalization of triangulations and cubic lattices. When a diagram describes a triangulation, its genus g corresponds to the number of tetrahedra. A partition function Z() is assigned to each diagram . In quasitopologica theories, Z() depends only on 9 and on the topology of V. In other words, the symmetry operations are genus preserving homeomorphisms. In the case of triangulations, there is invariance under homeomorphisms which preserve the number of tetrahedra. It was proved that such operatíons can always be written as compositions of three elementary operations, denoted quasitopological moves. Imposing invariance of Z under the action of the moves, a system of equations was found which characterizes quasitopological theories. It was shown that to each Hopf algebra corresponds a simple solution of the equations. A new generalization of Hopf algebras was proposed as an ansatz for a more general solution, but the symmetry conditions reduced it to a Hopf algebra. In this generalization, the bialgebra relation was replaced by an weaker modified one. Traditional identities of Hopf algebras are not verified, but a series of similar relations was obtained. The generalization considered suggests a fami1y of other generalizations, with varied modifications of the bialgebra relatiol1, which can be used in the search for new examples of quasitopological theories.

Orientador: Dessislava H. Kochloukova / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T14:04:12Z (GMT). No. of bitstreams: 1 Rabelo_Lonardo_M.pdf: 1106165 bytes, checksum: 2bbac38aebd1bf1d09d9f3bc26c12171 (MD5) Previous issue date: 2008 / Resumo: Neste projeto de mestrado, estudamos um dos grupos de Richard Thompson e apresentamos os cálculos de seu invariante homotópico Sigma, em qualquer dimensão m, onde m é um inteiro positivo. O grupo de Richard Thompson, denotado por F, foi por ele definido em 1965 e ficou conhecido, mais tarde, por suas propriedades homotópicas e homológicas interessantes. Por exemplo, F é tipo FP8 ([04]). Além disso, F pode ser descrito de maneiras distintas, o que o torna ainda mais interessante. A teoria de invariantes (homotópicos e homológicos) Sigma foi desenvolvida nas últimas décadas do século vinte por R. Bieri, J. Groves, R. Geoghegan, H. Meinert, R. Strebel e outros e está relacionada com propriedades FPm de grupos. O Invariante _1(F) foi obtido em [03]. Recentemente, o caso geral do invariante _m(F) e _m(F, Z) (homotópico e homológico, respectivamente), m = 2, foi descrito por R. Bieri, R. Geoghegan e D. Kochloukova. Nesta dissertação, apresentamos a versão homotópica deste resultado / Abstract: In this project we study one of the Richard Thompson's Group F e its Homotopical m-dimensional Sigma Invariant. The Richard Thompson Group F is very known by its interesting homological and homotopical properties, for example, it is of type FP8 ([04]). Also, F has the property of being defined in several distinct ways. The Sigma Invariant Theory was developed in last decades of twentieth century by R. Bieri, J. Groves, R. Geoghegan, H. Meinert, R. Strebel and others and is related to FPm properties of groups. The _1(F) was obtained in [03]. Recently the general case of _m(F) and _m(F, Z) (homotopical and homological versions, respectively), m = 2, were described by R. Bieri, R. Geoghegan and D. Kochloukova. Here, we present the homotopical version of this result / Mestrado / Algebra / Mestre em Matemática

No description available.

Le domaine des protocoles tolérants aux pannes étudie quelles tâches concurrentes sont résolubles dans différents modèles de calcul avec pannes. Des outils mathématiques basés sur la topologie combinatoire ont été développés depuis les années 1990 pour aborder ces questions. Dans ce cadre, la tâche que l’on veut résoudre, et le protocole auquel on fait appel, sont modélisés par des complexes simpliciaux chromatiques. On définit qu’un protocole résout une tâche lorsqu’il existe une certaine application simpliciale entre ces complexes.Dans cette thèse, on étudie ces méthodes géométriques du point de vue de la sémantique. Le premier objectif est de fonder cette définition abstraite de résolution d’une tâche sur une autre plus concrète, basée sur des entrelacements de traces d’exécution. On examine diverses notions de spécifications pour les objets concurrents, afin de définir un cadre général pour la résolution de tâches par des objets partagés. On montre ensuite comment extraire de ce cadre la définition topologique de résolubilité de tâches.Dans la deuxième partie de la thèse, on prouve que les complexes simpliciaux chromatiques peuvent être utilisés pour évaluer des formules de logique épistémique. Cela permet d’interpréter les preuves topologiques d’impossibilité en fonction de la quantité de connaissances à acquérir pour résoudre une tâche.Enfin, on présente quelques liens préliminaires avec la sémantique dirigée pour les programmes concurrents. On montre comment la subdivision chromatique d’un simplexe peut être retrouvée en considérant des notions combinatoires de chemins dirigés. / The field of fault-tolerant protocols studies which concurrent tasks are solvable in various computational models where processes may crash. To answer these questions, powerful mathematical tools based on combinatorial topology have been developed since the 1990’s. In this approach, the task that we want to solve, and the protocol that we use to solve it, are both modeled using chromatic simplicial complexes. By definition, a protocol solves a task when there exists a particular simplicial map between those complexes.In this thesis we study these geometric methods from the point of view of semantics. Our first goal is to ground this abstract definition of task solvability on a more concrete one, based on interleavings of execution traces. We investigate various notions of specification for concurrent objects, in order to define a general setting for solving concurrent tasks using shared objects. We then show how the topological definition of task solvability can be derived from it.In the second part of the thesis, we show that chromatic simplicial complexes can actually be used to interpret epistemic logic formulas. This allows us to understand the topological proofs of task unsolvability in terms of the amount of knowledge that the processes should acquire in order to solve a task.Finally, we present a few preliminary links with the directed space semantics for concurrent programs. We show how chromatic subdivisions of a simplex can be recovered by considering combinatorial notions of directed paths.

Ordem topológica descreve fases da matéria que não são caracterizadas apenas pelo esquema de quebra de simetria de Landau. Em 2-dimensões ordem topológica é caracterizada, entre outras propriedades, pela existência de uma degenerescência do estado fundamental que é robusta sobre perturbações locais arbitrarias. Com o proposito de entender o que caracteriza e classifica ordem topológica 3-dimensional o presente trabalho apresenta um modelo quântico exatamente solúvel em 3-dimensões que generaliza os modelos em 2-dimensões baseados em teorias de gauge. No modelo proposto o grupo de gauge é substituído por um 2-grupo. A Hamiltonia, que é dada por uma soma de operadores locais, é livre de frustrações. Provamos que a degenerescência do estado fundamental nesse modelo é dado pelo invariante de Yetter da variedade 4-dimensional Sigma × S¹, onde Sigma é a variedade 3-dimensional onde o modelo está definido. / Topological order describes phases of matter that cannot be described only by the symmetry breaking theory of Landau. In 2-dimensions topological order is characterized, among other properties, by the presence of a ground state degeneracy that is robust to arbitrary local perturbations. With the purpose of understanding what characterizes and classify 3-dimensional topological order this works presents an exactly soluble quantum model in 3-dimensions that generalize 2-dimensional models constructed using gauge theories. In the model we propose the gauge group is replaced by a 2-group. The Hamiltonian, that is given by a sum of local commuting operators, is frustration free. We prove that the ground state degeneracy of this model is given by the Yetters invariant of the 4-dimensional manifold Sigma × S¹, where Sigma is the 3-dimensional manifold the model is defined.

Ordem topológica descreve fases da matéria que não são caracterizadas apenas pelo esquema de quebra de simetria de Landau. Em 2-dimensões ordem topológica é caracterizada, entre outras propriedades, pela existência de uma degenerescência do estado fundamental que é robusta sobre perturbações locais arbitrarias. Com o proposito de entender o que caracteriza e classifica ordem topológica 3-dimensional o presente trabalho apresenta um modelo quântico exatamente solúvel em 3-dimensões que generaliza os modelos em 2-dimensões baseados em teorias de gauge. No modelo proposto o grupo de gauge é substituído por um 2-grupo. A Hamiltonia, que é dada por uma soma de operadores locais, é livre de frustrações. Provamos que a degenerescência do estado fundamental nesse modelo é dado pelo invariante de Yetter da variedade 4-dimensional Sigma × S¹, onde Sigma é a variedade 3-dimensional onde o modelo está definido. / Topological order describes phases of matter that cannot be described only by the symmetry breaking theory of Landau. In 2-dimensions topological order is characterized, among other properties, by the presence of a ground state degeneracy that is robust to arbitrary local perturbations. With the purpose of understanding what characterizes and classify 3-dimensional topological order this works presents an exactly soluble quantum model in 3-dimensions that generalize 2-dimensional models constructed using gauge theories. In the model we propose the gauge group is replaced by a 2-group. The Hamiltonian, that is given by a sum of local commuting operators, is frustration free. We prove that the ground state degeneracy of this model is given by the Yetters invariant of the 4-dimensional manifold Sigma × S¹, where Sigma is the 3-dimensional manifold the model is defined.