第134章 迷宮
他的手動的飛快，空白的草稿紙被逐漸填滿。
定義3 (孿生條件)：兩個整數m和n是孿生素數對，若且唯若：
1. φ(m)和φ(n)都是X中的「算術奇點」，即對應素數的像；
2. d(φ(m), φ(n)) = 2；
其中2是所有p進分量差異的加權和。
如果m和n是孿生素數對，比如3和5，那麼對於大多數素數p，|3—5|_p = | —2 |_p。
對於p≠2，|—2|_p = 1，因為—2不被p整除。
對於p=2，| —2 |_2 = 1/2，因為2整除—2一次。
所以d(φ(3), φ(5)) = Σ ω(p) · 1 (對p≠2) + ω(2) · (1/2)。
因為Σ ω(p)發散，所以這個和發散。
所以3和5在加權度量下的距離是無窮大？
肖宿皺起眉頭。
不對，這樣定義有問題。
他意識到，如果直接用原始定義，任何兩個不同整數的距離都是無窮大，因為對無窮多個p，|m—n|_p = 1。
加權和自然發散。
需要修改。
也許不是所有p都計入？
也許只有那些對「區分」m和n有貢獻的p才計入？
肖宿托腮思考了一會兒，他覺得定義2還不夠完備。
定義2在實際計算中，應該只考慮那些|m—n|_p ≠ 0的p，即p不整除m—n。
對於這些p，|m—n|_p = 1。
所以d(φ(m), φ(n))正比於這些p的權重和。
當m—n固定時，這個和發散，所以需要正規化。
減去發散項，留下有限部分。
肖宿自己曾經在《數學發明》那篇論文中用過類似的技巧：對於素數計數函數的誤差項，減去主項後，剩餘部分可以用一個收斂的級數表示。
在這裡也可以用同樣的方法。
定義2' (正規化加權度量)：定義正規化距離d̂(φ(m), φ(n)) = lim_{X→∞} [ Σ_{p≤X, p∤(m—n)} ω(p) Σ_{p≤X} ω(p)/p ]
這個定義的精妙之處在於，第一項求和是對所有不整除(m—n)的素數，第二項減去的是所有素數的某種平均。
當X→∞時，兩個發散項抵消，留下一個有限值。
肖宿開始估算這個值。
對於固定的差值k=m—n，不整除k的素數占比大約是∏_{p|k} (1—1/p)。
所以第一項約等於(∏_{p|k} (1—1/p)) · Σ_{p≤X} ω(p)。
第二項是Σ_{p≤X} ω(p)/p。
兩者相減後，主項抵消，剩下的是一個收斂級數。
當k=2時，只有p=2整除k。
所以∏_{p|k} (1—1/p) = 1—1/2 = 1/2。
因此：d̂(φ(m), φ(n)) = lim [ (1/2)·Σ_{p≤X} ω(p) Σ_{p≤X} ω(p)/p ] + 有限修正= lim Σ_{p≤X} ω(p)·(1/2 1/p) + 有限修正
當p很大時，(1/2 1/p)趨近於1/2，所以這個級數發散，除非ω(p)衰減得足夠快。
ω(p) = (p—1)/p · log p ~ log p。
乘以(1/2 1/p)後，仍然~ (1/2) log p，求和發散。
又卡住了。
肖宿揉了揉緊繃的太陽穴。
也許ω(p)需要重新設計。
也許應該讓ω(p)衰減得快一些，比如ω(p) = log p / p？
但這樣在之前的有理點估計中就不夠用了。
他陷入了沉思。
窗外傳來遠處的汽車聲，很輕，像是從另一個世界飄來的。
等等。
肖宿突然想到一種可能性。
也許根本不需要d̂(φ(m), φ(n)) = 2這個條件。
也許孿生素數的本質特徵在於，φ(m)和φ(n)在X中形成某種特殊的「雙子結構」，一種在辛幾何意義下的配對。
他想起自己在顧—辛框架中定義的「孿生結構」，那原本是用來描述辛流形上兩個互為對偶的子流形的。
如果把這個概念移植過來...
孿生結構的定義是設(M, ω)是一個辛流形，L1和L2是兩個拉格朗日子流形。
如果存在一個辛同胚φ: M→M，使得φ(L1)=L2，且φ^2=id，則稱(L1, L2)構成一個孿生結構。
現在，把X看作一個辛流形。把每個素數p對應的「點」看作一個零維拉格朗日子流形。
那麼，孿生素數對(p, p+2)對應於一對拉格朗日子流形，它們之間由一個特定的辛同胚相聯繫。
這個辛同胚是什麼？
肖宿放下筆沉思了會兒。
在數軸上，從p到p+2是一個平移。
在X中，這個平移應該對應於一個變換T，它在每個p進分量上的作用是T(x) = x + 2。
T是一個辛同胚嗎？在顧—辛框架的辛結構中，平移確實是辛同胚，因為辛形式是平移不變的。
所以T是辛同胚。
那麼T^2就是平移4，不是恆等映射。
所以不滿足φ^2=id的條件。
也許不是要求φ^2=id，而是要求φ和某個對合變換的複合是id？
肖宿繼續思考。
設S是某個對合變換，比如S(x) = —x。那麼如果T∘S是id，則T = S。
這不可能。
如果S∘T∘S = T^{—1}？
這有點像辛幾何中的某種對偶關係。
也許這就是關鍵。
肖宿開始重新表述問題。
在顧—辛框架中，任何一個辛流形都有三個基本不變量：旋轉守恆量、層次結構指數、可計算性度量。
對於X這個特殊的辛流形，它的旋轉守恆量應該與素數分布有關。
如果我能夠證明，在X中，由孿生素數條件所定義的子集具有非零的旋轉守恆量，那麼這個守恆量的存在就會強制要求孿生素數有無窮多對，就像角動量守恆強制要求旋轉體不能停止一樣。
這個想法讓肖宿眼前一亮。
他繼續在紙上推導起來。
第一步就是構造X上的辛形式。
這需要用到顧—辛框架中的標準方法，通過對每個p進分量賦予一個權重，然後取某種直和。
具體來說，設ω_p是第p個分量上的標準辛形式，在p進數域上，辛形式可以定義為ω_p(x,y) = |xy' x'y|_p，但需要適當正規化。
然後定義總辛形式為Ω = Σ λ_p ω_p，其中λ_p是權重係數。
權重係數需要滿足某些條件，比如使得Ω是良定義的，即級數收斂，並且使得平移變換保持Ω。
肖宿嘗試設λ_p = 1/(p log p)。
這樣Σ λ_p收斂，因為Σ 1/(p log p)發散？
不，Σ 1/(p log p)是發散的，積分∫ dx/(x log x)發散。
所以需要衰減得更快。
λ_p = 1/(p (log p)^2)？
這個級數收斂，因為∫ dx/(x (log x)^2)收斂。
好，就用這個。
第二步是定義孿生結構。
設L_p是X中對應於素數p的點，即第p個分量為p，其他分量為0的嵌入像。
那麼對於孿生素數對(p, p+2)，我們有一對點(L_p, L_{p+2})。
現在考慮變換T: x → x + 2。
這是一個辛同胚，因為Ω是平移不變的。
考慮對合變換S: x → —x。
S也是辛同胚，如果Ω是偶函數的話，這還需要驗證，但暫時假設成立。
那麼S∘T是一個變換，它把x映到 —x—2。
這個變換的平方是？
(S∘T)^2 = S∘T∘S∘T = S∘(T∘S∘T)。T∘S∘T把x映到 T∘S(T(x)) = T∘S(x+2) = T(—x—2) = —x。
所以T∘S∘T = —id。
因此(S∘T)^2 = S∘(—id) = —S。
這不是恆等映射。
有點亂。
肖宿意識到，可能還需要更系統的分析。
定義3 (孿生條件)：兩個整數m和n是孿生素數對，若且唯若：
1. φ(m)和φ(n)都是X中的「算術奇點」，即對應素數的像；
2. d(φ(m), φ(n)) = 2；
其中2是所有p進分量差異的加權和。
如果m和n是孿生素數對，比如3和5，那麼對於大多數素數p，|3—5|_p = | —2 |_p。
對於p≠2，|—2|_p = 1，因為—2不被p整除。
對於p=2，| —2 |_2 = 1/2，因為2整除—2一次。
所以d(φ(3), φ(5)) = Σ ω(p) · 1 (對p≠2) + ω(2) · (1/2)。
因為Σ ω(p)發散，所以這個和發散。
所以3和5在加權度量下的距離是無窮大？
肖宿皺起眉頭。
不對，這樣定義有問題。
他意識到，如果直接用原始定義，任何兩個不同整數的距離都是無窮大，因為對無窮多個p，|m—n|_p = 1。
加權和自然發散。
需要修改。
也許不是所有p都計入？
也許只有那些對「區分」m和n有貢獻的p才計入？
肖宿托腮思考了一會兒，他覺得定義2還不夠完備。
定義2在實際計算中，應該只考慮那些|m—n|_p ≠ 0的p，即p不整除m—n。
對於這些p，|m—n|_p = 1。
所以d(φ(m), φ(n))正比於這些p的權重和。
當m—n固定時，這個和發散，所以需要正規化。
減去發散項，留下有限部分。
肖宿自己曾經在《數學發明》那篇論文中用過類似的技巧：對於素數計數函數的誤差項，減去主項後，剩餘部分可以用一個收斂的級數表示。
在這裡也可以用同樣的方法。
定義2' (正規化加權度量)：定義正規化距離d̂(φ(m), φ(n)) = lim_{X→∞} [ Σ_{p≤X, p∤(m—n)} ω(p) Σ_{p≤X} ω(p)/p ]
這個定義的精妙之處在於，第一項求和是對所有不整除(m—n)的素數，第二項減去的是所有素數的某種平均。
當X→∞時，兩個發散項抵消，留下一個有限值。
肖宿開始估算這個值。
對於固定的差值k=m—n，不整除k的素數占比大約是∏_{p|k} (1—1/p)。
所以第一項約等於(∏_{p|k} (1—1/p)) · Σ_{p≤X} ω(p)。
第二項是Σ_{p≤X} ω(p)/p。
兩者相減後，主項抵消，剩下的是一個收斂級數。
當k=2時，只有p=2整除k。
所以∏_{p|k} (1—1/p) = 1—1/2 = 1/2。
因此：d̂(φ(m), φ(n)) = lim [ (1/2)·Σ_{p≤X} ω(p) Σ_{p≤X} ω(p)/p ] + 有限修正= lim Σ_{p≤X} ω(p)·(1/2 1/p) + 有限修正
當p很大時，(1/2 1/p)趨近於1/2，所以這個級數發散，除非ω(p)衰減得足夠快。
ω(p) = (p—1)/p · log p ~ log p。
乘以(1/2 1/p)後，仍然~ (1/2) log p，求和發散。
又卡住了。
肖宿揉了揉緊繃的太陽穴。
也許ω(p)需要重新設計。
也許應該讓ω(p)衰減得快一些，比如ω(p) = log p / p？
但這樣在之前的有理點估計中就不夠用了。
他陷入了沉思。
窗外傳來遠處的汽車聲，很輕，像是從另一個世界飄來的。
等等。
肖宿突然想到一種可能性。
也許根本不需要d̂(φ(m), φ(n)) = 2這個條件。
也許孿生素數的本質特徵在於，φ(m)和φ(n)在X中形成某種特殊的「雙子結構」，一種在辛幾何意義下的配對。
他想起自己在顧—辛框架中定義的「孿生結構」，那原本是用來描述辛流形上兩個互為對偶的子流形的。
如果把這個概念移植過來...
孿生結構的定義是設(M, ω)是一個辛流形，L1和L2是兩個拉格朗日子流形。
如果存在一個辛同胚φ: M→M，使得φ(L1)=L2，且φ^2=id，則稱(L1, L2)構成一個孿生結構。
現在，把X看作一個辛流形。把每個素數p對應的「點」看作一個零維拉格朗日子流形。
那麼，孿生素數對(p, p+2)對應於一對拉格朗日子流形，它們之間由一個特定的辛同胚相聯繫。
這個辛同胚是什麼？
肖宿放下筆沉思了會兒。
在數軸上，從p到p+2是一個平移。
在X中，這個平移應該對應於一個變換T，它在每個p進分量上的作用是T(x) = x + 2。
T是一個辛同胚嗎？在顧—辛框架的辛結構中，平移確實是辛同胚，因為辛形式是平移不變的。
所以T是辛同胚。
那麼T^2就是平移4，不是恆等映射。
所以不滿足φ^2=id的條件。
也許不是要求φ^2=id，而是要求φ和某個對合變換的複合是id？
肖宿繼續思考。
設S是某個對合變換，比如S(x) = —x。那麼如果T∘S是id，則T = S。
這不可能。
如果S∘T∘S = T^{—1}？
這有點像辛幾何中的某種對偶關係。
也許這就是關鍵。
肖宿開始重新表述問題。
在顧—辛框架中，任何一個辛流形都有三個基本不變量：旋轉守恆量、層次結構指數、可計算性度量。
對於X這個特殊的辛流形，它的旋轉守恆量應該與素數分布有關。
如果我能夠證明，在X中，由孿生素數條件所定義的子集具有非零的旋轉守恆量，那麼這個守恆量的存在就會強制要求孿生素數有無窮多對，就像角動量守恆強制要求旋轉體不能停止一樣。
這個想法讓肖宿眼前一亮。
他繼續在紙上推導起來。
第一步就是構造X上的辛形式。
這需要用到顧—辛框架中的標準方法，通過對每個p進分量賦予一個權重，然後取某種直和。
具體來說，設ω_p是第p個分量上的標準辛形式，在p進數域上，辛形式可以定義為ω_p(x,y) = |xy' x'y|_p，但需要適當正規化。
然後定義總辛形式為Ω = Σ λ_p ω_p，其中λ_p是權重係數。
權重係數需要滿足某些條件，比如使得Ω是良定義的，即級數收斂，並且使得平移變換保持Ω。
肖宿嘗試設λ_p = 1/(p log p)。
這樣Σ λ_p收斂，因為Σ 1/(p log p)發散？
不，Σ 1/(p log p)是發散的，積分∫ dx/(x log x)發散。
所以需要衰減得更快。
λ_p = 1/(p (log p)^2)？
這個級數收斂，因為∫ dx/(x (log x)^2)收斂。
好，就用這個。
第二步是定義孿生結構。
設L_p是X中對應於素數p的點，即第p個分量為p，其他分量為0的嵌入像。
那麼對於孿生素數對(p, p+2)，我們有一對點(L_p, L_{p+2})。
現在考慮變換T: x → x + 2。
這是一個辛同胚，因為Ω是平移不變的。
考慮對合變換S: x → —x。
S也是辛同胚，如果Ω是偶函數的話，這還需要驗證，但暫時假設成立。
那麼S∘T是一個變換，它把x映到 —x—2。
這個變換的平方是？
(S∘T)^2 = S∘T∘S∘T = S∘(T∘S∘T)。T∘S∘T把x映到 T∘S(T(x)) = T∘S(x+2) = T(—x—2) = —x。
所以T∘S∘T = —id。
因此(S∘T)^2 = S∘(—id) = —S。
這不是恆等映射。
有點亂。
肖宿意識到，可能還需要更系統的分析。