#### Mathematical Physics -Physical Mathematics

Information about zoom links, password and for regular email updates can be obtained by joining the associated google group. To do so please send an email request to one of the organisers listed below.

#### Upcoming seminars

##### Tuesday 28 September 11.00 am UK time

##### Arnaud Brothier (UNSW, Sydney)

##### Jones’ actions: from conformal field theory to Richard Thompson’s group.

In his quest in constructing conformal field theories from subfactors Vaughan Jones found an efficient machine to produce actions of groups such as the celebrated Richard Thompson’s group. I will tell this beautiful story and present a general overview of this novel technology. Examples and applications toward group theory will be discussed. Some of the results presented come from joint works with Vaughan Jones and with Dilshan Wijesena. Moreover, I may cite joint works with Valeriano Aiello, Roberto Conti and Alexander Stottmeister.

##### Tuesday 5 October 4.30 pm UK time

##### Victor Ostrik (Eugene, Oregon)

Two dimensional topological field theories and partial fractions

This talk is based on joint work with M. Khovanov and Y. Kononov. By evaluating a topological field theory in dimension 2 on surfaces of genus 0,1,2 etc we get a sequence. We investigate which sequences occur in this way depending on the assumptions on the target category.

##### Tuesday 12 October 4.30 pm UK time

##### Ehud Meir (Aberdeen)

Interpolations of monoidal categories by invariant theory

In this talk I will consider algebraic structures such as lie, Hopf, and Frobenius algebras. I will show that under certain assumptions such structures can be reconstructed from the scalar invariants they define. I will then show how one can interpolate the category of representation of the automorphism groups of the structures by interpolation the invariants of the algebraic structures. In this way we recover the constructions of Deligne for categories such as Rep(S_t), Rep(O_t) and Rep(Sp_t), the constructions of Knop for wreath products with S_t, and GL_t(O_r), where O_r is a finite quotient of a discrete valuation ring. We will also show how the TQFT categories recently constructed from a rational function by Khovanov, Ostrik, and Kononov arise in this context.

##### Tuesday 19 October 4.30 pm UK time

##### Semeon Artamonov (CRM, Montreal)

Genus two Double Affine Hecke Algebra and its classical limit

With every surface and reductive group G one can associate G-character variety of its fundamental group. When the surface is oriented, the coordinate ring of G-character variety comes equipped with the Goldman Poisson bracket. The quantization of this Poisson algebra is known as G-skein algebra.

It is known that G-skein algebra of a torus admits flat one-parameter deformation into spherical subalgebra of Double Affine Hecke Alegrba (sDAHA). In my talk I will define a genus two analogue of sDAHA for G=SL(2). I will talk about finite-dimensional representations of this algebra, relation to TQFT, classical limit, and genus two analogue of Macdonald polynomials.

This talk is based on joint work with Sh.Shakirov.

##### Tuesday 26 October 4.30 pm UK time

##### Sergei Gukov (Caltech & DIAS, Dublin)

MTCs and TQFTs from 3d Coulomb branches

##### Tuesday 2 November 4.30 pm UK time

##### Adrian Ioana (UCSD)

Almost commuting matrices and stability for product groups

I will present a result showing that the direct product group G= F_2 x F_2 is not Hilbert-Schmidt stable. This means that G admits a sequence of asymptotic homomorphisms (with respect to the normalized Hilbert-Schmidt norm) which are not perturbations of genuine homomorphisms. While this result concerns unitary matrices, its proof relies on techniques and ideas from the theory of von Neumann algebras. I will also explain how this result can be used to settle in the negative a natural version of an old question of Rosenthal concerning almost commuting matrices. More precisely, we derive the existence of contraction matrices A,B such that A almost commutes with B and B* (in the normalized Hilbert-Schmidt norm), but there are no matrices A’,B’ close to A,B such that A’ commutes with B’ and B’*.

##### Tuesday 9 November 4.30 pm UK time

##### Colleen Delaney (Indiana U, Bloomington)

Zesting and Witten-Reshetikhin-Turaev invariants

