Spring 2020 Seminars and Abstracts Spring 2020 Seminars and Abstracts

All Seminars will be held on Monday afternoons 1400-1500 unless otherwise specified.  Everyone is welcome

Future Seminars

January

13th

Katerina Hristova

UEA

S 0.31

 

20th

Jan Dobrowolski

Leeds

S0.31

 

27th

Justin Trias

UEA

EFRY 01.05

February

3rd 

Paul Hammerton

UEA

S 0.31

 

10th

Nicola Gambino

Leeds

S1.20

 

17th 

DSD week and applicant day - no seminar

 
 

24th

Diego Millan Berdasco

QMUL

LT4

March

2nd 

Gareth Tracey

Bath

LT2

 

9th

Isabel Muller

Imperial

EFRY 01.05

 

16th

Seminar Cancelled

 

 

 

Easter Break

No seminars

April

20th

Kevin Buzzard

Imperial College London

S0.31

 

27th

Michael Giudici

Western Australia / Isaac Newton Institute

LT4

MAY

4th

TBA

 

S0.31

 

11th

Nicola Gambino

Leeds

S3.05

 

Abstracts

 

13 Jan 20 - Katerina Hristova, UEA

Representations of locally compact totally disconnected groups and complete Kac-Moody groups

Abstract: We study smooth representations of locally compact totally disconnected groups acting continuously on simplicial sets. We discuss some interesting properties of the category of smooth representations of such groups, in particular, its projective dimension and localisation theory. We use our results to obtain information about the representation theory of complete Kac-Moody groups over a finite field. Joint work with Dmitriy Rumynin.

 

20 Jan 20 - Jan Dobrowolski, Leeds University

Independence in vector spaces with a bilinear form

Abstract: NSOP1 is a property of first-order structures which can be characterised by existence of an independence relation satisfying certain natural properties. Infinite dimensional vector spaces over algebraically closed fields equipped with a non-degenerate bilinear form are among the main examples of NSOP1 structures. Using this class of structures as an example, I will explain the model-theoretic concepts and phenomena occurring in NSOP1 theories. If time permits, I will also discuss groups definable in these structures.

 

27 Jan 20 – Justin Trias, UEA

Modular Theta Correspondence

AbstractThe Theta correspondence is an important and somewhat mysterious tool in Number Theory, with arithmetic applications dealing with special values of L-functions, epsilon factors, and local Langlands correspondence. The local variant of the Theta correspondence concerns itself with describing a bijection between prescribed sets of irreducible smooth complex representations of groups G_1 and G_2, where (G_1,G_2) is a reductive dual pair in a symplectic p-adic group.   This theory can be extended beyond complex representations to representations with coefficients in any algebraically closed field R as long as the characteristic of R is different from p. However, the correspondence defined in this way may no longer be a bijection, and the question of whether this remains a bijection depends on the characteristic of R and of the size of the G_i.

 

3 Feb 20 – Paul Hammerton, UEA

Swinging Cricket Balls — Why Boundary Layer Transition Is Important Abstract: This will be a talk in two parts — hopefully with something for everyone in the department.  If a flat plate is placed in a high-speed wind tunnel, at some distance downstream of the leading edge the flow in the layer close to the plate can be observed to change in character from laminar flow (smooth flow almost parallel to the surface) to turbulent flow. The point at which transition occurs is quite sensitive to the particular wind-tunnel being used. This is known as the receptivity problem — the point of transition depends not only on the position of the point of neutral stability in the boundary layer, but on free-stream disturbances and how they interact with the surface.  In the first part of the talk I will discuss the receptivity process, looking at how the shape and surface of a body can affect the level of receptivity. I will also discuss when transition is important be it drag reduction on plane wings or the importance in sport.  The second part will focus more on the mathematical details.  I will discuss work in progress, starting during my period of study leave. Looking at receptivity due to the leading edge of the body I will describe how understanding the eigenfunction decomposition of the solution in the boundary is important, and progress made in identifying these solutions.

 

