Strominger-Yau-Zaslow建议了用dual special Lagrangian fibration来理解mirror symmetry的方式。根据Duistermaat的结果,任何regular Lagrangian fibration都具有TB/Λ的形式,其中B是integral affine manifold,Λ是TB中的lattice,fiberwise来看就是传统意以下的lattice。此lattice可以用作integral affine structure的定义,也可以视为是由flat section生成的,因为我们知道任何integral affi……
Strominger-Yau-Zaslow建议了用dual special Lagrangian fibration来理解mirror symmetry的方式。根据Duistermaat的结果,任何regular Lagrangian fibration都具有TB/Λ的形式,其中B是integral affine manifold,Λ是TB中的lattice,fiberwise来看就是传统意以下的lattice。此lattice可以用作integral affine structure的定义,也可以视为是由flat section生成的,因为我们知道任何integral affine manifold上都有flat connection,这些flat connection通常不是metric compatible的。于是dual Lagrangian fibration就是T^\ast B/\check{\Lambda}。SYZ的appraoch可以很好地解释complex tori的mirror symmetry。
但是对于任何有趣的例子,我们都需要对上述Lagrangian fibration引进singular fiber。这是因为如果Lagrangian fibration是regular的,则得到的空间一定不是单连通的。单连通的条件对mirror
symmetry十分重要,不仅因为K3曲面和quintic 3-fold这些经典例子都是单连通的Calabi-Yau流形,而且因为这个条件保证了Bogmolov-Tian-Todorov定理成立,这保证了deformation of complex structure的模空间是光滑的,于是我们才可以定义mirror map。
因此自然产生的问题是如何正确引入singular fiber来构造Calabi-Yau mirror pair X(B)和\check{X}(B),这导致底空间B上的singular integral affine structure。因此,构造分为两部分:首先要确定B上的discriminant locus,其次要在这些discriminant locus上竖起具有正确singularity的fiber。事实上,SYZ mirror symmetry propose在large complex structure limit附近,相应的fibration\check{X}(B)\rightarrow B是special Lagrangian的,所以实际上首先要topologically构造出相应的Calabi-Yau manifolds(这时得到相应的dual torus fibration),然后要构造出相应的辛结构和复结构,否则就无从谈论special Lagrangian。这里large complex structure limit是Hodge theoretical的概念,它的定义比较复杂,用到Hodge structure的degeneration。粗略地说,它标记复结构的最大退化。事实上,在A-side我们要考虑Kahler moduli space,它是Kahler cone的complexification,当Kahler structure退化的时候,volume变大,因此有类似的large volume limit。这种对应关系也是mirror symmetry的nature之一。
上述构造问题上最早的进展是Gross在99年的Topological mirror symmetry (http://www.douban.com/group/topic/37340754/) 中对quintic 3-fold的拓扑构造,这也是本书Gross的讲义中主要想介绍的内容。事实上,考虑B^4\subset\mathbb{R}^4的边界\partial B^4,它topologically是由一些正四面体构成的,这就是我们需要的singular integral affine manifold B=S^3。这些正四面体去掉dual triangulation构成的codimension 2 discriminant locus \Delta有一个integral affine structure。在B_0=B-\Delta上,fibration应该是regular的,所以fiber就是T^3,在\Delta上要区分generic singular fiber和在\Delta的singular points上出现的singular fiber,这些fiber只在codimension 3的地方出现,所以都是孤立的。事实上,它们是dual triangulation中出现的节点。Generic singular fiber只有一个collapsing cycle,所以Euler characteristic是0,而其他singular fiber则分别具有+1和-1的Euler示性数,分别被称为positive fiber和negative fiber。Positive fiber的描述比较简单,就是有一个collapsing T^2,而negative fiber比较复杂,它的singularity分布在一条nodal curve上。这就完成了对topological quintic 3-fold X(B)的构造,它是X(B_0)\rightarrow B_0的compactification。对于quintic mirror \check{X}(B),只要对调上述X(B)中positive fiber和negative fiber就完成了compacitification。注意到尽管Gross的构造并不能在X(B)和\check{X}(B)上产生复结构和辛结构,但是此构造具体地反映了quitic 3-fold及其mirror在拓扑上的差别——即positive和negative fiber的对换,从而在SYZ program上迈出了第一步。
注意到上述构造的philosophy十分简单:对于同样的singular affine base,我们用不同的singular fiber去compactify,从而得到不同的Calabi-Yau流形。也正因为想法简单,此方向的进展并不多。不过基于Joyce对special Lagrangian的工作,实际上想要得到special Lagrangian fibration,我们应该允许在B上出现codimension 1的singularity。基于这个想法,实际上我们目前已经能够在X(B)和\check{X}(B)上构造出辛结构:http://www.douban.com/group/topic/37340699/ 。此时的discriminant locus是在原先的基础上在negative fiber的地方做thickening。X(B)上这样构造出的辛结构是否就是quintic 3-fold上的辛结构还有待证明。不过这样构造得到的辛结构和下面要介绍的Kontsevich-Soibelman的猜想从某种意义上说是矛盾的。
一个自然的问题是为什么选择和S^3同胚的B来进行构造。事实上,整个的构造纲领在Gross-Wilson的重要工作Large complex structure limits of K3 surfaces (http://www.douban.com/group/topic/38562421/) 中已经被阐述得非常清楚。他们的纲领有两部分:collapsing和reconstruction,此文的主要目的就是解释如何用Fukaya fibration来理解这两部分之间的自然联系。事实上,Kontsevich和Soibelman最先观察到Hodge theoretical的large complex structure limit和metric geometry中的Gromov-Hausdorff limit之间的联系。假如在large complex structrure limit附近考虑,则根据Yau对Calabi猜想的证明,在这一族Calabi-Yau流形{M_i}上可以endow一族Ricci flat metric。根据Gromov的定理,这组Calabi-Yau流形在Gromov-Hausdorff distance下是precompact的,也就是说有收敛的子序列。Kontsevich和Soibelman的猜想是,假设这族Calabi-Yau流形是full holonomy的(即holonomy group都是SU(n)),则能够找到一族子序列收敛到B,其中B和S^n同胚,并且去掉codimension 2的singular locus后,B_0上的Riemann度量就是S^n induce的Riemann度量。因此,所谓的collpasing program就是要借助于Gromov-Hausdorff limit来visualize large complex structure limit,而所谓的reconstruction program是说,根据这个同胚于S^n的singular integral affine manifold B,我们可以构造出这一族Calabi-Yau流形及其mirror,一个典型的例子就是上述的Gross对quintic 3-fold及其mirror从topological S^3开始的构造。
事实上,上述collapsng的猜想不难通考虑elliptic curve这一最简单的情形来理解。假设有一族被\mathbb{C} parametrize的elliptic curve,large complex structure limit在无穷远点,即complex structure是\mathbb{Z}+i\alpha\mathbb{Z}(注意elliptic curve的complex structure是被\mathbb{C}中的integral lattice决定的)。那么要保持这些elliptic curve的diameter不变,我们需要对度量作scaling g_{\alpha}=g/\alpha^2。显然,当\alpha\rightarrow\infty时,这族elliptic curve在Gromov-Hausdorff意义下收敛到S^1,因此我们对n=1验证了Kontsevich和Soibelman的猜想。Gross和Wilson的工作则对n=2的情形证明了此猜想。他们的证明是direct approach,也就是需要explicitly写下一族Ricci flat度量,注意这在一般情况下是做不到的:http://book.douban.com/review/5768238/ ,因为你当然不能explicitly写下Monge-Ampere方程的解。但是Gross和Wilson很好地利用了之前Ooguri和Vafa的工作中对K3 surface写下的一族度量。Ooguri-Vafa的度量实际上只是几乎Ricci平坦的,但是通过一些估计可以看出它对Ricci flat度量的逼近程度非常高,这导致借助于一些standard的估计,我们还是可以证明K3 surface在large complex structure limit collapse到S^2,这时的度量是带有24个奇异点的通常S^2上的Riemann度量。注意到generically,elliptic K3曲面的singular fiber就是24个nodal fiber,因此逼近large omplex structure limit的过程应该是{M_i}的复结构\omega_i^2保持不变,而辛结构\omega_i退化的过程。这里\omega_i是M_i上的Kahler形式。通过所谓的hyperkahler rotation的技巧,不难看出这和保持辛结构不动,使复结构退化,即逼近large complex structure limit的过程是一致的。这种复结构和辛结构的对易关系也是mirror symmetry的特色所在。
我们来解释Fukaya fibration和reconstruction之间的联系,首先回顾Fukaya fibration的主要结果:http://www.douban.com/group/topic/36316271/ ,假设{M_i}是一族sectional curvature一致有界的完备Riemann流形,并且在Gromov-Hausdorff的意义下collapse到光滑的Riemann流形N,则对于足够大的i我们有fibration M_i\rightarrow N,其中fiber是infranilmanifold。事实上,在之后的工作中,Cheeger-Fukaya-Gromov (http://www.douban.com/group/topic/39920498/) 在fiber的diameter是\varepsilon,而\textrm{Vol}(M_i)=\varepsilon^k,其中k=\dim M_i-\dim N的假设下改进了Fukaya之前的结果,得出了fiber是T^n/\Gamma,其中\Gamma是有限群。为了看清楚整体的picture,我们ignore B的singularity。那么对Kontsevich和Soilbelman的上述猜想使用Fukaya fibration就得到了B上的fibration T^n/\Gamma\rightarrow M_i\rightarrow S^n,这应该理解为所需要的reconstruction process。因此,SYZ program中的reconstruction应该理解为带有singular fiber的Fukaya fibration。不过仍有两点问题需要澄清:首先,有限群\Gamma是否是trivial group?其次,Fukaya fibration要求了sectional curvature是一致有界的,而我们目前只知道度量是Ricci平坦的。一般而言,一族Ricci平坦度量未必会使截面曲率一致有界。不过在n=1和n=2的情形,截面曲率的确是一致有界的。
尽管目前还只是猜测,但是上述图景依然值得考虑。事实上,Fukaya fibration显然是torus fibration的推广,并且此时也可以定义相应的duality。事实上,让我们局限在nilmanifold的情形,任何一个nilmanifold N是一个torus fibraton, over a torus fibration, over a torus fibation,…, over a torus。因此,N是一些嵌套的torus firbation,对其中的每一层torus fibration都可以谈论它的dual torus fibration,这样我们得到dual nilmanifold N^\ast的概念,进而就得到dual nilmanifold fibration的概念,这应该可以用来推广SYZ program中的dual torus fibration。实际情况下,某些regular fiber N应该考虑为几乎是一个nilmanifold:即对于这些regular fiber N,应该需要考虑它本身admit的fibration N\rightarrow T^m具有singular fiber的情况,甚至每一层torus fibration都应该有singular fiber,这些singular的regular fiber应该最多在codimension 1的地方出现。事实上,这时我们考虑的base B未必还是of middle dimension的,这可以用来解释某些Calabi-Yau 3-fold admit abelian surface fibration的现象(比如对singular quintic 3-fold X_{\psi=1}做crepant resolution得到的Calabi-Yau 3-fold),这样在A-side可以考虑对应的isotropic fibration,这其中应该也有相应的duality。并且当我们的base不是of middle dimension的时候,相应的reconstruction也可能变得更加灵活:即我们可以降低base的dimension来简化discriminant locus,也可以降低fiber的dimension来简化singular fiber的构造。最重要的是,作这些推广后不会影响Gross-Wilson文章中揭示的collapsing program和reconstruction program的大图景。此时我们可以考虑具有abelian surface fibration的Calabi-Yau 3-fold X\rightarrow\mathbb{P}^1在接近large complex structure limit时的表现,当然可以猜测它在合适的Riemannian metric下会collapse到S^2 with codimension 0 singularity,而相应的reconstruction process依然可以理解成一个singular Fukaya fibration。
最后,我们的想法提示了Kontsevich-Soibelman猜想的一个可能的modification,即在large complex structure limit附近不去考虑Ricci flat metric导致的collapsing,而应该考虑使sectional curvature一致有界的Riemann度量所诱导的collapsing。
一个比此书中更详细的SYZ mirror symmetry的介绍见Gross的文章:http://www.douban.com/group/topic/39917281/。
Related Issues not found
Please contact @HiMatrixor to initialize the comment