N3.12

The core idea behind metric spaces is the triangular inequality. Metrics have been generalized in many ways, but the most tempting way to alter them would be to "flip" the triangular inequality, obtaining an "anti-metric". This, however, only allows for trivial spaces where the distance between any two points is 0. However, if we intertwine the concept of antimetrics with the structures of partial linear--and cyclic--orders, we can define a structure where the anti-triangular inequality holds conditionally. We define this structure, give examples, and show an interesting result involving metrics and antimetrics.

In this talk we will introduce quantifier elimination and give various examples of theories with this property. We will see some very useful applications of quantifier elimination to algebra and geometry that will hopefully convince you how practical this property is to other areas of mathematics.

In this talk, we shall introduce various identities among partitions of integers, and how these can be expressed via formal power series. In particular, we shall look at the Rogers Ramanujan identities of power series, and discuss possible combinatorial proofs using partitions and Durfree squares.

Gathering for women and non-binary mathematicians

Prof. Helen Byrne shares her academic path and experience as Director of Equality and Diversity.

More information will appear later.

Our meeting will be a relaxed opportunity to have informal discussions about issues facing minorities in academia and mathematics over lunch. In particular, if anyone would like to suggest a topic to start a discussion about (either in advance or on the day) then please feel free to do this, and it could be a spring board for organised sessions on the same topics in future terms!

In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.

This is a welcome to everyone who is interested in discussing and learning more about topics relating to life in academia and issues faced by minorities. We will tell you more about Mathematrix and the events upcoming in the term, as well as discussing ideas for future terms.

All staff, ECRs and postgrad students are invited to join. The lunches are free, relaxed and informal, and people may come and go as they please.
 

The meeting on Monday 15th October will be on Impostor Syndrome. In this meeting we will discuss what impostor syndrome is, what might be the causes of it, and some advice for people who are struggling with it. For anyone who wants to read up on what it is and some different types of impostor syndrome in advance, we recommend this blog post: https://www.themuse.com/advice/5-different-types-of-imposter-syndrome-a…. If you have a smart phone or tablet that you can bring with you, we encourage you to, as we will have some anonymous voting, and the more of you that can join in, the better!

We hope to see many of you there again: Quillen Room (N3.12), Monday 1-2pm.

The aim of this talk is to tell the story of Non-Abelian Hodge Theory for curves. The starting point is the space of representations of the fundamental group of a compact Riemann surface. This space can be endowed with the structure of a complex algebraic variety in three different ways, giving rise to three non-algebraically isomorphic moduli spaces called the Betti, de Rham and Dolbeault moduli spaces respectively. 

After defining and outlining the construction of these three moduli spaces, I will describe the (non-algebraic) correspondences between them, collectively known as Non-Abelian Hodge Theory. Finally, we will see how the rich structure of the Dolbeault moduli space can be used to shed light on the topology of the space of representations.