I’ll discuss the ribbon zesting construction on pre-modular categories from a diagrammatic point of view and show that Witten-Reshetekhin-Turaev invariants of framed knots and links decouple under zesting. As an application I will explain how the Mignard-Schauenburg “modular isotopes” can be understood through zesting.

This talk is based on joint work with Cesar Galindo, Julia Plavnik, Eric Rowell, and Qing Zhang as well as Sung Kim.

##### Tuesday 16 November 11.00 am UK time

##### George Willis (Newcastle, NSW)

Flat groups of automorphisms of totally disconnected locally compact groups.

Flat groups of automorphisms are features of the structure of totally disconnected locally compact (t.d.l.c.) groups that roughly correspond to Cartan subgroups in Lie and algebraic groups. The group 𝓗 of automorphisms of the t.d.l.c. group *G* is flat if there is *U *≤ *G *that is minimising for every α∈𝓗, and a compact open subgroup *U *of *G *is minimising for α if the index [α(*U*) : α(*U*)⋂*U*] is the minimum as *U *ranges over all compact open subgroups of *G*.

The structure of flat groups and the associated minimising subgroups can be described in some detail and the first part of the talk will summarise this description. A couple of applications will then be outlined. The last part of the talk will describe work in progress that strengthens the correspondence with Lie algebra significantly and increases the scope of the structure theorems.

##### Tuesday 23 November 4.30 pm UK time

##### Moritz Weber (Saarland)

Easy quantum groups and quantum permutations

Within Woronowicz’s framework of compact quantum groups, there are natural quantum analogs of the symmetric group, the orthogonal group and the unitary group, amongst others. They have in common that their representation theory may be expressed in terms of diagrams. This has been systematically formalized by Banica and Speicher in 2009 within the class of so called „easy“ quantum groups.We give an introduction to „easy“ quantum groups, their diagrammatic representation theory and we mention some links with Deligne’s interpolation categories. Moreover, we highlight the role of quantum permutations within the theory of quantum automorphism groups of graphs. This also links with nonlocal games in quantum information theory, as we will point out.

##### Tuesday 30 November 4.30 pm UK time

##### Jacob Bridgeman (Perimeter)

Enriched topological codes

Topological phases are a promising substrate for quantum computing due to their inherent error resistance. Unfortunately, there seems to be a tradeoff between how easily the codes can be realized in the lab, and whether a universal set of gates can be implemented.Including defects into the code can be used to boost the gateset. We use tube algebras to understand the properties of defects, and hopefully which gates can be implemented.

##### Tuesday 7 December 4.30 pm UK time

##### Gwyn Bellamy (Glasgow)

Invariant holonomic systems for symmetric spaces.

If G is a reductive (connected, complex) Lie group with Lie algebra g, then Hotta-Kashiwara introduced a certain D-module HC on g called the Harish-Chandra D-module. This is precisely the module whose distributional solutions are the invariant eigen-distributions appearing in character theory for real reductive Lie groups. A key result by Hotta-Kashiwara is that HC is semi-simple with simple summands in bijection with the irreducible representations of the Weyl group (the algebraic Springer correspondence). In this talk I’ll describe a natural generalization of HC to a D-module on the tangent space of a symmetric space. I’ll explain the extent to which Hotta-Kashiwara’s results generalise to this setting. This is based on joint work with Levasseur, Nevins and Stafford; I won’t assume any prior knowledge of D-modules.

##### TBA

Previous talks in 2021:

##### Tuesday 26th January 4.30 pm UK time

##### Claudia Scheimbauer (TU Munich)

The AKSZ construction as a fully extended topological field theory

Classical Poincaré-Lefschetz duality is a starting point of understanding what an orientation on a derived stack given by a homotopy type of a cobordism M is. If furthermore we have an (n-)symplectic “target’’ X, we obtain a (shifted) symplectic on Map(M,X) which is given by pulling back along an evaluation and then integrating. This explains the Atiyah-Bott symplectic form on G-local systems, arising from the Killing form on the Lie algebra of a reductive group G, via derived symplectic geometry in the sense of Pantev-Toen-Vaquié-Vezzosi. In this talk I will sketch these ideas and explain how this leads to a fully extended oriented topological field theory with values in a suitable higher category of Lagrangians, explaining the difficulties with coherence in defining such a functor. In essence, the difficulty with coherence stems from integration of differential forms not being functorial for cobordisms on the nose, but only up to homotopy. In mathematical physics, this TFT is a reinterpretation/analog of the classical AKSZ construction for certain $\sigma$-models and describes “semi-classical TFTs”. This is joint work with Damien Calaque and Rune Haugseng and fully extends a construction by the former.

