# Pure Mathematics

Suggested projects for postgraduate research in Pure Mathematics.

In pure mathematics our main areas of research are analysis and algebra.

Within analysis we work on:

- complex analysis
- functional analysis
- operator theory
- operator algebras
- topological homology

Within algebra we work on:

- geometric and combinatorial group theory
- homological algebra
- representation theory

If you choose a PhD project from the areas we've suggested, please provide the titles of your top three projects and list in order of preference. Applicants are invited to apply online.

For further information, please contact Stefan Kolb.

### Building C*-algebras and their K-theory

Building C*-algebras and their K-theoryThe first part of the thesis is to establish a connection between higher-rank graph C*-algebras and building C*-algebras. Then, combining known results from the theory of buildings, theory of graph C*-algebras and geometry group theory, develop new methods of K-theory computations.

Supervisor: Dr. Alina Vdovina

### Cluster algebras and Generalised Friezes

Cluster algebras and Generalised FriezesCluster algebras are combinatorially defined algebras with strong symmetry properties. Several classes of algebras appearing in geometry turn out to be cluster algebras, for instance, coordinate rings of Grassmannian manifolds.

Cluster algebras can be viewed as a type of so-called friezes on 2-Calabi-Yau categories. The notion of frieze has recently been generalised, and the project focuses on understanding such generalised friezes in cluster algebra terms.

Supervisor: Prof. Peter Jorgensen

### Complex geometry from an operator-theoretic viewpoint

Complex geometry from an operator-theoretic viewpointThe project is to use operator theory to discover and prove results about the geometry and function theory of domains in C^n.

Students should have a basic knowledge of complex analysis in one variable and of linear operators on Hilbert space. A typical task is to construct an analytic function from a disc in C to a concrete set in C^n meeting some specifications. Problems of this type arise in engineering, though the present project is pure mathematical in outlook.

Supervisor: Dr Zinaida Lykova and Prof Nicholas Young

### Homology of topological algebras

Homology of topological algebrasThe project is to solve questions on the structure and properties of topological and operator algebras from the viewpoint of homological algebra.

Students should have a basic knowledge of functional analysis and algebra. I am particularly interested in the homological problems that arise in noncommutative geometry.

A typical task is to study homological properties and cyclic-type cohomology of topological algebras. The theory has applications in many branches of mathematics, including the theory of de Rham homology in differential geometry, automatic continuity theory and K-theory.

Supervisor: Dr Zinaida Lykova

### Noncommutative moment problems

Noncommutative moment problemsDescription: Moment problems are classical in nature and intertwine many different topics in mathematics, eg spectral theory of self-adjoint operators, orthogonal polynomials, probability theory and optimisation theory. In this project, we will investigate noncommutative/multidimensional analogues of moment problems, in the sense that the given sequence are matrices, bound lined operators, quaternions or Clifford numbers. Connections with algebraic geometry will also emphasised.

Supervisor: Dr David Kimsey

### Operator algebras related to geometric structures

Operator algebras related to geometric structuresIn the past 50 years, a major trend in Operator Theory focuses on the use of operator algebras for encoding geometrical and topological objects. Operator algebras may be considered as algebras of (bounded in norm) infinite matrices With complex entries. A central aspect of the program is to explore the passage from intrinsic properties of the object into properties of the associated operator algebras, and use invariants of the latter to classify the former. There are two interrelated questions that orient our study:

(q.1) Which (desirable) features of the object determine the operator algebra?

(q.2) What is the (desirable) level of equivalence for classifying objects?

Examples of examined objects so far include tilings, tangles, graphs, dynamical systems, groups, semigroups, varieties, homogeneous ideals, and stochastic matrices. The research so far incorporates operator algebras (both selfadjoint and non-selfadjoint) in terms of: representation theory, dilation theory, ideal structure, KMS-states theory, C*-envelopes, reflexivity, and hyperrigidity; for objects related to: C*-correspondences, product systems, subproduct systems, semigroup actions on operator algebras, and homogeneous ideals. For this project we will examine operator algebras arising from factorial languages.

Supervisor: Dr Evgenios Kakariadis

### Problems in group theory

Problems in group theoryDownload pdf for full description Problems in Artin Groups (pdf 102KB)

Supervisor: Prof Sarah Rees

### Realizations

RealizationsGiven a normed function algebra, how do we describe those elements which are in the unit ball of the algebra?

