Pure Postgraduate Seminars
The Pure Postgraduate Seminar Series provides an informal environment for pure maths postgrads to present mathematical ideas. During this time, the University of Manchester were still split as UMIST and The Victoria University of Manchester. The seminar organisation was split over the two semesters. The Spring semester was organised by Matthew Craven, and the Autumn semester was organised by Sara Santos.
In the Spring semester, the seminars were held in the MSS building, Q5, Thursdays at 4pm. In the Autumn semester, the seminars were held fortnightly in the now nonexistant Maths Tower, Room 2.11, Fridays at 4pm. Postgraduates and Postdocs from both universities were invited.
Spring Semester 2003

6 MarAlgebraic Aspects of Braid Groups
2003
Matt Craven (UMIST) 
13 MarGrigorchuk Groups
2003
George Petrides (UMIST) 
20 MarFractals, Self Similar Sets and a Conjecture of Furstenburg
2003
Thomas Jordan (VUM) 
27 MarFun With Sturmian Words
2003
Robin Houston (VUM) 
3 AprThe Green Algebra and Adams Operations in Characteristic p
2003
Colin D E Rose (UMIST) 
8 MayMonstrous Moonshine
2003
Chris Bates (UMIST) 
15 MayWhy Fractals (and a Little Bit More)?
2003
Carlos Semedo (VUM) 
22 MaySieves, Zeta Functions and Gaussian Primes
2003
Andrew Swallow (UMIST) 
28 MayAll Triangles are Isosceles, and Other Mathematical Truths
2003
Sarah Perkins (UMIST) 
5 JunPeriod Three Implies Chaos
2003
Sara Isabel Santos (VUM)Abstract (click to view)Given a continuous function f from the real line to the real line, the existence of a point of period three implies existence of points of any period. This theorem is a particular case of a theorem by Sharkovsky. Such a striking result has a simple explanation: is just a game with the Intermediate Value Theorem.

12 JunNeighbourhoods of Randomness and the Information Geometry of the McKay Bivariate Gamma 3Manifold
2003
Khadiga Alrawini (UMIST)
Autumn Semester 2003

10 Oct60 minutes of Bernoulli Convolutions
2003
Thomas Jordan (VUM)Abstract (click to view)We define selfsimilar measures and in particular the specific case of symmetric and asymmetric Bernoulli convolutions. We then look at various properties of Bernoulli convolutions, including whether thay are singular or absolutely continuous, their local dimension and their Fourier transforms (definitions of these will be given and are not that complicated). The talk gives a very brief overview of some of the research done on Bernoulli convolutions starting with Erdos and friends in the 1930's and going on up to the present day.

24 OctAn Introduction to Constructive Mathematics
2003
Christopher Fox (VUM)Abstract (click to view)Constructive mathematics differs from classical mathematics in two ways: firstly the principle of excluded middle (which says that every statement is either true or false) is not valid constructively, and secondly impredicative (or "circular") definitions such as the powerset axiom are not allowed. In this talk I will cover some of the history of constructivism, and then describe Constructive Set Theory (CZF), giving some examples from topology to illustrate what can and cannot be proved construction.

7 NovKTheory for C*algebras: a quick review
2003
Jamila Jawdat (VUM)Abstract (click to view)In the recent years, Ktheory for C*algebras has become one of the vital subjects in researches that involves several fields of mathematics. It plays a great role in topology, geometry, operator algebra and operator theory. Ktheory for a C*algebra A, deals with certain operators (projections and unitaries) on some matrix algebra M_{n}(A) and so it is sometimes called "Operator Ktheory", since one can consider the elements of a C*algebra as operators. In brief, it associates to each C*algebra A a pair of Abelian groups K_{0}(A) and K_{1}(A). The former is related to the projections in M_{n}(A), and the latter concerns the unitary operators.
Ktheory for C*algebras, is a replacement of Atiyah's topological Ktheory for the noncommutative case. Whereas topological Ktheory is a cohomology theory of locally compact topological spaces, operator Ktheory works as a homology theory for the category of C*algebras.
In the seminar, we will give a quick overview of how the above abelian groups are constructed, relating that to topological Kgroups, and illustrating how Ktheory enters the noncommutative world. Finally, if time permits, we give a brief account of the relation between Ktheory and the index theory of a Fredholm operator. 
21 NovAn introduction to the basic properties of Julia sets (of polynomials)
2003
Matthew Horsham (VUM)Abstract (click to view)We will first introduce the concept of the Riemann sphere and iteration of polynomials thereon. We will define the Julia set of such a polynomial and show, via an example, the range of complex dynamics exhibited by such sets. We will then prove a series of small results exposing some of the properties of Julia sets finishing with the Julia/ Fatou dichotomy and connectedness conditions mentioning briefly (if time allows) the Mandelbrot set.

12 DecInvolutions of Lie Algebras
2003
Paul Levy (VUM)
Previous Seminars
List of 2008/2009 seminars (Ali Everett)
List of 2007/2008 seminars (Jacob George)
List of 2006/2007 seminars (Stephen Clegg)
List of 2005/2006 seminars (Marianne Johnson)
List of 2004/2005 seminars (Matt Horsham)
List of 2003 seminars (Matthew Craven/Sara Santos)
List of 2002 seminars (Sarah Perkins/Sara Santos)