N3.12

For a prime number p, we will consider completed group algebras, or Iwasawa algebras, of the form kG, for G a complete p-valued group of finite rank, k a field of characteristic p. Classifying the ideal structure of Iwasawa algebras has been an ongoing project within non-commutative algebra and representation theory, and we will discuss ideas related to this topic based on previous work and try to extend it. An important concept in studying ideals of group algebras is the notion of controlling ideals, where we say a closed subgroup H of G controls a right ideal I of kG if I is generated by a subset of kH. It was proved by Konstantin Ardakov in 2012 that for G nilpotent, every faithful prime ideal of kG is controlled by the centre of G, and it follows that the prime spectrum of kG can be realised as the disjoint union of commutative strata. I am hoping to extend this to a more general case, perhaps to when G is solvable. A key step in the proof is to consider a faithful prime ideal P in kG, and an automorphism of G, trivial mod centre, that fixes P. By considering the Mahler expansion of the automorphism, and approximating the coefficients, we can examine sequences of bounded k-linear functions of kG, and study their convergence. If we find that they converge to an appropriate quantized divided power, we can find proper open subgroups of G that control P. I have extended this notion to larger classes of automorphisms, not necessarily trivial mod centre, using which this proof can be replicated, and in some cases extended to when G is abelian-by-procyclic. I will give some examples, for G with small rank, for which these ideas yield results.

A variety of groups is an equationally defined class of groups, namely the class of groups in which each of a set of "laws" (or "identical relations") holds. Examples include the abelian groups (defined by the law $xy = yx$), the groups of exponent dividing $d$ (defined by the law $x^d$), the nilpotent groups of class at most some fixed integer, and the solvable groups of derived length at most some fixed integer. This talk will give an introduction to varieties of groups, and then conclude with recent work on determining for certain varieties whether, for fixed coprime $m$ and $n$, a group $G$ is in the variety if and only if the power subgroups $G^m$ and $G^n$ (generated by the $m$-th and $n$-th powers) are in the variety.

In this talk I will describe another strong link between the behaviour of a 3-manifold and the behaviour of its fundamental group- specifically the theorem that the group splits as a free product if and only if the 3-manifold may be divided into two parts using a 2-sphere inducing this splitting. This theorem is for some reason known as Kneser's conjecture despite having been proved half a century ago by Stallings.

This talk will be on general amalgamation theory, covering ground from the 1950s to original research, with applications and examples from many different areas of mathematics and ranging from classical results to open problems.

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.