「其中态射空间是拓扑空间，不仅仅是集合。」
「核构造导出平展Motivic上同调复形—.」
徐铭清楚明白，在这项全新的工具中，构造导出平展Motivic上同调复形是最技术的部分。
需要大量的演算推导。
首先便是将Motivic局部化。
他选择从光滑k-概形的∞-范畴出发，施加Nisnevich下降和A-同伦不变性。
得到Motivic∞-范畴H(∞)(k)。
然后稳定化。
而在这个过程中，随著时间流逝，眼前面板上也持续浮现出大量的经验值提示信息。
【经过努力学习，你的[数学]水平提升了，获得经验值20点。】
【经过——】
整个推导步骤，他足足写了几个小时，直到因太过专注肚子传来饥饿感才算暂时停下动作。
「呼～」
「虽然对导出平展Motivic上同调复形的构造，眼下才算是迈出第一步，但好在全新的思路和方法是正确的。「
「如此只剩下时间问题。」
徐铭拿起满是数学公式的手稿，心中暗自低喃的同时嘴角微微上扬。
从心底深处涌现出些许成就感。
甚至这点成就感，要比前几天等离激元耦合态理论的验证成功还要强。
主要从他提出平展上同调的完善理论，经过了这么长时间的研究推导，中间不知道试错了多少相关理论，到今天才算是真正走上了正轨。
特别是数学学科经验值的上涨，更加证明他目前的思路非常正确。
毕竟像这种幅度的增长，可是很久没有遇见过。
在这种情况下，只需要按部就班计算下去，早晚能完成最核心的，导出平展Motivic
上同调复形的框架构造。
届时。
这项全新的数学理论框架体系工具，便是他进攻霍奇猜想的最佳帮手。