<p>In this thesis we try to construct a stability condition on the quintic threefold. We have not succeeded in proving the existence of such a stability condition. However we have constructed a stability condition on a quotient category of projective space that approximates the quintic. We conjecture the existence of a stability condition on the quintic threefold generated by spherical objects and explore some consequences.</p> / Dissertation

No description available.

Apresentamos neste trabalho uma definição de complexidade na categoria derivada de complexos (limitados superiormente) de módulos sobre uma k-álgebra de dimensão finita. Um dos resultados que conseguimos foi uma relação entre a complexidade de objetos indecomponíveis e a noção de dimensão global forte. Mais especificamente, mostramos que a existência de um objeto indecomponível na categoria derivada limitada superiormente com complexidade não nula é condição suficiente para que a respectiva álgebra tenha dimensão global forte infinita. Também investigamos se existe uma relação entre as dimensões global e global forte da classe das álgebras shod (Coelho e Lanzilotta, 2009). Fomos motivados pela caracterização da classe das álgebras quase inclinadas (Happel, Reiten e Smalo, 1996) em termos da sua dimensão global forte, dada por D. Happel e D. Zacharia (2008), e pelo fato das álgebras shod serem uma generalização das álgebras quase inclinadas. Nossa conclusão foi que não existe, em geral, uma caracterização das álgebras shod em termos de sua dimensão global forte. Isto é, mostramos que para cada inteiro d > 2 existe uma álgebra shod estrita cuja dimensão global forte é igual a d. / We introduce in this thesis a definition of complexity in the derived category of bounded above complexes of modules over a finite dimensional k-algebra. One of our result shows a relationship between the complexity of indecomposable objects and the notion of strong global dimension. More specifically, we prove that the existence of an indecomposable object in the category derived bounded above whose complexity is not zero is a sufficient condition for corresponding algebra being of infinite strong global dimension. We also investigate the existence of a relationship between the global dimension and the strong global dimension of shod algebras (Coelho and Lanzilotta, 1999). Our motivation came from characterization of quasitilted algebras (Happel, Reiten and Smalo, 1996) by its strong global dimension, given by D. Happel and D. Zacharia (2008), and from the fact that shod algebras are a generalization of quasitilted algebras. Our conclusion was that there is not in general a characterization of shod algebras in terms of its strong global dimension. This conclusion comes from the fact that we showed that for each integer d > 2 there exists a strictly shod algebra whose strong global dimension is d.

Apresentamos neste trabalho uma definição de complexidade na categoria derivada de complexos (limitados superiormente) de módulos sobre uma k-álgebra de dimensão finita. Um dos resultados que conseguimos foi uma relação entre a complexidade de objetos indecomponíveis e a noção de dimensão global forte. Mais especificamente, mostramos que a existência de um objeto indecomponível na categoria derivada limitada superiormente com complexidade não nula é condição suficiente para que a respectiva álgebra tenha dimensão global forte infinita. Também investigamos se existe uma relação entre as dimensões global e global forte da classe das álgebras shod (Coelho e Lanzilotta, 2009). Fomos motivados pela caracterização da classe das álgebras quase inclinadas (Happel, Reiten e Smalo, 1996) em termos da sua dimensão global forte, dada por D. Happel e D. Zacharia (2008), e pelo fato das álgebras shod serem uma generalização das álgebras quase inclinadas. Nossa conclusão foi que não existe, em geral, uma caracterização das álgebras shod em termos de sua dimensão global forte. Isto é, mostramos que para cada inteiro d > 2 existe uma álgebra shod estrita cuja dimensão global forte é igual a d. / We introduce in this thesis a definition of complexity in the derived category of bounded above complexes of modules over a finite dimensional k-algebra. One of our result shows a relationship between the complexity of indecomposable objects and the notion of strong global dimension. More specifically, we prove that the existence of an indecomposable object in the category derived bounded above whose complexity is not zero is a sufficient condition for corresponding algebra being of infinite strong global dimension. We also investigate the existence of a relationship between the global dimension and the strong global dimension of shod algebras (Coelho and Lanzilotta, 1999). Our motivation came from characterization of quasitilted algebras (Happel, Reiten and Smalo, 1996) by its strong global dimension, given by D. Happel and D. Zacharia (2008), and from the fact that shod algebras are a generalization of quasitilted algebras. Our conclusion was that there is not in general a characterization of shod algebras in terms of its strong global dimension. This conclusion comes from the fact that we showed that for each integer d > 2 there exists a strictly shod algebra whose strong global dimension is d.

