第213章 没有被标准答案污染过(1/3)
PDF的第一页干净利落。标题:【四维紧致欧几里得流形上SU(N)规范场手征反常的一个完整推导】
然后开篇直接引理开场。
“引理1:设D为作用在四维紧致欧几里得流形 M上的SU(N)规范场耦合Dirac算子,则其本征函数系{n}构成作用在Dirac旋量丛截面上的一组完备正交基。”
周启峰默默点了一下头。
规范,没毛病。
接下来的第一问,李东的切入点是经典的Fujikawa方法。
他把费米子场按Dirac算子的本征函数系一个一个展开,然后盯着测度在手征变换下的变化去推雅可比行列式。
这个思路本身并不新鲜。
但周启峰注意到的是……………
李东在写到“此和式发散,需作正则化”的时候,他用的是热核方法做高斯截断。
A(x)=lim(M→00) tr[y5 e^(-D2/M2)]
这一步,他处理得相当老练。
然后他直接把D2的热核展开搬了出来,非常干净利落地告诉你。
由于 tr(y5)在维度不够高的时候直接为零,所以只有a2(x)这一项才能留下来。
整个求迹的过程一点都不黏糊,连中间几步很容易绕晕的符号问题都处理得相当干净。
最后直接推出了:
ò_pj_5^p=[g2/(16m2)]tr(F_uv Fuv)
周启峰盯着这页整整看了两分钟,然后轻轻地“嗯”了一声。
“这小子的热核正则化处理,比我想象中干净得多。”
他甚至发现……………
李东在热核展开的时候,用的那个中间换元技巧,跟自己当年在普林斯顿做博士后时跟一位老教授学的那一手有点相似。
但又不完全一样。
李东的那一手,更直接,也更......自然。
像是一个完全没受过传统教材污染的人,自己从头把这条路走了一遍。
“有点意思。”
周启峰继续往下翻。
第二问是整道题里最吓人的那一问。
它要求把手征反常的积分和Atiyah-Singer指标定理给挂上钩。
指标定理这玩意儿,是二十世纪数学界最深刻的成就之一。
你要用得顺手,首先得懂纤维丛,懂陈-韦伊同态,懂示性类,懂椭圆算子的谱理论。
每一个都是研究生得啃一两年的东西。
周启峰以为李东会老老实实地沿着教科书上的标准套路,先写陈-韦伊,再写陈特征,再把?genus一个一个算出来,最后对齐到指标公式上去。
结果他翻开第二问的第一页,就愣住了。
李东并没有这么做。
而是上来就构造了一组和规范丛主联络相适配的“截断流”,然后把热核展开的那一套,从第一间一路延伸到了拓扑一侧。
然后把第一间里推出来的那个tr(FAF)拉回到了热核里,沿着热核随时间的演化行为,一步一步地把拓扑不变量从分析侧反推了出来。
整个过程没有提一次“陈-韦伊同态”这六个字。
但是他用的每一步,其实都在悄悄地复刻陈-韦伊同态的精神。
周启峰看到这一步的时候只感觉憋的慌,原来他刚才忘了呼吸了。