Stallings core graphs are a powerful graphical representation of the finitely generated subgroups of a free group. They bring geometric insight to the study of free groups, make many properties and algorithmic tasks transparent, and are a ubiquitous tool in combinatorial and geometric group theory.
Free group algebras are strikingly analogous to free groups. Most notably, just as the Nielsen-Schreier theorem says that every subgroup of a free group is free, the Cohn-Lewin theorem says that every right (or left) ideal of a free group algebra is free. Yet free group algebras have had no counterpart to core graphs.
In this talk I will present one. We define the core of a module over a free group algebra, and show that it is unique whenever the module is algebraic (also known as bound). Many of the concepts of Stallings' theory, such as folding and pullbacks, generalize to these new objects, and this yields simple proofs and algorithms for many natural problems about free group algebras. For example, I will present an algorithm for testing primitivity in free modules which generalizes (Wilton's simplification of) Whitehead's classical algorithm for testing primitivity in free groups.
This is joint work with Doron Puder.
 

The anyons of a (2+1)d topological order are described mathematically by a modular tensor category (MTC). Given an MTC, any n-component link becomes an n-tensor that stores some information about this MTC. For example, the 1-component unknot (twisted once) gives a vector "T" that stores the topological spins of all anyons; the 2-component Hopf link evaluates to matrix "S", from which the Verlinde formula recovers the fusion rules of the anyons. Do T and S store all the data? The answer is no: there are different MTCs with the same S and T. So the question becomes what other links to include in this list of tensors to tell MTCs apart? 
I will start by telling you how to turn any link you can drawn on a piece of paper (or a whiteboard) in to a tensor, then review the T and S story and then discuss some recent work where people considered adding the Whitehead link and the Borromean rings. There will be lots of drawings!

TBA

Junior Algebra & Representation Theory end of term social will happen in the Quillen Room at 12pm on Friday