Per citar aquest document: http://ddd.uab.cat/record/38587
Alguns punts d'àlgebra homotopica / Agustí Roig Martí ; Pere Pascual i Gainza
Roig Martí, Agustí
Pascual i Gainza, Pere, dir. (Universitat Politècnica de Catalunya. Departament de Matemàtiques)

Publicació: Bellaterra : Universitat Autònoma de Barcelona, 2005
Resum: L'any 1967, D. Quillen introduí la noció de categoria de models, estructura adaptada a l'estudi de l'àlgebra homotòpica. Una estructura de categoria de models en una categoria donada consisteix en l'elecció de tres classes de morfismes distingits, sotmeses a uns certs axiomes, que permeten definir una teoria d'homotopia en la categoria i representacions concretes de la categoria homotòpica. Així mateix, una estructura de categoria de models dóna criteris per a l'existència i el càlcul dels functors derivats de functors definits entre categories que posseixen la dita estructura. Aquest és el context de la memòria. Pel que fa a les categories de models, s'hi demostra que categories habituals de l'àlgebra homològica diferencial i de l'homotopia racional, com són la de mòduls dg a coeficients en una àlgebra dgc, o la d'extensions d'una àlgebra dgc fixada, tenen una tal estructura. Com a aplicació, es demostra l'existència dels functors derivats dels functors "producte tensorial" i "indescomponibles" (cap. II). Un tipus de models particulars són els models minimals, introduïts a l'homotopia racional per Sullivan. En la memòria es proposa una definició categòrica dels mateixos, que comprèn altres models "minimals" de la literatura (resolucions minimals de Tate-Jozefiak, per exemple). Així mateix es demostra l'existència de tals models en les categories de complexos de cocadenes a coeficients en un anell local i en la de mòduls dg a coeficients en una àlgebra dgc (cap. IV). El punt central de la memòria és l'estudi de les estructures de categories de models i dels models minimals en les categories bifi-brades, la definició de les quals és deguda a Grothendieck. Una categoria bifibrada pot pensar-se com una família de categories parame-tritzada per una altra categoria. Així, per exemple, les categories de mòduls dg a coeficients en una àlgebra dgc qualsevol o la categoria de morfismes d'àlgebres dgc són categories bifibrades. En la memòria es demostra que tals categories admeten una estructura natural de categoria de models i es caracteritzen els seus models minimals (cap. III i IV). Entre els diversos tipus d'homotopia racional, Sullivan distingeix els formals, com aquells determinats completament per l'àlgebra de cohomologia. Aquesta noció prové d'una obstrucció homotòpica a l'existència d'estructures kälherianes sobre una varietat. En la memòria, es dóna una definició categòrica de formalitat. Aplicada a les categories bifibrades anteriors, permet generalitzar el resultat de Sullivan: la formalitat dels morfismes d'àlgebres dgc és independent del cos base (cap. IV, teorema V). L'últim capítol està dedicat al tor diferencial, functor derivat del producte tensorial de mòduls dg i àlgebres dgc. Els principals resultats són la comparació de les diferents defincions del tor diferencial i la compatibilitat amb els functors d'oblit i dels indescomponibles (cap. V).
Resum: On 1967 D. Quillen introduced the notion of model category, a structure adapted for the study of homotopical algebra. A model category structure in a given category consists in the election of three types of distinguished morphisms, subject to certain axioms, which allow to define an homotopy theory in the category and specific representations of the homotopy category. Also, a structure of model category provides with criteria for the existence and calculation of derived functors of functors defined among categories which share the above mentioned structure. This is the context to this report. Regarding the model categories, we prove here that, usual categories in diferential homological algebra and in rational homotopy, such as the category of dg-modules over a dgc-algebra, or the category of extensions of a fixed dgc-algebra have such a structure. As an application, we prove the existence of the derived functors of «tensorial product» and «indecomposables» (chapter II). A particular type of models are minimal models, introduced in rational homotopyby Sullivan. In this report we suggest a categorical definition of these models, which includes other minimal models already written about (as, for example Tate-Jozefiakminimal resolutions). Also, we prove the existence of these models in the category of cochain complexes over a local ring and in the category of dg-modules over adgc-algebra. The central theme in this report is the study of the structures of model categories and of minimal models in bifibred categories. We owe the definition of these to Grothendieck. We can consider a bifibred category as a family of categories parametrized by another category. For example, the category of dg-modules over anydgc-algebra or the category of morphisms of dgc-algebras are bifibred categories. In the report we prove that such categories admit a natural structure of model category and we characterize their minimal models (chapters III and IV). Among the diferent types of rational homotopy , Sullivan points out the formals as the ones being determinated entirely by the cohomology algebra. This notion derives from the existence of an homotopic obstruction to the existence of k¨alherianstructures on a variety. In this report we give a categorical definition of formality. This definition, applied to the above mentioned bifibred categories, allows a generalization of the results of Sullivan: formality of dgc-algebra morphisms does not depend on theground field (chapter IV, theoreme V). The last chapter centres on the diferential tor, the derived functor of tensorial product of dg-modules and dgc-algebras. The main results are the comparison between the diferent definitions of this diferential tor and the compatibility with the forgetful functor and the indecomposable functor (chapter V).
Nota: Bibliografia
Nota: Tesi doctoral - Universitat Autònoma de Barcelona, Facultat de Ciències, Departament de Matemàtiques, 1991
Drets: ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Llengua: Català.
Document: Tesis i dissertacions electròniques ; doctoralThesis
Matèria: Homotopia ; Categories (Matemàtica)
ISBN: 8468945919

Adreça alternativa:: http://hdl.handle.net/10803/3088


179 p, 909.8 KB

El registre apareix a les col·leccions:
Documents de recerca > Tesis doctorals

 Registre creat el 2009-05-07, darrera modificació el 2016-06-04



   Favorit i Compartir