# Closed ideals of the Banach algebra of bounded operators on a Banach space

Lead Research Organisation:
Lancaster University

Department Name: Mathematics and Statistics

### Abstract

We carry out basic research into a mathematical object called a Banach algebra. To explain what this is, think of the set of integers {...,-2,-1,0,1,2,...}. You can add, subtract and multiply two integers, and you can measure the distance between them; for instance, 2+3=5, 2-3=-1, and 2x3=6, and the distance between 2 and 3 is 1. A Banach algebra shares all these properties: its elements can be added, subtracted, and multiplied together, and you can measure the distance between them.A fundamental property of the integers is that every integer (apart from 0 and +/-1) can be written as a product of prime numbers. (Recall that a number is prime if it can only be divided by 1 and itself.) Consequently, we think of the prime numbers as the building blocks of the integers; many questions about integers can be answered by considering prime numbers first and then generalizing to all integers by extending to products of primes. In a Banach algebra, the objects playing the role of building blocks are called ideals. (In this context the word ideal has no relation to its standard usage.) The purpose of this project is to determine all the ideals of certain Banach algebras, that is, describe their building blocks; this knowledge will be useful in future research, just as prime numbers are useful when studying the integers.The project focuses on ideals for a particular kind of Banach algebra, namely Banach algebras of operators. You can think of an operator as a mathematical machine which takes some input at one end, processes it, and then delivers an output at the other end. You multiply two such operators by using the output of the first operator as input for the second. This multiplication has a very important special feature: the order in which you multiply two operators matters, that is, when A and B are operators, A times B may give a different result from B times A. We refer to this fact by saying that operators do not commute. Of course, this phenomenon has no counterpart among the integers; 2 times 3 and 3 times 2 are always equal! Thus at first sight it may seem rather strange that operators do not commute, but it is not - we see similar things happen every day; for instance, when you put on socks and shoes, the order is essential.The fact that operators do not commute has a profound influence on the Banach algebras which we study and gives the subject a very different flavour from that of the integers. Importantly, this difference is also the driving force behind the most significant application of operators in the physical world. When quantum mechanics was founded in the 1920's, the physicist Heisenberg stated as a basic principle that, at atomic level, you cannot simultaneously know both the precise speed and position of a particle. This is of course in stark contrast to our everyday experience, where we usually know both where we are and how fast we are going when driving a car, say. Heisenberg's claim led him to propose that physical quantities like position and speed should not be represented by numbers (or functions), but by operators; the fact that certain operators do not commute explains why the corresponding quantities cannot be known simultaneously. Heisenberg's use of operators in quantum mechanics was elaborated on by von Neumann in the 1930's, giving the subject a solid mathematical grounding. This work laid the foundations of a new research area, operator algebras, which has flourished ever since.In 1940 Calkin (a student of von Neumann's) gave the first complete description of the ideals of a Banach algebra of operators. Similar results for two other Banach algebras of operators were obtained in the 1960's, but it then took until 2004 before the next such complete description appeared, in joint work of Loy, Read and myself. This discovery has sparked new activity in the area, with recent results by Daws and by Schlumprecht, Zsak and myself in a collaboration which we plan to continue through this project.

## People |
## ORCID iD |

Niels Jakob Laustsen (Principal Investigator) |

### Publications

Bird A
(2010)

*Some remarks on James-Schreier spaces*in Journal of Mathematical Analysis and Applications
Bird A
(2010)

*An amalgamation of the Banach spaces associated with James and Schreier, Part I: Banach-space structure*in Banach Center Publications
Dilworth S
(2011)

*Renormings and symmetry properties of 1-greedy bases*in Journal of Approximation Theory
Freeman D
(2009)

*Banach spaces of bounded Szlenk index II*in Fundamenta Mathematicae
Kania T
(2014)

*A weak*-topological dichotomy with applications in operator theory*in Transactions of the London Mathematical Society
Kania T
(2015)

*Operators on two Banach spaces of continuous functions on locally compact spaces of ordinals*in Proceedings of the American Mathematical Society
Kania T
(2012)

*Uniqueness of the maximal ideal of the Banach algebra of bounded operators on <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http:*in Journal of Functional Analysis
Laustsen N
(2012)

*Dichotomy theorems for random matrices and closed ideals of operators on (?n=18l1n)c0*in Journal of the London Mathematical Society*Dichotomy theorems for random matrices and closed ideals of operators on (?n=18l1n)c0*in Journal of the London Mathematical Society

Description | We prove two dichotomy theorems about sequences of operators into the Banach space L_1 given by random matrices. In the second theorem we assume that the entries of each random matrix form a sequence of independent, symmetric random variables. Then the corresponding sequence of operators either uniformly factor the identity operator on l_1^k for k = 1, 2, 3, ... or uniformly approximately factor through c_0. The first theorem has a slightly weaker conclusion still related to factorization properties but makes no assumption on the random matrices. Indeed, it applies to operators defined on an arbitrary sequence of Banach spaces. These results provide information on the closed ideal structure of the Banach algebra of all operators on the c_0-direct sum of the finite-dimensional spaces l_1^k, where k = 1,2, 3, ... |

Exploitation Route | Other researchers are building on our findings and thus making further progress in our understanding of bounded operators on Banach spaces and closed ideals of such operators. |

Sectors | Other |