First introduced by Forman in 1998, discrete Morse theory has become a standard tool in topological combinatorics. The main idea of discrete Morse theory is to pair cells in a cellular complex in a manner that permits cancellation via elementary collapses, reducing the complex under consideration to a homotopy equivalent complex with fewer cells. In chapter 1, we introduce the relevant background for discrete Morse theory. In chapter 2, we define a discrete Morse matching for a family of independence complexes that generalize the matching complexes of suitable "small" grid graphs. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups. Furthermore, we determine the Euler characteristic for these complexes and prove that several of their homology groups are non-zero. In chapter 3, we introduce the notion of a homomorphism complex for partially ordered sets, placing particular emphasis on maps between chain posets and the Boolean algebras. We extend the notion of folding from general graph homomorphism complexes to the poset case, and we define an iterative discrete Morse matching for these Boolean complexes. We provide formulas for enumerating the number of critical cells arising from this matching as well as for the Euler characteristic. We end with a conjecture on the optimality of our matching derived from connections to 3-equal manifolds

This thesis consists of three parts. In the first part we look at Hopf algebras. We classify pointed rank one Hopf algebras over fields of prime characteristic which are generated as algebras by the first term of the coradical filtration. These Hopf algebras were classified by Radford and Krop for fields of characteristic zero. We obtain three types of Hopf algebras presented by generators and relations. The third type is new and has not previously appeared in literature. The second part of this thesis deals with Auslander-Reiten theory of finitedimensional algebras over fields. We consider G-transitive algebras and develop necessary conditions for them to have Auslander-Reiten components with Euclidean tree class. Thereby a result in [F3, 4.6] is corrected and generalized. We apply these results to G-transitive blocks of the universal enveloping algebras of restricted p-Lie algebras. Finally we deduce a condition for a smash product of a local basic algebra Λ with a commutative semi-simple group algebra to have components with Euclidean tree class, in terms of the components of the Auslander-Reiten quiver of Λ. In the last part we introduce and analyze Auslander-Reiten components for the bounded derived category of a finite-dimensional algebra. We classify derived categories whose Auslander-Reiten quiver has either a finite stable component or a stable component with finite Dynkin tree class or a bounded stable component. Their Auslander-Reiten quiver is determined. We use these results to show that certain algebras are piecewise hereditary. Also a necessary condition for the existence of components of Euclidean tree class is deduced. We determine components that contain shift periodic complexes.

In this dissertation the Bays-Lambossy theorem is generalized to GF(pn). The Bays-Lambossy theorem states that if two Cayley objects each based on GF(p) are isomorphic then they are isomorphic by a multiplier map. We use this characterization to show that under certain conditions two isomorphic Cayley objects over GF(pn) must be isomorphic by a function on GF(pn) of a particular type.

In this thesis we describe an algorithm and implement a construction of a projective resolution and minimal projective resolution in the representation the- ory of finite-dimensional algebras. In this thesis finite-dimensional algebras are KQ /I where KQ is a path algebra and I is an admissible ideal. To implement the algorithm we use the package QPA [9] for GAP [2]. We use the theory of Gröbners basis of KQ-modules and the theory described in article Minimal Pro- jective Resolutions written by Green, Solberg a Zacharia [5]. First step is find a direct sum such that i∈Tn fn∗ i KQ = i∈Tn−1 fn−1 i KQ ∩ i∈Tn−2 fn−2 i I. Next important step to construct the minimal projective resolution is separate nontri- vial K-linear combinations in i∈Tn−1 fn−1 i I + i∈Tn fn i J from fn∗ i . The Modules of the minimal projective elements are i∈Tn (fn i KQ)/(fn i I). 1

