Hochschild

生平

格哈德・保罗・霍赫希尔德（Gerhard Paul Hochschild，1915-2010）出生在德国柏林一个中产阶级家庭。

1924 年，他的母亲 Lilli 被诊断为肺结核，他九岁时随母亲前往达沃斯（Davos）附近的疗养院（Sanatorium near Davos），陪伴她接受长期治疗。

在疗养期间，他母亲精神状况恶化，1926 年被送入精神病院后丧生。这一经历对 Hochschild 的童年影响深远，他曾在回忆中提到读 Thomas Mann 的《魔山》时，常回想自己在疗养院的经历。

童年时期，他在柏林开始培养对摄影和登山的兴趣，这些爱好贯穿一生。1933 年，他父亲为安全起见，将 Hochschild 和兄长 Ulrich 送往南非开普敦（Cape Town），成为众多逃离纳粹的德国人之一。

在南非，由于纳粹限制资金流出，他们被迫自力更生。Hochschild 曾在摄影店工作，同时加入一个知识分子与艺术家圈子，这段经历培养了他终生的自由思想与社会责任感。

1934 年，Hochschild 入读 Cape Town 大学理学士课程，1936 年获理学学士学位，1937 年获理学硕士学位。

他所修课程覆盖应用数学、物理、化学、纯数学、微分几何、调和分析、张量方法等，导师是利特伍德（John Edensor Littlewood，1885-1977）的学生斯坦利・斯奎斯（Stanley Skewes，1899-1988）。

Skewes 在推荐信中写道：“他是一个好学生，也是一位非常有前途的数学家…… 我相信他极其适合从事这一职业”，这为他申请 Princeton 大学博士提供了有力支持。

1938 年，Hochschild 前往 Princeton 大学攻读博士，师从谢瓦莱（Claude Chevalley，1909-1984）。

博士期间，他选修课程广泛，包括黎曼几何、连续群、复变函数理论、拓扑群、分析在几何中的应用等。

他在 Chevalley 的微分方程课程中展现出极高的专注力，课程结束时往往只有 Hochschild、John von Neumann 和 Hermann Weyl 留下来继续讨论。他的博士论文题为《半单代数与广义导子》（Semisimple algebras and generalized derivations），委员会高度评价其独立研究能力，称其研究 “包含了许多新结果（contains many new results）”。

二战期间，Hochschild 被征召入美国陆军，先驻扎于锡尔堡（Ft. Sill），后调至阿伯丁试验场（Aberdeen Proving Grounds）工作。在军队的数学科，他与费德勒（Herbert Federer，1920-2010）等著名数学家共事（维布伦（Oswald Veblen，1880-1960）也曾作为顾问偶尔造访），在此期间他开始发表关于 Hochschild 上同调（Hochschild cohomology）的开创性论文。

他的长期合作者莫斯托（George Daniel Mostow，1923-2017）曾这样评价他：“如果不提及他的个人魅力，就无法全面地刻画 Hochschild …… 他以其精湛的‘爆粗口’艺术给战友们留下了深刻印象。”

1945 年战后，他回到 Princeton 大学担任兼职讲师。1946–1948 年出任 Harvard 大学的 Benjamin Peirce 讲师，随后加入伊利诺伊大学厄巴纳 - 香槟分校（University of Illinois at Urbana‑Champaign），并于 1952 年晋升为正教授。

1958 年他调任 Berkeley，长期在此执教并指导了 26 名博士生，其中包括莱杰（George Leger）（1951）和纳赫鲁斯（Nazih Nahlus）（1986）。

Hochschild 个人生活同样丰富。在厄巴纳（Urbana）时，他遇到未来的妻子露丝（Ruth Heinsheimer），两人 1950 年结婚，育有两个孩子：Ann（1955）与 Peter（1957）。

他与学生关系密切，被学生评价为耐心、支持、极具独立精神的导师。在 Berkeley 任教期间，他曾因对当时少数族裔政策抱有强烈的原则性异议，辞去了相关委员会的职务。

Hochschild 于 1979 年当选为美国国家科学院院士及美国艺术与科学院院士，并于 1980 年荣获美国数学会 Steele 奖（AMS Steele Prize），以表彰他在 1945–1952 年间关于同调代数（Homological Algebra）及其应用的开创性论文。

1982 年，Hochschild 退休，但继续兼职教书直到 1985 年。2010 年 7 月 8 日，Hochschild 在家中去世，享年 95 岁。

贡献

一， Hochschild 上同调理论

对于一个域 上的结合代数（associative algebra） 及其 - 双模（bi-module） ，他将 Hochschild 上同调群（Hochschild cohomology groups）定义为：