##### Tuesday 2nd February 4.30 pm UK time

##### Ivan Cherednik (University of North Carolina, Chapel Hill)

Riemann hypothesis for plane curve singularities

We will begin with a mini-review of the classical theories of

zeta-functions, and then switch to the zeta and L-functions

of plane curve singularities, conjecturally coinciding with the

motivic super-polynomials, defined in terms of compactified

Jacobians of these singularities. The focus is on the functional

equation, matching the DAHA super-duality and, presumably,

the physics S-duality in M-theory. DAHA provides here powerful

operator methods, closely related to refined Verlinde algebras.

We will calculate the DAHA super-polynomial and the motivic

one for trefoil. Generally, they are expected to coincide with

the stable Khovanov-Rozansky polynomials of algebraic knots.

##### Tuesday 9th February 4.30 pm UK time

##### Andrew Schopieray (PIMS)

Number fields and the quantum subgroup problem Slides

There was a long-standing conjecture that, stated very loosely, there exist finitely-many exceptional quantum subgroups for each of the affine Lie algebras. This conjecture can be understood as a question about commutative algebra objects in modular tensor categories. It was announced a few years ago that this conjecture shall become a theorem, the proof of which relies on number-theoretic aspects of modular tensor categories including the Galois symmetry of modular data. In this talk, I will discuss both results and future directions of research that have arisen from my own contributions to resolving this conjecture, including Witt group relations, non-pseudounitary fusion rules, and minimal modular closure conjectures.

##### Tuesday 16th February 4.30 pm UK time

##### Bin Gui (Rutgers)

Categorical extensions of conformal nets

Wightman QFT and Haag-Kastler QFT are two major mathematically rigorous axiomatizations of quantum field theory. For 2d chiral conformal field theory, these two are respectively the vertex operator algebra approach (describing the chiral fields) and the conformal net approach (describing bounded observables on the circle). To construct and understand full and boundary CFT, and to investigate the representation tensor categories for chiral CFT, one also needs charged fields (known as intertwining operators or conformal blocks in the literature of vertex algebras) which map between different representations of the chiral fields. In this talk, I will introduce categorical extensions of conformal nets as a Haag-Kastler theory for charged fields. I will argue that this approach provides a natural framework of describing the locality property for charged fields. I will use Connes fusion (Connes relative tensor product) to motivate the definition.

##### Tuesday 23rd February 11.00 am UK time

##### Mayuko Yamashita (RIMS Kyoto)

The classification problem of non-topological invertible QFT’s and a “physicists-friendly” model for the Anderson duals

Freed and Hopkins conjectured that the deformation classes of non-topological invertible quantum field theories are classified by a generalized cohomology theory called the Anderson dual of bordism theories. The main difficulty of this problem lies in the fact that we do not have the axioms for QFT’s. In this talk, I will explain the ongoing work to give a new approach tothis conjecture. We construct a new, “physicists-friendly” model for the Anderson duals.This model is constructed so that it abstracts a certain property of invertible QFT’s which physicists believe to hold in general. I will start from basic motivations for the classification problem, report the progress of our work and explain future directions. This is the joint work with Yosuke Morita (Kyoto, math) and Kazuya Yonekura (Kyushu, physics).

##### Tuesday 2nd March 4.30 pm UK time

##### Nilanjana Datta (DAMTP Cambridge)

Perfect discrimination of unitary channels and novel quantum speed limits