Cette thèse est consacrée à l’étude de familles à un paramètre de coproduits sur lesfonctions symétriques et leurs analogues non commutatifs. On montre en introduisant une base appropriée qu’une famille à un paramètre d’algèbres de Hopf introduite par Foissy interpole entre l’algèbre de Faà di Bruno et l’algèbre de Farahat-Higman. Les constantes de structure dans cette base sont des déformations des constantes de structures de l’algèbre de Farahat-Higman dans la base des projections des classes de conjugaison. On obtient pour ces constantes de structure déformées un analogue des formules de Macdonald. Foissy a également introduit un analogue non commutatif de cette famille d’algèbres de Hopf, qui interpole entre l’algèbre de Hopf des fonctions symétriques non commutatives et l’algèbre de Faà di Bruno non commutative. Après avoir donné une nouvelle interprétation combinatoire de la formule de Brouder-Frabetti-Krattenthaler pour l’antipode de l’algèbre de Faà di Bruno non commutative, qui est une forme de la formule d’inversion de Lagrange non commutative, on donne une déformation à un paramètre de cette formule. Plus précisément, on obtient une formule explicite pour l’antipode de la déformation de Foissy dans sa version non commutative. On donne aussi d’autres propriétés combinatoires de l’algèbre de Faà di Bruno non commutative et d’autres résultats permettant d’étudier les deux familles d’algèbre de Hopf de Foissy. Ainsi, on généralise par exemple d’autres formes de la formule d’inversion de Lagrange non commutative en donnant d’autres formules qui calculent l’antipode de la deuxième déformation. / This thesis is devoted to study one-parameter families of coproducts on symmetric functionsand their noncommutative analogues. We show, by introducing an appropriate basis,that a one-parameter family of Hopf algebras introduced by Foissy interpolates between theFa`a di Bruno algebra and the Farahat-Higman algebra. The structure constants in this basisare deformations of the structure constants of the Farahat-Higman algebra in the basis ofprojections of conjugacy classes. For these deformed structure constants, we obtain an analogueof the Macdonald formulas.Foissy has also introduced a noncommutative analogue of this family of Hopf algebras. Itinterpolates between the Hopf algebra of noncommutative symmetric functions and the noncommutativeFa`a di Bruno algebra. First, we give a new combinatorial interpretation ofthe Brouder-Frabetti-Krattenthaler formula for the antipode of the noncommutative Fa`a diBruno algebra, that is a form of the noncommutative Lagrange inversion formula. Then, wegive a one-parameter deformation of this formula. Namely, it is an explicit formula for theantipode of the noncommutative family.We also give other combinatorial properties of the noncommutative Fa`a di Bruno algebra,and other results about the families of Hopf algebras of Foissy. In this way, we generalize otherforms of the noncommutative Lagrange inversion formula. Namely, we give other formulasfor the antipode of the noncommutative family.

Doctor of Philosophy / Department of Mathematics / Zongzhu Lin / A representation of a quiver [Gamma] over a commutative ring R assigns an R-module to each vertex and an R-linear map to each arrow. In this dissertation, we consider R = k[t]/(t[superscript]n) and all R-free representations of [Gamma] which assign a free R-module to each vertex. The category, denoted by Rep[superscript]f[subscript] R([Gamma]), containing all such representations is not an abelian category, but rather an exact category. In this dissertation, we firstly study the Hall algebra of the category Rep[superscript]f[subscript] R([Gamma]), denote by [Eta](R[Gamma]), for a loop-free quiver [Gamma]. A geometric realization of the composition subalgebra of [Eta](R[Gamma]) is given under the framework of Lusztig's geometric setting. Moreover, the canonical basis and a monomial basis of this subalgebra are constructed by using perverse sheaves. This generalizes Lusztig's result about the geometric realization of quantum enveloping algebra. As a byproduct, the relation between this subalgebra and quantum generalized Kac-Moody algebras is obtained. If [Gamma] is a Jordan quiver, which is a quiver with one vertex and one loop, each representation in Rep[superscript]f[subscript] R([Gamma]), gives a matrix over R when we fix a basis of the free R-module. An interesting case arises when considering invertible matrices. It then turns out that one is dealing with representations of the group GL[subscript]m(k[t]/(t[superscript]n)). Character sheaf theory is a geometric character theory of algebraic groups. In this dissertation, we secondly construct character sheaves on GL[subscript]m(k[t]/(t[superscript]2)). Then we define an induction functor and restriction functor on these perverse sheaves.

