Home > Research > Publications & Outputs > A category theoretic approach to extensions of ...

Associated organisational unit

Electronic data

  • 2018MenezPhD

    Final published version, 775 KB, PDF document

    Available under license: CC BY-ND: Creative Commons Attribution-NoDerivatives 4.0 International License

Text available via DOI:

View graph of relations

A category theoretic approach to extensions of Banach algebras

Research output: ThesisDoctoral Thesis

Published
Publication date2018
Number of pages111
QualificationPhD
Awarding Institution
Supervisors/Advisors
Publisher
  • Lancaster University
<mark>Original language</mark>English

Abstract

This thesis aims to generalise Busby’s framework for studying extensions of C∗-algebras, to the Banach-algebraic setting, without requiring admissibility assumptions on extensions.
In the case where the canonical embedding ιJ of a faithful Banach algebra J into its multiplier algebra MJ has closed range, we classify all extensions of an arbitrary Banach algebra B by J. This is done by presenting two categories, one of extensions and another of Busby maps, and proving that these categories are equivalent. We then consider cases where the canonical embedding of J need not have closed range, and provide some partial results in such cases under the extra assumption of a bounded linear lift for a given Busby map. These results are then applied to several examples, where we also compute explicit multiplier norms for MJ when J is a maximal ideal in Ck([−1, 1]).
To go further, we study the quotient MJ/ιJ (J) not as a seminormed space but as an object in a suitable derived category. To lay the necessary foundations, the derived category construction of Grothendieck and Verdier is applied to the category of Banach spaces and bounded linear maps. Using this framework, we introduce a class of “Q-Busby maps” from an arbitrary Banach algebra B into MJ/ιJ (J), and obtain a restricted version of Busby’s original correspondence, applicable whenever J is a faithful Banach algebra.