Using algebra in geometry Pavel Paták Department: Department of Algebra Supervisor: Mgr. Pavel Růžička, Ph.D., Department of Algebra 1 Abstract In this thesis, we develop a technique that combines algebra, algebraic topology and combinatorial arguments and provides non-embeddability results. The novelty of our approach is to examine non- embeddability arguments from a homological point of view. We illustrate its strength by proving two interesting theorems. The first one states that k-dimensional skeleton of b 2k+2 k + k + 3 -dimensional simplex does not embed into any 2k-dimensional manifold M with Betti number βk(M; Z2) ≤ b. It is the first finite upper bound for Kühnel's conjecture of non-embeddability of simplices into manifolds. The second one is a very general topological Helly type theorem for sets in Rd : There exists a function h(b, d) such that the following holds. If F is a finite family of sets in Rd such that ˜βi ( G; Z2) ≤ b for any G F and every 0 ≤ i ≤ d/2 − 1, then F has Helly number at most h(b, d). If we are only interested whether the Helly numbers are bounded or not, the theorem subsumes a broad class of Helly types theorems for sets in Rd . Keywords: Homological Non-embeddability, Helly Type Theorem, Kühnel's conjecture of non-embeddability of ske- leta of simplices into manifolds

We introduce the formalism of supersymmetric quantum mechanics, including super-symmetry charges,Z2-graded Hilbert spaces, the chirality operator and the Wittenindex. We show that there is a one to one correspondence of fermions and bosons forenergies different than zero, which implies that the Witten index measures the dif-ference of fermions and bosons at the ground state. We argue that the Witten indexis the index of an elliptic operator. Quantization of the supersymmetric non-linearsigma model shows that the Witten index equals the Euler characteristic of the un-derlying Riemannian manifold over which the theory is defined. Finally, the pathintegral representation of the Witten index is applied to derive the Gauss-Bonnettheorem. Apart from this we introduce elementary mathematical background in thesubjects of topological invariance, Riemannian manifolds and index theory / Vi introducucerar formalismen f ̈or supersymmetrisk kvantmekanik, d ̈aribland super-symmetryladdningar,Z2-graderade Hilbertrum, kiralitetsoperatorn och Wittenin-dexet. Vi visar att det r ̊ader en till en-korrespondens mellan fermioner och bosonervid energiniv ̊aer skillda fr ̊an noll, vilket medf ̈or att Wittenindexet m ̈ater skillnadeni antal fermioner och bosoner vid nolltillst ̊andet. Vi argumenterar f ̈or att Wittenin-dexet ̈ar indexet p ̊a en elliptisk operator. Kvantisering av den supersymmetriskaicke-linj ̈ara sigmamodellen visar att Wittenindexet ̈ar Eulerkarakteristiken f ̈or denunderliggande Riemannska m ̊angfald ̈over vilken teorin ̈ar definierad. Slutligenapplicerar vi v ̈agintegralrepresentationen av Wittenindexet f ̈or att h ̈arleda Gauss-Bonnets sats. Ut ̈over detta introduceras ocks ̊a grundl ̈aggande matematisk bakrundi ämnena topologisk invarians, Riemmanska m ̊angfalder och indexteori.

