For information about ongoing research at the department, please see the webpages of the research groups and the personal homepages of our researchers. The department of mathematics has three research group in pure mathematics: Algebra, Geometry and Combinatorics, Analysis and Logic.

Current and/or potential PhD advisors are

Algebra, Geometry and Combinatorics: Gregory Arone, Jörgen Backelin, Alexander Berglund, Jonas Bergström, Rikard Bøgvad, Wushi Goldring, Samuel Lundqvist, Boris Shapiro.

Analysis: Pavel Kurasov, Annemarie Luger, Salvador Rodríguez-López, Alan Sola.

Logic: Erik Palmgren.

A few suggestions for PhD topics are presented below.

Calculus of functors and applications

Main supervisor: Gregory Arone

The goal of the project is to use calculus of functors, operads, moduli spaces of graphs, and other techniques from algebraic topology, to study spaces of smooth embeddings, and other important spaces. High-dimensional long knots constitute an important family of spaces that I am currently interested in. But it is by no means the only example.

Let $\mathbb{R}^m, \mathbb{R}^{m+i}$ be Euclidean spaces. An $m$-dimensional long knot in $\mathbb{R}^{m+i}$ is a smooth embedding $\mathbb{R}^m \hookrightarrow \mathbb{R}^{m+i}$ that agrees with the inclusion outside a compact set. Let $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$ be the space of all such knots.

The overarching goal of this project is to understand the dependence of the space $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$ on $m$ and $i$. The framework for doing this is provided by orthogonal calculus of functors, that was developed by Michael Weiss. The following are some of the specific objectives of this project.

  • To analyse the structure to polynomial functors in orthogonal calculus.
  • To show that it is possible to use orthogonal calculus to study the space of long knots $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$.
  • To describe explicitly the derivatives (in the sense of orthogonal calculus) of functors such as $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$ in terms of moduli spaces of graphs similar to ones introduced by Culler and Vogtmann. The $n$-th derivative functor should be closely related to the moduli space of graphs that are homotopy equivalent to a wedge of $n$ circles.
  • To show that rationally these derivatives are equivalent to hairy graph complexes that have been shown by Arone-Turchin and Turchin-Willwacher to calculate the rational homotopy of spaces of long knots.
  • To compare two known $m+1$-fold deloopings of the space $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$. One of these deloopings, due to Dwyer-Hess, is homotopy-theoretic in nature and is given in terms of mapping spaces between operads. The other one is geometric in nature, and is given in terms of "topological Stiefel manifolds" $TOP(m+i)/TOP(i,m)$. I would like to show that the two deloopings are equivalent when $i\ge 3$, and also, by contrast, that they are not even rationally equivalent when $i=0$. The reason for this is that one delooping has the Pontryagin classes in its rational homotopy, while the other one does not.
  • To clarify the connection between the delooping of $\text{Emb}_c(\mathbb{R}^m, \mathbb{R}^{m+i})$, and $G_i$ -- the group of self-homotopy equivalences of the sphere $S^{i-1}$. More precisely I want to show that $G_i$ is the limit of the delooping, as $m$ goes to infinity.
  • To clarify the relationship of the first derivative to topological cyclic homology and to Waldhausen's algebraic K-theory.

Algebraic models for spaces and manifolds

Main supervisor: Alexander Berglund

Algebraic topology studies continuous objects such as spaces or manifolds by attaching discrete invariants to them, e.g., the Euler characteristic, the fundamental group, cohomology groups, etc. As the invariants are refined by adding more algebraic structure, complete classification becomes possible in favorable situations. For example, for closed surfaces the fundamental group is a complete algebraic invariant, for simply connected manifolds the de Rham complex with its wedge product is a complete invariant of the real homotopy type, and for simply connected topological spaces the singular cochain complex with its E-infinity algebra structure is a complete invariant of the integral homotopy type.

