C5

In ’95 Lusztig gave a local Langlands correspondence for unramified representations of inner to split adjoint groups combining many deep results from type theory and geometric representation theory. In this talk, I will present a gentle reformulation of his construction revealing some interesting new structures, and with a view toward proving functoriality results in this framework. 

This seminar is organised jointly with the Junior Algebra and Representation Theory Seminar - all are very welcome!

In ’95 Lusztig gave a local Langlands correspondence for unramified representations of inner to split adjoint groups combining many deep results from type theory and geometric representation theory. In this talk I will present a gentle reformulation of his construction revealing some interesting new structures, and with a view toward proving functoriality results in this framework. 

The celebrated Splitting Theorem by Cheeger-Gromoll states that a manifold with non-negative Ricci curvature which contains a line is isometric to a product, where one of the factors is the real line. A related result was later proved by Kasue. He showed that a manifold with non-negative Ricci curvature and two mean convex boundary components, one of which is compact, is also isometric to a product. In this talk, I will present a variant of Kasue’s result based on joint work with Andrea Mondino. We consider manifolds with non-negative Ricci curvature and disconnected mean convex boundary. We show that if one boundary component is parabolic and convex, then the manifold is a product, where one of the factors is an interval of the real line. The result is an application of recently developed tools in synthetic geometry and exploits the interplay between Ricci curvature and optimal transport.

A non-local game involves two non-communicating players who cooperatively play to give winning pairs of answers to questions posed by an external referee. Non-local games provide a convenient framework for exhibiting quantum supremacy in accomplishing certain tasks and have become increasingly useful in quantum information theory, mathematics, computer science, and physics in recent years. Within mathematics, non-local games have deep connections with the field of operator algebras, group theory, graph theory, and combinatorics. In this talk, I will provide an introduction to the theory of non-local games and quantum correlation classes and show their connections to different branches of mathematics. We will discuss how entanglement-assisted strategies for non-local games may be interpreted and studied using tools from operator algebras, group theory, and combinatorics. I will then present a general framework of non-local games involving quantum questions and answers.

Course Overview
The course gives an introduction to a topic of current interest in Lorentzian geometic analysis and mathematical General Relativity: an approach to nonregular spacetimes based on a “metric” point of view.
 

Learning Outcomes
Becoming acquainted with Lorentzian length spaces, sectional and Ricci curvature bounds for non-regular Lorentzian spaces and the appropriate techniques.
 

Course Synopsis
Lecture 1a: Review of Lorentzian geometry, spaces of constant curvature, causality theory, singularity theorems.
Lecture 1b: Introduction to Lorentzian length spaces, timelike sectional curvature bounds.

Lecture 2a: Optimal transport, timelike Ricci curvature bounds
Lecture 2b: Sobolev calculus for time functions. Literature: [O’N83, KS18, CM20].
 

Reading group: Depending on student’s interest one could discuss the papers [GKS19, AGKS21, ABS22].

References
[ABS22] L. Aké Hau, S. Burgos, and D. A. Solis. Causal completions as Lorentzian pre-length spaces. General Relativity and Gravitation, 54(9), 2022. doi:10.1007/s10714-022-02980-x.
[AGKS21] S. B. Alexander, M. Graf, M. Kunzinger, and C. Sämann. Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems. Comm. Anal. Geom., to appear, 2021. doi:10.48550/arXiv.1909.09575. arXiv:1909.09575 [math.MG].
[CM20] F. Cavalletti and A. Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications. Cambridge Journal of Mathematics, to appear, arXiv:2004.08934 [math.MG], 2020. doi:10.48550/arXiv.2004.08934.
[GKS19] J. D. E. Grant, M. Kunzinger, and C. Sämann. Inextendibility of spacetimes and Lorentzian length spaces. Ann. Global Anal. Geom., 55(1):133–147, 2019. doi:10.1007/s10455-018-9637-x.
[KS18] M. Kunzinger and C. Sämann. Lorentzian length spaces. Ann. Glob. Anal. Geom., 54(3):399–447, 2018. doi:10.1007/s10455-018-9633-1.
[O’N83] B. O’Neill. Semi-Riemannian geometry with applications to relativity, volume 103 of Pure and Applied Mathematics. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983.

