第202章 十一月一日还没到(4/5)
九点十二分,理科楼的走廊里还保留着周日早晨的空荡,办公室门口却已经摆了三把椅子。
老师接过离线盘,让江临和顾明澈先在封面写下文件哈希、交付时间和当前知情范围。
“从现在起,别往学生群里转,也别用在线协作文档。”
他把顾明澈的名字也写进知情栏。
顾明澈看着那一栏:“我只是过来送了趟包子。”
“你还读了四十七页。”
“那四十七页里有二十多页我只能检查页码。”
“页码错了也会害人。”
老师收走登记纸,打开主文档,却跳过摘要、背景和最终参数,直接进入反例最容易断开的两处连接。
第一处是无限塔如何同时保住全实性与101完全分裂,第二处是指数增长的单位模元素如何变成平面上互不重合的单位距离边。
这两个连接分属不同领域,前者若断,数域次数永远长不起来,后者若断,再高的塔也只能留在代数数论内部供人参观。
“先看塔。”
老师在纸上重新写下t与S,又将江临证明中的G换回自己惯用的记号。
“你给关系秩的上界是六,这里用的是哪个底域上的关系界?”
“有理数域,允许分歧集合是六个有限素数,所有实位置列入分裂条件,101的Frobenius关系单列。”
“如果101已经在最大初等商里分裂,它不会削掉一个生成元,这一点你怎么排除记号上的循环论证?”
江临把Frattini商证书切到投影矩阵页。
101对应的Frobenius像在初等商里为零,五个独立二次方向由t中的六个素数生成,两个结论使用的是两组分开的剩余符号计算。
老师拿出草稿纸,逐个重算模101的平方剩余,再沿矩阵消元检查五个方向的独立性。
办公室里的打印机吐出第三页时,他在【d(G)=5】后面画了第一个勾。
“这里只能说明初等层没塌。”
“所以关系界单独放在下一节。”
“你把六小于六点二五写得这么大,很容易让人以为最难的只剩小学算术。”
“最短的一步适合放在最后一页。”
“也适合让外行误以为前面四百页都是铺垫。”
老师翻到Shafarevich关系界,笔尖沿每一个局部条件向下移动。
江临坐在对面吃完已经凉下来的第一个包子,顺手处理了许曼发来的首件拆检照片。
照片里一台完成救灾复检的pG平台换下了两只密封件,右后足的轴承游隙比出厂值增加了十二微米,仍在陈砚设置的红线以内。
他回复【按原计划进入寿命跟踪,不提前放行】,随后把手机调成静音。
十点四十四分,老师在关系界旁写下第一条正式质疑。
【q-001:独立重算实无限位分裂条件进入关系秩上界时的记账方式。】
这条质疑暂时不会让证明作废,也不允许江临凭自己的内部核验把它划掉。
江临将q-001复制进主审目录,保留老师写下的原句,一个字也没改。
老师给一位研究类域塔的同行拨了电话,把问题压成三句话,又约定只发送第一攻击包。
第二个电话打给了林照野。
“你今天有空吗?”
本章未完,请翻下一页继续阅读.........