Discriminating between unknown objects in a given set is a fundamental task in experimental science. Suppose you are given a quantum system which is in one of two given states with equal probability. Determining the actual state of the system amounts to doing a measurement on it which would allow you to discriminate between the two possible states. It is known that unless the two states are mutually orthogonal, perfect discrimination is possible only if you are given arbitrarily many identical copies of the state. In this talk we consider the task of discriminating between quantum channels, instead of quantum states. In particular, we discriminate between a pair of unitary channels acting on a quantum system whose underlying Hilbert space is infinite-dimensional. We prove that in contrast to state discrimination, one only needs a finite number of uses of these channels in order to discriminate perfectly between them. Furthermore, no entanglement is needed in the discrimination task. The measure of discrimination is given in terms of the energy-constrained diamond norm, and a key ingredient of the proofs of these results is a generalization of the Toeplitz-Hausdorff Theorem of convex analysis . Moreover, we employ our results to study a novel type of quantum speed limits which apply to pairs of quantum evolutions. This work was done jointly with Simon Becker (Cambridge), Ludovico Lami (Ulm) and Cambyse Rouze (Munich).

##### Tuesday 9th March 4.30 pm UK time

##### Reinhard Werner (Leibniz Universität, Hannover)

Topological classification of spin chains and quantum walks

I will consider two types of one-dimensional discrete time lattice systems: On the one hand, there are spin chains, infinite tensor products of finite quantum systems. With a discrete time evolution automorphism, they are called quantum cellular automata (QCAs). On the other, there are quantum walks, direct sums of finite quantum systems, whose one-step dynamics is given by a unitary operator. In both cases, the discreteness of time leads to an interesting interplay between unitarity and locality, which is absent in the continuous time (Hamiltonian) analogues. It is measured by an index, which assumes rational values in the QCA case and integers in the walk case. I will illustrate it by the index theorem for juggling patterns (these are special walks) and the memory invariant for reversible qubit-stream processors (special QCAs). The geometric features of the lattice are encoded in a “coarse structure”, which will be important for analogues of this theory in higher dimensions. But even in the translation invariant one-dimensional case there are different choices, which I will briefly describe.

I will then consider quantum walks with discrete symmetries and a spectral gap condition. No translation invariance and only approximate locality are assumed. In the Hamiltonian case this leads to the so-called tenfold way, of which I will give a characterization justifying the number ten. In the unitary case, the same assumptions once again lead to more possibilities. Topological classification is in terms of an index group, and requires three indices: one for the asymptotic behaviour on the left, one on the right, and one to classify non-gentle perturbations, i.e., local modifications of the walk that cannot be deformed away.

##### Tuesday 16th March 4.30 pm UK time

##### Cain Edie-Mitchell (Vanderbilt)

Type II quantum subgroups for sl_n

Quantum subgroups are module categories, which encode the “higher representation theory” of the Lie algebras. They appear naturally in mathematical physics, where they correspond to extensions of the Wess-Zumino-Witten models. The classification of these quantum subgroups has been a long-standing open problem. The main issue at hand being the possible existence of exceptional examples. Despite considerable attention from both physicists and mathematicians, full results are only known for sl_2 and sl_3.

In this talk I will discuss recent progress in the classification of type II quantum subgroups for sl_n. Our results finish off the classification for n = 4,5,6,7, and pave the way for higher ranks. In particular we discover several exceptional examples.

##### Tuesday 23rd March 4.30 pm UK time

##### Zhengwei Liu (Tsinghua University, Beijing)

Quantum Fourier Analysis

Quantum Fourier Analysis is a subject that combines an algebraic Fourier transform (pictorial in the case of subfactor theory) with analytic estimates. This provides interesting tools to investigate phenomena such as quantum symmetry. In this talk, we will introduce its background, development and perspectives, based on selected examples, results and applications.

There is a youtube channel for some earlier talks from this link.

##### Tuesday 20th April 11.00 am UK time

##### Yoshiko Ogata (Tokyo U)

Classification of gapped ground state phases in quantum spin systems

I would like to explain about classification of gapped ground state phases in quantum spin systems, in the operator algebraic framework of quantum statistical mechanics. The talk consists of two parts. The first part is about classification problem of so called SPT (symmetry protected topological) phases.We see that it is classified by group cohomology, in one and two dimension.In the second part (joint work with Pieter Naaijkens), we see that super selection sector is a topological invariant.

