Past Kinderseminar

The long-open Tarski problem asked whether first-order logic can distinguish between free groups of different ranks. This was finally answered in the negative by the works of Sela and Kharlampovich-Myasnikov, which sparked renewed interest in the model theoretic properties of free groups. I will give a survey of known results and open questions on this topic.

The representation theory of the symmetric groups is far more advanced than that of arbitrary finite groups. The blocks of symmetric groups with defect group of order pⁿ are classified, in the sense that there is a finite list of possible Morita equivalence types of blocks, and it is relatively straightforward to write down a representative from each class.

In this talk we will look at the case where n=2. Here the theory is fairly well understood. After introducing combinatorial wizardry such as cores, the abacus, and Scopes moves, we will see a new result, namely that the simple modules for any p-block of weight 2 "come from" (technically, have isomorphic sources to) simple modules for S_2p or the wreath product of S_p and C₂.

I will give a short introduction to non-standard analysis using Nelson's Internal Set Theory, and attempt to give some interesting examples of what can be done in NSA. If time permits I will look at building models for IST inside the usual ZFC set theory using ultrapowers.

This talk will be divided into three parts. In the first part we will recall basic notions and facts of differential geometry and the Ricci flow equation. In the second part we will talk about singularities for the Ricci flow and Ricci flow on homogeneous spaces. Finally, in the third part

of the talk, we will focus on the case of Ricci flow on compact homogeneous spaces with two isotropy summands.

I will give an introduction to Kashiwara's theory of crystal bases. Crystals are combinatorial objects associated to integrable modules for quantum groups that, together with the related notion of crystal bases, capture several combinatorial aspects of their representation theory.

Many problems in computer science can be modelled as metric spaces, whereas for mathematicians they are more likely to appear as the opening question of a second year examination. However, recent interesting results on the geometry of finite metric spaces have led to a rethink of this position. I will describe some of the work done and some (hopefully) interesting and difficult open questions in the area.

Given a block, b, of a finite group, Alperin's weight conjecture predicts a miraculous equality between the number of isomorphism classes of simple b-modules and the number of G-orbits of b-weights. Radha Kessar showed that the latter can be written in terms of the fusion system of the block and Markus Linckelmann has computed it as an Euler characteristic of a certain space (provided certain conditions hold). We discuss these reformulations and give some examples.

I am going to introduce Thompson's groups F, T and V. They can be seen in two ways: as functions on [0,1] or as isomorphisms acting on trees.

We will investigate what one can detect about a discrete group from its profinite completion, with an emphasis on considering geometric properties.

This talk will be an introduction to property (T). It was originally introduced by Kazhdan as a method of showing that certain discrete subgroups of Lie groups are finitely generated, but has expanded to become a widely used tool in group theory. We will take a short tour of some of its uses.

From a categorical point of view, the standard Zermelo-Frankel set theoretic approach to the foundations of mathematics is fundamentally deficient: it is based on the notion of equality of objects in a set. Equalities between objects are not preserved by equivalences of categories, and thus the notion of equality is 'incorrect' in category theory. It should be replaced by the notion of 'isomorphism'.

Moving higher up the categorical ladder, the notion of isomorphism between objects is 'incorrect' from the point of view of 2-category, and should be replaced by the notion of 'equivalence'...

Recently, people have started to take seriously the idea that one should be less dogmatic about working with set-theoretic axiomatisiations of mathematics, and adopt the more fluid point of view that different foundations of mathematics might be better suited to different areas of mathematics. In particular, there are currently serious attempts to develop foundations for mathematics built on homotopy types, or, in another language, ∞-groupoids.

An (∞,1)-topos should admit an internal 'homotopical logic', just as an ordinary (1-)topos admits an internal logic modelling set theory.

It turns out that formalising such a logic is rather closely related to the problem of finding good foundations for 'intensional dependent type theory' in theoretical computer science/logic. This is sometimes referred to as the attempt to construct a 'homotopy lambda calculus'.

It is expected that a homotopy theoretic formalisation of the foundations of mathematics would be of genuine practical significance to the average mathematician!

In this talk we will give an introduction to these ideas, and to the recent work of Vladimir Voevodsky and others in this area.

In this talk we will survey some aspects of social choice theory: in particular, various impossibility theorems about voting systems and strategies. We begin with the famous Arrow's impossibility theorem -- proving the non-existence of a 'fair' voting system -- before moving on to later developments, such as the Gibbard–Satterthwaite theorem, which states that all 'reasonable' voting systems are subject to tactical voting.

Given time, we will study extensions of impossibility theorems to micro-economic situations, and common strategies in game theory given the non-existence of optimal solutions.