Should you be interested in taking part in the course, please send an email to @email  by 10 May 2024. 

Given a group G and a field k, we can "twist" the multiplication of the group algebra kG by a 2-cocycle, and the result is a twisted group algebra. Twisted group algebras arise as direct sums of blocks of group algebras, and so are of interest in representation and block theory. In this talk we will discuss some recently obtained results on the first Hochschild cohomology of twisted group algebras, in particular that these cohomology groups are nontrivial whenever G is a finite simple group.

A self-similar group is a group $G$ acting on a regular, infinite rooted tree by automorphisms in such a way that the self-similarity of the tree is reflected in the group. The most common examples are generated by the states of a finite automaton. Many famous groups, like Grigorchuk's 2-group of intermediate growth, are of this form. Nekrashevych associated $C^*$-algebras and algebras with coefficients in a field to self-similar groups. In the case $G$ is trivial, the algebra is the classical Leavitt algebra, a famous finitely presented simple algebra. Nekrashevych showed that the algebra associated to the Grigorchuk group is not simple in characteristic 2, but Clark, Exel, Pardo, Sims, and Starling showed its Nekrashevych algebra is simple over all other fields. Nekrashevych then showed that the algebra associated to the Grigorchuk-Erschler group is not simple over any field (the first such example). The Grigorchuk and Grigorchuk-Erschler groups are contracting self-similar groups. This important class of self-similar groups includes Gupta-Sidki p-groups and many iterated monodromy groups like the Basilica group. Nekrashevych proved algebras associated to contacting groups are finitely presented.

In this talk, we discuss a result of the speaker and Benjamin Steinberg characterizing simplicity of Nekrashevych algebras of contracting groups. In particular, we give an algorithm for deciding simplicity given an automaton generating the group. We apply our results to several families of contracting groups like GGS groups and Sunic's generalizations of Grigorchuk's group associated to polynomials over finite fields.

When you ask someone what maths is, their answer will massively depend on how they’ve been exposed to maths up until that point. From a 10-year-old who will tell you it’s adding up numbers, to a Fields medalist who may say to you about the idea of abstraction of logical ideas, there is no clear consensus as to the “right” answer to this question. Our individual journeys as mathematicians give us a clear idea about what it means to us, and this affects how we then communicate our ideas to an audience of other mathematicians and the general public. However, a pitfall that we easily fall into as a result is forgetting that others can understand maths in a different way to ourselves, and by only offering our preferred perspective, we are missing out on the chance to effectively communicate our ideas.

In this talk, I will explore how our individual understanding of what mathematics is can shape our methods of communication. I will review which methods of communication mathematicians utilise, and show examples where each method does well, and not so well.  Examples of communication methods include writing equations, plotting graphs, creating diagrams and storytelling. Given this, I will cover how by using a collection of these different methods, you can increase the impact of your research by engaging with the various different mindsets your audience may have on what mathematics is.

The Onsager framework for linear irreversible thermodynamics provides a thermodynamically consistent model of mass transport in a phase consisting of multiple species, via the Stefan–Maxwell equations, but a complete description of the overall transport problem necessitates also solving the momentum equations for the flow velocity of the medium. We derive a novel nonlinear variational formulation of this coupling, called the (Navier–)Stokes–Onsager–Stefan–Maxwell system, which governs molecular diffusion and convection within a non-ideal, single-phase fluid composed of multiple species, in the regime of low Reynolds number in the steady state. We propose an appropriate Picard linearisation posed in a novel Sobolev space relating to the diffusional driving forces, and prove convergence of a structure-preserving finite element discretisation. The broad applicability of our theory is illustrated with simulations of the centrifugal separation of noble gases and the microfluidic mixing of hydrocarbons.