Search for dissertations about: "stacks"

Showing result 1 - 5 of 87 swedish dissertations containing the word stacks.

  2. 1. Destackification and Motivic Classes of Stacks

    Author : Daniel Bergh; David Rydh; Dan Edidin; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Algebraic geometry; Algebraic stacks; Destackification; Grothendieck ring; Motive; Torus; Classifying stack; Mathematics; matematik;

    Abstract : This thesis consists of three articles treating topics in the theory of algebraic stacks. The first two papers deal with motivic invariants. In the first, we show that the class of the classifying stack BPGLn is the inverse of the class of PGLn in the Grothendieck ring of stacks for n ≤ 3. READ MORE

  4. 2. Stacky Modifications and Operations in the Étale Cohomology of Number Fields

    Author : Eric Ahlqvist; David Rydh; Alexander Schmidt; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; stacks; ramified covers; étale cohomology; cup product; Massey product; Galois cohomology; building data; 2-cocycles; Matematik; Mathematics;

    Abstract : This thesis consists of 4 papers. In Paper A we define stacky building data for stacky covers in the spirit of Pardini and give an equivalence of (2,1)- categories between the category of stacky covers and the category of stacky building data. READ MORE

  5. 3. Computations in the Grothendieck Group of Stacks

    Author : Daniel Bergh; Torsten Ekedahl; David Rydh; Jochen Heinloth; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

    Abstract : Given an algebraic group, one may consider the class of its classifying stackin the Grothendieck group of stacks. This is an invariant studied byEkedahl. For certain connected groups, called the special groups bySerre and Grothendieck, the invariant simply gives the inverse of the class ofthe group itself. READ MORE

  6. 4. Analysis of PEM Fuel Cell Stacks and Systems with Water/Thermal Balances

    Author : Takamasa Ito; Värmeöverföring; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Thermal engineering; applied thermodynamics; Termisk teknik; termodynamik; PEM Fuel Cell Systems ; Water Thermal Balances ; Heat Exchangers ; PEM Fuel Cell Stacks ;

    Abstract : The Proton Exchange Membrane (PEM) fuel cell has been investigated for a long time, and is regarded as a new energy source for various applications, such as portable, stationary and automotive ones. However, due to the shortage of the infrastructure in the society, the high cost, the difficulty of the water/thermal management, etc. READ MORE

  7. 5. Building Verified Hardware and Verified Stacks in HOL

    Author : Andreas Lööw; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; hardware synthesis; compilers; formal verification; interactive theorem proving;

    Abstract : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways and all proof steps (be it manual or automated) are mechanically checked. READ MORE