This thesis is divided into four chapters. In the first one, all the pre-requisite theory of semigroups and groupoids is introduced, as well as a few new results - such as a short study of ∨-ideals and quotients in distributive semigroups and a non-commutative Loomis-Sikorski Theorem. In the second chapter, we motivate and describe the sofic property for probability measure-preserving groupoids and prove several permanence properties for the class of sofic groupoids. This provides a common ground for similar results in the particular cases of groups and equivalence relations. In particular, we prove that soficity is preserved under finite index extensions of groupoids. We also prove that soficity can be determined in terms of the full group alone, answering a question by Conley, Kechris and Tucker-Drob. In the third chapter we turn to the classical problem of reconstructing a topological space from a suitable structure on the space of continuous functions. We prove that a locally compact Hausdorff space can be recovered from classes of functions with values on a Hausdorff space together with an appropriate notion of disjointness, as long as some natural regularity hypotheses are satisfied. This allows us to recover (and even generalize) classical theorem by Kaplansky, Milgram, Banach-Stone, among others, as well as recent results of the similar nature, and obtain new consequences as well. Furthermore, we extend the techniques used here to obtain structural theorems related to topological groupoids. In the fourth and final chapter, we study dynamical aspects of partial actions of inverse semigroups, and in particular how to construct groupoids of germs and (partial) crossed products and how do they relate to each other. This chapter is based on joint work with Viviane Beuter.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-26T14:11:07Z No. of bitstreams: 1 BRUNO FONTES DE SOUSA - DISSERTAÇÃO PPGMAT 2011..pdf: 535617 bytes, checksum: 46dc8ee9ec90b36db973cafcc1d3a33e (MD5) / Made available in DSpace on 2018-07-26T14:11:07Z (GMT). No. of bitstreams: 1 BRUNO FONTES DE SOUSA - DISSERTAÇÃO PPGMAT 2011..pdf: 535617 bytes, checksum: 46dc8ee9ec90b36db973cafcc1d3a33e (MD5) Previous issue date: 2011-07-21 / Capes / Neste trabalho estudamos hipersuperfícies tipo-espaço completas com curvatura média constante em uma região aberta do espaço de Sitter, chamada Steady State Space. Primeiro estabelecemos fórmulas adequadas para o Laplaciano de uma função altura e de uma função suporte naturalmente relacionadas com estas hipersuperfícies. Em seguida, considerando hipóteses apropriadas sobre a curvatura média e o crescimento da função altura, obtemos condições necessárias para a existência de tais hipersuperfícies. No caso bidimensional, estabelecemos e mostramos resultados tipoBernstein. Além disso, mostramos que se a hipersuperfície está entre dois slices então a sua curvatura média é igual a um. Obtemos também outras consequências para hipersuperfícies que estão abaixo de um slice. Por fim, estendemos um de nossos resultados para um certo espaço Robertson-Walker generalizado. / In this work we study complete space-like hypersurfaces with constant mean curvature in the open region of de Sitter space, called the Steady State Space. First established suitable formulas for the Laplacian of a height function and of a suport function related to these hypersurfaces. Then, considering hypotheses appropriate on the mean curvature and growth of height functions we obtain necessary conditions for the existence of such hypersurfaces. In two-dimensional case, we set and show results-Bernstein type. Furthermore, we show that if the hypersurface is between two slices then its mean curvature is equal to one. We also obtain other consequences for hypersurfaces are below a slice. Finally, we extend one of our results to a certain space generalized Robertson-Walker.

Made available in DSpace on 2015-05-15T11:46:23Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 418757 bytes, checksum: 97ca82a023bab37c97750bb5718cddb3 (MD5) Previous issue date: 2010-02-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study a recent unified version of Pietsch Domination Theorem, due to Botelho, Pellegrino and Rueda ([8]) that unifies a number of known Pietsch-type domination theorems for classes of mappings that generalize the ideal of absolutely p- summing linear operators. A final result shows that Pietsch-type domination theorems are totally free from algebraic conditions, such as linearity, multilinearity, etc. / Neste trabalho, dissertamos sobre uma recente versão unificada do Teorema da Dominação de Pietsch, devida a Botelho, Pellegrino e Rueda ([8]), que unifica vários teoremas de dominação do tipo Pietsch para certas classes de funções que generalizam o ideal dos operadores lineares absolutamente p-somantes. Um resultado final mostra que tais teoremas de dominação são totalmente livres de condições algébricas, tais como linearidade, multilinearidade, etc.

