pdf的第一页干净利落。

标题：四维紧致欧几里得流形上su(n)规范场手征反常的一个完整推导

然後开篇直接引理开场。

“引理1：设d为作用在四维紧致欧几里得流形m上的su(n)规范场耦合dirac算子，则其本征函数系{φn}构成作用在dirac旋量丛截面上的一组完备正交基。”

周启峰默默点了一下头。

规范，没毛病。

他把费米子场按dirac算子的本征函数系一个一个展开，然後盯着测度在手征变换下的变化去推雅可比行列式。

这个思路本身并不新鲜。

但周启峰注意到的是……

李东在写到“此和式发散，需作正则化”的时候，他用的是热核方法做高斯截断。

a(x)=lim(m→∞)tr[γ5e^(-d2\m2)]

这一步，他处理得相当老练。

然後他直接把d2的热核展开搬了出来，非常干净利落地告诉你。

由於tr(γ5)在维度不够高的时候直接为零，所以只有a2(x)这一项才能留下来。

整个求迹的过程一点都不黏糊，连中间几步很容易绕晕的符号问题都处理得相当干净。

最後直接推出了：

?_μj_5^μ=[g2\(16π2)]tr(f_μνf^μν)

周启峰盯着这页整整看了两分锺，然後轻轻地“嗯”了一声。

“这小子的热核正则化处理，比我想象中干净得多。”

他甚至发现……

李东在热核展开的时候，用的那个中间换元技巧，跟自己当年在普林斯顿做博士後时跟一位老教授学的那一手有点相似。

但又不完全一样。

李东的那一手，更直接，也更……自然。

像是一个完全没受过传统教材污染的人，自己从头把这条路走了一遍。

“有点意思。”

周启峰继续往下翻。

第二问是整道题里最吓人的那一问。

它要求把手征反常的积分和atiyah-singer指标定理给挂上钩。

指标定理这玩意儿，是二十世纪数学界最深刻的成就之一。

你要用得顺手，首先得懂纤维丛，懂陈-韦伊同态，懂示性类，懂椭圆算子的谱理论。

每一个都是研究生得啃一两年的东西。

周启峰以为李东会老老实实地沿着教科书上的标准套路，先写陈-韦伊，再写陈特征，再把agenus一个一个算出来，最後对齐到指标公式上去。

结果他翻开第二问的第一页，就愣住了。

李东并没有这麽做。

而是上来就构造了一组和规范丛主联络相适配的“截断流”，然後把热核展开的那一套，从第一问一路延伸到了拓扑一侧。

然後把第一问里推出来的那个tr(f∧f)拉回到了热核里，沿着热核随时间的演化行为，一步一步地把拓扑不变量从分析侧反推了出来。

整个过程没有提一次“陈-韦伊同态”这六个字。

但是他用的每一步，其实都在悄悄地复刻陈-韦伊同态的精神。

周启峰看到这一步的时候只感觉憋的慌，原来他刚才忘了呼吸了。

不是因为有多惊艳。

而是他突然意识到……

这小子不是在做这道题。

他是在“重新发现”这道题背後的结构。

换句话说，他可能根本就没系统学过指标定理的标准证明，所以他压根不知道教科书上是怎麽处理这一步的。

他只能靠着手里现成的工具，从头把这条路自己走出来。

结果呢……

他走出来的这条路，比教科书上的那条路要短。

周启峰在心里默默地把李东和自己的那条思路做了个对比。

自己的是：纤维丛、联络、陈类……，一层一层搭上去，稳是稳，但复杂得让人头皮发麻。

说人话就是比较蠢萌蠢萌的……