The aim of this dissertation lies in establishing an o-minimal de Rham cohomology theory for smooth abstract-definable manifolds in an o-minimal expansion of the real field which admits smooth cell decomposition and defines the exponential function, by following the classical de Rham cohomology. We can specify the o-minimal cohomology groups and attain some properties as the existence of Mayer-Vietoris sequence and the invariance under smooth abstract-definable diffeomorphisms. However, in order to obtain the invariance of our o-minimal cohomology under abstract-definable homotopy we must, working in a tame context that defines sufficiently many primitives, assume the validity of a statement related to Bröcker\'s problem. / O objetivo desta tese reside em estabelecer uma cohomologia de De Rham o-minimal para variedades definíveis abstratas lisas em uma expansão o-minimal do corpo ordenado dos reais, a qual admite decomposição celular lisa e define a função exponencial, seguindo a cohomologia de De Rham clássica. Além de especificarmos os grupos da cohomologia de Rham o-minimal, obtemos algumas propriedades, como a existência da sequência de Mayer-Vietoris e a invariância sob difeomorfismos definíveis abstratos lisos. Todavia, a fim de lograrmos a invariância de nossa cohomologia o-minimal sob homotopia definível abstrata devemos, além de trabalhar num contexto moderado no qual muitas primitivas são definidas, assumir a validade de uma asserção relacionada ao problema de Bröcker.

In der vorliegenden Arbeit verallgemeinern wir im Wesentlichen zwei Theoreme von Mackaay-Picken und Picken (2002, 2004). Im ihrem Artikel zeigen Mackaay und Picken,dass es eine bijektive Korrespodenz zwischen Deligne 2-Klassen $xi in check{H}^2(M, mathcal{D}^2)$ und Holonomie Abbildungen von der zweiten dünnen Homotopiegruppe $pi_2^2(M)$ in die abelsche Gruppe $U(1)$ gibt. Im zweiten Artikel wird eine Verallgemeinerung dieses Theorems bewiesen: Picken zeigt, dass es eine Bijektion gibt zwischen Deligne 2-Kozykeln und gewissen 2-dimensionalen topologischen Quantenfeldtheorien. In dieser Arbeit zeigen wir, dass diese beiden Theoreme in allen Dimensionen gelten.Wir betrachten zunächst den Holonomie Fall und können mittels simplizialen Methoden nachweisen, dass die Gruppe der glatten Deligne $d$-Klassen isomorph ist zu der Gruppe der glatten Holonomie Abbildungen von der $d$-ten dünnen Homotopiegruppe $pi_d^d(M)$ nach $U(1)$, sofern $M$ eine $(d-1)$-zusammenhängende Mannigfaltigkeit ist. Wir vergleichen dieses Resultat mit einem Satz von Gajer (1999). Gajer zeigte, dass jede Deligne $d$-Klasse durch eine andere Klasse von Holonomie-Abbildungen rekonstruiert werden kann, die aber nicht nur Holonomien entlang von Sphären, sondern auch entlang von allgemeinen $d$-Mannigfaltigkeiten in $M$ enthält. Dieser Zugang benötigt dann aber nicht, dass $M$ hoch-zusammenhängend ist. Wir zeigen, dass im Falle von flachen Deligne $d$-Klassen unser Rekonstruktionstheorem sich von Gajers unterscheidet, sofern $M$ nicht als $(d-1)$, sondern nur als $(d-2)$-zusammenhängend angenommen wird. Stiefel Mannigfaltigkeiten besitzen genau diese Eigenschaft, und wendet man unser Theorem auf diese an und vergleicht das Resultat mit dem von Gajer, so zeigt sich, dass es zuviele Deligne Klassen rekonstruiert. Dies bedeutet, dass unser Rekonstruktionsthreorem ohne die Zusatzbedingungen an die Mannigfaltigkeit M nicht auskommt, d.h. unsere Rekonstruktion benötigt zwar weniger Informationen über die Holonomie entlang von d-dimensionalen Mannigfaltigkeiten, aber dafür muss M auch $(d-1)$-zusammenhängend angenommen werden. Wir zeigen dann, dass auch das zweite Theorem verallgemeinert werden kann: Indem wir das Konzept einer Picken topologischen Quantenfeldtheorie in beliebigen Dimensionen einführen, können wir nachweisen, dass jeder Deligne $d$-Kozykel eine solche $d$-dimensionale Feldtheorie mit zwei besonderen Eigenschaften, der dünnen Invarianz und der Glattheit, induziert. Wir beweisen, dass jede $d$-dimensionale topologische Quantenfeldtheorie nach Picken mit diesen zwei Eigenschaften auch eine Deligne $d$-Klasse definiert und prüfen nach, dass diese Konstruktion sowohl surjektiv als auch injektiv ist. Demzufolge sind beide Gruppen isomorph. / In this thesis we mainly generalize two theorems from Mackaay-Picken and Picken (2002, 2004). In the first paper, Mackaay and Picken show that there is a bijective correspondence between Deligne 2-classes $xi in check{H}^2(M,mathcal{D}^2)$ and holonomy maps from the second thin-homotopy group $pi_2^2(M)$ to $U(1)$. In the second one, a generalization of this theorem to manifolds with boundaries is given: Picken shows that there is a bijection between Deligne 2-cocycles and a certain variant of 2-dimensional topological quantum field theories. In this thesis we show that these two theorems hold in every dimension. We consider first the holonomy case, and by using simplicial methods we can prove that the group of smooth Deligne $d$-classes is isomorphic to the group of smooth holonomy maps from the $d^{th}$ thin-homotopy group $pi_d^d(M)$ to $U(1)$, if $M$ is $(d-1)$-connected. We contrast this with a result of Gajer (1999). Gajer showed that Deligne $d$-classes can be reconstructed by a different class of holonomy maps, which not only include holonomies along spheres, but also along general $d$-manifolds in $M$. This approach does not require the manifold $M$ to be $(d-1)$-connected. We show that in the case of flat Deligne $d$-classes, our result differs from Gajers, if $M$ is not $(d-1)$-connected, but only $(d-2)$-connected. Stiefel manifolds do have this property, and if one applies our theorem to these and compare the result with that of Gajers theorem, it is revealed that our theorem reconstructs too many Deligne classes. This means, that our reconstruction theorem cannot live without the extra assumption on the manifold $M$, that is our reconstruction needs less informations about the holonomy of $d$-manifolds in $M$ at the price of assuming $M$ to be $(d-1)$-connected. We continue to show, that also the second theorem can be generalized: By introducing the concept of Picken-type topological quantum field theory in arbitrary dimensions, we can show that every Deligne $d$-cocycle induces such a $d$-dimensional field theory with two special properties, namely thin-invariance and smoothness. We show that any $d$-dimensional topological quantum field theory with these two properties gives rise to a Deligne $d$-cocycle and verify that this construction is surjective and injective, that is both groups are isomorphic.

