Dados A uma C*-álgebra com unidade e \\alpha um *-endomorfismo de A, um operador transferência para o par (A, \\alpha) é uma aplicação linear contínua positiva L: A --> A tal que L(\\alpha(a)b) = a L(b), para todo a, b \\in A. Nestas condições, denotamos por T(A, \\alpha, L) a C*-álgebra universal com unidade gerada por A e um elemento S sujeito às relações Sa = \\alpha(a)S e S*aS = L(a). Uma redundância é definida como o par (a, k) \\in A x \\overline{ASS* A} tal que abS = akS, para todo b \\in A. Neste trabalho definimos a C*-álgebra chamada de produto cruzado como o quociente de T(A, \\alpha, L) pelo ideal bilateral fechado I gerado pelo conjunto das diferenças a-k, para todas as redundâncias (a, k) tais que a \\in \\overline, onde R denota a Im \\alpha. Mostramos que quando \\alpha é injetor com imagem hereditária, então o produto cruzado é isomorfo à C*-álgebra universal com unidade, denotada por U(A, \\alpha), gerada por A e uma isometria T sujeita à relação \\alpha(a) = TaT*, para todo a \\in A. Também mostramos que a álgebra de Cuntz-Krieger O_A pode ser caracterizada como o produto cruzado definido neste trabalho. / Given A a C*-algebra with unit and \\alpha an *-endomorphism of A, a transfer operator for the pair (A, \\alpha) is a continuous positive linear map L: A --> A such that L(\\alpha(a)b) = a L(b), for all a, b \\in A. Under these conditions , we denote by T(A, \\alpha, L) the universal C*-algebra with unit generated by A and an element S subject to the relations Sa = \\alpha(a)S and S*aS = L(a). A redundancy is defined as a pair (a, k) \\in A x \\overline{ASS* A} such that abS = akS, for all b \\in A. In tjis work we define the C*-algebra called crossed-product as the quotient of T(A, \\alpha, L) by the closed two-sided ideal I generated by the set of all differences a-k, for all redundancies (a, k) such that a \\in \\overline, where by R we mean Im \\alpha. We prove that when \\alpha is injective with an hereditary range, then the crossed-product is isomorphic to the universal C*-algebra with unit, which we denote by U(A, \\alpha), generated by A and an isometry T subject to the relation \\alpha(a) = TaT*, for all a \\in A. We also prove that the Cuntz-Krieger algebra O_A can be characterized as the crossed-product we define in this work.
| Identifer | oai:union.ndltd.org:IBICT/oai:teses.usp.br:tde-15052011-173459 |
| Date | 18 March 2011 |
| Creators | Priscilla Iastremski |
| Contributors | Cristina Cerri, Severino Toscano do Rego Melo, Fernando Raul Abadie Vicens |
| Publisher | Universidade de São Paulo, Matemática, USP, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da USP, instname:Universidade de São Paulo, instacron:USP |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0023 seconds