In preparation for, and for decision support during, CBRN (chemical, biological, radiological and nuclear) emergencies it is essential to know how such an event would turn out, so that one can prepare a possible evacuation. Afterwards it might be good to know how to backtrack and see what caused the emergency, and in the case of e.g. a gas leak, where did it begin? The Swedish Defence Research Agency (FOI) develops models for such scenarios. In this thesis FOI's model, "The Nordic Urban Dispersion model" (NUD), has been studied. The system of equations set up by this model was originally solved using Intel's PARDISO solver, which is a direct solver. An evaluation on how an iterative multigrid method would work to solve the system has been done in this thesis. The wind model is a mass-consistent model which sets up a diagnostic initial wind field. The final wind field is later minimized under the constraint of the continuity equation. The minimization problem is solved using Lagrange multipliers and the system turns into a Poisson-like problem. The iterative algebraic multigrid solver (AMG) which has been evaluated had difficulties solving the problem of an asymmetric system matrix generated by NUD. The AMG solver was then tried on a symmetric discrete Poisson problem instead, and the solution turns out to be the same as for the PARDISO solver. A comparison was made between the AMG and PARDISO solver, and for the discrete Poisson case the AMG solver turned out on top for both larger system size and less computational time. To try out the solvers for the original NUD case a modification of the boundary conditions was made to make the system matrix symmetric. This modification turns the problem into a mathematical problem rather than a physical one, as the wind fields generated are not physically correct. For this modified case both the solvers get the same solution in essentially the same computational time. A method of how to in the future solve the original (asymmetric) problem, by modifying the discretization of the boundary conditions, has been discussed.

In this thesis we construct an analogue in tropical geometry for a class of Schubert varieties from classical geometry. In particular, we look at the collection of tropical lines contained in the fan tropical plane. We call these tropical spaces "tropical Schubert prevarieties", and develop them after creating a tropical analogue for flag varieties that we call the "flag Dressian". Having constructed this tropical analogue of Schubert varieties we then determine that the 2-skeleton of these tropical Schubert prevarieties is realizable. In fact, as long as the lift of the fan tropical plane is in general position, only the 2-skeleton of the tropical Schubert prevariety is realizable. / text

This thesis describes a geometric approach to integrable systems. In the first part we describe the geometry of Drinfeld--Sokolov integrable hierarchies including the corresponding tau-functions. Motivated by a relation between Drinfeld--Sokolov hierarchies and certain physical partition functions, we define a dispersionless limit of Drinfeld--Sokolov systems. We introduce a class of solutions which we call string solutions and prove that the tau-functions of string solutions satisfy Virasoro constraints generalizing those familiar from two-dimensional quantum gravity. In the second part we explain how procedures of Hamiltonian and quasi-Hamiltonian reductions in symplectic geometry arise naturally in the context of shifted symplectic structures. All constructions that appear in quasi-Hamiltonian reduction have a natural interpretation in terms of the classical Chern-Simons theory that we explain. As an application, we construct a prequantization of character stacks purely locally. / text

This thesis begins a study of principal series categories in geometric representation theory using the Beilinson-Drinfeld theory of chiral algebras. We study Whittaker objects in the unramified principal series category. This provides an alternative approach to the Arkhipov-Bezrukavnikov theory of Iwahori-Whittaker sheaves that exploits the geometry of the Feigin-Frenkel semi-infinite flag manifold. / Mathematics

No description available.

No description available.

This thesis primarily discusses the results of two papers, [Hu] and [HaHu]. The first is an overview of algebraic-geometric techniques for integrable systems in which the AKS theorem is proven. Under certain conditions, this theorem asserts the commutatvity and (potential) non-triviality of the Hamiltonian flow of Ad*-invariant functions once they're restricted to subalgebras. This theorem is applied to the case of coadjoint orbits on loop algebras, identifying the flow with a spectral curve and a line bundle via the Lax equation. These results play an important role in the discussion of [HaHu], wherein we consider three levels of spaces, each possessing a linear family of Poisson spaces. It is shown that there exist Poisson mappings between these levels. We consider the two cases where the underlying Riemann surface is an elliptic curve, as well as its degeneration to a Riemann sphere with two points identified (the trigonometric case). Background in necessary areas is provided.

