A questão de como sistemas quânticos correspondem a sistemas clássicos existe desde o surgimento da mecânica quântica e parece ser algo natural de se perguntar. E também desde o principio da mecânica quântica estados coerentes são usados para responder esse tipo de questão, já que eles são, em certo sentido, os estados quânticos mais próximos a estados que descrevem sistemas clássicos. Seguindo os resultados de Hepp, que mostrou a correspondência tantopara o caso da mecânica quântica não relativística quanto para o caso de camposBosônicos relativísticos, mostramos a correspondência entre sistemas Bosônicos livres em um espaço-tempo de de Sitter e soluções da equação de Klein-Gordon neste mesmo espaço.Após introduzir os conceitos relevantes e construir a álgebra que descreve sistemas Bosônicos livres em um espaço globalmente hiperbólico, construímos estados coerentes para álgebras CCR na forma de Weyl e provamos o limite semi-clássico para uma região próxima à origem (ou, para um tempo fixo, em todo espaço de de Sitter). Além disso provamos que este limite independe do estado de vácuo---que, em geral, não é único. / The question of the correspondence between quantum and classical systems is an issue since the beginnings of quantum mechanics and it seems like a natural question. Also since the start of quantum mechanics coherent states were used to answer this sort of question, since they are, in a sense, the quantum states closest to states that describe classical systems. Following the results of Hepp, who showed the correspondence for the case of non-relativistic quantum mechanics as well as for relativistic Bosonic fields, we show the correspondence between free Bosonic field in a de Sitter space-time and the solutions of the Klein-Gordon equation in that same space-time. After introducing the relevant concepts and the construction of the algebra that describes free Bosonic systems in a globally hyperbolic space-time, we construct coherent states for CCR algebras in Weyls form, and we prove the semi-classical limit for a region close to the origin (or, for a fixed time, in the whole de Sitter space-time). We also prove that this limit is independent of the vacuum statewhich might not be unique.

Orientador: Prof. Dr. Roldão da Rocha jr. / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Matemática , 2014. / Clifford algebras in Hilbert spaces are studied, along with the possible defnitions of spinors when the classical Clifford algebra is equipped with an additional structure of algebra C. The groups associated with the Clifford algebras, such as the Clifford-Lipschtz groups, Pin and Spin groups, are introduced together with unitary structures and trace operators in Clifford algebras in Hilbert spaces as well. Von-Neumann algebras are studied and the Bogoliubov automorphism is used to generalize the twisted Clifford-Lipschtz groups, using the graduation in Clifford algebra with the additional structure of algebra C. Fock representations and Hilbert-Schmidt operators are going to be introduced in the exterior algebra underlying the Clifford algebras in Hilbert spaces. In addition, twisted Clifford-Lipschitz groups can be constructed with the Bogoliubov automorphism, when it is an inner automorphism. This defines the Pin and Spin groups in the Clifford algebra with the additional structure of algebra C.

A questão de como sistemas quânticos correspondem a sistemas clássicos existe desde o surgimento da mecânica quântica e parece ser algo natural de se perguntar. E também desde o principio da mecânica quântica estados coerentes são usados para responder esse tipo de questão, já que eles são, em certo sentido, os estados quânticos mais próximos a estados que descrevem sistemas clássicos. Seguindo os resultados de Hepp, que mostrou a correspondência tantopara o caso da mecânica quântica não relativística quanto para o caso de camposBosônicos relativísticos, mostramos a correspondência entre sistemas Bosônicos livres em um espaço-tempo de de Sitter e soluções da equação de Klein-Gordon neste mesmo espaço.Após introduzir os conceitos relevantes e construir a álgebra que descreve sistemas Bosônicos livres em um espaço globalmente hiperbólico, construímos estados coerentes para álgebras CCR na forma de Weyl e provamos o limite semi-clássico para uma região próxima à origem (ou, para um tempo fixo, em todo espaço de de Sitter). Além disso provamos que este limite independe do estado de vácuo---que, em geral, não é único. / The question of the correspondence between quantum and classical systems is an issue since the beginnings of quantum mechanics and it seems like a natural question. Also since the start of quantum mechanics coherent states were used to answer this sort of question, since they are, in a sense, the quantum states closest to states that describe classical systems. Following the results of Hepp, who showed the correspondence for the case of non-relativistic quantum mechanics as well as for relativistic Bosonic fields, we show the correspondence between free Bosonic field in a de Sitter space-time and the solutions of the Klein-Gordon equation in that same space-time. After introducing the relevant concepts and the construction of the algebra that describes free Bosonic systems in a globally hyperbolic space-time, we construct coherent states for CCR algebras in Weyls form, and we prove the semi-classical limit for a region close to the origin (or, for a fixed time, in the whole de Sitter space-time). We also prove that this limit is independent of the vacuum statewhich might not be unique.

