[论文解读] Commutative Banach algebras and modular representation theory

David J. Benson|arXiv (Cornell University)|Aug 30, 2020

Advanced Operator Algebra Research参考文献 54被引用 4

一句话总结

本文通过完备化复化表示环，建立了一个巴拿赫代数框架用于模表示理论，使得盖尔范德谱理论可被应用于研究到 ℂ 的代数同态。一个关键结果是表示环的雅可布森根与幂零根始终一致，揭示了这些代数的深层结构性质。

ABSTRACT

In a recent paper of Benson and Symonds, a new invariant was introduced for modular representations of a finite group. An interpretation was given as a spectral radius with respect to a Banach algebra completion of the representation ring. Our purpose here is to take these notions further, and investigate the structure of the resulting Banach algebras. Some of the material in that paper is repeated here in greater generality, and for clarity of exposition. We give an axiomatic definition of an abstract representation ring, and representation ideal. The completion is then a commutative Banach algebra, and the techniques of Gelfand from the 1940s are applied in order to study the space of algebra homomorphisms to $\mathbb C$. One surprising consequence of this investigation is that the Jacobson radical and the nil radical of a (complexified) representation ring always coincide. These notes are intended for representation theorists. So background material on commutative Banach algebras is given in detail, whereas representation theoretic background is more condensed.

研究动机与目标

• 通过巴拿赫代数完备化扩展本森与西蒙兹的模表示不变量。
• 系统研究由表示环导出的交换巴拿赫代数。
• 利用盖尔范德理论阐明到 ℂ 的代数同态空间的结构。
• 为表示理论学家建立交换巴拿赫代数的基础结果。
• 证明复化表示环的雅可布森根与幂零根始终相等。

提出的方法

• 为抽象表示环与表示理想引入公理化框架。
• 利用谱范数构造复化表示环的巴拿赫代数完备化。
• 应用盖尔范德的交换巴拿赫代数理论，分析到 ℂ 的连续代数同态空间。
• 将巴拿赫代数的谱表征为这类同态的集合。
• 利用谱半径公式解释本森与西蒙兹引入的不变量。
• 借助盖尔范德变换与谱保持性，推导代数的结构性质。

实验结果

研究问题

• RQ1 如何将有限群的表示环完备化为交换巴拿赫代数，以促进谱分析？
• RQ2 在复化表示环中，雅可布森根与幂零根之间存在何种关系？
• RQ3 巴拿赫代数完备化的谱如何与群的表示理论数据相关联？
• RQ4 完备化中元素的谱半径在何种意义上反映了模表示理论不变量？
• RQ5 应用盖尔范德理论后，表示环的哪些结构性质浮现出来？

主要发现

• 复化表示环的雅可布森根与幂零根一致，表明该环的理想结构具有强烈的结构性约束。
• 巴拿赫代数完备化的谱被识别为到 ℂ 的代数同态空间，从而实现了对表示理论数据的拓扑解释。
• 完备化中元素的谱半径对应于一个表示理论不变量，推广了本森与西蒙兹的构造。
• 盖尔范德变换为巴拿赫代数提供了一个在谱上的连续函数代数的具体实现。
• 完备化过程保留了关键的表示理论信息，同时为环赋予了巴拿赫代数拓扑。
• 公理化框架允许将结果推广至有限群之外，适用于具有合适理想结构的抽象表示环。