Apresentamos uma generalização para as classes das álgebras quase inclinadas e quase hereditárias, que chamamos de álgebras m-quase inclinadas e m-quase hereditárias. Para estas últimas, pode-se obter uma trissecção de suas categorias de módulos determinada pelas subcategorias L^m = {X indecomponível; dimensão projetiva de Y é menor ou igual a m, para cada antecessor Y de X} e R = {X indecomponível; dimensão injetiva de Y é menor ou igual a 1, para cada sucessor Y de X}, além de ser possível mostrar que se existe um módulo E_m de forma a obtermos a igualdade de conjuntos {X módulo; Hom(E_m, \\tau X) = 0} = {X módulo; dimensão projetiva de X é menor ou igual a m}, então E_m é soma de somandos de módulos em R e todo caminho de indecomponíveis com início em um somando E de E_m e final em um módulo projetivo pode ser refinado a um caminho de morfismos irredutíveis, que é ainda seccional. Como consequência desse resultado obtém-se que as álgebras m-quase hereditárias são caracterizadas pelo fato de que todos seus módulos projetivos pertencem a L^m. É possível verificar que toda álgebra m-quase inclinada de dimensão global m+1 é m-quase hereditária e, consequentemente, que toda álgebra hereditária por partes de tipo mod H, para alguma álgebra hereditária H, com dimensão global m+1 é m-quase hereditária. Apresentamos ainda um exemplo de uma álgebra 2-quase hereditária que não é 2-quase inclinada, não sendo válida, portanto, a recíproca do resultado acima. Buscamos, dessa forma, estabelecer condições que quando assumidas sobre uma álgebra 2-quase hereditária possam garantir que esta é 2-quase inclinada e, em particular, hereditária por partes. Recorremos, para isso, à aplicação obtida por meio de uma adaptação de resultados de Happel, Reiten e Smalo, que sob certas hipóteses permite concluir que uma álgebra é álgebra de endomorfismos de um objeto inclinante. Como resultado, mostra-se que uma álgebra 2-quase hereditária com certas outras propriedades e que satisfaz as condições (H1), (H2) e (H3) é 2-quase inclinada. / We present a generalization of the classes of quasitilted and almost hereditary algebras, which we call m-quasitilted and m-almost hereditary algebras. For the latter one, we can obtain a trisection of their module categories determined by the following subcategories L^m = {X indecomposable; projective dimension of Y is at most m for each predecessor Y of X} and R = {X indecomposable; injective dimension of Y is at most 1 for each successor Y of X}. Moreover, if there exists a module E_m such that {X; Hom(E_m, \\tau X) = 0} = {X; projective dimension of X is at most m} then E_m is a sum of direct summands of modules in R and any path of indecomposable modules starting in a module E which is a direct summand of E_m and ending in a projective module can be refined to a path of irreducible morphisms, which is also sectional. This result on paths allow us to obtain a characterization for m-almost hereditary algebras in terms of their projective modules. It is also possible to prove that any m-quasitilted algebra with global dimension m+1 is a m-almost hereditary algebra and as a consequence we can obtain that any piecewise hereditary algebra of type mod H, for some hereditary algebra H, and with global dimension m+1 is m-almost hereditary. We present an example of a 2-almost hereditary which is not 2-quasitilted, which entails that the converse of the above mentioned result does not hold true. Thus we seek for conditions which can ensure that a given 2-almost hereditary is 2-quasitilted and, in particular, a piecewise hereditary algebra. For this, we use the correspondence obtained as an adaptation of results of Happel, Reiten and Smalo, which under certain assumptions shows that an algebra is an endomorphism algebra of a tilting object. It is shown that a 2-almost hereditary algebra with some other properties and satisfying (H1), (H2) and (H3) is 2-quasitilted.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is to present a simpli cation of the proof of the following result obtained rst by Happel in [3]: If A is a nite-dimensional algebra over a eld algebraically closed K, then there is a triangulated, full and faithful functor of triangulated categories H : Db(modA) ! modA^, where A^ is the repetitive algebra obtained from A, which is also dense if A is of nite global dimension. We begin with a succinct presentation of the categorical language, approaching in general terms on the localization of categories, triangulated categories and their localizations, and nally derived categories, which are localized and triangulated categories. We also introduce the stable category of modules of a repetitive algebra A^. In the last chapter, we demonstrate the main result with the help of a result found in [8], in addition to the previously mentioned concepts. / O objetivo dessa disserta c~ao e trazer uma simpli ca c~ao da demonstra c~ao do seguinte resultado obtido primeiramente por Happel [3]: Se A e uma K- algebra de dimens~ao nita, ent~ao existe um funtor pleno, el e triangulado H : Db(modA) ! modA^, onde A^ e a a lgebra repetitiva obtida de A, que e tamb em denso se A e de dimensa~o global nita. Iniciamos com uma apresenta c~ao sucinta da linguagem categ orica, abordando de maneira geral sobre localiza c~ao de categorias, categorias trianguladas e suas localiza c~oes, e nalmente categorias derivadas, que s~ao categorias localizadas e trianguladas. Tamb em introduzimos a categoria est avel de m odulos da algebra repetitiva de A. No ultimo cap tulo, demonstramos o resultado principal com o aux lio de um resultado encontrado em [8], al em dos conceitos citados anteriormente. / São Cristóvão, SE