##### Tuesday 27th April 4.30 pm UK time

**Emily Riehl (Johns Hopkins) **

Elements of ∞-Category Theory

Confusingly for the uninitiated, experts in weak infinite-dimensional category theory make use of different definitions of an ∞-category, and theorems in the ∞-categorical literature are often proven “analytically”, in reference to the combinatorial specifications of a particular model. In this talk, we present a new point of view on the foundations of ∞-category theory, which allows us to develop the basic theory of ∞-categories — adjunctions, limits and colimits, co/cartesian fibrations, and pointwise Kan extensions — “synthetically” starting from axioms that describe an ∞-*cosmos*, the infinite-dimensional category in which ∞-categories live as objects. We demonstrate that the theorems proven in this manner are “model-independent”, i.e., invariant under change of model. Moreover, there is a formal language with the feature that any statement about ∞-categories that is expressible in that language is also invariant under change of model, regardless of whether it is proven through synthetic or analytic techniques. This is joint work with Dominic Verity.

##### Tuesday 4th May 11.00 am UK time

##### Yuki Arano (Kyoto U)

Ergodic theory of affine isometric actions on Hilbert spaces

I introduce nonsingular actions of groups on probability spaces constructed from affine isometric actions on Hilbert spaces, which we call the non-singular Gausian action. Then I discuss the ergodicity and the type determination for groups acting on trees.

##### Tuesday 11th May 4.30 pm UK time

##### Jonathan Rosenberg (U of Maryland)

Gap Labeling and the Noncommutative Bloch Theorem Slides

Noncommutative geometry provides powerful mathematical tools for studying thephysical properties of non-periodic but still somewhat regular solids. Such materials, often called “quasi-crystals”, do occur in nature and are based on non-periodic tilings. (These were recognized in Schechtman’s 2011 Nobel Prize.) Attempts to predict the Bragg peaks and spectral properties of such materials led to a program pioneered by Jean Bellissardand pursued by many others, of studying “gap labeling”, predicting spectral gaps based on thedynamics of the tiling. This is closely related to the Čech cohomology of the “tiling space” andthe K-theory of a certain C*-algebra associated to the tiling. We explain how this comes about,how various people gave false proofs of the “Gap Labeling Conjecture”, and how to obtain somenew results. This is joint work with Claude Schochet, Eric Akkermans, and Yaroslav Don.

##### Tuesday 25th May 4.30 pm UK time

##### Johannes Kellendonk (Université Claude Bernard Lyon 1)

Bragg spectrum and gap-labelling, a topological approach

A classical result in solid state physics tells us that the gaps in the electronic spectrum of a one dimensional crystal are located at those values for the quasi momentum k which belong to the Bragg spectrum of the crystal. The result is proven by perturbation theory. If one labels a gap with the integrated density of states of energies up to that gap one obtains an order preserving map from the positive Bragg spectrum to the set of gap labels. The purpose of the talk is to explain a similar map for aperiodic solids which is based on methods from non-commutative topology, namely we discuss an order preserving homomorphism between the group of topological Bragg peaks and the gap labelling group. A comparison with work by theoretical physicists from the late ‘80s, which is based on a perturbation expansion of the trace map for hierarchical systems, finds disagreement. Not all gaps predicted by these perturbative expansions are there. K-theory provides selection rules on the opening of gaps.

##### Tuesday 1st June 4.30 pm UK time

##### Matthew Buican (Queen Mary, London)

aXb=c in 2+1D TQFT

I will discuss fusion rules of the form aXb=c in 2+1D topological quantum field theories. Here a, b, and c are simple objects of the associated modular tensor categories (MTC). As I will explain, when a and b have categorical dimension larger than one, such fusion rules imply interesting global constraints on the MTC. The simplest possibility is that the MTC factorizes, but there are other, more interesting, possibilities as well. Some of these latter possibilities may potentially be relevant for understanding various problems in mathematical physics that I will describe.

##### Organisers

Edwin Beggs, David Evans, Gwion Evans, Rolf Gohm, Tim Porter