Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-10T09:55:18Z (GMT). No. of bitstreams: 1 Santos_LaercioJosedos_D.pdf: 632399 bytes, checksum: 25069afc192f7633f7f8cd6bdce8e96e (MD5) Previous issue date: 2007 / Resumo: Este trabalho divide-se em duas partes. Na primeira parte, obtemos condições necessárias e suficientes para que uma família de classes laterais de um subgrupo de Lie gere um subsemigrupo com interior não vazio. Aplicamos essas condições aos pares simétricos, onde o grupo é semi-simples. Como consequência, mostramos que o subgrupo dos pontos fixos de vários automorfismos involutivos é maximal como semigrupo. Na segunda parte, definimos a função característica de um subsemigrupo de um grupo de Lie semi-simples e, encontramos um subconjunto do domínio de definição dessa função. Fizemos isto usando a teoria geral de semigrupos em grupos semi-simples. Usamos a função característica de um semigrupo, com algumas hipóteses adicionais, para introduzir uma métrica Riemanniana nas órbitas do subgrupo das unidades do semigrupo. Com essa métrica, obtemos uma condição necessária para que um subgrupo possa ser imerso em um semigrupo próprio com interior não vazio / Abstract: This work is made of two parts. In the first one, we gave necessary and sufficient conditions for a family of cosets of a Lie subgroup to generate a subsemigroup with nonempty interior. We apply these conditions to symmetric pairs where the group is semi-simple. As a consequence we prove that for several involutive automorphisms the fixed points subgroup is a maximal semigroup. In the second part, we define a characteristic function of a subsemigroup of a semi- simple Lie group and we find a subset where the function is defined. This is made through general theory of semigroups in semi-simple groups. The characteristic function is used, together with some additional hypothesis, for to create a Riemannian metric in the orbits of the unity subgroup of the semigroup. With this metric we gave a necessary condition for a subgroup be embedded in a proper semigroup with nonempty interior / Doutorado / Teoria de Lie / Doutor em Matemática

Orientador: Caio José Colletti Negreiros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T12:45:02Z (GMT). No. of bitstreams: 1 Grama_LinoAndersondaSilva_D.pdf: 1119551 bytes, checksum: d2dc2c993629f40f7976e91497c5d219 (MD5) Previous issue date: 2011 / Resumo: O principal objetivo deste trabalho é o estudo de aplicações harmônicas em variedades flag generalizadas. Na primeira parte do trabalho, consideramos aplicações cujo domínio é uma superfície de Riemann. Provamos que toda aplicação holomorfa-horizontal na variedade flag é uma aplicação equiharmônica (ie, harmônica com respeito a cada métrica invariante na variedade flag). Obtemos também as fórmulas de Plucker para curvas holomorfa-horizontais na variedade flag maximal. Na segunda parte do trabalho, consideramos aplicações harmônicas cujo domínio possui dimensão 1 ( ie, geodésicas) na variedade flag. Provamos que toda variedade ag generalizada admite curvas que são geodésicas com respeito a cada métrica invariante. Tais curvas são chamadas equigeodésicas. Fornecemos uma descrição algébrica para tais curvas e exibimos famílias de equigeodésicas em diversas famílias de variedades flag / Abstract: The main goal of this work is the study of harmonic maps in generalized flag manifolds. In the first part of the work, we consider maps whose domain is a Riemann surface. We prove that every holomorphic-horizontal map in the flag manifold is an equiharmonic map (i.e. harmonic with respect to each invariant metric in the flag manifold). We also obtain the Plucker formulae for holomorphic-horizontal curves in full flag manifolds. In the second part of the work, we consider harmonic maps whose domain has dimension one (i.e. geodesics) in the ag manifold. We prove that every generalized flag manifold admit curves that are geodesics with respect to each invariant metric. Such curves are called equigeodesics. We provide an algebraic characterization for such curves and exhibit families of equigeodesics in several families of flag manifolds / Doutorado / Doutor em Matemática

