Search for dissertations about: "Homological algebra"
Showing result 6 - 10 of 12 swedish dissertations containing the words Homological algebra.
-
6. Formalizing Refinements and Constructive Algebra in Type Theory
Abstract : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. READ MORE
-
7. Aspects of vacuum moduli in string theory
Abstract : In this thesis we explore geometric aspects of the space of vacua in supersymmetric string compactifications. More specifically, we will look at heterotic strings compactified on Calabi-Yau manifolds and, separately, G2 structure manifolds. READ MORE
-
8. Minimal models in algebra, combinatorics and topology
Abstract : The thesis consists of seven papers.In Paper I, II, III, IV and V, we study homological invariants of monomial rings — rings of the form R = k[x1, . . . READ MORE
-
9. Graded lie algebras in local algebra and rational homotopy
Abstract : This thesis consists of three papers, [A – C]The old conjecture that Poincaré-series of local noetherian rings are rational was disproved by Anick in 1979. Building upon his counter-example, as analyzed by Löfwall-Roos, I construct a Gorenstein ring with transcendental Poincaré-series; by a method of Roos this also gives a manifold whose loopspace has transcendental Poinaré-Betti series. READ MORE
-
10. Formality and rational homotopy theory of relative homotopy automorphisms
Abstract : This PhD thesis consists of four papers treating topics in rational homotopy theory.In Paper I, we establish two formality conditions in characteristic zero. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. READ MORE