Nesta tese vamos apresentar dois resultados a respeito de K-teoria de álgebras C^{*} de classes de operadores pseudodiferenciais que são globalmente definidos em \\mathbb^. O primeiro resultado é a prova da regularidade da função \\eta para operadores clássicos com símbolos de Shubin. Vamos mostrar que a álgebra de operadores pseudodiferenciais em \\mathbb^ com símbolos de Shubin permite a construção de potências complexas e um tipo de traço de Kontsevich-Vishik numa forma muito similar àquela feita para variedades compactas, com definições até mais simples. Mostraremos, então, que podemos definir as funções \\zeta e \\eta também para esses símbolos. Finalmente mostraremos como o conhecimento de fatos simples sobre a sua K-teoria permitem a prova da regularidade da função \\eta. Para variedades compactas, esse resultado tem muitas implicações. Acreditamos assim que ele também possa ser interessante para os estudos de operadores globais em \\mathbb^. O segundo resultado é o cálculo da K-teoria de operadores limitados gerados por operadores de Boutet de Monvel SG de ordem (0,0) e tipo zero em \\mathbb_{+}^. Boutet de Monvel introduziu a álgebra que leva o seu nome para estudar o índice de operadores elípticos de fronteira em variedades compactas com bordo. Mais recentemente uma nova abordagem foi proposta por Melo, Nest, Schrohe e Schick para obter resultados sobre o índice de Fredholm usando a K-teoria de álgebras C^{*}, uma ferramenta que não era disponível ainda quando Boutet de Monvel desenvolveu sua álgebra. Nossa ideia foi, então, mostrar como calcular a K-teoria de álgebras de Boutet de Monvel com símbolos SG em \\mathbb_{+}^, em que os símbolos SG são uma classe de símbolos globalmente definidos em \\mathbb^. Acreditamos que isso possa ser útil também ao estudo de problemas elípticos de fronteira para operadores de Boutet de Monvel com símbolos SG em certas classes de variedades não compactas. / We are going to present two results concerning K-theory of C^{*} algebras of classes of pseudodifferential operators that are globally defined in \\mathbb^. The first result is the proof of the regularity of the \\eta function for classical operators with Shubin symbols. We are going to show that the algebra of classical pseudodifferential operators in \\mathbb^ with Shubin symbols allows the construction of complex powers and a kind of Kontsevich-Vishik trace in a very similar way as on compact manifolds, with even easier definitions. Then we show that we can define the \\zeta and \\eta functions also for these symbols. Finally we will show how the knowledge of simple facts about the K-theory of pseudodifferential operators with Shubin\'s symbols allows the proof of the regularity of the \\eta function at 0. For compact manifolds, this regularity is a result that has many implications. Therefore it may also be interesting for global operators in \\mathbb^. The second result is the evaluation of the K-theory of bounded operators generated by SG Boutet de Monvel operators of order (0,0) and type 0 in \\mathbb_^. Boutet de Monvel introduced his algebra to study the index of elliptic boundary value problems on compact manifolds. More recently a new approach was proposed by Melo, Nest, Schrohe and Schick to obtain results about the index of Fredholm operators using the K-theory of C^ algebras, a tool which was not well known when Boutet de Monvel published his work. The idea here is to show how one can evaluate the K-theory of the Boutet de Monvel operators with SG symbols in \\mathbb_^, where SG symbols is a class of symbols globally defined in \\mathbb^. We believe that this can be useful to the study of index of Fredholm problems also in the case of Boutet de Monvel operators with SG symbols in some classes of non-compact manifolds.