We deal with low-dimensional homology and cohomology of current Lie algebras, i.e., Lie algebras which are tensor products of a Lie algebra L and an associative commutative algebra A. We derive, in two different ways, a general formula expressing the second cohomology of current Lie algebra with coefficients in the trivial module through cohomology of L, cyclic cohomology of A, and other invariants of L and A. The first proof is achieved by using the Hopf formula expressing the second homology of a Lie algebra in terms of its presentation. The second proof employs a certain linear-algebraic technique, ideologically similar to “separation of variables” of differential equations. We also obtain formulas for the first and, in some particular cases, for the second cohomology of the current Lie algebra with coefficients in the “current” module, and the second cohomology with coefficients in the adjoint module in the case where L is the modular Zassenhaus algebra. Applications of these results include: description of modular semi-simple Lie algebras with a solvable maximal subalgebra; computations of structure functions for manifolds of loops in compact Hermitian symmetric spaces; a unified treatment of periodizations of semi-simple Lie algebras, derivation algebras (with prescribed semi-simple part) of nilpotent Lie algebras, and presentations of affine Kac-Moody algebras.

We consider the regularization of some equivariant Euler classes of certain infinite-dimensional vector bundles over a finite-dimensional manifold M using the framework of zeta-regularized products [35, 53, 59]. An example of such a regularization is the Atiyah–Witten regularization of the T-equivariant Euler class of the normal bundle v(TM) of M in the free loop space LM [2]. In this thesis, we propose a new regularization procedure — W-regularization — which can be shown to reduce to the Atiyah–Witten regularization when applied to the case of v(TM). This new regularization yields a new multiplicative genus (in the sense of Hirzebruch [26]) — the ^Γ-genus — when applied to the more general case of a complex spin vector bundle of complex rank ≥ 2 over M, as opposed to the case of the complexification of TM for the Atiyah–Witten regularization. Some of its properties are investigated and some tantalizing connections to other areas of mathematics are also discussed. We also consider the application of W-regularization to the regularization of T²- equivariant Euler classes associated to the case of the double free loop space LLM. We find that the theory of zeta-regularized products, as set out by Jorgenson–Lang [35], Quine et al [53] and Voros [59], amongst others, provides a good framework for comparing the regularizations that have been considered so far. In particular, it reveals relations between some of the genera that appeared in elliptic cohomology, allowing us to clarify and prove an assertion of Liu [44] on the ˆΘ-genus, as well as to recover the Witten genus. The ^Γ₂-genus, a new genus generated by a function based on Barnes’ double gamma function [5, 6], is also derived in a similar way to the ^Γ-genus. / Thesis (Ph.D.) - University of Adelaide, School of Mathematical Sciences, 2008