Apresentamos uma generalização para as classes das álgebras quase inclinadas e quase hereditárias, que chamamos de álgebras m-quase inclinadas e m-quase hereditárias. Para estas últimas, pode-se obter uma trissecção de suas categorias de módulos determinada pelas subcategorias L^m = {X indecomponível; dimensão projetiva de Y é menor ou igual a m, para cada antecessor Y de X} e R = {X indecomponível; dimensão injetiva de Y é menor ou igual a 1, para cada sucessor Y de X}, além de ser possível mostrar que se existe um módulo E_m de forma a obtermos a igualdade de conjuntos {X módulo; Hom(E_m, \\tau X) = 0} = {X módulo; dimensão projetiva de X é menor ou igual a m}, então E_m é soma de somandos de módulos em R e todo caminho de indecomponíveis com início em um somando E de E_m e final em um módulo projetivo pode ser refinado a um caminho de morfismos irredutíveis, que é ainda seccional. Como consequência desse resultado obtém-se que as álgebras m-quase hereditárias são caracterizadas pelo fato de que todos seus módulos projetivos pertencem a L^m. É possível verificar que toda álgebra m-quase inclinada de dimensão global m+1 é m-quase hereditária e, consequentemente, que toda álgebra hereditária por partes de tipo mod H, para alguma álgebra hereditária H, com dimensão global m+1 é m-quase hereditária. Apresentamos ainda um exemplo de uma álgebra 2-quase hereditária que não é 2-quase inclinada, não sendo válida, portanto, a recíproca do resultado acima. Buscamos, dessa forma, estabelecer condições que quando assumidas sobre uma álgebra 2-quase hereditária possam garantir que esta é 2-quase inclinada e, em particular, hereditária por partes. Recorremos, para isso, à aplicação obtida por meio de uma adaptação de resultados de Happel, Reiten e Smalo, que sob certas hipóteses permite concluir que uma álgebra é álgebra de endomorfismos de um objeto inclinante. Como resultado, mostra-se que uma álgebra 2-quase hereditária com certas outras propriedades e que satisfaz as condições (H1), (H2) e (H3) é 2-quase inclinada. / We present a generalization of the classes of quasitilted and almost hereditary algebras, which we call m-quasitilted and m-almost hereditary algebras. For the latter one, we can obtain a trisection of their module categories determined by the following subcategories L^m = {X indecomposable; projective dimension of Y is at most m for each predecessor Y of X} and R = {X indecomposable; injective dimension of Y is at most 1 for each successor Y of X}. Moreover, if there exists a module E_m such that {X; Hom(E_m, \\tau X) = 0} = {X; projective dimension of X is at most m} then E_m is a sum of direct summands of modules in R and any path of indecomposable modules starting in a module E which is a direct summand of E_m and ending in a projective module can be refined to a path of irreducible morphisms, which is also sectional. This result on paths allow us to obtain a characterization for m-almost hereditary algebras in terms of their projective modules. It is also possible to prove that any m-quasitilted algebra with global dimension m+1 is a m-almost hereditary algebra and as a consequence we can obtain that any piecewise hereditary algebra of type mod H, for some hereditary algebra H, and with global dimension m+1 is m-almost hereditary. We present an example of a 2-almost hereditary which is not 2-quasitilted, which entails that the converse of the above mentioned result does not hold true. Thus we seek for conditions which can ensure that a given 2-almost hereditary is 2-quasitilted and, in particular, a piecewise hereditary algebra. For this, we use the correspondence obtained as an adaptation of results of Happel, Reiten and Smalo, which under certain assumptions shows that an algebra is an endomorphism algebra of a tilting object. It is shown that a 2-almost hereditary algebra with some other properties and satisfying (H1), (H2) and (H3) is 2-quasitilted.

