[pt] Neste trabalho apresentamos a teoria de Tomita-Takesaki para uma álgebra de Von Neumann M com vetor cíclico separante u. Usamos o caso finito dimensional para motivar a teoria, depois prosseguimos para os argumentos analíticos geralmente empregados para provar o caso infinito dimensional. Também calculamos os operadores modulares da teoria para três exemplos padrão. Na mecânica estatística quântica, os estados de equilíbrio termodinâmico de um sistema físico com um número de partículas e volume finito são modelados pelos estados de Gibbs, enquanto no caso infinito eles são modelados pelos chamados estados KMS através da abordagem de álgebra de operadores. Mostramos como a teoria de Tomita-Takesaki fornece estados KMS naturais e a unicidade da evolução temporal do sistema físico para esses estados. / [en] In this work we present the Tomita-Takesaki theory for a Von Neumann algebra M with cyclic separating vector u. We use the finite-dimensional case to motivate the theory, and then proceed to the analytical arguments usually employed to prove the infinite dimensional case. Also, we calculate the modular operators from the theory for three standard examples. In quantum statistical mechanics, the thermodynamic equilibrium states of a physical system with finitely many particles and finite volume are modeled by Gibbs states, while in the infinite case they are modeled by the so called KMS states through the operator-algebraic approach.We show how Tomita-Takesaki theory provides natural KMS states and the uniqueness of the time evolution of the physical system for those states.

Dans une première partie de cette thèse, nous donnons des minorations universelles ne dépendant que de la dimension – explicites, de trois invariants globaux des quotients des espaces hyperboliques quaternioniques : leur rayon maximal, leur volume, ainsi que leur caractéristique d’Euler. Nous donnons également une majoration de leur constante de Margulis, montrant que celle-ci décroit au moins comme une puissance négative de la dimension. Dans une seconde partie, nous étudions un réseau remarquable des isométries du plan hyperbolique quaternionique, le groupe modulaire d’Hurwitz. Nous montrons en particulier qu’il est engendré par quatres éléments, et construisons un domaine fondamental pour le sous-groupe des isométries de ce réseau qui stabilisent un point à l’infini. / In the first part of this thesis, we derive explicit universal – that is, depending only on the dimension – lower bounds on three global invariants of quaternionic hyperbolic sapces : their maximal radius, their volume, and their Euler caracteristic. We also exhibit an upper bound on their Margulis constant, showing that this last quantity decreases at least like a negative power of the dimension. In the second part, we study a specific lattice of isometries of the quaternionic hyperbolic plane : the Hurwitz modular group. In particular, we show that this group is generated by four elements, and we construct a fundamental domain for the subgroup of isometries of this lattice stabilising a point on the boundary of the quaternionic hyperbolic plane.