其中 称为包络代数（enveloping algebra）。

为了具体计算这些抽象的群，他引入了标准的自由分解方式 ——Bar 复合体（Bar complex），使得研究者可以通过具体的链复形（chain complex）来抓取代数的内部结构。

低阶群具有极为深刻的代数与几何对应： 同构于代数的中心； 刻画了代数的外导子（outer derivations），在物理上对应着无穷小对称性；Murray Gerstenhaber 后续的工作证明， 精确分类了代数的形式形变（formal deformations），决定了将古典交换代数 “量子化” 为非交换代数的所有可能路径。

这套庞大理论框架的原始论文仅有 10 页，却凭借定义的简洁性与极强的普适性，迅速成为代数学的通用语言。

二、HKR 定理（The Hochschild-Kostant-Rosenberg theorem）

1962 年，Gerhard Hochschild 与科斯坦特（Bertram Kostant，1928-2017）及罗森堡（Alex F. T. W. Rosenberg，1926-2007）共同证明了 HKR 定理，明确界定了在光滑情形下，纯粹的代数同调结构与几何对象之间的同构关系。

定理指出，设 是一个复数域 上的光滑、交换代数，则其 Hochschild 同调（Hochschild homology）与该代数的外微分形式（differential forms）空间之间存在自然的同构：

这个优美的等式结合了纯代数与几何微积分。

当代数 变得非交换时，传统的微分几何工具完全失效，但左侧的 依然有明确的代数定义。

基于此，孔涅（Alain Connes，1947-）等数学家直接将 Hochschild 同调视为非交换空间（noncommutative spaces）中的微分形式，从而正式推开了非交换几何（noncommutative geometry）的大门。

三、Hochschild–Serre 谱序列（The Hochschild–Serre spectral sequence）

20 世纪 50 年代初，Gerhard Hochschild 与塞尔（Jean-Pierre Serre，1926-）合作，提出了一种计算复杂群上同调的工具，即 Hochschild–Serre 谱序列。对于任意群 、其正规子群（normal subgroup） ，以及一个 - 模（-module） ，他们构造了一个谱序列：

这一公式表明，总群 的同调信息可以完全通过其子群 和商群 的层级结构来逐步逼近与重构。

这一工具在数论，尤其是类域论（class field theory）中发挥了决定性作用，为计算复杂的 Galois 群上同调（Galois cohomology）提供了标准方法，并且被推广到 Lie 代数上同调（Lie algebra cohomology）中，成为理论物理和 Lie 代数扩张理论的计算基石。

四、代数群与 Hopf 代数：几何、代数与特征 的统一

Hochschild 是首批深刻认识到研究群的几何结构可以完全等价于研究群上函数环（ring of functions）的代数结构的数学家之一。

在他的经典著作《代数群与李代数基础理论》（Basic theory of algebraic groups and Lie algebras）中，他系统地将这一思想应用到了具有乘法结构的代数群（algebraic groups） 上。

群 的每一个几何操作，都在其多项式函数环 上诱导出了一个代数操作，从而赋予了 一个 Hopf 代数（Hopf algebra）的结构：群的乘法运算诱导出了余乘法（comultiplication） ；群的单位元诱导出了余单位（counit） ；群的求逆映射诱导出了对极映射（antipode） 。

掌握了这个带有余乘法结构的交换环 ，就能反向重构出原来的代数群 。

为了研究群 的表示，Hochschild 系统化了代表函数（representative functions）的理论。如果一个定义在群 上的函数 ，在群元素的平移作用下产生的所有新函数能够张成一个有限维的向量空间，那么 就被称为代表函数。

他严格证明对于线性代数群（linear algebraic groups），其所有的多项式函数都是代表函数。这意味着可以用有限维线性代数的工具，精确控制和计算复杂的连续群结构。

在复数域上，Lie 代数通过指数映射（exponential map）与 Lie 群紧密相连。然而，在特征 （characteristic ）的域上，由于分母中 ，经典的指数映射失效。

Hochschild 基于雅各布森（Nathan Jacobson，1910-1999）提出的限制 Lie 代数（restricted Lie algebras，也称 -Lie 代数）理论，引入带有 - 幂映射（ -power map）的限制 Lie 代数，用以弥补特征 域上丢失的高阶信息。他还深入研究并发展了该理论的上同调与表示论。

Hochschild 通过代表函数（representative functions）将群与其表示论紧密绑定，这启发了后续数学家仅通过表示范畴来反向定义群，为后来的淡中对偶（Tannaka Duality）与淡中范畴（Tannakian Categories）提供了重要基础。同时也在后续催生了量子群（quantum groups）理论。