Orientador: Carlile Campos Lavor / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T14:47:27Z (GMT). No. of bitstreams: 1 Melo_Nolmar_D.pdf: 2834013 bytes, checksum: 5639deabb953aa019e4e1c9c905e856d (MD5) Previous issue date: 2011 / Resumo: Este trabalho apresenta uma linguagem algébrica para dois elementos básicos da teoria da informação quântica (os bits quânticos e os operadores densidade), baseada nas propriedades de uma álgebra de Clifford de assinatura (n,3n). Demonstramos que a nova descrição desses elementos preserva as mesmas propriedades matemáticas obtidas com a descrição clássica. Com isso, estendemos alguns resultados apresentados na literatura que relaciona Álgebra de Clifford e Informação Quântica. / Abstract: This work presents an algebraic language for two basic elements of quantum information theory (the quantum bits and density operators), based in the properties of a Clifford algebra of signature (n,3n). We prove that the new description of these elements preserves the same mathematical properties obtained with the classical description. We also extend some results presented in the literature that relate Clifford algebra and quantum information. / Doutorado / Matematica Aplicada / Doutor em Matemática

Orientador: Jayme Vaz Jr / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataglin / Made available in DSpace on 2018-08-05T13:26:17Z (GMT). No. of bitstreams: 1 RochaJunior_Roldaoda_D.pdf: 1670364 bytes, checksum: 3d62c507080592c925245e4858fab674 (MD5) Previous issue date: 2005 / Resumo: Investigamos generalizações das álgebras de Clifford (ACs) e suas vastas aplicações na Física. Classificamos o mais novo candidato à descrição da matéria escura como um campo espinorial bandeira, que pertence à classe 5 proposta por Lounesto, de acordo com os valores assumidos pelos seus covariantes bilineares. Decompomos a AC em partes a pares e ímpares relativas a uma dada a graduação automórfica interna, além de descrever suas diversas consequências na decomposição de operadores que agem sobre a álgebra exterior e sobre a AC. Além de escrever a equação de Dirac no contexto dessa decomposição, estendemos os resultados conhecidos sobre uma partícula-teste nas vizinhanças de um buraco negro de Schwarzschild para um buraco negro de Reissner-Nordstrom. Introduzimos as ACs estendidas, construídas sobre duas cópias (quiral e aquiral) de um espaço vetorial de dimensão finita munido de uma métrica de assinatura (p, q). Formulamos a AC sobre uma cópia quiral do contraespaço, mostrando propriedades surpreendentes, tais como: a indefinição do elemento de volume do contraespaço sob o produto regressivo, com a possibilidade de ele ser um escalar ou pseudoescalar, dependendo da dimensão do espaço vetorial; e o fato de que a co-cadeia de de Rham do operador codiferencial ser formada por uma sequência de subespaços homogêneos da álgebra exterior subsequentemente quirais e aquirais. Dessa maneira provamos que a álgebra exterior sobre o espaço e aquela construída sobre o contraespaço são apenas pseudo-duais ao introduzirmos quiralidade. A super álgebra de Poincaré é obtida a partir da introdução de algumas estruturas algébricas sobre o espaço euclidiano R3, a partir da utilização de spinors puros e do Princípio da Trialidade juntamente com sua generalização. Introduzimos os octonions no contexto das ACs e definimos unidades octoniônicas parametrizadas por elementos arbitrários, mas fixos, de uma AC sobre R0,7 e também produtos octoniônicos entre multivetores, além de generalizarmos as identidades de Moufang para esse formalismo. O Modelo Padrão das partículas elementares é rediscutido nesse contexto, além de obtermos uma Teoria de Calibre não-associativa em Cl0,7 , onde o campo espinorial é dado pela soma direta de um quark e um lépton. Finalmente introduzimos as isotopias, associativas e não-associativas, das ACs e em particular a simetria de sabor SU(6) dos quarks se apresenta como uma simetria exata dentro do contexto do levantamento isotópico da AC CL12. Bárions e mésons também são descritos nesse contexto / Abstract: We investigate Clifford algebras (ACs) generalizations and their wide applications in Physics. The candidate for the description of the dark matter is classified as a agpole spinor field, that is in the class 5 spinors proposed by Lounesto according to his spinor field classification by the values assumed by their bilinear covariants. The AC is split in a-even and a-odd components, related to a given inner automorphic a-grading, besides describing various consequences of this decomposition in the splitting of operators acting on the exterior and Clifford algebras. Besides writing the Dirac equation in the spacetime splitting context, we extend the well known results concerning a spinning test particle in a Schwarzschild black hole neighboorhood to a Reissner-Nordstrom black hole. We alsointroduce the extended ACs associated with two copies (chiral and achiral) of a finite-dimensional vector space endowed with a metric of signature (p, q). ACs are formulated on a chiral copy of the counterspace, where we show astounding and astonishing properties such as: the de Rham co-chain associated with the codifferential operator is constituted by a sequence of exterior algebra homogeneous subspaces subsequently chiral and achiral. Thus we prove thatthe exterior algebra on the space and the exterior algebra constructed on the counterspace are pseudoduals, if we introduce chirality. The Poincaré superalgebra is obtained from the introduction of some algebraic structures on the Euclidean space R3 , via the pure spinor formalism and the triality principle and its generalization. Octonions are introduced in thecontext of ACs and we define AC-parametrized octonionic units, besides generalizing Moufang identities in this context. The Standard Model of elementary particles is revisited in the octonionic context and we also obtain a gauge theory using the new octonionic products introduced, where a spinor field describes the direct sum of a quark and a lepton. Finally we introduce associative and non-associative isotopies of ACs. In particular we present the avor quark symmetry SU(6) as an exact symmetry in the Cl12 isotopic lifting context. Barions and mesons are also described via isotopic lifting of ACs / Doutorado / Fisica-Matematica / Doutor em Ciências

