李東:……
這特麼也沒問題好嗎?這是分圓域上 Galois作用和跡形式的相容性,是代數數論裡最基本的事實之一。
韋伯在論文裡雖然只用了一句話帶過,但那是因為這對任何學過分圓域理論的人來說都是不言自明的。
錢德拉塞卡蘭在臺上越講越興奮,狀態前所未有的好。
他自己都有些驚訝,今天的思路怎麼這麼清楚?雖然剛才他說的大部分內容都是沒事找事,只是為了顯得自己很厲害而已。
可這樣的狀態讓他下意識的想到了自己真正覺得有問題的地方……
那篇他在MathOverflow上發的那個帖子。
他之前就隱約覺得韋伯論文的第五步有些不對勁,但一直說不清楚到底哪裡不對。
而現在……
他忽然看到了一點東西。
韋伯在第五步說分圓理想格 L_E“相對於其導子處於一般位置”,所以不存在反常短向量。
但分圓理想格不是一般的格。
它有額外的代數結構。
這個結構會不會恰恰導致“一般位置”這個假設失效?
如果失效了,那 BKZ格約化在有限範圍內沒搜到短向量,就什麼也說明不了。
這個想法像就像是被人塞進了他腦子一樣。
錢德拉塞卡蘭突然停住了。
臺下一百多個學生不明所以地望向他。
他沉默了大概十幾秒,然後轉身用粉筆在韋伯那六步證明的第五步旁邊畫了一個問號。
然後開始寫,這一次和之前的挑刺完全不一樣。
【L_E← cyclotomic ideal lattice
structured lattice≠ random lattice
general position assumption: valid?】
寫到這裡他停了下來,倒不是因為他想到的東西不對。
而是因為他想到的東西太對了,對到他自己都有點吃驚。
他覺得如果沿著這個方向再往下想,也許真的能摸到什麼。
可現在是公開課,臺下坐了一百多個學生。
如果他在這裡把思路全部展開,而最後沒能完成推導,那就成了笑話,又或者他真的推出了什麼,卻被臺下的某個人搶先發布了,那就為他人做了嫁衣。
。筆了住收他以所
”。們學同“
。人兩若判前之和表,來過轉他
”。下一導推好好去回要需,向方個一了到想然突才剛我“
”。止為此到就課開公的天今“
。室教了出走地回不也頭他,完說
。覷相面面生學的下臺
。了黑都臉,排前在坐東李
?啊環的傳相火薪蹭你讓麼怎還我,了走你,啊走別你,是不
。句一了問聲低,來過湊悄悄傳若劉
”?了麼怎他“
。看難很表的東李
”。吧了緒頭麼什到找是能可,道知不“
……
。來起了鬧熱又壇論生學的大燕,上晚天當
”。了跑就後然,了西東的文論伯韋翻推能到找像好說然突,著說著說上課在授教度印個那“
”?的假的真“
”。了跑就後然,西東的格想理圓分麼什行幾了寫上板黑在他,的看眼親我,的真“
”?嗎課有還天明他那“
”。天兩是的寫上告公,吧有該應“
”?看看去天明那“
”。好“








