一、导出代数几何 (Derived Algebraic Geometry, DAG)
1. 导出环与仿射理论
· 导出环 (Derived Ring)：交换微分分次代数 (CDGA) 或更一般的 E_∞-环谱。对于导出环 A，其同伦群 π_* A 构成一个分级交换代数，其中 π_0 A 对应于经典环，而高阶同伦群 π_i A (i>0) 则编码了丰富的同伦信息。
· 导出仿射方案 (Derived Affine Scheme)：定义为 Spec A，其中 A 为导出环。其结构层是一个导出环层，取值于导出范畴 D^-(Mod(A))。
· 截断 (Truncation)：经典截断操作 t_0(Spec A) = Spec(π_0 A) 给出了导出方案的经典部分，而完整的导出结构则描述了经典部分的无穷小邻域（具体而言，导出的纤维积能够捕捉“相交”现象中的高阶同伦信息）。
2. 派生拉回与相交理论
· 导出拉回 (Derived Pullback)：对 X → Z ← Y，导出纤维积 X ×^h_Z Y 定义为谱环的派生张量积 A ⊗^L_B C。
· 同伦纤维积：Spec(A) ×^h_{Spec(B)} Spec(C) = 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 是非零因子。则只有两个 Tor：
```
Tor_0 = (A/J) / f(A/J) = A/(f+J)
Tor_1 = { x∈A/J | f·x=0 } （即f的零化子）
```
计算得：
```
ℓ(Tor_0) - ℓ(Tor_1) = ℓ( A/(f+J) )
```
这正好是右边。
**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/(I+J) )
```
**代数证明核心**：
Tor 的交错和是一个“同调不变量”，它在对理想进行逐步分解时保持不变，而最终落在最简单的“商环长度”上。
**几何版本（用变形到法锥看无穷小重叠）**
**思路**：构造一个“参数族”，让 X 和 Y 在 t=0 时相切，t≠0 时横截。利用 Euler 示性数在平坦族中不变，把非横截情形转化为横截情形。
**Step 1：构造变形空间**
考虑 Z × 𝔸¹（多一个时间参数 t）。在 t=0 处沿 X∩Y 做爆破（blow-up），得到新空间 𝒲。
投影到 t 轴：
- 当 t≠0 时，纤维就是 X∩Y（经典交，可能带重数）。
- 当 t=0 时，纤维变成了 **法锥的交**：
```
C_X ∩ C_Y ⊂ N_{X∩Y} Z
```
其中 C_X 是 X 在交集中的法锥（即“无穷小切向信息”）。
**Step 2：K 群中的守恒**
在 Grothendieck 群（一种“带符号的模类”组成的群）中，法锥交的结构层可以分解为：
```
[ O_{C_X∩C_Y} ] = Σ_i (-1)^i [ Tor_i^A(A/I, A/J) ]
```
这本质上是谱序列的欧拉示性数。
**Step 3：Euler 示性数在族中不变**
由于 𝒲 → 𝔸¹ 是平坦族，其纤维的 Euler 示性数（长度交错和）是常数。
所以：
```
χ(纤维在 t=0) = χ(纤维在 t≠0)
```
左边 = Σ (-1)^i ℓ( Tor_i )，右边 = ℓ( O_{X∩Y} ) = ℓ( A/(I+J) )。
**Step 4：高阶 Tor 的几何意义**
- Tor₀ 就是经典结构层，对应“点重叠”。
- Tor₁ 对应切空间一阶重叠（比如两条曲线相切时，多出的一维信息）。
- Tor₂ 对应二阶重叠，依此类推。
**几何证明核心**：
非横截相交时，高阶 Tor 就像“负向修正项”，它们来自法锥重叠的额外自由度，通过变形到极限，这些修正项自动求和为横截情形的交数。
---
### 四、举个具体例子（平面曲线相切）
设 Z = 𝔸²（仿射平面），
X: y=0（x轴），Y: y=x²（抛物线，与x轴在原点相切）。
- A = k[x,y]
- I = (y)，J = (y - x²)
计算 Tor：
```
Tor₀ = A/(y, y-x²) = k[x]/(x²) → 长度 ℓ = 2
Tor₁ = (0 :_{A/J} y) = k[x]/(x) → 长度 ℓ = 1
（更高 Tor 为 0）
```
所以 Serre 交错和 = 2 - 1 = 1。
而经典 ℓ( A/(I+J) ) = ℓ( k[x]/(x²) ) = 2。
**结论**：
经典长度 2 是“带重叠重数的相交”，但几何上正确的交数（即移动后横截交点数）是 1。
3. 导出形变理论
· 余切复形 (Cotangent Complex)：L_X ∈ D^- (QCoh(X))。对仿射情形 X = Spec A，L_X ≃ L_A（André-Quillen 同调）。
· 障碍理论：形变理论的控制由 Ext^1(L_X, I) 参数化，障碍由 Ext^2(L_X, I) 承载。
· 导出方案间的切丛：T_X = (L_X)^∨ 是派生自同态的复形。
4. 导出堆栈与模空间
.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-辛形式（尤其是n=0,1,2n=0,1,2）允许我们定义主上同调类（Principal Cohomology）。
派生拉格朗日交被用来研究“面边界条件”之间的态空间。在几何朗兰兹纲领中，Hecke 特征层的交错正是通过导出拉格朗日交来定义的，它将数论中的自守表示与几何中的 D-模等价起来。
5. 导出代数几何与辛几何/接触几何的交叉
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：计算环面（椭圆曲线）上的开弦态空间
场景：设 X=C/(Z+iZ) 是二维环面（椭圆曲线），L 1,L 2是两条斜率不同的测地线（拉格朗日子簇）。
传统 Floer 理论：你需要解一个带边界条件的 Cauchy-Riemann 方程，数出连接交点的全纯圆盘的数量。这在斜率比为无理数时极其困难（无穷多个圆盘）。
导出代数方法：令 A=O X，理想 I 1,I 2。计算：Tor 0=A/(I 1+I 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)
1. 热带半环与基本对象
· 热带半环 (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 | 最小值至少达到两次 }。
2. 代数簇的热带化
· 热带化映射：对代数簇 X ⊂ (K^*)^n（K 为非阿基米德域，带赋值 val），Trop(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。
3. 热带曲线与计数几何
· 热带曲线 (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。
· 对数 Gromov-Witten：热带曲线作为 Log GW 模空间的组合骨架，计数与 ψ 类积分相关。
4. 热带与拟等距/边界的联系（对照几何群论）
· Amoeba 与渐进锥：Log 映射下的像 Am(X) 在缩放极限下收敛到 Trop(X)，与群论中渐进锥（依赖于超滤子）的收敛过程有类比。
· 骨架与 Gromov 边界：非阿基米德解析化 X^{an} 的骨架（skeleton）是一个热带复形，其上的度量与群双曲边界（如 Floyd 边界）的视觉度量有相似性。
5. 应用：Floer 理论与辛拓扑
· SYZ 镜对称：热带纤维化给出 Calabi-Yau 流形镜对称的基，对偶纤维的奇点图由热带复形编码。
· 位移能量与 Hofer 度量：Hofer-Zehnder 容量 在算術簇的退化极限中可通过热带几何的"宽度"计算。
---
六、对数几何 (Logarithmic Geometry, Log Geometry)
1. 对数结构与标准模型
· 预对数结构 (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)。
2. 特征幺半群与对数光滑性
· 特征幺半群 (Characteristic Monoid)：\bar{M}_x = M_x / O_{X,x}^×。在标准情形下，\bar{M}_x ≅ N^r（r 为过 x 的除子支数）。
· 对数光滑 (Log Smooth)：(X,M_X) → (S,M_S) 对数光滑当且仅当对数余切复形 L_{X/S}^{log} 是局部自由层（秩等于相对对数维数）。
· 对数平坦 (Log Flat)：底层态射平坦且对数结构的极限行为受控。
3. 对数映射与对数退化
· 对数映射 (Log Map)：交换图 f: X → Y 带幺半群层同态 f^♭: f^* M_Y → M_X。
· 对数稳定映射 (Log Stable Map)：Log GW 模空间 M_{g,n}^{log}(X, β) 由对数映射的稳定代表组成，紧致性好（对数使得允许接触序数变化）。
· Kato 扇 (Kato Fan)：由特征幺半群的素谱组成的拓扑空间，是热带几何的代数化版本。
4. 对数与热带的深刻联系
· 对数—热带对应：对于 (X,M_X)，其 Kato 扇的可图景（coarse fan）同构于热带化 Trop(X)。
· 组合类型：对数结构的纤维（形如 Spec(k[N^r])）给出热带复形的锥，顶点对应零维对数方案。
· 对数 GW = 热带 + 障碍理论：Log GW 的虚基本类可通过热带曲线平衡条件与组合权重显式表达。
5. 对数几何与接触/辛几何
· 对数辛流形 (Log Symplectic)：在开集上为辛结构，在对数除子附近有对数极 d log 的分量。对应接触几何中过扭结构的边界。
· Stein 填充与对数边界：Stein 流形 的填充性可通过对数除子上的 Liouville 结构 来验证，与 ECH 容量 相关。
· Weinstein 猜想与对数 Reeb 轨道：在具有对数动量的辛流形上，Reeb 动力学存在性可由对数复形的组合数据推导。
6. 导出对数几何 (Derived Log Geometry)
· 导出对数结构 (Derived Log Structure)：M 是 E_∞-幺半群层，α: M → O_X 是导出同态，且 α^{-1}(O_X^×) ≅ O_X^× 在导出意义下成立。
· 导出对数光滑性：L_{X/S}^{log} 作为导出复形，障碍类在 Ext^2 中，且与 SFT 中的 模空间紧化障碍 完全对应。
· 应用：导出的对数 GW 不变量给出 Gromov 紧性 的严格证明，并自动包含 bubble 分析的高阶贡献。
--
## 术语对照表
| 英文术语 | 中文译名 | 简要解释 |
| :--- | :--- | :--- |
| 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 Formula | Serre 相交公式 | 在导出拉回中，经典交由 π_0 给出，而交数由高阶同伦群的长度交错和 Σ_i (-1)^i length(π_i) 计算。 |
| Kato Fan | Kato 扇 | 由对数结构的特征幺半群的素谱构成的组合对象，是连接对数几何与热带几何的桥梁。 |
| Lagrangian Intersection | 拉格朗日交 | 辛流形中两个拉格朗日子流形的相交，在导出版本中对应于派生张量积，与 Floer 同调密切相关。 |
| SYZ Mirror Symmetry | SYZ 镜对称 | 基于特殊拉格朗日纤维化的镜对称构造，其基空间的热带几何数据编码了对偶 Calabi-Yau 流形的奇点信息。 |
原始邮件
发件人：3199379815 <3199379815@qq.com>
发件时间：2026年6月24日 20:40
收件人：じ☆冷颜〃 <3199379815@qq.com>
主题：无
一、导出代数几何 (Derived Algebraic Geometry, DAG)
1. 导出环与仿射理论
· 导出环 (Derived Ring)：交换微分分次代数 (CDGA) 或更一般的 E_∞-环谱。对导出环 A，其同伦群 π_* A 是分级交换代数，π_0 A 为经典环，高阶 π_i A (i>0) 编码同伦信息。
· 导出仿射方案 (Derived Affine Scheme)：Spec A，其中 A 为导出环。其结构层是导出环层，赋值于 D^-(Mod(A))。
· 截断 (Truncation)：经典截断 t_0(Spec A) = Spec(π_0 A)，导出结构是经典的无穷小邻域（即导出的纤维积给出"相交"的高阶同伦信息）。
2. 派生拉回与相交理论
· 导出拉回 (Derived Pullback)：对 X → Z ← Y，导出纤维积 X ×^h_Z Y 定义为谱环的派生张量积 A ⊗^L_B C。
· 同伦纤维积：Spec(A) ×^h_{Spec(B)} Spec(C) = Spec(A ⊗^L_B C)。
· Serre 相交公式：若 X 与 Y 在 Z 中相交，则导出拉回 X ×^h_Z Y 的 π_0 为经典交，而 Σ_i (-1)^i length(π_i) 给出 Serre 交数。
3. 导出形变理论
· 余切复形 (Cotangent Complex)：L_X ∈ D^- (QCoh(X))。对仿射情形 X = Spec A，L_X ≃ L_A（André-Quillen 同调）。
· 障碍理论：形变理论的控制由 Ext^1(L_X, I) 参数化，障碍由 Ext^2(L_X, I) 承载。
· 导出方案间的切丛：T_X = (L_X)^∨ 是派生自同态的复形。
4. 导出堆栈与模空间
· 导出 Artin 堆栈 (Derived Artin Stack)：由导出仿射方案沿 étale 拓扑获得的 ∞-堆栈。
· 派生切丛与移位辛结构：n-辛形式 是闭的度 n 的 2-形，定义为 Sym^2(T_X) → O_X[n]。典型例子：移位余切丛 T^*[-1]X。
· 派生拉格朗日交：若 L_1 → X 与 L_2 → X 是拉格朗日，则 L_1 ×^h_X L_2 带有 (-1)-辛结构，直接对应 Floer 理论的同调。
5. 导出代数几何与辛几何/接触几何的交叉
· Floer 理论的导出增强：Fukaya 范畴是 A_∞-范畴，其同伦代数由导出方案上的派生交叠环给出。
· Lagrangian 交的导出版本：对于 Hamilton 同胚 φ，交 L ∩ φ(L) 的 Floer 复形同构于派生张量积 O_L ⊗^L_{O_X} O_{φ(L)} 的上同调。
· 镜对称：同调镜对称 (HMS) 等价于 Fuk(X) 的导出范畴与 D^b(Coh(X^∨)) 的等价，其中 Coh 可提升为导出范畴。
---
五、热带几何 (Tropical Geometry)
1. 热带半环与基本对象
· 热带半环 (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 | 最小值至少达到两次 }。
2. 代数簇的热带化
· 热带化映射：对代数簇 X ⊂ (K^*)^n（K 为非阿基米德域，带赋值 val），Trop(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。
3. 热带曲线与计数几何
· 热带曲线 (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。
· 对数 Gromov-Witten：热带曲线作为 Log GW 模空间的组合骨架，计数与 ψ 类积分相关。
4. 热带与拟等距/边界的联系（对照几何群论）
· Amoeba 与渐进锥：Log 映射下的像 Am(X) 在缩放极限下收敛到 Trop(X)，与群论中渐进锥（依赖于超滤子）的收敛过程有类比。
· 骨架与 Gromov 边界：非阿基米德解析化 X^{an} 的骨架（skeleton）是一个热带复形，其上的度量与群双曲边界（如 Floyd 边界）的视觉度量有相似性。
5. 应用：Floer 理论与辛拓扑
· SYZ 镜对称：热带纤维化给出 Calabi-Yau 流形镜对称的基，对偶纤维的奇点图由热带复形编码。
· 位移能量与 Hofer 度量：Hofer-Zehnder 容量 在算術簇的退化极限中可通过热带几何的"宽度"计算。
---
六、对数几何 (Logarithmic Geometry, Log Geometry)
1. 对数结构与标准模型
· 预对数结构 (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)。
2. 特征幺半群与对数光滑性
· 特征幺半群 (Characteristic Monoid)：\bar{M}_x = M_x / O_{X,x}^×。在标准情形下，\bar{M}_x ≅ N^r（r 为过 x 的除子支数）。
· 对数光滑 (Log Smooth)：(X,M_X) → (S,M_S) 对数光滑当且仅当对数余切复形 L_{X/S}^{log} 是局部自由层（秩等于相对对数维数）。
· 对数平坦 (Log Flat)：底层态射平坦且对数结构的极限行为受控。
3. 对数映射与对数退化
· 对数映射 (Log Map)：交换图 f: X → Y 带幺半群层同态 f^♭: f^* M_Y → M_X。
· 对数稳定映射 (Log Stable Map)：Log GW 模空间 M_{g,n}^{log}(X, β) 由对数映射的稳定代表组成，紧致性好（对数使得允许接触序数变化）。
· Kato 扇 (Kato Fan)：由特征幺半群的素谱组成的拓扑空间，是热带几何的代数化版本。
4. 对数与热带的深刻联系
· 对数—热带对应：对于 (X,M_X)，其 Kato 扇的可图景（coarse fan）同构于热带化 Trop(X)。
· 组合类型：对数结构的纤维（形如 Spec(k[N^r])）给出热带复形的锥，顶点对应零维对数方案。
· 对数 GW = 热带 + 障碍理论：Log GW 的虚基本类可通过热带曲线平衡条件与组合权重显式表达。
5. 对数几何与接触/辛几何
· 对数辛流形 (Log Symplectic)：在开集上为辛结构，在对数除子附近有对数极 d log 的分量。对应接触几何中过扭结构的边界。
· Stein 填充与对数边界：Stein 流形 的填充性可通过对数除子上的 Liouville 结构 来验证，与 ECH 容量 相关。
· Weinstein 猜想与对数 Reeb 轨道：在具有对数动量的辛流形上，Reeb 动力学存在性可由对数复形的组合数据推导。
6. 导出对数几何 (Derived Log Geometry)
· 导出对数结构 (Derived Log Structure)：M 是 E_∞-幺半群层，α: M → O_X 是导出同态，且 α^{-1}(O_X^×) ≅ O_X^× 在导出意义下成立。
· 导出对数光滑性：L_{X/S}^{log} 作为导出复形，障碍类在 Ext^2 中，且与 SFT 中的 模空间紧化障碍 完全对应。
· 应用：导出的对数 GW 不变量给出 Gromov 紧性 的严格证明，并自动包含 bubble 分析的高阶贡献。