My research revolves around algebraic models for spaces and their applications. Here are some topics for possible PhD projects within this area:

  • Automorphisms of manifolds

    The cohomology ring of the automorphism group of a manifold M is the ring of characteristic classes for fiber bundles with fiber M, which is an important tool for classification. Tractable differential graded Lie algebra models can be constructed for certain of these automorphism groups. A possible PhD project here is to further develop these algebraic models, and in particular to further investigate a newfound connection to Kontsevich graph complexes. This will involve a wide variety of tools from algebraic and differential topology as well as representation theory and homological algebra.

  • String topology and free loop spaces

    The space of strings in a manifold carries important information, e.g., about geodesics. Its homology carries interesting algebraic structure such as the Chas-Sullivan loop product. Tools such as Koszul duality theory, A-infinity algebras and Hochschild cohomology can be used to construct tractable algebraic models for free loop spaces. A possible PhD project is to further develop these models, in particular to endow them with more algebraic structure, and use them to make new computations.

Moduli spaces, varieties over finite fields and Galois representations

Main supervisor: Jonas Bergström

Moduli spaces are spaces that parametrize some set of geometric objects. These spaces have become central objects of study in modern algebraic geometry. One way of getting a better understanding of a space is to find information about its cohomology.

In my research I have tried to extend the knowledge about the cohomology of moduli spaces when the objects parametrized are curves or abelian varieties. The main tool has been the so called Lefschetz fixed point theorem which connects the cohomology to counts over finite fields. That is, counting isomorphism classes of, say, curves defined over finite fields gives information about the cohomology (by comparison theorems also in characteristic zero) of the corresponding moduli space. I have often used concrete counts over small finite fields using the computer to find such information.

The cohomology of an algebraic variety (that is defined over the integers) comes with an action of the absolute Galois group of the rational numbers. Such Galois representations are in themselves very interesting objects. A count over finite fields also gives aritmethic information about the Galois representations that appear. In the case of Shimura varieties (at least according to a general conjecture which is part of the so called Langlands program) one has a good idea of which Galois representations that should appear, namely ones coming from the corresponding modular (and more generally, automorphic) forms. If one is not considering a Shimura variety, as for example the moduli space of curves with genus greater than one, it is much less clear what Galois representations to expect even though they are still believed to come from automorphic forms.

Key words: algebraic geometry, moduli spaces, curves, abelian varieties, finite fields, modular forms

Asymptotic properties of zero-sets of polynomials in higher dimensions, currents and holonomic systems of differential equations

Main supervisor:  Rikard Bøgvad

Consider the polynomials $p_n = x^n-1$. As the parameter $n$ increases, the n complex zeroes cluster in a very regular manner on a curve, the unit circle. This kind of behaviour is common in many other examples of sequences of polynomials, that, as here, are solutions to parameter dependent differential equations. The sequences occur in different areas, such as combinatorics, or special functions in Lie theory and algebraic geometry, and it is useful and interesting to understand the asymptotic properties of the polynomials through their zeroes.  A large amount of work has been done on this, in particular to determine what kind of curves in the complex plane that arise as asymptotic zero-sets.

The main  idea in these papers is often to consider the zero set as a measure and then use harmonic analysis, related to an algebraic curve, the so-called characteristic curve of the equation. There are as yet few papers that consider the corresponding problem in higher dimensions, and this is the suggested topic, and one that I have just started with. It is then natural to use the differential-geometric concept of currents, instead of measures, and connected complex algebraic geometry. Instead of having just one parameter dependent differential equation, one would consider holonomic systems of differential equations, such as GKZ-systems, that are important in some parts of algebraic geometry and algebraic topology. Holonomic systems come from the algebraic study of systems of differential equations, so-called D-module theory, and is a nice mixture of commutative algebra and analysis. In particular I am interested in understanding the relation to the characteristic variety better, since I expect this to also give a better understanding of the one-variable case.

Key words: complex algebraic geometry, D-module theory, varieties, hyper-geometric functions, harmonic analysis

The quest for algebraicity: The Langlands Program and beyond

Main supervisor: Wushi Goldring

In 1967, R. P. Langlands wrote a letter to A. Weil. It would revolutionize mathematics. It launched the now-famous Langlands Program. For almost half-a-century, this program has been a driving force in several areas of mathematics, particularly harmonic analysis, representation theory, algebraic geometry, number theory and mathematical physics. It has seen spectacular progress and varied applications, such as Wiles' proof of Fermat's Last Theorem and Ngô's proof of the Fundamental Lemma. At the same time, most instances of Langlands' conjectures remain unsolved.