Not only does the definition of an (abstract) saturated fusion system provide us with an interesting way to think about finite groups, it also permits the construction of exotic examples, i.e. objects that are non-realisable by any finite group. After recalling the relevant definitions of fusion systems and saturation, we construct an exotic fusion system at the prime 3 as the fusion system of the completion of a tree of finite groups. We then sketch a proof that it is indeed exotic by appealing to The Classification of Finite Simple Groups.

We will introduce both the classical Hanna Neumann Conjecture and its strengthened version, discuss Stallings' reformulation in terms of immersions of graphs, and look at some partial results. If time allows we shall also look at the new approach of Joel Friedmann.

I'll start with the definition of the first Grigorchuk group as an automorphism group on a binary tree. After that I give a short overview about what growth means, and what kinds of growth we know. On this occasion I will mention a few groups that have each kind of growth and also outline what the 'Gap Problem' was. Having explained this I will prove - or depending on the time sketch - why this Grigorchuk group has intermediate growth. Depending on the time I will maybe also mention one or two open problems concerning growth.

There are two competing notions for a normal subsystem of a (saturated) fusion system. A recent theorem of mine shows how the two notions are related. In this talk I will discuss normal subsystems and their properties, and give some ideas on why this might be useful or interesting.

The first part of Galois' Second Mémoire, less than three pages of manuscript written in 1830, is devoted to an amazing insight, far ahead of its time. Translated into modern mathematical language (and out of French), it is the theorem that a primitive soluble finite permutation group has prime-power degree. This, and Galois' ideas, and counterexamples to some of

them, will be my theme.

This talk will introduce various aspects of modern cryptography. After introducing RSA and some factoring algorithms, I will move on to how elliptic curves can be used to produce a more complex form of Diffie--Hellman key exchange.

This talk is about the ordinary representation theory of finite groups of Lie type. I will begin by carefully reviewing algebraic groups and finite groups of Lie type and the construction and properties of (ordinary) Gelfand--Graev characters. I will then introduce generalized Gelfand--Graev characters, which are constructed using the Lie algebra of the ambient algebraic group. Towards the end I hope to give an idea of how generalized Gelfand--Graev characters can and have been used to attack Lusztig's conjecture and the role this plays in the determination of the character tables of finite groups of Lie type.

The representation theory of groups is surrounded by deep and difficult conjectures. In this talk we will take a tour of (some of) these problems, including Alperin's weight conjecture, Broué's conjecture, and Puig's finiteness conjecture.

We will present different ideas leading to and evolving around geometry over the field with one element. After a brief summary of the so-called numbers-functions correspondence we will discuss some aspects of Weil's proof of the Riemann hypothesis for function fields. We will see then how lambda geometry can be thought of as a model for geometry over $\mathbb{F}_\mathrm{un}$ and what some familiar objects should look like there. If time permits, we will

explain a link with stable homotopy theory.

Much of group theory is concerned with whether one property entails another. When such a question is answered in the negative it is often via a pathological example. We will examine the Rips construction, an important tool for producing such pathologies, and touch upon a recent refinement of the construction and some applications. In the course of this we will introduce and consider the profinite topology on a group, various separability conditions, and decidability questions in groups.

The semisimplicity problem is the long-standing conjecture that the group algebra $KG$ of a $p'$-group $G$ over a field $K$ of characteristic $p\geqslant 0$ has zero Jacobson radical. We will discuss recent advances in connection with this problem.

I will describe in detail the first construction of infinite, finitely generated torsion groups due to Golod in early 60s --

these groups are special cases of the so-called Golod-Shafarevich groups. If time allows, I will discuss some related constructions and open problems.

Using the theory of formal groups, Landweber´s exactness theorem provides means to construct interesting invariants of topological spaces out of geometric objects. I will illustrate the resulting connection between algebraic geometry and stable homotopy theory in the special case of elliptic curves.

We begin by proving the abc theorem for polynomial rings and looking at a couple of its consequences. We then move on to the abc conjecture and its equivalence with the generalized Szpiro conjecture, via Frey polynomials. We look at a couple of consequences of the abc conjecture, and finally consider function fields, where we introduce the abc theorem in that case.

Presheaves on categories crop up everywhere! In this talk, I'll give a

gentle introduction to 2-categories, and discuss the notion of a

presheaf on a 2-category. In particular, we'll consider which

2-categories such a presheaf might take values in. Only a little

familiarity with the notion of a category will be assumed!

The subgroup growth of finitely generated groups was seen last term, in a lecture of Dan Segal. This time, we see representation growth, and how it is similar to, and different from, subgroup growth.