N3.12

In the classification of surfaces, K3 surfaces hold a place not dissimilar to that of elliptic curves within the classification of curves by genus. In recent years there has been a lot of activity on the problem of rational points on K3 surfaces. I will discuss the problem of finding the Picard group of a K3 surface, and how this relates to finding counterexamples to the Hasse principle on K3 surfaces.

The notion of prime decomposition will be defined and illustrated for
manifolds. Two proofs of existence will be given, including Kneser's
classical proof using normal surface theory.

With the general election looming upon I will discuss the various different kinds of voting system that one could implement in such an election. I will show that these can give very different answers to the same set of voters. I will then discuss Arrow's Impossibility Theorem which shows that no voting system is compatible with 4 simple axioms which may be desireable.

We exhibit a construction in noncommutative nonnoetherian algebra that should be understood as a positive characteristic analogue of the Bernstein-Sato polynomial or b-function. Recall that the b-function is a polynomial in one variable attached to an analytic function f. It is well-known to be related to the singularities of f and is useful in continuing a certain type of zeta functions, associated with f. We will briefly recall the complex theory and then emphasize the arithmetic aspects of our construction.

Expansion, Random Walks and Sieving in $SL_2 (\mathbb{F}_p[t])$

We pose the question of how to characterize "generic" elements of finitely generated groups. We set the scene by discussing recent results for linear groups in characteristic zero. To conclude we describe some new work in positive characteristic.

Soluble groups, and other classes of groups that can be built from simpler groups, are useful test cases for studying group properties. I will talk about techniques for building profinite groups from simpler ones, and how  to use these to investigate the cohomology of such groups and recover information about the group structure.

In particular, some nice things about branch groups, whose subgroup structure  "sees" all actions on rooted trees.

In particular, some nice things about branch groups, whose subgroup structure "sees" all actions on rooted trees.

In this talk we will review some of the main ideas around Hamilton's program for the Ricci flow and see how they fit together to provide a proof of the Poincaré conjecture in dimension 3. We will then analyse this tools in the context of 4-manifolds.

Manifolds have been a central object of study for over a century, and the classification of them has been a core theme for the whole of this time. This talk will give an overview of the successes and failures in this effort, with some illustrative examples.