论 Hodge 轨迹的定义域

若光滑复拟射影簇 $S$ 及其与变分相关的代数联络均定义于数域 $L$ 上，则称 $S$ 上的极化 Hodge 结构变分定义于数域 $L$。猜想认为，此类变分的任一特殊子簇（亦称“Hodge 轨迹的不可约分支”）均定义于 $\overline{\mathbb{Q}}$ 上，且其 Galois 共轭亦为特殊子簇。我们证明了该猜想对满足一简单单值条件的特殊子簇成立。作为推论，我们将“定义于数域上的 Hodge 结构变分的特殊子簇定义于 $\overline{\mathbb{Q}}$ 上”这一猜想归约为特殊点情形。