结果族 065：Virasoro constraints for complete intersections and projective-bundle towers · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
代数几何学家靠”数曲线”过日子，把一笔笔计数汇成一册总账。Virasoro 约束是总账必须满足的一族对账公式。本文证明一条传递定理：只要楼下底空间的账是平的，给它的每根纤维装上”罗盘盘面”（该点所有方向组成的空间，即射影化）之后，楼上的总账自动平——而且这个盘面丛可以拧成麻花、完全不必拆解开。
关键词卡片
@@M@@\mathbb P_B(E)@@（projectivization）：给底空间 @@M@@B@@ 的每点装上全部方向组成的射影空间，像每根纤维配一个罗盘。看个具体例子
取底 @@M@@B@@ 为椭圆曲线：它的 Virasoro 约束已知成立（Okounkov–Pandharipande 的曲线结果）。在它上面任取秩 2 向量丛 @@M@@E@@——可以拧成一团、不分裂——得到三维空间 @@M@@X=\mathbb P_B(E)@@。定理立即给出 @@M@@X@@ 的全亏格 Virasoro 约束；再叠一层：在 @@M@@X@@ 上再做任意射影化，约束照样成立，可以一层层往上盖”楼”。传递链条：@@M@@\mathcal V(B)\Rightarrow\mathcal V(\mathbb P_B(E))@@，逐亏格、逐曲线类、含本原与奇类插入。
为什么值得关心
传递定理把”对账”从个别空间扩展到整类由射影化搭出的建筑，覆盖大量最难的非半单情形，是 Virasoro 猜想版图的一次大扩张。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把 Gromov–Witten 计数比作”总账”，把 Virasoro 约束比作”对账公式”，把射影化比作”给每根纤维装罗盘盘面”。翻译一下：研究对象分两层——底空间与在它每点装上一个”方向空间”后得到的新空间；操作是问：底空间那本曲线计数总账若满足全部对账规则，新空间的总账是否自动满足。
第二级台阶
用标准术语说：光滑射影簇 Y 的含后代 Gromov–Witten 不变量（曲线上带余切线幂次记号的计数）汇成后代势 Z_Y；Virasoro 约束是一族微分方程 L_k^Y Z_Y=0（k≥−1），算子由第一 Hodge 分次 μ_Y 与陈类乘法 R_Y=c₁(TY)∪ 经正规排序量子化而来。向量丛 E 的射影化 P_B(E) 把底 B 每点处 E 的纤维换成该纤维中全部一维子空间构成的射影空间。
第三级台阶
定理的语境：B 光滑连通射影，E 是秩 r≥2 的任意代数向量丛，X=P_B(E)。秩下界只是排除”秩一时射影化仍是 B 自身”的空转；光滑射影保证 GW 理论与定位化可用；E 不需分裂、不需正性、B 的量子上同调可非半单——这三条正是挡住前人的墙。结论 V(B)⇒V(X)：逐亏格、逐条整曲线类、含本原与奇类插入的全部普通含后代 Virasoro 方程在 X 上成立，且可逐层迭代到投影丛塔。
论文证明传递定理：若光滑射影复簇 @@M@@B@@ 满足全套普通含后代 Virasoro 约束，则任意秩 @@M@@r\geq2@@ 代数向量丛 @@M@@E@@ 的射影化 @@M@@X=\mathbb P_B(E)@@ 也满足——不要求 @@M@@E@@ 分裂或具正性，覆盖每个亏格、每条整曲线类与含本原、奇类的全部插入，并可迭代到投影丛塔。
Virasoro 约束把光滑射影簇的含后代（descendant）Gromov–Witten 不变量组织成母函数 @@M@@Z_Y@@ 的一族微分方程 @@M@@L_k^YZ_Y=0@@，源自 Witten 猜想与 Kontsevich 定理的点目标情形，经 Eguchi–Hori–Xiong 提出、Eguchi–Jinzenji–Xiong（含 Katz 修正的 Hodge 分次）推广到一般目标。全亏格的已知结果集中在半单量子上同调（Givental 量子化加 Teleman 重建）、亏格零（Liu–Tian）与目标曲线（Okounkov–Pandharipande）。至于”约束能否沿纤维化从底传到全空间”，最接近的是 Coates–Givental–Tseng（CGT）对线丛之和构造的环面丛给出的充要条件；Fan 对任意投影丛建立了全亏格重建与陈类依赖，但重建本身不保证与 Virasoro 微分算子相容。不分裂、无正性向量丛的传递此前悬而未决。
主定理：设 @@M@@B@@ 为光滑连通射影复簇，@@M@@E@@ 为其上秩 @@M@@r\geq2@@ 的代数向量丛，@@M@@X=\mathbb P_B(E)@@ 参数化纤维的一维子空间，则 @@M@@\mathcal V(B)\Longrightarrow\mathcal V(X)@@。其中 @@M@@\mathcal V(Y)@@ 指所有模式 @@M@@k\geq-1@@ 的普通、未约化含后代 Virasoro 方程，逐亏格、逐条整曲线类成立，插入取遍 @@M@@H^*(Y;\mathbb{C})@@，含本原（primitive）类与奇（odd）类；Virasoro 算子由第一 Hodge 分次 @@M@@\mu_Y|_{H^{p,q}}=(p-\tfrac12\dim_\mathbb{C} Y)\id@@ 与 @@M@@R_Y=c_1(TY)\cup@@ 构成。@@M@@E@@ 可以不分裂、无正性，@@M@@B@@ 的量子上同调可以非半单。定理可逐层迭代到投影丛塔；配合 Okounkov–Pandharipande 的曲线结果，立即给出光滑射影曲线上任意投影丛及其塔的完整约束。
证明分五步走。先把 @@M@@E@@ 张量以充分负的线丛（这不改变 @@M@@X@@，且使 @@M@@E^*@@ 全局生成），引入辅助”主空间”@@M@@W=\mathbb P_B(E\oplus\mathcal O)@@：让 @@M@@\mathbb{C}^*@@ 缩放平凡和项，@@M@@\lambda@@ 为等变参数，其不动分量恰是 @@M@@B@@ 与 @@M@@X@@。用虚拟定位化（virtual localization）把 @@M@@W@@ 的祖先势（ancestor potential）分解为 @@M@@B@@ 与 @@M@@X@@ 的逆 Euler 扭转祖先势之乘积，迁移因子是上三角辛级数 @@M@@R(z)@@ 的量子化，同一 @@M@@R@@ 也分解亏格零基本解。与 CGT 的环面丛情形不同，这里的轨道线本身构成正维族 @@M@@X@@：动腿的模空间是 @@M@@\mathcal O_X(-1)@@ 的 @@M@@m@@ 次根 gerbe，其贡献是上同调对应（correspondence）而非有限和，论文为此补上了 CGT 备注 3.7 留空的张量粘合论证。
但定位化只给出同时含两个不动理论的关系，还须把它们拆开。再作谱分析：亏格零平移算子把 @@M@@\lambda@@ 平移圈变量 @@M@@z@@，其系数在固定底度下是 @@M@@y@@ 的多项式，模去 @@M@@z@@ 与正底度后谱值为 @@M@@\lambda+h@@，其中 @@M@@h^r(h+\lambda)=y@@；在 @@M@@y=0@@ 附近一条分支趋于零、对应 @@M@@B@@，其余 @@M@@r@@ 条趋于 @@M@@\lambda@@、合成 @@M@@X@@ 簇。关键在于这一谱分解无需对角化 @@M@@B@@ 的量子上同调。接着在每块上构造可量子化的 Virasoro 型模式：等变分次中含有 @@M@@\lambda\partial_\lambda@@，块上平移算子的对数含有 @@M@@z\partial_\lambda@@，减去 @@M@@\lambda/z@@ 乘此对数即消去对系数的微分，剩下系数环上的圈算子；在 @@M@@y=0@@ 处与不动分量算子比较，并用量子 Riemann–Roch 把后者（差一个三角模式变换）识别为 @@M@@B@@ 或 @@M@@X@@ 上的普通 Virasoro 模式。
最后做延拓与定标：连通祖先不变量对 @@M@@y@@ 是多项式，且祖先 @@M@@\bar\psi@@ 幂次被 @@M@@3g-3+n@@ 界住（与纤维度无关），故量子化方程的每个系数只涉及有限多个模式系数，是真正的全纯芽恒等式；覆盖 @@M@@h\mapsto h^r(h+\lambda)@@ 去掉分歧值后连通，其单值群传递地置换 @@M@@r+1@@ 条分支，把 @@M@@B@@ 分支上的方程搬运到所有分支；对 @@M@@X@@ 簇的 @@M@@r@@ 条分支求和并回到 @@M@@y=0@@，反向运用不动分量比较，即得 @@M@@X@@ 的普通方程（至多差一个与插入无关的标量）。量子化只投射地确定方程，故末步用交换子 @@M@@[L_{-1},L_1]=-2L_0@@ 与 @@M@@[L_0,L_k]=-kL_k@@ 消去标量，并给出 @@M@@L_0@@ 中规定的常数 @@M@@C_Y=\chi(Y)/16-\str(\mu_Y^2)/4@@。
本结果暂无形式化证明。论文自含定位化、粘合与延拓的完整论证，并与已知结果相容：底半单时结论此前已由 Iritani–Koto 加 Givental–Teleman 覆盖，本文新意正在非半单底。它也是结果族 065 的传递支柱：姊妹篇攻克射影空间完全交后，本文把约束进一步送到任意向量丛的射影化与投影丛塔。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：谱分块与分支延拓。亏格零平移算子模去 z 与正底度后的谱值为 λ+h，其中 h^r(h+λ)=y，在 y=0 附近一条分支归底 B、r 条归 X——这一分解刻意不对角化底空间的量子上同调。随后靠连通祖先不变量对 y 的多项式性与 ψ 幂次被 3g−3+n 一致界住，把量子化方程逐系数延拓，再靠覆盖 h↦h^r(h+λ) 的单值群在 r+1 条分支间搬运。谱值识别或”有限系数涉及”论证任一处出错，搬运即断。）
问 2：为什么”丛可以不分裂、无正性”是真正的难点？
（答：定位化需要 C* 作用，先把 E 张量充分负线丛使 E* 全局生成；与环面丛不同，这里轨道线本身构成正维族，动腿贡献是上同调对应而非有限和，CGT 备注留空的张量粘合必须补上。分裂情形可借环面技巧，不分裂时只剩辅助空间 W=P_B(E⊕O) 与谱分析这条路。）
问 3：与 CGT、Iritani–Koto、Fan 相比，新意究竟在哪？
（答：CGT 只处理线丛之和的环面丛且结论为双向；Iritani–Koto 的镜定理是亏格零的，配 Givental–Teleman 只覆盖半单底；Fan 的全亏格重建不保证与 Virasoro 微分算子相容。本文在非半单底、任意丛、全亏格下给出单向传递，填的是三者共同的空档。）
问 4：量子化是”投射的”，方程只定到差标量，怎么消掉？
（答：末步用李代数关系：交换子 [L_{−1},L₁]=−2L₀ 与 [L₀,L_k]=−kL_k 把与插入无关的标量逼出为零，并恰好给出 L₀ 中规定的常数 C_Y=χ(Y)/16−str(μ_Y²)/4。这一步是纯代数收尾，相对稳健但依赖前面模式变换的三角性。）
问 5：AI 生成证明最可能在哪里出错？
（答：两处自建机制最可疑：其一，”减去 λ/z 乘平移算子对数以消去系数微分”——把含 λ∂λ 的分次改造成系数环上的圈算子，逐系数构造投影与对数的严密性容易有缝；其二，逐系数延拓代替整 体量子化变换的延拓，形式恒等式与解析恒等式的混用是 AI 证明的典型盲区。）
问 6：谁会用到这条传递定理？
（答：与 Okounkov–Pandharipande 的曲线结果拼合，立即给出光滑射影曲线上任意投影丛及其塔的完整 Virasoro 约束；作为结果族 065 的传递支柱，姊妹篇先攻下射影空间完全交，本文再把约束送到任意丛的射影化——非半单目标的 Virasoro 版图由此大幅扩张，enumerative 几何与镜像对称社区直接受益。）
总评
这是 Virasoro 猜想从半单世界迈向非半单世界的一次实质扩边，传递机制有真正的新意；最大风险在谱分块与逐系数延拓两处自建论证的形式严密性，未经形式化，需逐节核验。