Nesta tese vamos apresentar dois resultados a respeito de K-teoria de álgebras C^{*} de classes de operadores pseudodiferenciais que são globalmente definidos em \\mathbb^. O primeiro resultado é a prova da regularidade da função \\eta para operadores clássicos com símbolos de Shubin. Vamos mostrar que a álgebra de operadores pseudodiferenciais em \\mathbb^ com símbolos de Shubin permite a construção de potências complexas e um tipo de traço de Kontsevich-Vishik numa forma muito similar àquela feita para variedades compactas, com definições até mais simples. Mostraremos, então, que podemos definir as funções \\zeta e \\eta também para esses símbolos. Finalmente mostraremos como o conhecimento de fatos simples sobre a sua K-teoria permitem a prova da regularidade da função \\eta. Para variedades compactas, esse resultado tem muitas implicações. Acreditamos assim que ele também possa ser interessante para os estudos de operadores globais em \\mathbb^. O segundo resultado é o cálculo da K-teoria de operadores limitados gerados por operadores de Boutet de Monvel SG de ordem (0,0) e tipo zero em \\mathbb_{+}^. Boutet de Monvel introduziu a álgebra que leva o seu nome para estudar o índice de operadores elípticos de fronteira em variedades compactas com bordo. Mais recentemente uma nova abordagem foi proposta por Melo, Nest, Schrohe e Schick para obter resultados sobre o índice de Fredholm usando a K-teoria de álgebras C^{*}, uma ferramenta que não era disponível ainda quando Boutet de Monvel desenvolveu sua álgebra. Nossa ideia foi, então, mostrar como calcular a K-teoria de álgebras de Boutet de Monvel com símbolos SG em \\mathbb_{+}^, em que os símbolos SG são uma classe de símbolos globalmente definidos em \\mathbb^. Acreditamos que isso possa ser útil também ao estudo de problemas elípticos de fronteira para operadores de Boutet de Monvel com símbolos SG em certas classes de variedades não compactas. / We are going to present two results concerning K-theory of C^{*} algebras of classes of pseudodifferential operators that are globally defined in \\mathbb^. The first result is the proof of the regularity of the \\eta function for classical operators with Shubin symbols. We are going to show that the algebra of classical pseudodifferential operators in \\mathbb^ with Shubin symbols allows the construction of complex powers and a kind of Kontsevich-Vishik trace in a very similar way as on compact manifolds, with even easier definitions. Then we show that we can define the \\zeta and \\eta functions also for these symbols. Finally we will show how the knowledge of simple facts about the K-theory of pseudodifferential operators with Shubin\'s symbols allows the proof of the regularity of the \\eta function at 0. For compact manifolds, this regularity is a result that has many implications. Therefore it may also be interesting for global operators in \\mathbb^. The second result is the evaluation of the K-theory of bounded operators generated by SG Boutet de Monvel operators of order (0,0) and type 0 in \\mathbb_^. Boutet de Monvel introduced his algebra to study the index of elliptic boundary value problems on compact manifolds. More recently a new approach was proposed by Melo, Nest, Schrohe and Schick to obtain results about the index of Fredholm operators using the K-theory of C^ algebras, a tool which was not well known when Boutet de Monvel published his work. The idea here is to show how one can evaluate the K-theory of the Boutet de Monvel operators with SG symbols in \\mathbb_^, where SG symbols is a class of symbols globally defined in \\mathbb^. We believe that this can be useful to the study of index of Fredholm problems also in the case of Boutet de Monvel operators with SG symbols in some classes of non-compact manifolds.