Past Kinderseminar

This talk aims to be a rigorous introduction to Social Choice Theory, a sub-branch of Game Theory with natural applications to economics, sociology and politics that tries to understand how to determine, based on the personal opinions of all individuals, the collective opinion of society. The goal is to prove the three famous and pessimistic impossibility theorems: Arrow's theorem, Gibbard's theorem and Balinski-Young's theorem. Our blunt conclusion will be that, unfortunately, there are no ideally fair social choice systems. Is there any hope yet?

Hawkes processes are a class of point processes used to model self-excitation and cross-excitation between different types of events. They are characterized by the auto-regressive structure of their conditional intensity, and there exists several extensions to the original linear Hawkes model. In this talk, we start by defining Hawkes processes and give a brief overview of some of their basic properties. We then review some approaches to parametric and non-parametric estimation of Hawkes processes and discuss some applications to problems with large data sets in high frequency finance and social networks.

Do you feel unable to explain why maths are cool? Are you looking for fun and affordable theorems for your non-mathematician friends? This is your topic.

This talk aims to be a rigorous introduction to Social Choice Theory, a sub-branch of Game Theory with natural applications to economics, sociology and politics that tries to understand how to determine, based on the personal opinions of all individuals, the collective opinion of society. The goal is to prove the three famous and pessimistic impossibility theorems: Arrow's theorem, Gibbard's theorem and Balinski-Young's theorem. Our blunt conclusion will be that, unfortunately, there are no ideally fair social choice systems. Is there any hope yet?

Scrolls play a central role in the construction of varieties; they are ambient spaces for K3 surfaces and Fano 3-folds. In this talk, I will say in two ways what scrolls are and give examples of some embedded varieties in them.

The $k$-th complete homogeneous symmetric polynomial in $m$ variables $h_{k,m}$ is the sum of all the monomials of degree $k$ in $m$ variables. They are related to the Symmetric powers of vector spaces. In this talk we will present some of their standard properties, some classic combinatorial results using the "stars and bars" argument, as well as an interesting result: the complete homogeneous symmetric polynomial applied to $(1+X_i)$ can be written as a linear combination of complete homogeneous symmetric poynomials in the $X_i$. To compute the coefficients of this linear combination, we extend the classic "stars and bars" argument.

Finitely presented groups are a natural algebraic generalisation of the collection of finite groups. Unlike the finite case there is almost no hope of any kind of classification.

The goal of random groups is therefore to understand the properties of the "typical" finitely presented group. I will present a couple of models for random groups and survey some of the main theorems and open questions in the area, demonstrating surprising correlations between these probabilistic models, geometry and analysis.

In this talk, I will introduce the notion of a sheaf on a topological space. I will then explain why "topological spaces" are an artificial limitation on enjoying life (esp. cohomology) to the fullest and what to do about that (answer: sites). Sheaves also fail our needs, but they have a suitable natural upgrade (i.e. stacks).
This talk will be heavily peppered with examples that come from the world around you (music, torsors, etc.).
 

In 2010 Coecke, Sadrzadeh, and Clark formulated a new model of natural language which operates by combining the syntactics of grammar and the semantics of individual words to produce a unified ''meaning'' of sentences. This they did by using category theory to understand the component parts of language and to amalgamate the components together to form what they called a ''distributional compositional categorical model of meaning''. In this talk I shall introduce the model of Coecke et. al., and use it to compare the meaning of sentences in Irish and in English (and thus ascertain when a sentence is the translation of another sentence) using a cosine similarity score.

The Irish language is a member of the Gaelic family of languages, originating in Ireland and is the official language of the Republic of Ireland.

The triangular inequality is central in Mathematics. What would happen if we reverse it? We only obtain trivial spaces. However, if we mix it with an order structure, we obtain interesting spaces. We'll present linear antimetrics, prove a "masking theorem", and then look at a corollary which tells us about the "twin paradox" in special relativity; time is antimetric!

Hilbert's fifth problem asks informally what is the difference between Lie groups and topological groups. In 1950s this problem was solved by Andrew Gleason, Deane Montgomery, Leo Zippin and Hidehiko Yamabe concluding that every locally compact topological group is "essentially" a Lie group. In this talk we will show the complete proof of this theorem.

This talk is a brief introduction to the analysis of Donaldson theory, a branch of gauge theory. Roughly, this is an area of differential topology that aims to extract smooth structure invariants from the geometry of the space of solutions (moduli space) to a system of partial differential equations: the Yang-Mills equations.

