第139章 迷宫

他的手动的飞快，空白的草稿纸被逐渐填满。

定义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/21/p)+有限修正

当p很大时，(1/21/p)趋近于1/2，所以这个级数发散，除非ω(p)衰减得足够快。

ω(p)=(p—1)/p·logp~logp。

乘以(1/21/p)后，仍然~(1/2)logp，求和发散。

又卡住了。

肖宿揉了揉紧绷的太阳穴。

也许ω(p)需要重新设计。

也许应该让ω(p)衰减得快一些，比如ω(p)=logp/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/(plogp)。

这样Σλ_p收敛，因为Σ1/(plogp)发散？

不，Σ1/(plogp)是发散的，积分∫dx/(xlogx)发散。

所以需要衰减得更快。

λ_p=1/(p(logp)^2)？

这个级数收敛，因为∫dx/(x(logx)^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。

这不是恒等映射。

有点乱。

肖宿意识到，可能还需要更系统的分析。