Les sous-décalages sont des ensembles de coloriages d'un groupe définis en excluant certains motifs, et munis d'une action de décalage. Ces objets apparaissent naturellement comme discrétisations de systèmes dynamiques : à partir d'une partition de l'espace, on associe à chaque point de ce-dernier la suite des partitions visitées sous l'action du système.Plusieurs résultats récents ont mis en évidence la riche interaction entre la dynamique des sous-décalages et leur propriétés algorithmiques. Un exemple remarquable est la classification des entropies des sous-décalages multidimensionnels de type fini comme l'ensemble des nombres récursivement énumérables à droite. Cette thèse s'intéresse aux sous-décalages avec une approche double : d'un côté on s'intéresse à leurs propriétés dynamiques et de l'autre on les étudie comme des modèles de calcul.Cette thèse contient plusieurs résultats : une condition combinatoire suffisante prouvant qu'un sous-décalage dans un groupe dénombrable est non-vide, un théorème de simulation qui réalise une action effective d'un groupe de type fini comme un facteur d'une sous-action d'un sous-décalage de type fini, une caractérisation de l'effectivité à l'aide de machines de Turing généralisées et l'indécidabilité du problème de torsion pour deux groupes, qui sont invariants de systèmes dynamiques.Comme corollaires de nos résultats, nous obtenons d'abord une preuve courte de l'existence de sous-décalages fortement apériodiques sur tout groupe dénombrable. Puis, dans le cas d'un produit semi-direct de la grille bidimensionnelle avec un groupe de type fini avec problème du mot décidable, nous montrons que le sous-décalage obtenu est de type fini. / Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and mapping each element into the sequence of partitions visited by its orbit.Severa! breakthroughs in this domain have pointed out the intricate relationship between dynamics of shift spaces and their computability properties. One remarkable example is the classification of the entropies of multidimensional subshifts of finite type as the set of right recursively enumerable numbers. This work explores shift spaces with a dual approach: on the one hand we are interested in their dynamical properties and on the ether hand we studythese abjects as computational models.Four salient results have been obtained as a result of this approach: (1) a combinatorial condition ensuring non-emptiness of subshifts on arbitrary countable groups; (2) a simulation theorem which realizes effective actions of finitely generated groups as factors of a subaction of a subshift of finite type; (3) a characterization of effectiveness with oracles using generalized Turing machines and (4) the undecidability of the torsion problem for two group invariants of shift spaces.As byproducts of these results we obtain a simple proof of the existence of strongly aperiodic subshifts in countable groups. Furthermore, we realize them as subshifts of finite type in the case of a semidirect product of a d-dimensional integer lattice with a finitely generated group with decida ble word problem whenever d> 1.

Há duas brechas quânticas nos Teoremas da Singularidade em Relatividade Geral: violações das condições clássicas de energia e flutuações quânticas da geometria do espaço-tempo. Nesta dissertação, estudamos a primeira brecha e abordamos os Teoremas da Singularidade através da condição de energia. Revisamos a abordagem algébrica de Teoria Quântica de Campos para o campo de Klein-Gordon e, neste formalismo, revisamos a derivação de uma desigualdade quântica de energia para os estados de Hadamard em espaços-tempos globalmente hiperbólicos. Apesar das desigualdades quânticas de energia não poderem ser aplicadas diretamente nos Teoremas de Singularidade, mostramos que generalizações dos Teoremas de Hawking e Penrose são provadas considerando condições de energia enfraquecidas inspiradas por elas. Assim sendo, os Teoremas de Singularidade continuam valendo se considerarmos efeitos quânticos sutis. A questão de se efeitos de interação ou efeitos de ``backreaction\'\' poderiam quebrá-los ainda está em aberto; há razões para se esperar ambas as respostas. / There are two quantum loopholes in the Singularity Theorems of General Relativity: violations of the classical energy conditions and quantum fluctuations of the spacetime geometry. In this dissertation, we study the first loophole and approach Singularity Theorems through the energy condition. We review the algebraic approach of Quantum Field Theory for the Klein-Gordon field and, within it, we review the derivation of a quantum energy inequality for Hadamard states on globally hyperbolic spacetimes. However quantum energy inequalities cannot be directly applied to Singularity Theorems, we show that generalized Hawking and Penrose Theorems are proven considering weakened energy conditions inspired by them. Hence, Singularity Theorems do hold under subtle quantum effects. The question of whether interaction or backreaction effects could break them is still open; there are reasons to expect both answers.

Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos PLLs analógicos. Essas vantagens incluem melhor desempenho, maior velocidade e confiabilidade, tamanho reduzido e menor custo. Os PLLs também são amplamente utilizados em sistemas de comunicações e em outras aplicações digitais. A presente dissertação é uma contribuição no campo dos PLLs digitais adaptativos e otimizados para a sua implementação em hardware. É feito uma análise de suas características dinâmicas e proposta uma nova estrutura de PLL digital capaz de melhorar a resposta da malha em termos de tempo de aquisição e largura de banda. A Malha Síncrona Digital \"Tanlock\" com Estimação de Frequência e Ganho Adaptativo para Convergência Rápida, como é chamada, foi desenvolvida a partir da malha digital \"Tanlock\", utilizando-se teoremas de ponto fixo e mapas contrativos para determinar as condições de ganho que garantam convergência rápida e melhor utilização da largura de banda. Resultados das simulações são comparados com os obtidos teoricamente para avaliar o desempenho da malha proposta. / In the last three decades, fully-digital Phase-Locked-Loops (PLLs) systems have received a lot of attention due to its advantages in comparison with analog PLLs. These advantages include improved transient response, reliability and also reduced size and cost. The PLLs are widely used in communications systems and many other digital applications. This dissertation is a contribution to the field of digital adaptive PLLs optimized to hardware implementation. Here, a new PLL structure is presented; the Frequency Sensing Adaptive TDTL is an improvement to the classic Time-Delay Tanlock structure, alowing fast convergence to the synchronous states, using fixed-point theorems and contractive maps to determine the gain conditions which ensure the rapid convergence and also providing wider bandwidth. The results of simulations are compared with those obtained theoretically in order to assess the loop performance.

