A graded subring of an inverse limit of polynomial rings

We study the power series ring R= K[[x1,x2,x3,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R. Of particular interest are the homogeneous, finitely generated ideals in R', among them the generic ideals. The definition of S as an inverse limit yields a set of truncation homomorphisms from S to K[x1,...,xn] which restrict to R'. We have that the truncation of a generic I in R' is a generic ideal in K[x1,...,xn]. It is shown in Initial ideals of Truncated Homogeneous Ideals that the initial ideal of such an ideal converge to the initial ideal of the corresponding ideal in R'. This initial ideal need no longer be finitely generated, but it is always locally finitely generated: this is proved in Gröbner Bases in R'. We show in Reverse lexicographic initial ideals of generic ideals are finitely generated that the initial ideal of a generic ideal in R' is finitely generated. This contrast to the lexicographic term order. If I in R' is a homogeneous, locally finitely generated ideal, and if we write the Hilbert series of the truncated algebras K[x1,...,xn] module the truncation of I as qn(t)/(1-t)n, then we show in Generalized Hilbert Numerators that the qn's converge to a power series in t which we call the generalized Hilbert numerator of the algebra R'/I. In Gröbner bases for non-homogeneous ideals in R' we show that the calculations of Gröbner bases and initial ideals in R' can be done also for some non-homogeneous ideals, namely those which have an associated homogeneous ideal which is locally finitely generated. The fact that S is an inverse limit of polynomial rings, which are naturally endowed with the discrete topology, provides S with a topology which makes it into a complete Hausdorff topological ring. The ring R', with the subspace topology, is dense in R, and the latter ring is the Cauchy completion of the former. In Topological properties of R' we show that with respect to this topology, locally finitely generated ideals in R'are closed.

Topics in geometry, analysis and inverse problems

The thesis consists of three independent parts. Part I: Polynomial amoebas We study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. This function is used in two di erent ways. First, we use it to construct a polyhedral complex, which we call a spine, approximating the amoeba. Second, the Monge-Ampere measure of the Ronkin function has interesting properties which we explore. This measure can be used to derive an upper bound on the area of an amoeba in two dimensions. We also obtain results on the number of complement components of an amoeba, and consider possible extensions of the theory to varieties of codimension higher than 1. Part II: Differential equations in the complex plane We consider polynomials in one complex variable arising as eigenfunctions of certain differential operators, and obtain results on the distribution of their zeros. We show that in the limit when the degree of the polynomial approaches innity, its zeros are distributed according to a certain probability measure. This measure has its support on the union of nitely many curve segments, and can be characterized by a simple condition on its Cauchy transform. Part III: Radon transforms and tomography This part is concerned with different weighted Radon transforms in two dimensions, in particular the problem of inverting such transforms. We obtain stability results of this inverse problem for rather general classes of weights, including weights of attenuation type with data acquisition limited to a 180 degrees range of angles. We also derive an inversion formula for the exponential Radon transform, with the same restriction on the angle.

Intersections on moduli spaces of curves

We present a new approach to perform calculations with the certain standard classes in cohomology of the moduli spaces of curves. It is based on an important lemma of Ionel relating the intersection theoriy of the moduli space of curves and that of the space of admissible coverings. As particular results, we obtain expressions of Hurwitz numbers in terms of the intersections in the tautological ring, expressions of the simplest intersection numbers in terms of Hurwitz numbers, an algorithm of calculation of certain correlators which are the subject of the Witten conjecture, an improved algorithm for intersections related to the Boussinesq hierarchy, expressions for the Hodge integrals over two-pointed ramification cycles, cut-and-join type equations for a large class of intersection numbers, etc.

Achieving completeness: from constructive set theory to large cardinals

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems. The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

Religiösa värderingar hos muslimska SFI-elever

Den som säger sig tillhöra en viss religion kan i praktiken vara mer eller mindre troende, eller inte troende alls. Det kan handla om att man firar vissa högtider men utan att särskilt bry sig om deras religiösa innebörd, eller att man ibland deltar i gudstjänster och ber någon gång i månaden, eller ett liv iständig hågkomst av Guds närvaro. Spektrat av religiositet för en person kan vara allt från att religionen endast har kulturell betydelse till att man lever sitt liv helt enligt dess påbud, såväl som att man anser att religion är en privatsak till att man arbetar för att samhället skall formas enligt religionen. Vad gäller islam i Sverige har de muslimska samfundens organisation och aktiviteter beskrivits i ganska stor detalj. Däremot finns inte mycket kunskap om de värderingar de står för. Och vad gäller värderingar och övertygelser hos muslimer i allmänhet finns nästan ingenting skrivet. Denna uppsatstar fasta på den kunskapsbristen. Genom en enkätbaserad attitydundersökning av explorativ karaktär med muslimska SFI-elever somrespondenter har följande frågor undersökts: - Är fundamentalism ett utbrett fenomen inom denna grupp? - I hur stor utsträckning anser man att shari’a bör gälla för muslimer i Sverige och vad är attityden tilldemokrati? - Hur ser relationen mellan religion och moral ut och hur uppfattas det svenska samhället i dettasammanhang? Undersökningens resultat är överlag i samstämmighet med tidigare undersökningar med liknande teman. Respondenterna har en överväldigande positiv attityd till demokrati och en stor del anser också att yttrandefrihet är bra. Samtidigt tycks många mena att islam är undantaget yttrandefriheten ochatt islamiska regler är viktigare än svensk lag. Stödet för shari’a är också påtagligt. En stor majoritet menar att gudstro är nödvändig för att vara en moralisk person och anser samtidigt att Sverige är ett moraliskt land. På grund av urvalsmetoden och den stora andel som avstått från att delta i undersökningen kan resultatet inte generaliseras utanför gruppen av respondenter.

Matematiklärares kommunikation i början och i slutet av ett kompetensutvecklingsprojekt

Sammanfattning Studiens fokus var dels vilka kategorier av innehåll som framkom i lärarnas kommunikation dels vilka förändringar i innehållet som uttolkades i matematiklärares kommunikation i början och i slutet av ett kompetensutvecklingsprojekt. Kontexten i kompetensutvecklingsprojektet var i form av modellen learning study, där sju lärarlag, sammanlagt 20 lärare deltagit. Ramverket i studien var tematisk analys, analys av matematiska kompetenser samt funktionell textanalys. Studiens resultat visar på flera förändringar, till exempel att de fem uttolkade huvudkategorierna innefattade fler underkategorier i slutet av kompetensutvecklingsprojektet. När det gäller matematiskt innehåll så visar analysen att lärarna kommunicerade matematika kompetenser på ett mer mångfacetterat sätt i slutet av kompetensutvecklingsprojektet. Då lärarna kommunicerade matematikundervisning använde de sig till viss del av ett annat sätt att uttrycka sig i slutet än i början av kompetensutvecklingsprojektet. I början talade de till exempel om att höra vad eleverna uttrycker till att i slutet använda sig av ordet lyssna. Resultatet visade även förändringar avseende hur lärarna samtalade om laborativt material. Fokus har flyttats från det laborativa materialet till att lärarna funderade över vilken matematik som eleverna uttryckte med hjälp av det laborativa materialet.