10 Feb 20 - Nicola Gambino, Leeds

Bicategories in algebra, logic and topology

Abstract:  Categories, consisting of objects and morphisms, provide a convenient way to organize, study and relate mathematical objects in a variety of disciplines. Yet, there are natural situations in which composition of morphisms fails to be associative and one needs to consider with the more subtle notion of a bicategory. A fundamental example is the bicategory of rings and bimodules (with composition given by tensor product). This seminar will provide an introduction to bicategories, mostly focusing on examples, leading up to some recent work aimed at constructing Cartesian closed bicategories which are of interest in logic (via linear logic) and topology (via operads). No prior knowledge of category theory will be assumed. 

 

24 Feb 20 - Diego Millan Berdasco, Queen Mary, London

On decomposition numbers of the symmetric group.

Abstract: Modular representation theory of the symmetric group studies the restrictions to finite characteristic of the irreducible modules of the group algebra C\S_n: the Specht modules.  Given a certain natural number, we know it decomposes uniquely as a finite product of powers of prime numbers.  Similarly, a Specht module has a unique decomposition into simple modules each with a certain multiplicity. Finding these multiplicities, called decomposition numbers, is the most important open problem in this theory.  In this talk we generalise an early result by G. D. James, and give a new family of decomposition numbers for each Specht module.

 

2 Mar 20 – Gareth Tracey, Bath

Generation properties in finite groups: The story so far

Abstract: A well-developed branch of finite group theory compares different invariants in certain classes of finite groups. For example, one may take certain classes of permutation groups G, of degree n, and ask: How big can |G| be, in terms of n? How many generators will G need in terms of n? If one chooses generators of G at random, with replacement, then how long will it take before a generating set is found? In this talk, we will study these questions in various different classes of finite groups, from permutation and linear groups to simple groups and their subgroups. We will also outline some useful techniques, and some interesting applications to Galois theory, and to enumeration problems in graph theory.    

 

9 Mar 20 – Isabel Müller (Imperial)

The Free Group and further Non-equational Stable Groups

Abstract: Like many concepts in model theory, also the notion of  equationality bases its intuition in algebra. More specifically, it is an abstraction of noetherianity into the logic context: In algebraically closed fields, instances of first order formulas are boolean combinations of varieties, i.e. Zariski closed sets. These are noetherian, meaning that an infinite intersection of varieties is already given by a finite subintersection. Transferring this principle to model theory, we say that a first order formula is equational if any infinite intersection of its instances is equivalent to a finite subintersection. We then call a theory equational, if any formula is the boolean combination of equational formulas. 

In the classification of first order theories, the class of stable theories plays a fundamental role. An easy proof shows that any equational theory is necessarily stable. The converse question is more complex. Until recently,  the only known natural example of a stable, non-equational theory was given by the non-abelian free group. The proof by Zlil Sela relies on deep geometric tools and was not accessible to the community of model theorists. We will present a new criterion for the non-equationality of a theory, which yields a short elementary proof of the non-equationality of the free group and generalizes to the larger class of free products of stable groups. That indicates that the difference between equational and stable theories is much larger then previously assumed.

We will introduce all notions stemming from Model Theory and try not to assume knowledge in first order logic. 

This is joint work with Rizos Sklinos.

 

16 Mar 20 – David Goldberg, Purdue - SEMINAR CANCELLED

The Math Alliance: History and Lessons

Abstract:  Growing out of an effort at the University of Iowa in the late 1990’s, the Math Alliance has grown in the USA to a national mentoring community of over 1,000 faculty mentors, which has worked with over 2,100 students over the past dozen years. The Math Alliance is an organization devoted to producing more doctorates in the mathematical sciences (writ large) among traditionally underrepresented groups: African Americans, Latinx Americans, American Indians, Native Alaskans, Native Hawaiians and Pacific Islanders.  The Math Alliance has seen over 100 of these students receive doctoral degrees, most since 2013. With a recent (six-year old) Math Alliance program to address issues of the transition to graduate school just beginning to pay dividends, and well over 300 more doctorates in the pipeline, this has become a success story which could have hardly been imagined from its beginnings.  In this talk we will discuss this history, why it is remarkable, how we intend prevent it from dying off, how we view these results impacting our profession, and what direction we see the future moving in.  We’ll also discuss what we have learned about building a more inclusive mathematical professional workspace, and how many of those lessons can be applied to other areas, as well as other settings.

 

