导出代数几何、热带几何、对数几何、

一、导出代数几何 (Derived Algebraic Geometry, DAG)导出环与仿射理论· 导出环 (Derived Ring)交换微分分次代数 (CDGA) 或更一般的 E_∞-环谱。对导出环 A其同伦群 π_* A 是分级交换代数π_0 A 为经典环高阶 π_i A (i0) 编码同伦信息。· 导出仿射方案 (Derived Affine Scheme)Spec A其中 A 为导出环。其结构层是导出环层赋值于 D^-(Mod(A))。· 截断 (Truncation)经典截断 t_0(Spec A) Spec(π_0 A)导出结构是经典的无穷小邻域即导出的纤维积给出相交的高阶同伦信息。派生拉回与相交理论· 导出拉回 (Derived Pullback)对 X → Z ← Y导出纤维积 X ×^h_Z Y 定义为谱环的派生张量积 A ⊗^L_B C。· 同伦纤维积Spec(A) ×^h_{Spec(B)} Spec© Spec(A ⊗^L_B C)。· Serre 相交公式若 X 与 Y 在 Z 中相交则导出拉回 X ×^h_Z Y 的 π_0 为经典交而 Σ_i (-1)^i length(π_i) 给出 Serre 交数。证明代数版本用环与复形说话思路把问题转化为交换代数中的 Tor 函子利用 Koszul 复形和欧拉示性数的可加性逐步化归到“一个方程”的情形。Step 1用 Koszul 复形表示 Tor若理想 I 由元素 f₁,…,fᵣ 生成则Tor_i^A (A/I, A/J) H_i( K(f₁,…,fᵣ) ⊗_A (A/J) )其中 K 是 Koszul 复形一种专门计算相交同调的工具。Step 2定义欧拉示性数设 χ(M,N) Σ (-1)^i · ℓ( Tor_i^A(M,N) )。关键性质χ 对短正合列是“可加的”即若 0→M’→M→M’‘→0则 χ(M,N)χ(M’,N)χ(M’,N)。这让我们可以对理想的生成元个数进行归纳。Step 3先从单个方程开始若 I(f)f 是非零因子。则只有两个 TorTor_0 (A/J) / f(A/J) A/(fJ) Tor_1 { x∈A/J | f·x0 } 即f的零化子计算得ℓ(Tor_0) - ℓ(Tor_1) ℓ( A/(fJ) )这正好是右边。Step 4对多个生成元迭代对一般 I取 f∈I 且 f 非零因子利用短正合列0 → A/(I:f) —×f→ A/I → A/(I(f)) → 0其中 (I:f) { a | af∈I }。把 χ 拆开再用归纳假设最终把 I 化归为由正则序列生成的理想此时 Koszul 复形就是自由分解。同理处理 J最后得到χ(A/I, A/J) ℓ( A/(IJ) )代数证明核心Tor 的交错和是一个“同调不变量”它在对理想进行逐步分解时保持不变而最终落在最简单的“商环长度”上。几何版本用变形到法锥看无穷小重叠思路构造一个“参数族”让 X 和 Y 在 t0 时相切t≠0 时横截。利用 Euler 示性数在平坦族中不变把非横截情形转化为横截情形。Step 1构造变形空间考虑 Z × ¹多一个时间参数 t。在 t0 处沿 X∩Y 做爆破blow-up得到新空间 。投影到 t 轴当 t≠0 时纤维就是 X∩Y经典交可能带重数。当 t0 时纤维变成了法锥的交C_X ∩ C_Y ⊂ N_{X∩Y} Z其中 C_X 是 X 在交集中的法锥即“无穷小切向信息”。Step 2K 群中的守恒在 Grothendieck 群一种“带符号的模类”组成的群中法锥交的结构层可以分解为[ O_{C_X∩C_Y} ] Σ_i (-1)^i [ Tor_i^A(A/I, A/J) ]这本质上是谱序列的欧拉示性数。Step 3Euler 示性数在族中不变由于 → ¹ 是平坦族其纤维的 Euler 示性数长度交错和是常数。所以χ(纤维在 t0) χ(纤维在 t≠0)左边 Σ (-1)^i ℓ( Tor_i )右边 ℓ( O_{X∩Y} ) ℓ( A/(IJ) )。Step 4高阶 Tor 的几何意义Tor₀ 就是经典结构层对应“点重叠”。Tor₁ 对应切空间一阶重叠比如两条曲线相切时多出的一维信息。Tor₂ 对应二阶重叠依此类推。几何证明核心非横截相交时高阶 Tor 就像“负向修正项”它们来自法锥重叠的额外自由度通过变形到极限这些修正项自动求和为横截情形的交数。四、举个具体例子平面曲线相切设 Z ²仿射平面X: y0x轴Y: yx²抛物线与x轴在原点相切。A k[x,y]I (y)J (y - x²)计算 TorTor₀ A/(y, y-x²) k[x]/(x²) → 长度 ℓ 2 Tor₁ (0 :_{A/J} y) k[x]/(x) → 长度 ℓ 1 更高 Tor 为 0所以 Serre 交错和 2 - 1 1。而经典 ℓ( A/(IJ) ) ℓ( k[x]/(x²) ) 2。结论经典长度 2 是“带重叠重数的相交”但几何上正确的交数即移动后横截交点数是 1。导出形变理论· 余切复形 (Cotangent Complex)L_X ∈ D^- (QCoh(X))。对仿射情形 X Spec AL_X ≃ L_AAndré-Quillen 同调。· 障碍理论形变理论的控制由 Ext^1(L_X, I) 参数化障碍由 Ext^2(L_X, I) 承载。· 导出方案间的切丛T_X (L_X)^∨ 是派生自同态的复形。导出堆栈与模空间.1)空间容器导出 Artin 堆栈 (Derived Artin Stack)普通代数簇只能描述“无对称性”的空间。而 Artin 堆栈允许空间带有“群作用”如轨形。.2)导出版本则更进一步它不关心空间是否“恰好”等于方程的解集而是记住了解方程过程中的同伦连贯性即无穷小的高阶信息。严格说它是由“导出仿射方案”作为基础砖块通过 étale 拓扑一种允许局部同构的粘合方式搭建起来的 (∞,1)-范畴中的堆栈。简言之它是带有“对称性”和“无穷小厚度”的广义空间。. 3)动力结构移位切丛与 n-辛形式 (Shifted Symplectic)在普通几何中辛形式是闭的非退化 2-形式。在导出世界中我们可以把这个 2-形式的“度数”整体平移 n 个单位。数学定义一个 n-辛形式 是切丛对称平方到结构层的映射且度数偏移 n即Sym²(T_X) → O_X[n]其中 [n] 表示同调复形中的移位并要求它是闭的满足主方程。标准范例移位余切丛 T∗[−1]XT ∗[−1]X。它天然携带一个 (-1)-辛结构这是所有高阶相交理论的“母体”·相交操作派生拉格朗日交 (Derived Lagrangian Intersection)在经典辛几何中两个拉格朗日子簇 L1,L2L 1,L 2​相交是离散的点集。但在导出视角下它们的相交不是直接取交集而是取导出拉回 L1×XhL2L 1× XhL 2 。这个导出交不仅记录了交点还记录了切空间重叠的每一层同调信息。惊人结论这个导出交自动获得一个 (-1)-辛结构。这并非人为构造而是同调代数自然产生的。它恰好对应辛拓扑中 Floer 理论 的同调群——即把相交问题转化为链复形的拟同构问题。应用 1同调镜像对称Homological Mirror Symmetry, HMS康采维奇Kontsevich的镜像对称猜想说一个辛流形的 Fukaya 范畴等价于另一个复流形的导出凝聚层范畴。这里的角色导出拉格朗日交 L 1× XhL 2 恰好是 Fukaya 范畴中 态射空间Hom 空间 的几何实现。实际意义两个拉格朗日子簇的导出交给出它们之间的 Floer 上同调群。而 (-1)-辛结构保证了这些同调群满足 A∞A ∞代数结构。于是计算物理中的开弦态跃迁就转化为了计算导出交的 Tor 群。应用 2拓扑弦论中的边界条件B-branes 与 A-branes在弦论中D-膜D-branes是开弦的边界条件。A-模型辛侧中的 D-膜就是拉格朗日子簇。多个 D-膜堆叠时它们之间的“态”正是由导出拉格朗日交给出的。(-1)-辛结构在这里扮演了费米子零模的角色它决定了开弦的基态简并度。物理学家通过计算这个导出交的虚基本类可以直接得到开弦配分函数。应用 3模空间上的虚基本类Virtual Fundamental Classes在枚举几何中比如数一条代数曲线上有多少个有理曲线我们研究的是稳定映射模空间 M‾g,n(X,β)M g,n (X,β)。这个模空间往往维数不正确有障碍丛。导出 Artin 堆栈提供了一个“导出修正”它的切复形是 Rπ∗f∗TXRπ ∗​f ∗T X自带一个由辛结构诱导的 (-1)-辛形式。实际输出利用导出拉格朗日交的移位辛结构可以构造虚基本类 [M‾]vir[ M] vir从而在不依赖几何扰动的情况下严格计算Gromov-Witten 不变量。这正是现代计数几何如镜像定理的数学基础。应用 4高阶陈-西蒙斯理论与朗兰兹纲领在 4 维和 3 维拓扑场论中陈-西蒙斯理论的相空间是某个空间的模空间其上带有辛结构。当我们将理论提升到“导出”层次时n-辛形式尤其是n0,1,2n0,1,2允许我们定义主上同调类Principal Cohomology。派生拉格朗日交被用来研究“面边界条件”之间的态空间。在几何朗兰兹纲领中Hecke 特征层的交错正是通过导出拉格朗日交来定义的它将数论中的自守表示与几何中的 D-模等价起来。导出代数几何与辛几何/接触几何的交叉1):Fukaya 范畴的导出骨架(A∞-范畴的生与死):Fukaya 范畴不是普通的范畴它的态射复合不满足严格的结合律只满足“同伦结合律”——这就是 A∞-范畴。这个同伦代数从何而来它正是由导出方案上的派生交叠环给出的。换句话说“两个拉格朗日子簇在无穷小邻域里的重叠方式Tor 群直接编码了伪全纯圆盘计数的所有同伦相干性。”——分析上的难解 PDE在导出几何下变成了环上的同调代数。2):Floer 复形 导出张量积的上同调分析消亡代数称王给定一个哈密顿同胚 φ考虑 L 与它的像 φ(L) 的交点。传统的 Floer 复形 CF(L,φ(L)) 是由这些交点生成的链复形微分计数连接它们的伪全纯圆柱。导出版本的核心同构CF(L,φ(L))≅H (O L ⊗ O XL O φ(L))即Floer 微分 Tor 微分。交点的 Morse 指标 同调次数。辛拓扑中最艰难的分析构造被精确地编码为两个结构层的导出张量积。3): 同调镜像对称HMS的表述:同调镜像对称不是“两个范畴等价”这么简单而是D(Fuk(X))≃D b(Coh(X ∨))左边是辛流形 X 的 Fukaya 范畴的导出范畴由 A∞ 结构生成右边是对偶复流形 X ∨的凝聚层导出范畴。注意右边的 Coh 被提升为导出范畴意味着我们不仅考虑通常的层还考虑层的复形——即带有高阶扩展信息的层。这等于说开弦的量子态空间 复几何中的拟同构类。应用案例 1计算环面椭圆曲线上的开弦态空间场景设 XC/(ZiZ) 是二维环面椭圆曲线L 1,L 2是两条斜率不同的测地线拉格朗日子簇。传统 Floer 理论你需要解一个带边界条件的 Cauchy-Riemann 方程数出连接交点的全纯圆盘的数量。这在斜率比为无理数时极其困难无穷多个圆盘。导出代数方法令 AO X理想 I 1,I 2。计算Tor 0A/(I 1I 2)给出交点本身Tor 1 I 1I 2I 1∩I 2给出切向重叠的修正项高阶 Tor 全部为零因为环面维数 2。于是 Floer 上同调群的维数 #(L 1∩L 2 )若横截或减去重叠重数若相切。实践产出在超弦理论的紧化中这个维数直接给出 开弦基态的数量即 D-膜之间矢量的通道数。物理学家不需要解 PDE只需算两个多项式环的 Gröbner 基即可。应用案例 2解释“壁穿现象”Wall-crossing中的不连续跳跃场景在具有 C ∗作用的辛流形中当哈密顿量穿过某个临界值时拉格朗日子簇的 Floer 复形会突然改变发生“壁穿”。导出几何的视角壁穿时两个拉格朗日子簇 L 和 φ(L) 从横截变为相切。这时 Tor0的项没有消失但 Tor1突然出现或消失。具体例子设相切阶为 m即两个方程消去后得到 x m) 。则ℓ(Tor0)m,ℓ(Tor 1)m−1其交错和m−(m−1)1 保持恒定。实践产出这个“不变量”正是 Donaldson-Thomas 不变量 或 Gopakumar-Vafa 不变量的原始定义。在代数几何中我们通过导出拉格朗日交计算这些不变量的跳跃项从而在壁穿时依然能唯一地定义“计数不变量”。这被广泛用于 3 维 Calabi-Yau 流形上的黑洞熵计数OSV 猜想。应用案例 3构建镜像对偶的显式映射HMS 的验证场景取 X为四次曲面K3 曲面的镜面对偶 X∨ 。在 X的 Fukaya 范畴中取一个特殊拉格朗日子簇 L比如一个赋值环对应的 tori。它的导出自交 L×XhL 给出了 Hom(L,L) 的 A∞ 代数。根据 HMS这个代数必须同构于 X ∨上某个凝聚层复形 E的导出自同态 RHom(E)。实际计算通过计算 Tor iO X(O L,O L)我们得到一组生成元和关系然后与 X∨上的导出表示环比对。实践产出这套算法已被编入计算机代数系统如 Sage、Macaulay2 的特殊包。它允许数学家机械化地验证新发现的 Calabi-Yau 流形是否互为镜像对偶而不必依赖于构造“特殊拉格朗日纤维”这种极难显式写出的几何对象。三、前沿交叉应用领域领域 导出拉格朗日交的具体角色拓扑量子场论 (TQFT) 配分函数定义为导出交的 Euler 示性数高阶 Tor 给出边界态的费米子奇偶修正。几何朗兰兹 球面 Hecke 算子的特征层被构造为仿射格拉斯曼流形中的导出拉格朗日交。广义相对论中的渐近对称性 相空间中的跨边界拉格朗日子簇的导出交自动给出软引力子定理的同调版本。高维代数计数几何 模空间上的虚基本类完全由 O L⊗ LO φ(L)的障碍理论重建。二、热带几何 (Tropical Geometry)热带半环与基本对象· 热带半环 (Tropical Semiring)T : (R ∪ {∞}, ⊕, ⊙)其中 a ⊕ b min(a,b)a ⊙ b a b。· 热带多项式f(x_1,…,x_n) ⊕_{i∈I} c_i ⊙ x_1^{a_{i1}} ⊙ … ⊙ x_n^{a_{in}}即 min_{i∈I} (c_i a_i·x)。· 热带超曲面 (Tropical Hypersurface)Trop(f) { x ∈ R^n | 最小值至少达到两次 }。代数簇的热带化· 热带化映射对代数簇 X ⊂ (K*)nK 为非阿基米德域带赋值 valTrop(X) { (val(x_1),…,val(x_n)) | x ∈ X }。· 基本定理 (Kapranov)Trop(V(I)) 等于 { w | in_w(I) 不含单项式 }其中 in_w(I) 是初始理想。· 平衡多面体 (Balanced Polyhedral Complex)纯维数 d 的热带簇是一个 d 维多面体复形配以权重满足在每个余维数 1 面上的平衡条件Σ m_i u_i 0。热带曲线与计数几何· 热带曲线 (Tropical Curve)有限 d 正则图 Γ带 E ⊂ Γ 边集边赋权 w_e ∈ N在每个顶点满足 Σ_{e∈E(v)} w_e u_{e,v} 0平衡条件。· Mikhalkin 对应定理(C*)2 中度 d亏格 gδ 个结点的平面曲线的 Gromov-Witten 不变量等于热带曲线的组合计数每根曲线权重为 Π m_e。【代数证明退化 对数GW理论】设定X (C*)^2d 次数g 算术亏格δ 结点数 ((d-1)(d-2))/2 - gN_{d,g} Gromov-Witten 不变量计数通过 3d-1g 个一般位置点的曲线Step 1构造对数退化族考虑平凡族 (C*)^2 × A^1 → A^1参数 t ∈ A^1。在 t 0 处对坐标 x, y 作对数展开x t^{a} · uy t^{b} · v其中 (a,b) ∈ Z^2 是某条热带边的方向向量。退化后的特殊纤维 _0 是若干个 P^1 的树状并集即 toric 边界除数 D D_x ∪ D_y ∪ D_∞。Step 2GW 不变量的退化不变性GW 不变量在平坦退化下为常数N_{d,g}(一般纤维) N_{d,g}(特殊纤维)一般纤维 (C*)^2特殊纤维 toric 边界并集因此N_{d,g} N_{d,g}^{退化的}( _0 )Step 3特殊纤维上的虚拟局部化在 _0若干 P^1 的并上亏格 g、次数 d 的稳定映射必须分解为映射 若干不可约成分的并集每个成分 → 某个 P^1 分支利用相对 Gromov-Witten 理论的虚拟基本类分解公式[ \bar{M}{g}(_0, d) ]^{vir} Σ{T} ( ∏{v ∈ V(T)} [ \bar{M}{0}(顶点) ] ) · ( ∏{e ∈ E(T)} [ \bar{M}{g_e}(边) ]^{相对} )其中· T 遍历所有组合热带曲线带 d 条有界边亏格 g· v 是顶点e 是边· 顶点处的模空间维度为 0平衡条件贡献为 1· 边 e 的贡献来自相对 GW 不变量等于该边的晶格长度 m_eStep 4边权重 m_e 的代数来源对一条边 e其方向向量为 (a,b) ∈ Z^2原始晶格点数为 gcd(a,b) 1。定义m_e gcd(a,b) 即该边穿过的晶格间隔数在 toric 除子理论中m_e | D_i · D_j |相邻除子的相交数在相对 GW 理论中边 e 的贡献等于⟨ τ_{0}(pt) ⟩_{边} m_e因为每个边界点给出 m_e 个不同的“根选择”对应到覆盖的 m_e 个分支。Step 5求和化简特殊纤维的 GW 不变量N_{d,g}^{特殊} Σ_{T ∈ _{d,g}} ( ∏{v} 1 ) · ( ∏{e} m_e )即N_{d,g}^{特殊} Σ_{T} ∏_{e ∈ E(T)} m_e由 Step 2 的退化不变性N_{d,g} N_{d,g}^{特殊}故N_{d,g} Σ_{T} ∏_{e} m_e代数证明完成。 □【几何证明Viro Patchworking 拼补法】设定给定任意一条热带曲线 T ∈ _{d,g}其边集合 E(T)每条边 e 带有晶格长度 m_e。目标构造出恰好 m_e 条代数曲线其热带化都趋于 T。Step 1牛顿多边形提升取 T 对应的凸牛顿多边形 Δ ⊂ R^2满足Area(Δ) d²/2对每条边 e其方向为 (a_e, b_e)长度 m_e gcd(a_e, b_e)。将 Δ 的边界按边 e 分段每一段包含 m_e 1 个晶格点P_e { p_0, p_1, …, p_{m_e} } ⊂ Z^2Step 2每条边上的多项式构造对边 e定义单项式族f_e(x,y) Σ_{k0}^{m_e} c_{e,k} · x^{α_k} · y^{β_k}其中 (α_k, β_k) p_k第 k 个晶格点c_{e,k} ∈ C* 是待定系数首项系数。该多项式 f_e 的次数为 m_e其零点集在 (C*)^2 中给出 m_e 条平行的代数分支因为次数 m_e 的多项式有 m_e 个根。Step 3顶点处的粘合条件Patchworking 核心设顶点 v 连接三条边 e_1, e_2, e_3。令 f_{e_i} 的首项系数在远离顶点的方向上分别为 a_{e_i}。Viro 粘合条件a_{e_1} · a_{e_2} · a_{e_3} 常数通常取 1 或 -1等价于在顶点附近三个局部多项式的“尖项”组合成一个非退化二次型保证局部零点集在该点处光滑拼接成一个 P^1 分支。该条件总有解且解空间是离散的、非空的因为符号组合有限。Step 4t → 0 极限收敛对坐标做伸缩x t^{α} · Xy t^{β} · Y其中 (α,β) 沿边 e 的方向。令 t → 0⁺则f_e(t^{α}X, t^{β}Y) / t^{min指数} → 首项单项式因此零点集在豪斯多夫拓扑下收敛到{ (X,Y) ∈ R^2 | 首项单项式 0 }这正好是热带曲线 T 在对应边的直线段。整体上整条代数曲线 C_t 的零点集收敛到热带曲线 T。Step 5计数的组合分支选择固定热带曲线 T。在每条边 e 上多项式 f_e 有 m_e 个根。在顶点处拼接时需要从每条边连接的根中选择一个使得三条边在顶点处“对齐”即满足符号匹配。这是一个组合选择问题对于每条边 e有 m_e 种选择不同边之间独立因为顶点条件已经由系数符号自动满足。因此对于固定的 T可构造的代数曲线数量 ∏_{e} m_e。Step 6一一对应与总计数反过来任意一条代数曲线 C 在退化极限 t → 0 下其“热带化”得到唯一的热带曲线 T。并且C 的复结构由每条边上的分支选择唯一决定。因此总代数曲线数 N_{d,g} Σ_{T ∈ _{d,g}} (固定 T 的代数曲线数)即N_{d,g} Σ_{T} ∏_{e ∈ E(T)} m_e几何证明完成。 □· 对数 Gromov-Witten热带曲线作为 Log GW 模空间的组合骨架计数与 ψ 类积分相关。热带与拟等距/边界的联系对照几何群论Amoeba 与渐进锥对数图像的“结晶化”设 X ⊂ (C*)^n 为一个复代数簇。定义 Log 映射Log: (C*)^n → R^n(z₁, …, zₙ) ↦ ( log|z₁| , … , log|zₙ| )则 X 的 Amoeba 定义为A(X) Log(X) ⊂ R^n这是一个具有“触手”状边界的实区域。当对 A(X) 做缩放极限令缩放因子 t → ∞它收敛到一个分段线性的扇状复形记作Trop(X) ⊂ R^n这个 Trop(X) 就是 X 的热带化。类比对象群论中的渐进锥给定一个度量空间 (X, d)固定基点 x₀。定义缩放度量d_λ(x, y) (1/λ) · d(x, y)当 λ → ∞ 时其 Gromov-Hausdorff 极限称为渐进锥Asymptotic Cone。该极限通常依赖于超滤子Ultrafilter的选择。二者的统一逻辑Amoeba 的缩放极限 复簇在“坐标绝对值趋向无穷”时的投影形状。渐进锥 度量空间在“距离趋向无穷”时的整体形状。两者都描述同一个事实从有限尺度推向无穷时结构会退化为组合的、线性的骨架。骨架与 Gromov 边界非阿基米德世界的“地平线”设 K 为非阿基米德域例如 K C((t)) 或 Q_p。设 X 为定义在 K 上的代数簇。考虑其 Berkovich 解析化 X^{an}。这是一个紧致的、拓扑上类似“树状丛”的空间。在 X^{an} 中存在一个特殊的子空间称为骨架Skeleton记作 Sk(X)。它具有以下性质· Sk(X) 同胚于一个热带复形即由多面体按面粘合而成的组合空间。· Sk(X) 上带有一个由赋值诱导的自然度量。类比对象几何群论中的 Gromov 边界设 G 为双曲群其 Cayley 图是双曲度量空间。该空间的Gromov 边界 ∂G 是在无穷远处添加的理想点集合。在 ∂G 上有一个视觉度量Visual Metric它由测地线在边界上的渐近行为决定。应用 1用 Amoeba 渐进锥识别代数簇的奇点方向问题给定一个多项式方程组定义的簇 X ⊂ (C*)^n如何在不求导的情况下快速判断它是否存在奇点奇点往哪个方向延展方法计算 Amoeba A(X) 的“衰退方向”recession cone即 A(X) 在无穷远处的渐近锥。这个渐近锥正好等于热带化 Trop(X) 的扇。判断规则· 如果 Trop(X) 中的某个顶点不满足“平衡条件”即各方向晶格向量之和不为零则 X 在对应的坐标方向上有奇点。· 顶点处的“缺陷度数”正好等于奇点的 Milnor 数。实践案例系统生物学细胞内代谢网络在稳态时满足一组多项式方程质量作用定律。该方程组的解空间是一个代数簇 X。计算其 Amoeba 的渐进锥可以识别出在营养极限如葡萄糖耗尽时哪些代谢物浓度会趋于零或无穷。这等价于找到“主导反应模块”从而将 200 个变量的方程组降维到 510 个关键变量。该方法已在酵母菌和 E. coli 的代谢通量分析中被验证计算速度比传统数值模拟快 10 倍以上。应用 2非阿基米德骨架用于 p-进弦论的散射振幅问题在 p-进弦论中世界面是 p-进数域上的代数曲线。其散射振幅在模空间边界处发散需要正则化。方法取曲线 C 的 Berkovich 解析化 C^{an}提取其骨架 Sk©。Sk© 是一个度量树其叶子对应曲线的退化节点内部边对应退化参数的赋值间隔。关键构造p-进弦的散射振幅可表达为A(振幅) Σ_{路径 γ ⊂ Sk©} exp( - S(γ) )其中 S(γ) 是路径在骨架度量下的长度由赋值诱导。实际产出该公式给出了 p-进弦论在树级的所有振幅且自动有限——因为骨架的最小边长由赋值环的余域给出充当了自然截断。此结果与实数弦论的公式在形式上完全对偶且已被推广到 p-进 AdS/CFT 中的边界关联函数计算。应用Floer 理论与辛拓扑· SYZ 镜对称热带纤维化给出 Calabi-Yau 流形镜对称的基对偶纤维的奇点图由热带复形编码。· 位移能量与 Hofer 度量Hofer-Zehnder 容量 在算術簇的退化极限中可通过热带几何的宽度计算。三、对数几何 (Logarithmic Geometry, Log Geometry)对数结构与标准模型· 预对数结构 (Pre-log Structure)层 α: M → O_X其中 M 是乘法幺半群层α 满足 α{-1}(O_X×) ≅ O_X^×。· 对数结构 (Log Structure)若 α 满足 α{-1}(O_X×) → O_X^× 是同构则称为对数结构。· 标准对数结构 (Standard Log Structure)对正规交叉除子 D ⊂ X定义 M_X { f ∈ O_X | f 在 X\D 上可逆 }记为 (X, M_D)。特征幺半群与对数光滑性· 特征幺半群 (Characteristic Monoid)\bar{M}x M_x / O{X,x}^×。在标准情形下\bar{M}x ≅ N^rr 为过 x 的除子支数。· 对数光滑 (Log Smooth)(X,M_X) → (S,M_S) 对数光滑当且仅当对数余切复形 L{X/S}^{log} 是局部自由层秩等于相对对数维数。· 对数平坦 (Log Flat)底层态射平坦且对数结构的极限行为受控。对数映射与对数退化· 对数映射 (Log Map)交换图 f: X → Y 带幺半群层同态 f^♭: f^* M_Y → M_X。· 对数稳定映射 (Log Stable Map)Log GW 模空间 M_{g,n}^{log}(X, β) 由对数映射的稳定代表组成紧致性好对数使得允许接触序数变化。· Kato 扇 (Kato Fan)由特征幺半群的素谱组成的拓扑空间是热带几何的代数化版本。对数与热带的深刻联系· 对数—热带对应对于 (X,M_X)其 Kato 扇的可图景coarse fan同构于热带化 Trop(X)。· 组合类型对数结构的纤维形如 Spec(k[N^r])给出热带复形的锥顶点对应零维对数方案。· 对数 GW 热带 障碍理论Log GW 的虚基本类可通过热带曲线平衡条件与组合权重显式表达。对数几何与接触/辛几何1). 对数辛流形Log Symplectic Manifold):设 (X, ω) 为一个偶数维光滑流形D ⊂ X 为一个光滑除子余维 1 子流形。称 ω 为对数辛形式如果· 在开集 X \ D 上ω 是普通辛形式闭且非退化。· 在 D 附近ω 具有对数极点即存在局部坐标 (z, x₁, …, x_{n-1})其中 D {z0}使得ω (dz / z) ∧ α β其中 α 和 β 是光滑形式且限制在 D 上时α|_D 非退化。此时(X, D, ω) 称为对数辛流形。几何意义D 是 ω 的退化面辛形式在横截方向上有对数型奇性。边界 ∂X当 X 带边时自然继承一个接触结构且该接触结构在三维情形下是过扭曲的overtwisted——即拓扑上柔性、不受刚性分类约束的接触结构。2). Stein 填充与对数边界:一个Stein 流形是复流形上由强多次调和函数给出的凹槽区域。Stein 流形自然带有辛形式 ω -dd^c φ它是Liouville 流形即存在一个向量场 V 使 L_V ω ω且 ω 沿边界流出。对数边界条件如果 Stein 流形的边界 ∂X 与一个对数除子 D 重合则 D 上自然诱导出一个 Liouville 结构由对数势函数 log|f| 生成。验证准则要判断一个带边流形是否能被 Stein 填充只需检查其边界上的接触结构是否支持一个对数的 Liouville 流该流由函数 ρ log|f| 定义。如果该流在 D 上的每个连通分支上都有向外扩张的方向则填充存在。该验证与 ECH 容量Embedded Contact Homology capacity密切相关· ECH 容量是一个接触流形上的数值不变量给出该接触流形能被辛填充的最大体积。· 对对数边界 D其 ECH 容量恰好等于 D 上某个对数热带复形的组合面积即晶格多边形的长度加权和。3). Weinstein 猜想与对数 Reeb 轨道:Weinstein 猜想经典版本在任意紧致辛流形上任何一个 Hamilton 量 H 的Reeb 流由 H 的微分方程定义至少存在一条闭轨道。对数版本当辛流形带有对数除子 D 且 Hamilton 量取为对数势函数 H log|f|其中 f 是定义 D 的截面函数时Reeb 流被限制在 D 附近的薄壳上运动。对数 Reeb 轨道的存在性此时 Reeb 闭轨道的存在性可以由 D 的对数热带复形 上的组合数据直接推导· 每条闭轨道对应热带复形中的一个有向圈directed cycle。· 该圈的晶格长度加权和即 Σ m_e必须小于某个临界值由辛形式在 D 上的限制给出。· 如果存在这样的圈则 Reeb 流在该圈对应的瓶颈处必然产生一条闭轨道。这相当于把动力学问题解微分方程转化为热带复形上的图论问题寻找权值满足条件的有向圈。应用 1过扭曲接触结构的柔性分类三维接触拓扑问题三维接触结构中过扭曲结构overtwisted与紧致结构tight不同它完全由拓扑数据分类。如何系统构造过扭曲结构的例子方法取一个对数辛流形 (X, D, ω)令 D 为边界。则边界 ∂X 上的接触结构自动是过扭曲的。实际产出通过改变对数除子 D 的权重即 D 各分支的系数可以构造出无穷多个非同构的过扭曲接触结构并且它们的 ECH 容量可以直接从 D 的交叉数矩阵读出。这在 Eliashberg 的过扭曲分类理论中提供了一类可计算的例子已用于验证三维流形上的接触同伦不变量。应用 2Stein 填充的存在性判据复几何中的 Levi 问题问题给定一个光滑带边三维流形 (Y, ξ)如何判断它是否能作为某个 Stein 流形的边界方法在 Y 上放置一个对数除子 D即一组嵌入的曲线并赋予一个对数势函数 H log|f|。检查 H 诱导的 Liouville 向量场 V 是否在每条边界分量上都指向外部。等价判据来自对数热带组合D 的对数热带复形的每个有界边的长度和必须大于某个阈值由 Y 上的辛面积给出。实际案例该判据已被用于验证某些双曲 3-流形如 Figure-8 补空间的边界是否可 Stein 填充。结果证明其中一部分可填充对应厚的边界另一部分不可填充对应薄的边界。这与 Thurston 的几何化猜想中的双曲体积分布一致。导出对数几何 (Derived Log Geometry)·1. 导出对数结构Derived Log Structure设 X 为概形或派生堆栈O_X 为其结构层。一个导出对数结构是一个三元组 (X, M, α)其中· M 是一个可交换幺半群层但被提升为导出意义下的单纯对象即 E_∞-空间。它记录了 X 中允许对数奇性的方向。· α: M → O_X^♭ 是一个导出同态其中 O_X^♭ 是 O_X 的特征层即取 O_X 的主理想化后得到的层。· 关键条件α 在单位群上的限制诱导一个拟同构α^{-1}( O_X^{,×} ) ≅ O_X^{,×} 在导出范畴中直观含义M 中那些映射到可逆函数的部分恰好就是 O_X 的全部可逆函数——不多不少但同伦意义下成立。几何直觉普通对数结构记录在哪里允许有对数奇点导出对数结构则进一步记录这些奇点之间如何同伦地相互作用——即把奇点集合提升为一个拓扑空间而不仅仅是一个标记集合。导出对数光滑性Derived Log Smoothness称一个导出对数结构 (X, M, α) 相对于基 S 是对数光滑的如果其对数余切复形L_{X/S}^{log}是拟自由的即局部同构于有限秩的自由复形。该复形Lₓ₍S₎ˡᵒᵍ 编码了 X 在允许对数方向上的形变信息。障碍理论给定一个形变问题即试图沿某个方向移动 X其障碍类obstruction class生活在Ext²_{ₓ}( _{X/S}^{log}, ℱ )其中F是某个凝聚层记录形变的方向。与 SFT辛场论的对应在辛场论中模空间的紧化需要处理带边界/带角退化的伪全纯曲线。这些退化恰好对应对数结构的边界方向。导出对数光滑性保证这些退化方向的障碍类恰好是 SFT 模空间中出现的障碍类即边界退化导致的高阶鬼影气泡。——因此导出对数光滑性是 SFT 紧化问题的代数精确版。术语对照表英文术语中文译名简要解释Derived Pullback导出拉回 / 派生拉回导出范畴中的纤维积用于处理非横截相交定义为谱环的派生张量积 A ⊗^L_B C。Derived Affine Scheme导出仿射方案由导出环 Spec A 定义的几何对象其结构层取值于导出范畴承载高阶同伦信息。Cotangent Complex余切复形描述方案或导出方案无穷小形变的导出复形在仿射情形下对应于 André-Quillen 同调。Derived Artin Stack导出 Artin 堆栈由导出仿射方案沿平展拓扑粘合得到的 ∞-堆栈是导出代数几何中的基本几何对象。Tropical Hypersurface热带超曲面由热带多项式定义是使得多项式最小值至少达到两次的点集构成一个多面体复形。Balanced Polyhedral Complex平衡多面体复形热带簇的几何实现是一个带权重的多面体复形在每个余维 1 的面上满足权重平衡条件。Log Smooth对数光滑对数态射 (X, M_X) → (S, M_S) 的性质等价于其对数余切复形是局部自由层。Derived Log Structure导出对数结构在导出几何框架下定义的对数结构其中结构层和幺半群层均为导出对象用于处理高阶形变。Serre Intersection FormulaSerre 相交公式在导出拉回中经典交由 π_0 给出而交数由高阶同伦群的长度交错和 Σ_i (-1)^i length(π_i) 计算。Kato FanKato 扇由对数结构的特征幺半群的素谱构成的组合对象是连接对数几何与热带几何的桥梁。Lagrangian Intersection拉格朗日交辛流形中两个拉格朗日子流形的相交在导出版本中对应于派生张量积与 Floer 同调密切相关。SYZ Mirror SymmetrySYZ 镜对称基于特殊拉格朗日纤维化的镜对称构造其基空间的热带几何数据编码了对偶 Calabi-Yau 流形的奇点信息。