Fifty years later, all agree that the Langlands Program is indispensable for the unification of abstract mathematics. But many -- including perhaps Langlands himself -- grapple with the ultimate raison dêtre of the program. So what is really at the heart of the Langlands Program?

The prevailing common view has been that large swaths of the Langlands Program are inherently analysis-bound, that an algebraic understanding of them is impossible. Under this view, the Langlands Program is seen as injecting analytic methods to solve classical problems in number theory and algebraic geometry.

My research is focused on inverting the common view: My working algebraicity thesis is that, on the contrary, the Langlands Program is deeply algebraic and unveiling its algebraic nature leads to new results, both within it and in the myriad of areas it impinges upon.

In pursuit of my algebraicity theme, building on joint work with Jean-Stefan Koskivirta and other collaborators, I have begun a program to make simultaneous progress in the following four seemingly unrelated areas, by developing the connections between them:

(A) Algebraicity of automorphic representations
(B) The Deligne-Serre ``interchange of characteristic'' approach to
algebraicity, concerning both (A) but also a variety of other
(C) The geometry of stacks of G-Zips, the Ekedahl-Oort (EO)
stratification of Shimura varieties and their Hasse invariants.
(D)  Algebraicity of Griffiths-Schmid manifolds.

Discrete and continuous quantum graphs

Main supervisor: Pavel Kurasov

Quantum Hydrogen
Credit: Erlend Davidson (Thomas Young Centre)

Quantum graphs - differential operators on metric graphs - is a rapidly growing branch of mathematical physics lying on the border between differential equations, spectral geometry and operator theory. The goal of the project is to compare dynamics given by discrete equations associated with (discrete) graphs with the evolution governed by quantum graphs. Discrete models can be successfully used to describe complex systems where the geometry of the connections between the nodes can be neglected. It is more realistic to use instead metric graphs with edges having lengths. The corresponding (continuous)
dynamics is described by differential equations coupled at the vertices. Such models are used for example in modern physics of nano-structures and microwave cavities.

Understanding the relation between discrete and continuous quantum graphs is a challenging task leaving a lot of freedom, since this area has not been studied systematically yet. In special cases such relations are straightforward, sometimes methods originally developed for discrete graphs can be generalized, but often studies lead to new unexpected results.


To find explicit connections between the geometry and topology of such graphs on one side and spectral properties of corresponding differential equations on the other is one of the most exciting directions in this research area. As an example one may mention an explicit formula connecting the asymptotics of eigenvalues to the number of cycles in the graph, or the estimate for the spectral gap (the difference between the two lowest eigenvalues) proved using a classical Euler theorem dated to 1736!

Possible directions of the research project are

  •  Study spectral properties of continuous quantum graphs in relation to their connectivity and complexity (this question is well-understood for discrete graphs);
  •  Investigate relations between quantum graphs and quasicrystals;
  •  Develop new models combining features of discrete and continuous graphs and  study their properties;
  •  Transport properties of networks and their complexity.

