Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

代數簇乘積的唯一分解性一直是代數幾何的經典難題。本篇論文透過解析平滑射影曲面的點狀希爾伯特概形，完整描述其切叢的不可分解成分，並藉此證明 2026 年的最新猜想，確立參數 n ≥ 2 時的嚴格同構對應關係。

點狀希爾伯特概形與切叢幾何結構分析

對於一個定義在複數域上的平滑射影曲面 $X$ 以及正整數 $n$，點狀希爾伯特概形 $X^{[n]}$（參數化長度為 n 的子概形）是代數幾何領域中被極廣泛研究的核心物件。根據數學家 Fogarty 在 1968 年的奠基性研究，$X^{[n]}$ 本身必定是一個維度為 2n 的平滑射影代數簇。當底層的 $X$ 為 K3 曲面時，$X^{[n]}$ 更會展現出極具研究價值的超凱勒流形（具備特殊度量特性的流形）特質；而當 $X$ 是阿貝爾曲面時，與之相關的空間同樣呈現此流形特質。

長久以來，學界對於 $X^{[n]}$ 的探索涵蓋了自同構與重言式向量叢等多個面向。然而，對於任何平滑射影代數簇而言，最自然且至關重要的物件莫過於其切叢（揭示代數簇深層幾何資訊的向量叢），通常記為 $T_X$。依據 Atiyah 在 1956 年的經典定理，射影代數簇上的每一個向量叢都能被拆解為多個不可分解向量叢（indecomposable vector bundles）的直和，且這種分解方式在同構的意義下具備唯一性。本篇論文的核心目標，即是試圖完整描述 $T_{X^{[n]}}$ 在各種不同曲面條件下，其背後究竟隱藏著哪些不可分解成分。

定理 A 界定的三種高維切叢結構分解

為了精確描述切叢的分解特性，作者引入了特定的曲面分類 $\mathcal{C}$ 與 $\tilde{\mathcal{C}}$。類別 $\mathcal{C}$ 包含那些形式為 $(D \times Y)/G$ 的平滑射影曲面，這類曲面具備小平次元（Kodaira dimension）為 1 的極小性質。至於類別 $\tilde{\mathcal{C}}$，除了包含前述類別之外，還涵蓋了雙橢圓曲面，以及在橢圓曲線上具有分裂切叢的 $\mathbb{P}^1$ 叢。

建立在此分類基礎上，論文提出了至關重要的 Theorem A。定理指出，對於正整數 $n \ge 2$，切叢 $T_{X^{[n]}}$ 的分解結構會依據底層曲面的屬性，嚴格落入三種情況之一。第一種狀況，如果 $X$ 是一個阿貝爾曲面，其切叢可以精確分解為 $T_{X^{[n]}} \cong \mathcal{O}{X^{[n]}}^{\oplus 2} \oplus \mathcal{E}$，其中 $\mathcal{E}$ 代表一個不可分解的向量叢。第二種狀況，當 $X$ 屬於類別 $\tilde{\mathcal{C}}$ 時，切叢會呈現 $T}} \cong \mathcal{O{X^{[n]}} \oplus \mathcal{E}$ 的分解形式。至於在所有其他的曲面情況下，$T$ 本身就構成一個完全無法分解的實體。}

透過對稱群作用拆解乘積空間的不變量子叢

要推導出如此俐落的分類結果，證明過程需要非常精妙地結合對稱群（symmetric group）與張量空間的交互作用。假設 $S_n$ 是由 $n$ 個元素組成的對稱群，它會透過排列各個因子的方式，自然地作用在多重乘積空間 $X^n$ 以及其切叢 $T_{X^n}$ 上。如果我們假設在 $T_{X^{[n]}}$ 中存在某種直和分解，就能順藤摸瓜地在 $T_{X^n}$ 中，對應尋找出由 $S_n$-不變量子叢所構成的直和分解結構。

論文的後半部仔細檢驗了這種群作用路徑的數學限制。研究發現，若 $T_X$ 本身是不可分解的，那麼 $T_{X^n}$ 絕對無法被拆分為兩個非零的 $S_n$-不變量子叢直和。更關鍵的是，透過引入 Hilbert-Chow 態射（代數幾何中的結構保持映射），作者證明了這些在乘積空間中極少數合法的分解可能性，絕大部分都無法反向延伸回 $X^{[n]}$ 的直和分解。數學家利用局部解析圖表計算纖維維度，證明這類強行延伸必定會產生維度大於等於 n+1 的奇異纖維，從而徹底排除了這些無效的子叢候選者。

解決 2026 年代數簇乘積分類的同構猜想

論文完成切叢分解的宏大建構後，在最後階段將這套強大的幾何工具，應用於解決一個性質類似 Zariski 消除問題（Zariski cancellation problem）的基礎代數難題。這類問題通常提問：當已知兩組代數簇的乘積彼此完全同構時，能否直接斷定等號兩側的因子數量必定相等，且每一個對應因子都完全同構？若不加任何額外限制，即便是平滑不可分解的條件，挑選特定的阿貝爾簇依然可能出現反例。

然而藉由對切叢的深刻掌握，作者提出了振奮人心的 Theorem B 與 Theorem C。Theorem B 嚴格證明，如果固定的平滑射影曲面的多個不同長度點狀概形乘積互相依賴同構，那麼兩邊的概形數量必定相等，且其長度參數集合作為多重集也絕對完全一致。這項結論毫不含糊地證實了 Dey 等人於 2026 年針對希爾伯特概形提出的乘積分類猜想。Theorem C 則將相似結論擴展到了任意維度大於等於 2 的平滑代數簇對稱冪上，證實只要乘積空間同構，其對應的對稱次方配置就具有無可撼動的唯一性。

解析切叢不可分解成分，揭示高維代數幾何特質，更成功破解代數簇乘積同構的分類猜想。