喜欢。

这边讲座刚结束，他就被围住了，甚至还有人找他要WhatsApp跟邮箱的账号。

前者这个软件他没听说过，后者他报了一个QQ邮箱，还是免费版那种。

埃弗顿教授明显第一次遇到这种十位纯数字的邮箱，一度校对了好几遍。

结果是袁正心把乔喻教训了一通，让他回去找田言真要一个正经的单位邮箱，并拉住了找乔喻要邮箱的教授们，大家可以离开的时候再交流。

于是乔喻祭出了最充足的理由——要赶回去撰写论文，便匆匆从华清大学“逃”回了燕北大学的数研中心。

总不能真被糖衣炮弹给炸了，他现在最重要的任务是把完整证明给出来。然后以最快的速度散播出去，并被主流数学界所接受。

虽然已经有了思路，但要保证证明过程的严谨性，还是需要时间的。不过也用不了多少时间了，昨晚乔喻熬到了凌晨两点，早上七点就起床，来参加讲座之前，就已经把最难搞定的部分完成。

现在回去，随便吃点东西，应该能在晚上全部搞定，然后发给导师跟袁老。

接下来他要做的，无非就是看他的两位导师如何安排了。

……

“在经典的几何背景中，Ambidexterity定理依赖于某种局部和全局几何对象之间的等价性。例如，局部的同调代数对象可以通过高阶范畴论公理全局化。

但经过研究发现，一类具备共轭脊状结构的奇异点，在非线性几何背景下会通过高阶范畴产生异常行为。本文将这类奇异点暂命名为乔点，并以P表示。

假设我们使用的范畴C是某种形变范畴，其中对象是某种具有特定几何行为的模。对于代数簇X，范畴C中的对象可以表示为一类p-adic层F的集合。

在乔点附近，局部模M的行为受到脊络结构的影响，导致其在高阶范畴论中的表现不再是常规的对象，而是需要加入某种复杂的形变参数来描述：Floc=Defjoe(M).

这里Def是形变范畴的函子，描述了奇异点P1处的模M1如何通过形变影响整个几何空间中的其他奇异点。具体证明过程如下：……”

夜里九点半，潘敬