It is expected that the candidate will take an active part in the work of the Analysis
group at Stockholm University, Cooperation group "Continuous Models in the Theory of Networks" (ZIF, Bielefeld, and Research and Training Network "QGRAPH" joining 15 research teams from all over the world.

Mathematical Logic - constructive and category-theoretic foundations for mathematics

Main supervisor:  Erik Palmgren

Project description: Constructive or algorithmic methods are important in mathematics, and are often the nal result when a mathematical theory is to be applied. In this wide-ranging research project, general logical and categorytheoretic methods are developed and studied in order to ensure constructive content of mathematical theorems. This covers for instance the study of constructive type theories and set theories with the help of models or properties of formal proofs. It could also include case studies where a limited area of mathematics
is constructivized. Apart from the purely mathematical-logical questions there are also interesting philosophical aspects, and also applications in computer science, for example extraction of computer programs from mathematical proofs.

For further information contact Erik Palmgren.

Analysis of Rough Linear and Multilinear Pseudodifferential Operators

Main supervisor: Salvador Rodríguez-López

In the study of Partial Differential Equations and in Harmonic Analysis, an important role is played by the so-called pseudodifferential operators. For instance, for equations that describe electric potential and steady-state heat flow (elliptic equations) one can construct explicit solutions using pseudodifferential operators. Roughly speaking, these operators act on functions (or signals) by filtering (attenuating or amplifying) specific frequencies of those. For equations that describe wave propagation (hyperbolic equations), a similar role is played by Fourier integral operators. These tools allow us to obtain a priori estimates for the solutions, and study their behaviour and properties. Therefore, being able to estimate these operators in different function spaces is important for measuring the size and regularity of the solutions of PDEs in those spaces.

In controlling height and width of a solution, the most important example of such spaces are the Lebesgue spaces Lp. Due to their rearrangement-invariant nature, these spaces are blind to the description of where solutions are concentrated, and thus the consideration of Lebesgue spaces with weights appears naturally. An important role is played by the so-called Muckenhoupt Ap weights.

For nonlinear PDEs , the multilinear counterpart of pseudodifferential and Fourier integral operators play a crucial role.

My recent research interests have been dealing with questions regarding both linear and multilinear operators of those described above, and in particular with those of rough type.

To get involved in a project in these areas requires a strong background and interest in Harmonic Analysis and PDEs. Some examples of lines of research that one could pursue:

  • To develop an Ap-weighted theory for some classes of rough and mildly regular pseudodifferential operators, and find up-to-end-point improvements of existing results in the literature.
  • To investigate the validity of corresponding end-point estimates for such operators.
  • To develop the theory of spectral properties of rough pseudodifferential operators.
  • Study multilinear end-point results and results of minimal regularity assumptions, for paraproducts and their application to the study of boundedness properties of multilinear pseudodifferential and Fourier integral operators.

Operator theory and function theory in polydisks

Main supervisor: Alan Sola

Coordinate shifts acting on Banach spaces of analytic functions represent a concrete and compelling incarnation of operator theory. At first glance, considering the action of a such simple operators on specific function spaces may appear to lose much of the generality that makes operator theory a powerful and flexible tool in mathematics. One can show, however, that many Hilbert space contractions are unitarily equivalent to the shift acting on model subspaces of the Hardy space. The class of analytic 2-isometries has the Dirichlet shift as a natural realization, and there are many other such models. Thus, understanding the invariant subspaces and cyclic vectors of coordinate shifts is important, and leads to a better understanding of more general operators.

Moreover, by working with analytic functions, we are able to connect operator-theoretic questions to deep problems in complex function theory such as boundary behavior, vanishing properties, and so on. For example, answering the question of whether a specific analytic function is cyclic with respect to shifts acting on a function space frequently amounts to analyzing the size and properties of the zero set of the function.

These types of questions have been studied by many mathematicians in the one-variable setting of the unit disk, and many remarkable results have been obtained. However, the higher-dimensional analogs of coordinate shifts acting on function spaces in polydisks have received somewhat less attention, especially for function spaces beyond the Hardy spaces. In recent years, I have been particularly interested in weighted Dirichlet spaces, which can be defined in terms of area-integrability of partial derivatives of an analytic function. These spaces are challenging due to the relative smoothness of their elements, yet are rich enough to allow for an interesting subspace structure. In a recent series of papers, my coauthors and I have started making headway on the problem of identifying cyclic vectors in weighted Dirichlet spaces in the bidisk, and we have found techniques for checking membership in such spaces of functions having singularities on the boundary of the bidisk.

Possible directions for a PhD project might be to:

  • Extend the two-variable theory of cyclic polynomials to polydisks.
  • Study the multiplier algebra of weighted Dirichlet spaces on polydisks.
  • Obtain descriptions of non-polynomial cyclic vectors and construct non-cyclic vectors with prescribed properties.
  • Develop a machinery to determine membership of a function by examining the geometry of its singularities.
  • Develop an understanding of the structure of invariant subspaces for the coordinate shifts.