20 Apr - Kevin Buzzard, Imperial College London

When will computers prove theorems?

Abstract: Computers are used by researchers to do "number crunching" -- huge computations which would be completely unfeasible to do by hand. Computers could calculate the first 10000 prime numbers in a fraction of a second, for example. But computers can still only do a finite amount of stuff in a finite time. Can a computer prove that there are *infinitely many* prime numbers? Currently the answer is "with some help". What kinds of things can computers prove by themselves? Can they do undergraduate problem sheets? Should we be training undergraduates to use them? What does the future hold? I will give an introduction to the area of computer proof systems. No background knowledge in computers will be needed.

 

 

 

Autumn 2019 Seminars and Abstracts Autumn 2019 Seminars and Abstracts

Seminars take place on Monday afternoons 14:00–15:00, unless specified otherwise. Everyone is welcome.

 

Talks

 

September 16, (EFRY 01.10), Benjamin Steinberg (The City College of New York), An Invitation to the representation theory of monoids.

 

30 September, (EFRY 01.05), Sam Gunningham (Kings College London), The finiteness condition for skein modules.

 

7 October, (EFRY 01.05), Neil Saunders (University of Greenwich), The Exotic Nilpotent Cone and Type C Combinatorics

 

14 October, (EFRY 01.05), Andrea Appel (University of Edinburgh), Meromorphically braided categories

 

21 October, (LT4), Andreea Mocanu (University of Nottingham), On the relation between Jacobi forms and elliptic modular forms.

 

28 October, (EFRY 01.05), Nadav Meir (Imperial College, London), O-minimality, pseudo-o-minimality: on first-order properties semialgebraic set

 

4 November, (LT3), Rachel Newton, (University of Reading), Counting failures of a local-global principle

 

11 November, (EFRY 01.05), Vahagn Aslanyan (University of East Anglia), A Remark on Atypical Intersections

 

18 November, (LT3), Nick Williams (University of Leicester), An algebraic interpretation of the higher Stasheff-Tamari orders

 

25 November, (EFRY 01.05), Lewis Topley (University of Birmingham), The dimensions of modules for Lie algebras in positive characteristics

 

2 December, (EFRY 01.05), Dimitris Michaelidis (University of Kent), On bases and BGG resolutions of simple modules of Temperley-Lieb algebras of type B

 

9 December, (EFRY 01.05), Dan Ciubotaru (University of Oxford), Dirac operators and Hecke algebras

 

 

Abstracts

 

Benjamin Steinberg (16 September)

An Invitation to the representation theory of monoids

We provide an overview of the representation theory of finite monoids.  Our focus will be on examples (like the monoid of nxn matrices over a finite field and the monoid of all mappings on an n element set) and applications (to Markov chains and perhaps symbolic dynamics).

 

Sam Gunningham (30 September)

The finiteness condition for skein modules

Given a 3-manifold M, its Kaufmann bracket skein module is a certain family of vector spaces generated by embedded links in M modulo certain relations (called skein relations). It turns out that these modules naturally appear as the values of a topological quantum field theory (TQFT); more generally, there is such a TQFT attached to any suitable (ribbon) braided monoidal category. We use this structure to derive an expression for the skein module of a 3-manifold via a Heegard decomposition, and prove that it is generically finite dimensional using the theory of deformation quantization, confirming a conjecture of Witten. 
I will give an overview of skein theory from a categorical point of view, and outline some of the ideas that go in to the proof. No prior knowledge of the subject will be assumed! This is joint work with David Jordan and Pavel Safronov.

 