The Grothendieck group is an interesting invariant of an exact category. It induces a decategorication from the category of essentially small exact categories (whose morphisms are exact functors) to the category of abelian groups. Similarly, the triangulated Grothendieck group induces a decategorication from the category of essentially small triangulated categories (whose morphisms are triangulated functors) to the category of abelian groups. In the case of an essentially small abelian category, its Grothendieck group and the triangulated Grothendieck group of its bounded derived category are isomorphic as groups via a natural map. Because of this, homological algebra and derived functors become useful in surprising ways. This thesis is an expository work that provides an overview of the theory of Grothendieck groups with respect to these decategorications.

Made available in DSpace on 2015-03-26T13:45:37Z (GMT). No. of bitstreams: 1 texto completo.pdf: 446590 bytes, checksum: 8c515244f3fa52b730a12770059cccea (MD5) Previous issue date: 2014-02-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this paper, we prove the existence of Auslander-Reiten triangles (TAR) for compact objects in triangulated categories compactly generated. The prove presented is an application of the theorem of Brown representability in derived categories for compact complex, ie, given Z be a compact and indecomposable complex, we show that there is a Auslander-Reiten triangle X->U->Y->v->Z->w->TX in K-b(^) which is equivalent to D(^), where ^ is a finite-dimensional k-algebra over an algebraically closed field. Furthermore, we have that a triangle Auslander-Reiten wihch start with the projective resolution of a indecomposable and non-injective module T-¹pM->alfa->Y->Beta->(pDM)*->y->pM induces an Auslander-Reiten sequence(SAR) 0->M->alfa¹->Cok¹ (Y)-> beta¹->Tr DM->0. How Mod(^) and D(^) are Krull-Schmidt, and classes of indecomposable objects and generators of irreducible morphisms of these categories occur in the SAR's and TAR's, respectively, these results provide us with a skillful tool to know the structures Mod(^) and D(^) of k-algebras. Moreover, we present examples using the representation theory of quivers of an algebra of paths. / Neste trabalho, apresentamos uma prova da existência de triângulos de Auslander-Reiten(TAR) para objetos compactos em categorias trianguladas compactamente geradas. A prova apresentada é uma aplicação do Teorema da Representabilidade de Brown em categorias derivadas para complexos compactos, ou seja, dado Z um complexo compacto e indecomponíveL mostramos que existe um triângulo X->U->Y->v->Z->w->TX de Auslander-Reiten em K-b(^) que é equivalente à Db(^), onde ^ é uma k-álgebra de dimensão finita sobre um corpo algébricamente fechado. Além disso, temos que um triângulo de Auslander-Reiten que começa com a resolução projetiva de um módulo indecomponível não-injetivo T-¹pM->alfa->Y->Beta->(pDM)*->y->pM induz uma sequência de Auslander-Reiten(SAR) 0->M->alfa¹->Cok¹ (Y)-> beta¹->Tr DM->0. Como MOd(^) e D(^) são Krull-Remak-Schmidt, e as classes de objetos inde- componíveis e os geradores de morfismos irredutíveis destas categorias ocorrem nas SAR's e nos TAR's, respectivamente, estes resultados nos fornecem uma hábil ferramenta para conhecer as estruturas de Mod(^) e D(^) de k-álgebras. Além disso, apresentamos exemplos utilizando a teoria de representação de quivers de uma álgebra de caminhos.