O objetivo deste trabalho é estudar a estrutura dos módulos sobre uma álgebra trivial de dimensão dois na variedade M das álgebras comutativas de potências associativas. Em particular classificamos os módulos irredutíveis. Estes resultados nos permitem compreender melhor a estrutura das nilálgebras comutativas de dimensão finita e nilíndice 4. Finalmente classificamos, sob isomorfismos, as nilálgebras comutativas de potências associativas de dimensão n e nilíndice n. / The aim of this work is to study the structure of the modules over a trivial algebra of dimension two in the variety M of commutative and power-associative algebras. In particular we classify the irreducible modules. These results enables us to understand better the structure of finite-dimensional power-associative nilalgebras of nilindex 4. Finally, we classify, up to isomorphism, commutative power associative nilalgebras of nilindex n and dimension n.

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-21T00:23:49Z (GMT). No. of bitstreams: 1 Rabelo_Lonardo_D.pdf: 1560307 bytes, checksum: ad1323aadd78f3943acaf2c6e13b96d0 (MD5) Previous issue date: 2012 / Resumo: Esta tese apresenta uma abordagem para o estudo da topologia das variedades flag reais. A homologia é obtida pela determinação do operador fronteira da homologia celular. Isto se dá a partir de uma parametrização explícita das células de Shubert que fornecem a estrutura celular destas variedades. Para o anel de cohomologia de uma variedade flag maximal, encontram-se os seus geradores como classes de Stiefel-Whitney de um fibrado de linha sobre a variedade flag / Abstract: This thesis presents an approach for the study of topology of real flag manifolds. The homology is obtained by the determination of the boundary operator for the cellular homology. This follows from an explicit parametrization of the Schubert cells which gives a cellular structure for these manifolds. For the cohomology ring of a maximal flag manifold, its generators are found as Stiefel-Whitney classes of a line fiber bundle over the flag manifold / Doutorado / Matematica / Doutor em Matemática