<div>In the first part of this thesis, we study Rees algebras of modules. We investigate their Cohen-Macaulay property and their defining ideal, using <i>generic Bourbaki ideals</i>. These were introduced by Simis, Ulrich and Vasconcelos in [65], in order to characterize the Cohen-Macaulayness of Rees algebras of modules. Thanks to this technique, the problem is reduced to the case of Rees algebras of ideals. Our main results are the following.</div><div><br></div><div><div>In Chapters 3 and 4 we consider a finite module <i>E</i> over a Gorenstein local ring <i>R</i>. In Theorem 3.2.4 and Theorem 4.3.2, we give sufficient conditions for <i>E</i> to be of linear type, while Theorem 4.2.4 provides a sufficient condition for the Rees algebra <i>R(E)</i> of <i>E</i> to be Cohen-Macaulay. These results rely on properties of the residual intersections of a generic Bourbaki ideal <i>I</i> of<i> E</i>, and generalize previous work of Lin (see [46, 3.1 and 3.4]). In the case when <i>E</i> is an ideal, Theorem 4.2.4 had been previously proved independently by Johnson and Ulrich (see [39, 3.1]) and Goto, Nakamura and Nishida (see [20, 1.1 and 6.3]).</div></div><div><br></div><div><div>In Chapter 5, we consider a finite module <i>E</i> of projective dimension one over <i>k</i>[X₁, . . . , X_n]. Our main result, Theorem 5.2.6, describes the defining ideal of <i>R(E)</i>, under the assumption that the presentation matrix φ of <i>E</i> is <i>almost linear</i>, i.e. the entries of all but one column of φ are linear. This theorem extends to modules a known result of Boswell and Mukundan on the Rees algebra of almost linearly presented perfect ideals of height 2 (see [5, 5.3 and 5.7]).</div></div><div><br></div><div><div>The second part of this thesis studies the Cohen-Macaulay property of the special fiber ring<i> F(E)</i> of a module <i>E</i>. In Theorem 6.2.14, we prove that the generic Bourbaki ideals of Simis, Ulrich and Vasconcelos allow to reduce the problem to the case of fiber cones of ideals, similarly as for Rees algebras. We then provide sufficient conditions for <i>F(E)</i> to be Cohen-Macaulay. Our Theorems 6.2.15, 6.1.3 and 6.2.18 are module versions of results proved for the fiber cone of an ideal by Corso, Ghezzi, Polini and Ulrich (see [10, 3.1] and [10, 3.4]) and by Monta˜no (see [47, 4.8]), respectively.</div></div><div><br></div>

Orientador: Carina Alves / Banca: Eliris Cristina Rizziolli / Banca: Cristiane Alexandra Lázaro / Resumo: O presente trabalho mostra a importância da Álgebra Linear e em particular da Teoria de Matrizes, Determinantes e Sistemas Lineares para resolver problemas práticos e contextualizados. Mostramos aplicações em circuitos elétricos, no balanceamento de equações químicas, nos modelos aberto e fechado de Leontief, e no funcionamento do GPS. Ainda, foi aplicado um plano de aula para os alunos do segundo ano do Ensino Médio e apresentamos sugestões de exercícios de vestibulares sobre os tópicos estudados, para serem abordados em sala de aula / Abstract: The present work shows the importance of Linear Algebra and in particular of Matrix Theory, Determinants and Linear Systems to solve practical and contextualized problems. We show applications in electrical circuits, in the balancing of chemical equations, in the open and closed models of Leontief, and in the operation of GPS. Also, a lesson plan was applied to the students of the second year of high school and we presented suggestions of exercises of vestibular about the topics studied, to be approached in the classroom / Mestre