There turn out to be a number of ways (collected under the umbrella of a realization theorem), and the various descriptions allow us to explore important properties of the algebra.

What we discover is that there is a subtle interplay between such algebras and operator theory - operator theory yields information about the algebra, while the algebras associated to operators can help to untangle their structure.

Though this will be a pure mathematics project, it is worth mentioning that realizations are also important in engineering applications - indeed the transfer function representation of an element of the unit ball of the algebra which forms a key parts of a realization theorem initially came from engineers studying feedback control.

This project will explore realization theorems and some of their recent generalisations, as well as their application. In particular, we'll consider in this way rational dilation problems, which attempt to gather information about an operator by viewing it as a piece of some simpler (in this case, normal) operator.

Supervisor: Dr Michael Drischel

### Representation theory of quantum symmetric pairs

Representation theory of quantum symmetric pairsClassical representation theory studies how groups and rings act on vector spaces by linear maps. Representation theory hence encodes symmetry, and as such it appears in many areas of mathematics and mathematical physics. In a groundbreaking development in the 1980s mathematical physicists combined the notions of symmetry and quantisation and invented quantum groups. Quantum groups have played a fundamental role in representation theory ever since.

The theory of quantum groups has a younger sibling, the theory of quantum symmetric pairs, which is as rich in structure theory as quantum groups themselves. This theory is much less developed. The finite dimensional simple representation of these algebras, for example, have only been classified in a few special cases. The aim of this project is to develop aspects of a general representation theory of quantum symmetric pairs.

Supervisor: Dr Stefan Kolb

### Subalgebra structure of modular Lie algebras

Subalgebra structure of modular Lie algebrasIn the early part of the 20th Century, the simple Lie algebras over the complex numbers were classified by Killing and Cartan. These are algebraic structures which arise by differentiating the action of smooth groups of symmetries, called Lie groups. It turns out that each of the simple Lie algebras found can be defined over the integers; thus they are defined for any ring, and in particular, any field of any positive characteristic. Lie algebras over such fields are called modular Lie algebras. It turns out that for algebraically closed fields one can again classify the simple Lie algebras, a programme completed by Premet—Strade in 2006. (There are many more isomorphism types than over the complex numbers.)

The next step is to understand these algebras better; for example, their representation theory and their subalgebra structure. A particularly important idea connecting these two areas is that of G-complete reducibility. This was originated by Serre in the context of spherical buildings and algebraic groups, but similar notions exist for Lie algebras. In a recent paper with Adam Thomas, I found tight bounds on the characteristic of the field which would permit non-G-completely reducible simple subalgebras to exist in classical Lie algebras. As part of this project, one could go further, classifying the conjugacy classes of non-G-cr subalgebras in classical Lie algebras and considering analogous ideas for the Lie algebras of Cartan type.

Supervisor: Dr David Stewart

### Triangulated surfaces and cluster theory

Triangulated surfaces and cluster theorySurfaces have been studied by mathematicians for centuries, and one of the important tools is to divide a surface into many small triangles glued together along the edges. Such `triangulations' have many surprising properties, linking to areas of mathematics far outside geometry.

Specifically, this project is about links between triangulated surfaces, algebra, and combinatorics. From a triangulated surface, one can obtain a so-called 'cluster algebra' which is a collection of polynomials with very strong symmetries and interesting combinatorial properties.

One can also construct a so-called 'cluster category' which contains even more information than the cluster algebra. The project will use triangulated surfaces to establish new, deeper links between cluster algebras and cluster categories. Along the way, these tools will be used to derive new results about positive integers.

Supervisor: Prof Peter Jorgensen

### On relator quotients of commutative groups

On relator quotients of commutative groupsOne-relator group theory is a classical and central topic in geometric and combinatorial group theory. It originates from work of Dehn and Magnus in the first half of the 20th century. The idea is to begin to generalise the successful theory of free groups by adding one relator at a time. Eventually we will understand all well behaved finitely presented groups. However, although there is a rich theory of groups with one relator, this theory doesn't easily extend to two or more relators. Therefore we look for other ways to generalise the theory.

In this project, instead of starting with free groups and adding one relator, the idea is to start with a class of groups known as "partially commutative" groups. We will see what sort of theory is obtained by adding an arbitrary relator. (The class of partially commutative groups contains free groups, is simple to describe, and is now one of the central planks of geometric group theory.)

There are some initial results to work with, but there is much to be investigated in this area.

Supervisor: Dr Andrew Duncan