We consider the regularization of some equivariant Euler classes of certain infinite-dimensional vector bundles over a finite-dimensional manifold M using the framework of zeta-regularized products [35, 53, 59]. An example of such a regularization is the Atiyah–Witten regularization of the T-equivariant Euler class of the normal bundle v(TM) of M in the free loop space LM [2]. In this thesis, we propose a new regularization procedure — W-regularization — which can be shown to reduce to the Atiyah–Witten regularization when applied to the case of v(TM). This new regularization yields a new multiplicative genus (in the sense of Hirzebruch [26]) — the ^Γ-genus — when applied to the more general case of a complex spin vector bundle of complex rank ≥ 2 over M, as opposed to the case of the complexification of TM for the Atiyah–Witten regularization. Some of its properties are investigated and some tantalizing connections to other areas of mathematics are also discussed. We also consider the application of W-regularization to the regularization of T²- equivariant Euler classes associated to the case of the double free loop space LLM. We find that the theory of zeta-regularized products, as set out by Jorgenson–Lang [35], Quine et al [53] and Voros [59], amongst others, provides a good framework for comparing the regularizations that have been considered so far. In particular, it reveals relations between some of the genera that appeared in elliptic cohomology, allowing us to clarify and prove an assertion of Liu [44] on the ˆΘ-genus, as well as to recover the Witten genus. The ^Γ₂-genus, a new genus generated by a function based on Barnes’ double gamma function [5, 6], is also derived in a similar way to the ^Γ-genus. / Thesis (Ph.D.) - University of Adelaide, School of Mathematical Sciences, 2008

The thesis compiles my contributions to the tilting theory, mainly in the set- ting of a module category over a commutative ring. We give a classification of tilting classes over an arbitrary commutative ring in terms of data of geometrical flavor - certain filtrations of the Zariski spectrum. This extends and connects the results known previously for the noetherian case, and for Prüfer domains. Also, we show how the classes can be expressed using the local and Čech homology the- ory. For 1-tilting classes, we explicitly construct the associated tilting modules, generalizing constructions of Fuchs and Salce. Furthermore, over any commuta- tive ring we classify the silting classes and modules. Amongst other results, we exhibit new examples of cotilting classes, which are not dual to any tilting classes - a phenomenon specific to non-noetherian rings. 1

Orientador: Ermínia de Lourdes Campello Fanti / Banca: Denise de Mattos / Banca: Maria Gorete Carreira Andrade / Resumo: O obejtivo principal deste trabalho é estudar as obstruções "sing" que desempenham papel importante nas demonstrações de certos resultados sobre decomposição de grupos que satisfazem certas hipóteses de dualidade apresentados em [16] e [17], em particular, sobre decomposição de um grupo G adapatada a uma família S de subgrupos de G com (G,S) um par de dualidade de Poincaré. Alguns invariantes cohomológicos e certos resultados envolvendo tais invariantes, decomposição de grupos e/ou grupos e pares de dualidade são também apresentados. / Abstract: The main objective of this work to study the obstructions "sing" which play an important role in demonstrating certain results on the splittings of groups that satisfy certain hypotheses of duality presented in [16] and [17], in particular, the decomposition of a group G adapted to a family S of subgroups of G with (G,S) a Poincaré duality pair. Some cohomological invariants and certain results involving such invariants, a splittings of groups and/or groups and pairs of duality are also presented. / Mestre