Nesta tese estudamos dois problemas em digrafos: um problema de empacotamento e um problema de contagem. Estudamos o problema de empacotamento máximo de arborescências no digrafo aleatório D(n,p), onde cada possvel arco é inserido aleatoriamente ao acaso com probabilidade p = p(n). Denote por (D(n,p)) o maior inteiro possvel 0 tal que, para todo 0 l , temos ^(l-1)_i=0 (l-i)|{v in d^in(v) = i}| Provamos que a quantidade máxima de arborescências em D(n,p) é (D(n,p)) assintoticamente quase certamente. Nós também mostramos estimativas justas para (D(n, p)) para todo p [0, 1]. As principais ferramentas que utilizamos são relacionadas a propriedades de expansão do D(n, p), o comportamento do grau de entrada do digrafo aleatório e um resultado clássico de Frank que serve como ligação entre subpartições em digrafos e a quantidade de arborescências. Para o problema de contagem, estudamos a densidade de subtorneios fortemente conexos com 5 vértices em torneios grandes. Determinamos a densidade assintótica máxima para 5 torneios bem como as famlias assintóticas extremais de cada torneios. Como subproduto deste trabalho caracterizamos torneios que são blow-ups recursivos de um circuito orientado com 3 vértices como torneios que probem torneios especficos de tamanho 5. Como principal ferramenta para esse problema utilizados a teoria de álgebra de flags e configurações combinatórias obtidas através do método semidefinido. / In this thesis we study two problems dealing with digraphs: a packing problem and a counting problem. We study the problem of packing the maximum number of arborescences in the random digraph D(n,p), where each possible arc is included uniformly at random with probability p = p(n). Let (D(n,p)) denote the largest integer 0 such that, for all 0 l , we have ^(l-1)_i=0 (l-i)|{v in d^in(v) = i}|. We show that the maximum number of arc-disjoint arborescences in D(n, p) is (D(n, p)) asymptotically almost surely. We also give tight estimates for (D(n, p)) for every p [0, 1]. The main tools that we used were expansion properties of random digraphs, the behavior of in-degree of random digraphs and a classic result by Frank relating subpartitions and number of arborescences. For the counting problem, we study the density of fixed strongly connected subtournaments on 5 vertices in large tournaments. We determine the maximum density asymptotically for five tournaments as well as unique extremal sequences for each tournament. As a byproduct of this study we also characterize tournaments that are recursive blow-ups of a 3-cycle as tournaments that avoid three specific tournaments of size 5. We use the theory of flag algebras as a main tool for this problem and combinatorial settings obtained from semidefinite method.

Este trabalho é resultado de uma série de estudos feitos com o objetivo de investigar a influ- ência de uma álgebra fermiônica deformada nos mecanismos de quebra e restauração da si- metria quiral no modelo de Nambu-Jona-Lasinio. Esse modelo foi escolhido pois é um modelo efetivo para a QCD que mostra com razoável facilidade uma de suas principais características, a quebra dinâmica da simetria quiral e a geração de uma massa dinâmica para os quarks. O trabalho pode ser dividido essencialmente em três partes. A primeira consiste em um estudo inicial onde a deformação foi implementada diretamente na equação de gap do modelo NJL através de um cálculo deformado do condensado. Na segunda parte, o mesmo procedimento de deformação foi aplicado na Hamiltoniana do modelo permitindo que seus efeitos se propagem nos cálculos até uma nova equação de gap. Uma extensão natural do trabalho e um estudo do modelo deformado a temperatura finita, onde a coexistência da temperatura e da deformação algébrica pode ser investigada. Esse estudo e a terceira parte do trabalho / This work is a result of a serie of studies where the aim is to investigate the influence of a de- formed fermionic algebra in the mechanisms of breaking and restoration of chiral symmetry in the Nambu-Jona-Lasinio model. This model was chosen because it is an effective model for QCD which shows with reasonable facility one of its main features, the dynamical breaking of chiral symmetry and the generation of a dynamical mass for the quarks. The work can be divided essentialy in three parts. The first consists in a initial study where the deformation was implemented directly in the gap equation of the NJL model through a defor- med calculation of the condensates. In second part, the same deformation procedure was applied in the Hamiltonian of the model allowing their effects to be propagated in the calcula- tions till a new gap equation. A natural extension of the work is a study of the deformed model at finite temperature, where the coexistence of temperature and algebric deformation can be investigated. This study is the third part of the work.