Neil Saunders (7 October)

The Exotic Nilpotent Cone and Type C Combinatorics

The exotic nilpotent cone as defined by Kato gives a 'Type A-like' Springer correspondence for Type C. In particular, there is a bijection between the symplectic group orbits on the exotic nilpotent cone and the irreducible representations of the Weyl group of Type C. In this talk, I will outline the various geometric and combinatorial results that follow from this. These results are joint work with Vinoth Nanadakumar and Daniele Rosso, and Arik Wilbert.

 

Andrea Appel (14 October)

Meromorphically braided categories

The category Mod(H) of finite-dimensional modules over a quasi-triangular Hopf algebra H (that is, a Hopf algebra with an R-matrix R) is the prototype of a braided monoidal category. Similarly, the category of finite-dimensional modules over a coideal subalgebra in H is automatically endowed with a categorical action of Mod(H) and is the prototype of a “module" category.
The compatibility of this action with the braiding in Mod(H) is encoded by an additional datum, called a K-matrix, which provides, together with R, a universal solution of the reflection equation. Coideal subalgebras with a K-matrix are also called quasi-triangular and their finite-dimensional modules form a braided module category. While braided monoidal categories are associated with braid groups (Artin groups of type A), braided module categories corresponds to cylindrical braid groups (Artin groups of type B).

In this talk, I will review the construction of K-matrices for quantum groups of finite type due to Balagovic and Kolb. I will then describe alternative approaches to this construction, which are more suitable to generalizations and apply in particular to quantum affine algebras, where they produce examples of “meromorphically” braided module category. This is based on joint ongoing works with David Jordan and Bart Vlaar.

 

Andreea Mocanu (21 October)

On the connection between Jacobi forms and elliptic modular forms

Jacobi forms arise naturally in number theory, for example as functions of lattices or as Fourier-Jacobi coefficients of other types of modular forms. They have applications in algebraic geometry, string theory and the theory of vertex operator algebras, among other areas. We are interested in establishing a precise connection between Jacobi forms of lattice index and elliptic modular forms, in order to transfer information from one side to the other. In this talk, we illustrate this connection via an example, namely that of Jacobi forms whose indices are the root lattices of type D_n. 

 

Nadav Meir (28 October)

O-minimality, pseudo-o-minimality: on first-order properties of semialgebraic sets

A semialgebraic set is a set given by the real solutions to a finite set of polynomial equations and inequalities. In Grothendieckʼs Esquisse dʼun Programme he suggested the following challenge: Investigate classes of sets with the tame topological properties of semialgebraic sets. O-minimality is model theory's response to Grothendieck's challenge; it is a property of ordered structures exhibiting the "tame" topological properties of semialgebraic sets, such as cell decompositions and stratifications. With applications both within and outside of model theory, the notion of an o-minimal structure has proven to be increasingly useful, with applications varying from real algebraic and real analytic geometry to economics and machine learning.
An elementary result on o-minimal structures states that any structure satisfying the same first-order sentences as an o-minimal structure is itself o-minimal. Despite that fact, there is no axiomatization of o-minimality by a set of first-order sentences; this can be seen by taking ultraproducts, as we will see.
In this talk, we will review the definition and key results of o-minimality. We will then survey a few first-order properties of semialgebraic sets, each property "tame" in its own way, generalizing the tameness of o-minimal structures. We will end by discussing structures satisfying all first-order properties which hold in every o-minimal structure, what tameness properties these structures satisfy and how they can be axiomatized.

 

Rachel Newton (4 November)

Counting failures of a local-global principle

Methods for solving polynomial equations in the integers and rationals have been sought and studied for more than 4000 years. Modern approaches try to piece together 'local' (meaning real and p-adic) information to decide whether a polynomial equation has a 'global' (meaning rational) solution. I will describe this approach and its limitations, with the aim of quantifying how often the local-global method fails within families of polynomial equations arising from the norm map between fields, as seen in Galois theory. This is joint work with Tim Browning.

 

