pdf的第一页干净利落。
标题：【四维紧致欧几里得流形上su(n)规范场手征反常的一个完整推导】
然后开篇直接引理开场。
“引理1：设d为作用在四维紧致欧几里得流形上的su(n)规范场耦合dirac算子，则其本征函数系{φn}构成作用在dirac旋量丛截面上的一组完备正交基。”
周启峰默默点了一下头。
规范，没毛病。
他把费米子场按dirac算子的本征函数系一个一个展开，然后盯著测度在手征变换下的变化去推雅可比行列式。
这个思路本身并不新鲜。
但周启峰注意到的是……
李东在写到“此和式发散，需作正则化”的时候，他用的是热核方法做高斯截断。
a(x)=li(→∞)tr[γ5e(-d2\/2)]
这一步，他处理得相当老练。
然后他直接把d2的热核展开搬了出来，非常干净利落地告诉你。
由于tr(γ5)在维度不够高的时候直接为零，所以只有a2(x)这一项才能留下来。
整个求迹的过程一点都不黏糊，连中间几步很容易绕晕的符号问题都处理得相当干净。
最后直接推出了：
?_μj_5μ=[g2\/(16π2)]tr(f_μνfμν)
周启峰盯著这页整整看了两分钟，然后轻轻地“嗯”了一声。
“这小子的热核正则化处理，比我想象中干净得多。”
他甚至发现……
李东在热核展开的时候，用的那个中间换元技巧，跟自己当年在普林斯顿做博士后时跟一位老教授学的那一手有点相似。
但又不完全一样。
李东的那一手，更直接，也更……自然。
像是一个完全没受过传统教材污染的人，自己从头把这条路走了一遍。
“有点意思。”
周启峰继续往下翻。
第二问是整道题里最吓人的那一问。
它要求把手征反常的积分和atiyah-sger指标定理给挂上钩。
指标定理这玩意儿，是二十世纪数学界最深刻的成就之一。
你要用得顺手，首先得懂纤维丛，懂陈-韦伊同态，懂示性类，懂椭圆算子的谱理论。
每一个都是研究生得啃一两