Tue, 18 Feb 2020
16:00
C1

Quasi-locality and asymptotic expanders

Jan Spakula
(University of Southampton)
Abstract

Let $X$ be a countable discrete metric space, and think of operators on $\ell^2(X)$ in terms of their $X$-by-$X$ matrix. Band operators are ones whose matrix is supported on a "band" along the main diagonal; all norm-limits of these form a C*-algebra, called uniform Roe algebra of $X$. This algebra "encodes" the large-scale (a.k.a. coarse) structure of $X$. Quasi-locality, coined by John Roe in '88, is a property of an operator on $\ell^2(X)$, designed as a condition to check whether the operator belongs to the uniform Roe algebra (without producing band operators nearby). The talk is about our attempt to make this work, and an expander-ish condition on graphs that came out of trying to find a counterexample. (Joint with: A. Tikuisis, J. Zhang, K. Li and P. Nowak.)
 

Tue, 11 Feb 2020
16:00
C1

Fredholm theory and localisation on Banach spaces

Raffel Hagger
(University of Reading)
Abstract

Let $\mathcal{B}$ be a (unital) commutative Banach algebra and $\Omega$ the set of non-trivial multiplicative linear functionals $\omega : \mathcal{B} \to \mathbb{C}$. Gelfand theory tells us that the kernels of these functionals are exactly the maximal ideals of $\mathcal{B}$ and, as a consequence, an element $b \in \mathcal{B}$ is invertible if and only if $\omega(b) \neq 0$ for all $\omega \in \Omega$. A generalisation to non-commutative Banach algebras is the local principle of Allan and Douglas, also known as central localisation: Let $\mathcal{B}$ be a Banach algebra, $Z$ a closed subalgebra of the center of $\mathcal{B}$ and $\Omega$ the set of maximal ideals of $Z$. For every $\omega \in \Omega$ let $\mathcal{I}_{\omega}$ be the smallest ideal of $\mathcal{B}$ which contains $\omega$. Then $b \in \mathcal{B}$ is invertible if and only if $b + \mathcal{I}_{\omega}$ is invertible in $\mathcal{B} / \mathcal{I}_{\omega}$ for every $\omega \in \Omega$.

 

From an operator theory point of view, one of the most important features of the local principle is the application to Calkin algebras. In that case the invertible elements are called Fredholm operators and the corresponding spectrum is called the essential spectrum. Therefore, by taking suitable subalgebras, we can obtain a characterisation of Fredholm operators. Many beautiful results in spectral theory, e.g.~formulas for the essential spectrum of Toeplitz operators, can be obtained in this way. However, the central localisation is often not sufficient to provide a satisfactory characterisation for more general operators. In this talk we therefore consider a generalisation where the ideals $\mathcal{I}_{\omega}$ do not originate from the center of the algebra. More precisely, we will start with general $L^p$-spaces and apply limit operator methods to obtain a Fredholm theory that is applicable to many different settings. In particular, we will obtain characterisations of Fredholmness and compactness in many new cases and also rediscover some classical results.

 

This talk is based on joint work with Christian Seifert.

Tue, 04 Feb 2020
16:00
C1

Lipschitz spaces from the semigroup language point of view

Marta de Leon Contreaas
(University of Reading)
Abstract

 Lipschitz (or H\"older) spaces $C^\delta, \, k< \delta <k+1$, $k\in\mathbb{N}_0$, are the set of functions that are more regular than the $\mathcal{C}^k$ functions and less regular than the $\mathcal{C}^{k+1}$ functions. The classical definitions of H\"older classes involve  pointwise conditions for the functions and their derivatives.  This implies that to prove   regularity results for an operator among these spaces  we need its pointwise expression.  In many cases this can be a rather involved formula, see for example the expression of $(-\Delta)^\sigma$  in (Stinga, Torrea, Regularity Theory for the fractional harmonic oscilator, J. Funct. Anal., 2011.)

In  the 60's of last century, Stein and Taibleson, characterized bounded H\"older functions via some integral estimates of the Poisson semigroup, $e^{-y\sqrt{-\Delta}},$ and of  the Gauss semigroup, $e^{\tau{\Delta}}$. These kind of semigroup descriptions allow to obtain regularity results for fractional operators in these spaces in a more direct way.

 In this talk we shall see that we can characterize H\"older spaces adapted to other differential operators $\mathcal{L}$ by means of semigroups and that these characterizations will allow us to prove the boundedness of some fractional operators, such as $\mathcal{L}^{\pm \beta}$, Riesz transforms or Bessel potentials, avoiding the long, tedious and cumbersome computations that are needed when the pointwise expressions are handled.

Tue, 14 Jan 2020
16:00
C3

Structure theory for groupoid C*-algebras

Christian Bonicke
(University of Glasgow)
Abstract

C*-algebras constructed from topological groupoids allow us to study many interesting and a priori very different constructions
of C*-algebras in a common framework. Moreover, they are general enough to appear intrinsically in the theory. In particular, it was recently shown
by Xin Li that all C*-algebras falling within the scope of the classification program admit (twisted) groupoid models.
In this talk I will give a gentle introduction to this class of C*-algebras and discuss some of their structural properties, which appear in connection
with the classification program.
 

Wed, 15 Jan 2020

14:00 - 15:00
L3

Curve counting via stable objects in derived categories of Calabi-Yau 4-folds

Yalong Cao
(IPMU Tokyo)
Further Information

In a joint work with Davesh Maulik and Yukinobu Toda, we proposed a conjectural Gopakumar-Vafa type formula for the generating series of stable pair invariants on Calabi-Yau 4-folds. In this talk, I will present the recent joint work with Yukinobu Toda on how to give an interpretation of the above GV type formula in terms of wall-crossing phenomena in the derived category of coherent sheaves. 

Tue, 26 Nov 2019

14:00 - 15:00
L6

Partial Associativity in Latin Squares

Jason Long
(University of Oxford)
Further Information

Latin squares arise from the multiplication tables of groups, but the converse is not true in general. Given a Latin square A, we can define a group operation giving A as its multiplication table only when A satisfies a suitable associativity constraint. This observation leads to a natural question concerning the '1%' version: if A is only partially associative, can we still obtain something resembling a group structure? I will talk about some joint work with Tim Gowers on this question.

Oxford Mathematics London Public Lecture: Timothy Gowers - Productive generalization: one reason we will never run out of interesting mathematical questions

In our Oxford Mathematics London Public Lecture held at the Science Museum, Fields Medallist Tim Gowers uses the principle of generalization to show how mathematics progresses in its relentless pursuit of problems.

After the lecture in a fascinating Q&A with Hannah Fry, Tim discusses how he approaches problems, both mathematical and personal.

Subscribe to