No description available.

In this thesis, we consider q-deformations of multiplicative Hypertoric varieties, where q∈𝕂^x for 𝕂 an algebraically closed field of characteristic 0. We construct an algebra D_q of q-difference operators as a Heisenberg double in a braided monoidal category. We then focus on the case where q is specialized to a root of unity. In this setting, we use D_q to construct an Azumaya algebra on an l-twist of the multiplicative Hypertoric variety, before showing that this algebra splits over the fibers of both the moment and resolution maps. Finally, we sketch a derived localization theorem for these Azumaya algebras.

In the last two decades, qualitative spatial representation and reasoning, and in particular spatial logics, have been the subject of an increased interest from the Artificial Intelligence community. By a spatial logic, we understand a formal language whose variables range over subsets of a fixed topological space, called regions, and whose non-logical primitives have fixed geometric meanings. A spatial logic for reasoning about regions in a Euclidean space is called a Euclidean spatial logic. We consider first-order and quantifier-free Euclidean spatial logics with primitives for topological relations and operations, the property of convexity and the ternary relation of being closer-than. We mainly focus on the computational properties of such logics, but we also obtain interesting model-theoretic results. We provide a systematic overview of the computational properties of firstorder Euclidean spatial logics and fill in some of the gaps left by the literature. We establish upper complexity bounds for the (undecidable) theories of logics based on Euclidean spaces of dimension greater than one, which yields tight complexity bounds for all but two of these theories. In contrast with these undecidability results, we show that the topological theories based on one-dimensional Euclidean space are decidable, but non-elementary. We also study the computational properties of quantifier-free Euclidean spatial logics, and in particular those able to express the property of connectedness. It is known that when variables range over regions in the Euclidean plane, one can find formulas in these languages satisfiable only by regions with infinitely many connected components. Using this result, we show that the corresponding logics are undecidable. Further, we show that there exist formulas that are satisfiable in higher-dimensional Euclidean space, but only by regions with infinitely many connected components. We finish by outlining how the insights gained from this result were used (by another author) to show the undecidability of certain quantifier-free Euclidean spatial logics in higher dimensions.

We study the free centre-by-metabelian Lie ring, that is, the free Lie ring with the property that the second derived ideal is contained in the centre. We exhibit explicit generating sets for the homogeneous components and the fine homogeneous components of the second derived ideal. Each of these components is a direct sum of a free abelian group and a (possibly trivial) elementary abelian $2$-group. Our generating sets are such that some of their elements generate the torsion subgroup while the remaining ones freely generate a free abelian group. A key ingredient of our approach is the determination of the dimensions of the corresponding homogeneous components of the free centre-by-metabelian Lie algebra over fields of characteristic other than $2$. For this we exploit a $6$-term exact sequence of modules over a polynomial ring that is originally defined over the integers, but turns into a sequence whose terms are projective modules after tensoring with a suitable field. Our results correct a partly erroneous theorem in the literature. Moreover, we study the product of three homogeneous components of a free Lie algebra. Let $L$ be a free Lie algebra of finite rank over a field and let $L_n$ denote the degree $n$ homogeneous component of $L$. Formulae for the dimension of the subspaces $[L_n,L_m]$ for all $n$ and $m$ were obtained by Ralph St\"{o}hr and Michael Vaughan-Lee. Formulae for the dimension of the subspaces of the form $[L_n,L_m,L_k]$ under certain conditions on $n,m$ and $k$ were obtained by Nil Mansuro\u{g}lu and Ralph St\"{o}hr. Surprisingly, in contrast to the case of a product of two homogeneous components, the dimension of such products may depend on the characteristic of the field. For example, the dimension of $[L_2,L_2,L_1]$ over fields of characteristic $2$ is different from the dimension over fields of characteristic other than $2$.