Sökning: "Homological algebra"
Visar resultat 6 - 10 av 12 avhandlingar innehållade orden Homological algebra.
6. Formalizing Refinements and Constructive Algebra in Type Theory
Sammanfattning : 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. LÄS MER
7. Aspects of vacuum moduli in string theory
Sammanfattning : 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. LÄS MER
8. Minimal models in algebra, combinatorics and topology
Sammanfattning : 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, . . . LÄS MER
9. Graded lie algebras in local algebra and rational homotopy
Sammanfattning : 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. LÄS MER
10. Formality and rational homotopy theory of relative homotopy automorphisms
Sammanfattning : 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. LÄS MER