肖宿閉上眼睛,讓思維自由飄蕩。
他看見一條數軸,上面散落著素數點——2,3,5,7,11,13,17,19,23……
這些點看起來隨機分佈,但仔細看,又似乎有某種說不清的秩序。
3和5之間差2,5和7之間差2,11和13之間差2,17和19之間差2...
這些相差2的點對,像某種共振頻率。
如果...
肖宿突然睜開眼睛。
如果我把數軸想象成一維流形,素數就是上面的一些特殊點。
那麼孿生素數就是距離為2的兩個特殊點。
這就像在問:在這個流形上,是否存在無窮多對點,它們的“測地距離”為2,而且每個點都是某種“算術奇點”?
他重新拿起筆。
這次,他換了一種語言。
在顧—辛框架中,任何一個數學物件都可以被賦予一組“宇宙座標”,那是一組捕捉其最本質特徵的編碼。
對於素數分佈來說,這個“宇宙座標”應該是什麼?
肖宿開始構造。
首先,他需要把整數嵌入到一個連續空間中。
不是實數軸,那太平凡了。
他需要的是一個能夠同時編碼乘法和加法結構的高維空間。
阿德爾環閃過他的腦海。
那是代數數論中的標準工具,把所有素數p的p進數域和實數域放在一起,形成一個巨大的拓撲環。
整數在這個環中的嵌入是n ? (n, n, n, ...),每個分量是n在對應完備化中的像。
但肖宿想要的不是標準阿德爾環,而是一個經過“辛整形”的版本。
他寫下第一行:
定義1 (顧—辛特徵空間):設X為所有素數p對應的p進數域的受限乘積,賦予由顧—辛度量定義的拓撲結構。對於每個整數n,定義嵌入φ: ? → X,使得φ(n)的第p分量為n d p^k的極限。
這個定義不算新鮮。但接下來,肖宿做了關鍵的一步。
他引入了一個“加權函式”ω(p) = (p—1)/p · log p。
這個函式來自他在《數學發明》上發表的那篇關於有理點估計的論文,在那篇論文中,他用這種加權函式修正了點分佈的誤差項。
定義2 (加權度量):對於X中的兩點x=(x_p)和y=(y_p),定義它們之間的距離為d(x,y) = Σ ω(p) · |x_p y_p|_p
。值對絕進p是p_|·|中其
。怪奇很量度個這
。關有小大的數素與重權,和權加的量度進p維一是它
。小更獻貢數素小,大更獻貢數素大
。比正小大其與”要重“的數素,說在像好就
。下一了頓停,後義定個這下寫宿肖
?嗎斂收能量度個這
。下一了算估速快他
。)p(ω Σ於控數級以所,1是值大最的p_|p_y p_x|
。窮無向趨地定堅但、地慢緩,樣一數級和調像就,數級散發個一是這,p/)p gol( Σ ~ )p(ω Σ而
。大窮無是以可)y,x(d以所
。了思意有就那
。限有才離距,時”近接夠足“y和x當有只
。了亮睛眼的宿肖