I will start by discussing the differential geometric background required to talk about Yang-Mills connections. This will involve introducing the concepts of principal fibre bundles, connections and curvature. In the second half of the talk I will attempt to convey the flavour of the mathematics used to address technical issues in gauge theory. I plan to do this by presenting a sketch of the proof of Uhlenbeck's compactness theorem, the main technical tool involved in the compactification of the moduli space.

KW states that every finite abelian extension of the rationals is contained in a cyclotomic extension. In a previous talk, this was reduced to considering cyclic extensions of the local fields Q_p of prime power order l^r. When l\neq p, general theory is sufficient, however for l=p, more specific (although not necessarily more abstruse) descriptions become necessary.
I will focus on the simple structure of Q_p's extensions to obstruct the remaining obstructions to KW (and hopefully provoke some interest in local fields in those less familiar). Time-permitting, I will talk about this theorem in the context of class field theory and/or Hilbert's 12th problem.

The Kronecker-Weber theorem states that every finite abelian extension of the rationals is contained in some cyclotomic field. I will present a proof that emphasizes the standard local-global philosophy by first proving it for the p-adics and then deducing the global case.

I will present some basic concepts in Large Cardinal theory. A Large Cardinal axiom is the assertion of the existence of a cardinal so large that it entails the existence of set-sized models of ZFC, something which we know ZFC alone does not do. Large Cardinal axioms are therefore strengthenings of ZFC. We believe them to be consistent with ZFC, but this is a touchy subject. Nevertheless, Large Cardinal axioms have become an essential tool in set theory, providing insight into the fine structure of the set theoretic universe. In my talk, I will focus on inaccessible and measurable cardinals, and, if time permits, I will discuss supercompact cardinals.

In 2010 Coecke, Sadrzadeh, and Clark formulated a new model of natural language which operates by combining the syntactics of grammar and the semantics of individual words to produce a unified ''meaning'' of sentences. This they did by using category theory to understand the component parts of language and to amalgamate the components together to form what they called a ''distributional compositional categorical model of meaning''. In this talk I shall introduce the model of Coecke et. al., and use it to compare the meaning of sentences in Irish and in English (and thus ascertain when a sentence is the translation of another sentence) using a cosine similarity score.

The Irish language is a member of the Gaelic family of languages, originating in Ireland and is the official language of the Republic of Ireland.

Suppose that you have a long strip of paper, and draw the central line through it. You then glue it together so as to make a Möbius band. Can the drawn curve be contained in a plane?