Vahagn Aslanyan (11 November)

A Remark on Atypical Intersections

I will define atypical intersections of algebraic varieties and state the Conjecture on Intersections with Tori (CIT), which is a Diophantine conjecture generalising Mordell-Lang (in the appropriate setting).  Although CIT is open, many special cases and weak versions have been proven.  I will discuss a well-known weak version of CIT and explain how it can be generalised using the Mordell-Lang conjecture (which is a theorm).

 

Nick Williams (18 November)
An algebraic interpretation of the higher Stasheff–Tamari orders

The two higher Stasheff–Tamari orders generalise the well-studied Tamari lattice of triangulations of a convex n-gon to higher dimensions by considering instead the set of triangulations of a cyclic polytope. The orders were implicit in the work of Kapranov and Voevodsky, but were first defined explicitly by Edelman and Reiner, who conjectured them to be equal. Edelman and Reiner showed this to hold in low dimensions, but the general result is still unknown. Meanwhile, on the algebraic side, Oppermann and Thomas connected triangulations of even-dimensional cyclic polytopes with the tilting modules over Iyama’s higher Auslander algebras of type A. In this talk I outline recent work in which I show how the higher Stasheff–Tamari orders fit into the algebraic picture of Oppermann and Thomas. Indeed, it turns out that they coincide with higher-dimensional versions of orders on tilting modules studied by Happel, Unger, Riedtmann, and Schofield.

 

Lewis Topley (25 November) 

The dimensions of modules for Lie algebras in positive characteristics

One of the main goals in representation theory is to understand simple modules for a chosen class of algebraic objects. Lie algebras are one of the most classical algebraic structures: they arise naturally as the infinitesimal analogues of (continuous) groups. Over the complex numbers representations of Lie algebras have been studied extensively and the situation is quite well-understood, although many mysteries still remain. Over fields of positive characteristics however, the situation is more complicated. I will begin this talk by giving a gentle introduction to this field, comparing the ordinary and the modular.

In the second half of the talk I will describe a joint work with Ben Martin and David Stewart in which we apply the Leftschetz principle, along with classical techniques from Lie theory, to prove (a generic version of) a conjecture of Kac and Weisfeiler from 1971, describing the maximal dimension of simple modules over a Lie algebra in positive characteristic.

 

Dimitris Michailidis (2 December)

On bases and BGG resolutions of Temperley-Lieb algebras of type B

Inspired from the study of certain models in physics, Martin and Saleur defined the Temperley-Lieb algebra of type B or blob algebra as the diagrammatic two parameter generalisation of the Temperley-Lieb algebra of type A. The blob algebra can also be viewed as quotient of the Hecke algebra of type B, hence it is isomorphic to a quotient of the (graded) KLR algebra via the Brundan-Kleshchev isomorphism. In this talk we shall construct bases of the simple representations for the blob algebra, indexed by paths in the Euclidean space with respect to the alcove geometry of affine type A1. We also prove that to each simple representation we attach a resolution of cell modules, called BGG resolution, which gives homological construction of simple representations. 

 

Dan Ciubotaru (9 December)

Dirac operators and Hecke algebras

I will explain the construction and main properties of Dirac operators for representations of various Hecke-type algebras (e.g., Lusztig's graded Hecke algebra for p-adic groups, Drinfeld's Hecke algebras, rational Cherednik algebras). The approach is motivated by the classical Dirac operator which acts on sections of spinor bundles over Riemannian symmetric spaces, and by its algebraic version for Harish-Chandra modules of real reductive groups. The algebraic Dirac theory developed for these Hecke algebras turns out to lead to interesting applications: e.g., a Springer parameterisation of projective representations of finite Weyl groups (in terms of the geometry of the nilpotent cone of complex semisimple Lie algebras), spectral gaps for unitary representations of reductive p-adic groups, connections between the Calogero-Moser space and Kazhdan-Lusztig double cells. I will present some of these applications in the talk.