Neste trabalho estudamos algumas propriedades do espaço das funções contínuas munido da topologia da convergência pontual. Começamos estudando o espaço Cp(X) de forma geral, verificando que propriedades topológicas principais valem em Cp(X), usando teoremas de dualidade entre X e Cp(X). Em seguida estudamos a relação da estrutura topológica de X e a estrutura algébrica e topológica de Cp(X), onde o Teorema de Nagata é fundamental. Observamos algumas propriedades de X que são preservadas por l-equivalência ou t-equivalência, ou seja, que são determinadas pela estrutura linear topológica, ou pela estrutura topológica de Cp(X), respectivamente. Por último estudamos as condições para que Cp(X) seja um espaço de Lindelöf. Concluímos com a prova de Okunev de que o número de Lindelöf de Cp(X) é igual ao número de Lindelöf de Cp(X)xCp(X), para espaços fortemente zero-dimensionais X. / In this work we study some properties of the space of continuous functions endowed with the topology of pointwise convergence. We begin by studying the space Cp(X) in general terms, verifying that the main topological properties are valid in Cp(X), using duality theorems between X and Cp(X). Next we study the relationship between the topological structure of X and the algebraic as well as topological structure of Cp(X), in which the Nagata theorem theorem is essential. We observe some properties of X, which are preserved by l-equivalence or t-equivalence, i.e., which are respectively determined either by the linear topological structure of Cp(X) or by its topological one. Finally we study in which conditions Cp(X) is a Lindelöf space. We conclude with the proof of Okunev that the Lindelöf number of Cp(X) is equal to the Lindelöf number of Cp(X)xCp(X), for strongly zero-dimensional spaces X.

Orientador: Olivâine Santana de Queiroz / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-20T15:36:39Z (GMT). No. of bitstreams: 1 Almeida_FernandaPereiradaSilva_M.pdf: 1905299 bytes, checksum: 26428236d161990046f1d1f982482fe1 (MD5) Previous issue date: 2012 / Resumo: Na dissertação foi estudado um problema elíptico em um domínio limitado com bordo Lipschitz. Parte da fronteira deste domínio está em movimento e oscila rapidamente na variável que representa o espaço, caracterizando-se assim como um problema de fronteira livre com multi escala. Este problema tem aplicações, por exemplo, na construção de filmes semicondutores, levando-se em consideração que a superfície do filme se altera pela deposição de vapor químico. O estudo de tal modelo nos remete a questões de existência e unicidade para um sistema elíptico com condições de bordo do tipo misto acoplado à uma equação hiperbólica através de uma condição de fronteira livre. Além disso, um resultado de aproximação por homogeneização é demonstrado. De fato, provamos uma estimativa na norma H1 para o erro que se comete ao aproximar a fronteira livre real por uma fronteira livre homogeneizada / Abstract: In this dissertation we study an elliptic problem in a bounded Lipschitz domain. Part of the boundary is moving and oscillates rapidly in the variable representing the space. Thus, we have a multi-scale free boundary problem. This problem has applications, for instance, in the construction of semiconductor films taking into account that the surface of the film is changing by chemical vapor deposition. The study of such a model leads us to questions of existence and uniqueness for a system involving an elliptic equation with mixed boundary conditions coupled to a hyperbolic equation by means of a free boundary condition. Furthermore, a result on approximation by homogenization is shown. In fact, an estimate in terms of the H1-norm of the error committed by to approximate the real free boundary problem by the homogenized one is proved / Mestrado / Matematica / Mestre em Matemática