We'll answer the question in this talk, as well as introduce the concepts from the Geometry of Surfaces course required to go through it; including Gauss' one and only Theorema Egregium! (we won't prove it though).

The Grothendieck ring of varieties over a field is a simple idea that formalizes various cut-and-paste arguments in algebraic geometry. We will explain how this intuitive construction leads to nontrivial results, such as computing Euler characteristics, counting points of varieties over finite fields, and determining Hodge numbers. As an example, we will investigate cubic hypersurfaces, especially the varieties parametrizing lines on them. If time permits, we will discuss some of the stranger properties of the Grothendieck ring.

Young diagrams frequently appear in the study of partitions and representations of the symmetric group. By filling these diagrams with numbers, we obtain Young tableau, combinatorial objects onto which we can define the structure of a monoid via insertion algorithms. We will explore this structure and it's connection to a basis of the ring of symmetric polynomials. If we have time, we will mention alternative monoid structures and their corresponding bases.

We will talk about set theory, and, more specifically, forcing. Forcing is powerful. It is the go-to method for proving the independence of the continuum hypothesis or for understanding the (lack of) fine structure of the real numbers. However, forcing is hard. Keen to export their theorems to more mainstream areas of mathematics, set theorists have tackled this issue by inventing forcing axioms, (relatively) simple mathematical statements which describe sophisticated forcing extensions. In my talk, I will present the basics of forcing, I will introduce some interesting forcing axioms and I will show how these might be used to obtain surprising independence results.

What does abstract nonsense (category theory) have to do with the apparently opposite proverbial concreteness of physics? In this talk I will try to convey the importance of understanding physical theories from a compositional and structural perspective, where the fundamental logic of interaction between systems becomes the real protagonist. Firstly, we will see how different classes of symmetric monoidal categories can be used to model physical processes in a very natural and intuitive way. We will then explore the claim that category theory is not only useful in providing a unified framework, but it can be also used to perfect and modify preexistent models. In this direction, I will show how the introduction of a trace in the symmetric monoidal category describing QIT can be used to talk about quantum interactions induced by cyclic causal relationships.

Nets of lines are line arrangements satisfying very strict intersection conditions. We will see that nets can be defined in a very natural way in algebraic geometry, and, thanks to the strict intersection properties they satisfy, we will see that a lot can be said about classifying them over the complex numbers. Despite this, there are still basic unanswered questions about nets, which we will discuss. 
 

Fermat’s two-squares theorem is an elementary theorem in number theory that readily lends itself to a classification of the positive integers representable as the sum of two squares. Given this, a natural question is: what is the minimal number of squares needed to represent any given (positive) integer? One proof of Fermat’s result depends on essentially a buffed pigeonhole principle in the form of Minkowski’s Convex Body Theorem, and this idea can be used in a nearly identical fashion to provide 4 as an upper bound to the aforementioned question (this is Lagrange’s four-square theorem). The question of identifying the integers representable as the sum of three squares turns out to be substantially harder, however leaning on a powerful theorem of Dirichlet and a handful of tricks we can use Minkowski’s CBT to settle this final piece as well (this is Legendre’s three-square theorem).

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.

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.

The “field with one element” is an interesting algebraic object that in some sense relates linear algebra with set theory. In a much deeper vein it is also expected to have a role in algebraic geometry that could potentially “lift" Deligne’s proof of the final Weil Conjecture for varieties over finite fields to a proof of the Riemann hypothesis for the Riemann zeta function. The only problem is that it doesn’t exist. In this highly speculative talk I will discuss some of these concepts, and focus mainly on zeta functions of algebraic varieties over finite fields. I will give a (very) brief sketch of how to interpret various zeta functions in a geometric context, and try to explain what goes wrong for the Riemann zeta function that makes this a difficult problem.

I was speak on the way Newton carries out his calculus in the Principia in the framework of classical geometry rather than with fluxions, his deficiencies, and the relation of this work to inverse-square laws.

Outer Space is an important object in Geometric Group Theory and can be described from two viewpoints: as a space of marked graphs and a space of actions on trees. The latter viewpoint can be used to prove that Outer Space is contractible; and this fact together with some arguments using the first viewpoint enables us to say something about the Outer Automorphism group of a free group - I will sketch both these proofs.

By way of shameless advertising for a TCC course I hope to give next term on the theory of totally disconnected locally compact groups, I will present two interesting and illuminating examples of such groups: the full automorphism group of a regular tree, and Neretin's group of spheromorphisms
 

Classifying line arrangements on the plane is a problem that has been around for a long time. There has been a lot of work from the perspective of incidence geometry, but after a paper of Hirzebruch in in 80's, it has also attracted the attention of algebraic geometers for the applications that it has on classifying complex algebraic surfaces of general type. In this talk I will present various results around this problem, I will show some specific questions that are still open, and I will explain how it relates to complex surfaces of general type. 
 

Modular forms holomorphic functions on the upper half of the complex plane, H, invariant under certain matrix transformations of H. The have a very rich structure - they form a graded algebra over C and come equipped with a family of linear operators called Hecke operators. We can also view them as functions on a Riemann surface, which we refer to as a modular curve. It transpires that the integral homology of this curve is equipped with such a rich structure that we can use it to compute modular forms in an algorithmic way. The modular symbols are a finite presentation for this homology, and we will explore this a little and their connection to modular symbols.

This talk will hopefully highlight the general framework in which Penrose tilings are proved to be aperiodic and in fact a tiling. 

In the game 'Set', players compete to pick out groups of three cards sharing common attributes. But how many cards must be dealt before such a group must appear? 
This is an example of a "cap set problem", a problem in Ramsey theory: how big can a set of objects get before some form of order appears? We will translate the cap set problem into a problem of geometry over finite fields, discussing the current best upper bounds and running through an elementary proof. We will also (very) briefly discuss one or two implications of the cap set problem over F_3 to other questions in Ramsey theory and computational complexity
 

In my talk I will give a basic introduction to the finiteness properties of groups and their relation to subgroups of direct products of groups. I will explain the relation between such subgroups and fibre products of groups, and then proceed with a discussion of the n-(n+1)-(n+2)-Conjecture and the Virtual Surjections Conjecture. While both conjectures are still open in general, they are known to hold in special cases. I will explain how these results can be applied to prove that there are groups with arbitrary (non-)finiteness properties.

There are many natural questions one can ask about presentations of finite groups- for instance, given two presentations of the same group with the same number of generators, must the number of relations also be equal? This question, and closely related ones, are unsolved. However if one asks the same question in the category of profinite groups, surprisingly strong properties hold- including a positive answer to the above question. I will make this statement precise and give the proof of this and similar results due to Alex Lubotzky.

For every $\epsilon>0$ does there exist some $n\in\mathbb{N}$ and a bijection $f:\mathbb{Z}_n\to\mathbb{Z}_n$ such that $f(x+1)=2f(x)$ for at least $(1-\epsilon)n$ elements of $\mathbb{Z}_n$ and $f(f(f(f(x))))=(x)$ for all $x\in\mathbb{Z}_n$? I will discuss this question and its relation to an important open problem in the theory of countable discrete groups.

The Robin-Schensted-Knuth insertion algorithm provides a bijection between non-negative integer matrices and pairs of semistandard Young tableau. However, by relaxing the conditions on the correspondence, it allows us to define the Poirer-Reutenauer bialgebra, which exactly describes the algebra of symmetric functions viewed as generated by the Schur polynomials. This gives an interesting combinatorial decomposition of symmetric products of Schur polynomials, called a Littlewood Richardson rule, which we will discuss. We will then power through as many generalisations as I have time for: Hecke insertion and stable Grothendieck polynomials, shifted insertion and Schur P-functions, and shifted Hecke insertion and weak shifted stable Grothendieck polynomials

Deficiency is a measure of how complicated the presentations of a particular group need to be; it is defined as the maximum of the number of generators minus the number of relators (over all finite presentations of the group). This talk will introduce the basics of deficiency, give a deft example of Swan which illustrates why our understanding of deficiency is deficient, and conclude with some new examples that defy this defeatism: finite $p$-groups can have any deficiency you could (reasonably) wish for.

A variety of groups is an equationally defined class of groups, namely the class of groups in which each of a set of "laws" (or "identical relations") holds. Examples include the abelian groups (defined by the law $xy = yx$), the groups of exponent dividing $d$ (defined by the law $x^d$), the nilpotent groups of class at most some fixed integer, and the solvable groups of derived length at most some fixed integer. This talk will give an introduction to varieties of groups, and then conclude with recent work on determining for certain varieties whether, for fixed coprime $m$ and $n$, a group $G$ is in the variety if and only if the power subgroups $G^m$ and $G^n$ (generated by the $m$-th and $n$-th powers) are in the variety.

In this talk I will describe another strong link between the behaviour of a 3-manifold and the behaviour of its fundamental group- specifically the theorem that the group splits as a free product if and only if the 3-manifold may be divided into two parts using a 2-sphere inducing this splitting. This theorem is for some reason known as Kneser's conjecture despite having been proved half a century ago by Stallings.

An expander is a family of finite graphs of uniformly bounded degree, increasing number of vertices and Cheeger constant bounded away from zero. They occur throughout mathematics and computer science; the most famous constructions of expanders rely on powerful results in geometric group theory and number theory, while expanders are used in everything from error-correcting codes, through disproving the strongest version of the Baum-Connes conjecture, to affine sieve theory and the twin prime, Mersenne prime and Hardy-Littlewood conjectures.

However, very little was known about how different the geometry of two expanders could be. This question was raised by Ostrovskii in 2013, and a year later Mendel and Naor gave the first example of two 'distinct' expanders.

In this talk I will construct a continuum of expanders which are, in a certain sense, geometrically incomparable. Once the existence of a single expander is accepted, the remainder of the proof is a heady mix of counting, addition, multiplication, and just for the experts, a little bit of division. Two very different - and very interesting - continuums of 'distinct' expanders have since been constructed by Khukhro-Valette and Das.

I'll be talking about my masters' research in Quantum Gravity in a way that is accessible to mathematicians.

This talk will be on general amalgamation theory, covering ground from the 1950s to original research, with applications and examples from many different areas of mathematics and ranging from classical results to open problems.

I will try to give a brief description of the use of group theory and character theory in chemistry, specifically vibrational spectroscopy. Defining the group associated to a molecule, how one would construct a representation corresponding to such a molecule and the character table associated to this. Then, time permitting, I will go in to the deconstruction of the data from spectroscopy; finding such a group and hence molecule structure.