Cryptography is defined to be the practice and studying of hiding information and is used in applications present today; examples include the security of ATM cards and computer passwords ([34]). In order to transform information to make it unreadable, one needs a series of algorithms. Many of these algorithms are based on elliptic curves because they require fewer bits. To use such algorithms, one must find the rational points on an elliptic curve. The study of Algebraic Number Theory, and in particular, rare objects known as power bases, help determine what these rational points are. With such broad applications, studying power bases is an interesting topic with many research opportunities, one of which is given below. There are many similarities between Cyclic and Dihedral fields of prime degree; more specifically, the structure of their field discriminants is comparable. Since the existence of power bases (i.e. monogenicity) is based upon finding solutions to the index form equation - an equation dependant on field discriminants - does this imply monogenic properties of such fields are also analogous? For instance, in [14], Marie-Nicole Gras has shown there is only one monogenic cyclic field of degree 5. Is there a similar result for dihedral fields of degree 5? The purpose of this thesis is to show that there exist infinitely many monogenic dihedral quintic fields and hence, not just one or finitely many. We do so by using a well- known family of quintic polynomials with Galois group D₅. Thus, the main theorem given in this thesis will confirm that monogenic properties between cyclic and dihedral quintic fields are not always correlative.

It is not hard to see that the number of equiangular lines in a complex space of dimension $d$ is at most $d^{2}$. A set of $d^{2}$ equiangular lines in a $d$-dimensional complex space is of significant importance in Quantum Computing as it corresponds to a measurement for which its statistics determine completely the quantum state on which the measurement is carried out. The existence of $d^{2}$ equiangular lines in a $d$-dimensional complex space is only known for a few values of $d$, although physicists conjecture that they do exist for any value of $d$. The main results in this thesis are: \begin{enumerate} \item Abelian covers of complete graphs that have certain parameters can be used to construct sets of $d^2$ equiangular lines in $d$-dimen\-sion\-al space; \item we exhibit infinitely many parameter sets that satisfy all the known necessary conditions for the existence of such a cover; and \item we find the decompose of the space into irreducible modules over the Terwilliger algebra of covers of complete graphs. \end{enumerate} A few techniques are known for constructing covers of complete graphs, none of which can be used to construct covers that lead to sets of $d^{2}$ equiangular lines in $d$-dimensional complex spaces. The third main result is developed in the hope of assisting such construction.

Les deux premières parties de cette thèse s'inscrivent dans le contexte des analogies entre l'irrégularité pour les connexions méromorphes et la ramification sauvage des faisceaux l-adiques. On y développe l'analogue pour les connexions méromorphes de la construction d'Abbes et Saito, tout d'abord dans le cas d'un trait, puis en dimension supérieure. En première partie, on prouve une formule explicite reliant les invariants produits par la construction d'Abbes et Saito appliquée à un module différentiel M aux parties les plus polaires des formes différentielles intervenant dans la décomposition de Levelt-Turrittin de M. Dans la seconde, on généralise en dimension supérieure l'observation issue de la première partie que sur un corps algébriquement clos, les modules produits par la construction d'Abbes et Saito sont des sommes finies de modules exponentiels associés à des formes linéaires. Dans la dernière partie de cette thèse, on montre que le lieu des points stables d'une connexion méromorphe M le long d'un diviseur lisse est un sous-ensemble de l'intersection des lieux où les faisceaux d'irrégularité de M et End M sont des systèmes locaux. Enfin, on discute d'une stratégie d'attaque de l'inclusion réciproque, et on démontre à l'aide d'un critère d'André pour les points stables que si elle est vraie en dimension 2, alors elle est vraie en toute dimension.