O caso finito de teorias topológicas de 1-gauge, quando nenhuma simetria global está presente, é bastante bem compreendido e classificado. Nos últimos anos, as tentativas de generalizar as teorias de 1-gauge através das chamadas teorias de 2-gauge abriram a porta para novos modelos interessantes e novas fases topológicas, as quais não são descritas pelos esquemas de classificação anteriores. Nesta tese, vamos além da construção de 2-gauge, e consideramos uma classe de modelos que vivem em maiores dimensões. Esses modelos estão inseridos em uma estrutura de complexos de cadeia de grupos abelianos, forçando a generalizar o conceito usual de configurações de gauge. A vantagem de tal abordagem é que, a ordem topológica fica manifestamente explcita. Isto é feito em ter- mos de uma cohomologia com coeficientes em um complexo de cadeia finita. Além disso, mostramos que a degenerescência do estado fundamental suporta um conjunto conve- niente de números quânticos que indexam os estados e que, além, foram completamente caracterizados. Consequentemente, nós também mostramos que muitos dos exemplos abelianos de teorias de 1 -gauge 2-gauge são recuperados como casos especiais desta construção. / The finite case of 1-gauge topological theories, when no global symmetries are present, is fairly well understood and classified. In recent years, attempts to generalize the latter situation through the so called 2-gauge theories have opened the door to interesting new models and new topological phases, not described by the previous schemes of classifica- tion. In this paper we go even beyond the 2-gauge construction by considering a class of models that live in arbitrary higher dimensions. These models are embedded in a structure of chain complexes of abelian groups, forcing to generalize the usual notion of gauge configurations. The advantage of such an approach is that, the topological order is explicitly manifest when the ground state space of these models is described. This is done in terms of a cohomology with coefficients in a finite chain complex. Furthermore, we show that the ground state degeneracy underpins a convenient set of quantum num- bers that label the states and that have been completely characterized. We also show that abelian examples of 1-gauge 2-gauge theories are recovered as special cases of this construction.

Bartsch (BARTSCH, 1993) introduziu uma teoria de índice cohomológico, conhecida como o length, para G-espaços, no qual G é um grupo de Lie compacto. Apresentamos o cálculo do length de G-espaços os quais são esferas de cohomologia e G = (Z2)k, (Zp)k ou (S1)k, k &ge; 1. Como consequências, obtemos um teorema de Borsuk-Ulam neste contexto e damos condições suficientes para a existência de aplicações G-equivariantes entre uma esfera de cohomologia e uma esfera de representação quando G = (Zp)<sup<k. Também, uma versão Bourgin-Yang do teorema de Borsuk-Ulam é apresentada. Como segunda parte desta tese, uma nova definição do grafo de Reeb R( f) de uma função suave f : MR com pontos críticos isolados, como um subcomplexo de M é dada. Para isto, um complexo 1-dimensional &Gamma; (f ) mergulhado em M e equivalente por homotopia a R( f ) é construído. Como consequência, mostramos que para toda função f sobre uma variedade com grupo fundamental finito, o grafo de Reeb de f é uma árvore. Se &pi;1(M) é um grupo abeliano, ou mais geralmente, um grupo amenable1, então R( f ) conterá no máximo um laço. Finalmente, é provado que o número de laços do grafo de Reeb de toda função sobre uma superfície Mg é estimado superiormente por g, o genus de Mg. Os resultados desta segunda parte estão publicados em (KALUBA; MARZANTOWICZ; SILVA, 2015). / Bartsch (BARTSCH, 1993) introduced a numerical cohomological index theory, known as the length, for G-spaces, where G is a compact Lie group. We present the length of G-spaces which are cohomology spheres and G = (Z2)k, (Zp)k or (S1)k, k &ge; 1. As consequences, we obtain a Borsuk-Ulam theorem in this context and we give a sucient condition for the existence of G-maps between a cohomological sphere and a representation sphere when G = (Zp)k. Also, a Bourgin-Yang version of the Borsuk-Ulam theorem is presented. As a second part of this thesis, a new definition of the Reeb graph R( f ) of a smooth function f : M &rarr; R with isolated critical points as a subcomplex of M is given. For that, a 1-dimensional complex &Gamma; ( f ) embedded into M and homotopy equivalent to R( f ) is constructed. As consequence it is shown that for every function f on a manifold with finite fundamental group, the Reeb graph of f is a tree. If &pi; 1 (M) is an abelian group, or more generally, an amenable group2, then R( f ) contais at most one loop. Finally, it is proved that the number of loops of the Reeb graph of every function on a surface Mg is estimated from above by g, the genus of Mg. The results of this second part is published in (KALUBA; MARZANTOWICZ; SILVA, 2015).

Neste trabalho, estudamos a ação dos grupos split metacíclicos \'D IND. (2h+1) POT. 2 nas esferas. Encontramos uma região fundamental dos espaços quocientes, chamados de Formas Espaciais Esféricas Metacíclicas, que foi utilizada para construirmos um conveniente complexo de cadeias destas formas com o qual calculamos o anel de cohomologia e a torção de Reidemeister. Obtivemos também uma relação entre as diferentes torções encontradas / In this work, we study the action of the split metacyclic groups \'D IND. (2h+1) POT. 2 on the spheres. We find a fundamental domain of the quotient spaces, called Metacyclic Spherical Space Forms. Through this region we have built a convenient chain complex of these spaces and we used it to calculate their cohomology ring and Reidemeister torsion. We obtained also a relation between the different torsions found