Symplectic and projective small covers over products of polygons

技术摘要：多边形积上的辛与射影小覆盖

问题陈述
本文研究了多边形积上的小覆盖（small covers）上辛结构、凯勒结构和射影结构的存在性。小覆盖 $M(P, \lambda)$ 是一个闭光滑 $n$-流形，配备了一个秩为 $n$ 的初等阿贝尔 2-群局部标准作用，其轨道空间是一个简单多面体 $P$。虽然小覆盖是拟环面流形（quasitoric manifolds）的实类比，但它们 admitting 辛结构或复结构的条件极为严格。

Ishida 先前的工作表明，对于实 Bott 流形（即立方体上的小覆盖），上同调辛、辛和凯勒的条件是等价的。本文旨在通过将立方体的正方形因子替换为任意多边形 $P = P_{m_1} \times \cdots \times P_{m_n}$ 来推广这些结果。核心问题是：在特征映射 $\lambda$ 满足何种组合条件下，所得的小覆盖 admit 一个光滑射影模型，以及该覆盖的拓扑如何与此类模型的霍奇理论相关联？

方法论
作者结合了组合拓扑、等变上同调和复几何：

1. 实矩角流形（Real Moment-Angle Manifolds）： 研究利用了多边形积的实矩角流形 $\mathcal{R}Z_P$ 是闭曲面（$\Sigma_{g(m_i)}$）的积这一事实。小覆盖被实现为这些积被有限初等阿贝尔 2-群 $G = \ker \lambda$ 作用的自由商。
2. 因子相容性（Factor-Compatibility）： 引入了一类新的小覆盖，称为“因子相容”小覆盖。该条件对相对于多边形因子的特征映射 $\lambda$ 施加了约束。具体而言，它要求对于非正方形因子，商作用保持对应曲面因子的定向；对于正方形因子，权重需与复环面结构相容配对。
3. 射影模型的构造： 对于因子相容的小覆盖，作者构造了一个光滑射影簇 $X$，作为光滑射影曲线积 $Y = C_1 \times \cdots \times C_n$ 被群 $G$ 作用的有限自由商。这依赖于对度量进行平均，从而在曲面因子上诱导 $G$-不变复结构。
4. 霍奇理论与上同调： 本文利用 $G$-作用的特征论不变量计算了射影模型 $X$ 的霍奇多项式。随后，将这些不变量与底层小覆盖 $M$ 的分次模 2 上同调环联系起来。
5. 线性代数约化： 利用块三角形式以及关于 $\mathbb{Z}_2$ 上横截和主子式的线性代数引理，分析了特征矩阵的结构。

主要贡献与结果

1. 射影模型的存在性（定理 3.4）：
   主要结果确立了多边形积上的每个因子相容小覆盖都 admit 一个光滑射影模型。具体而言，如果 $M$ 是因子相容的，则存在一个微分同胚于 $M$ 的光滑射影簇 $X$。因此，每个这样的 $M$ 都 admit 凯勒、辛和上同调辛结构。这将 Ishida 关于实 Bott 流形的结果推广到了多边形情形。

2. 辛性的障碍（第 4 节）：
   本文提供了辛结构存在性的基本障碍：

   • 如果任何多边形因子是三角形（$m_i=3$），则积上的任何小覆盖都不是上同调辛的。
   • 如果所有多边形因子都有奇数条边，则积上的任何小覆盖都不是可定向的，因此不能是辛的。

3. 霍奇理论的刚性（定理 5.7）：
   一项重要贡献是证明了分次模 2 上同调环 $H^*(M; \mathbb{Z}_2)$ 决定了关联射影模型 $X$ 的霍奇菱形。

   • $M$ 的有理贝蒂数由其模 2 上同调环决定（通过 Bockstein 谱序列以及关联多面体并集整上同调的无挠性质）。
   • 对于因子相容模型，有理贝蒂数决定了完整的霍奇多项式，进而决定了霍奇菱形。
   • 本文阐明，这是射影模型所携带的霍奇理论信息的刚性结果，而不一定是小覆盖本身的完全微分同胚刚性陈述。

4. 迭代等变丛结构（推论 6.6）：
   本文证明了因子相容小覆盖的特征矩阵可以通过 Davis–Januszkiewicz 等价变换为块下三角形式。这一结构结果表明，每个因子相容小覆盖都 admit 一个迭代等变丛结构。其连续纤维是定义在多边形上的可定向小覆盖（具体而言，是闭可定向曲面）。这构成了广义实 Bott 塔迭代丛结构的曲面型类比。

意义与主张
本文将“因子相容性”定位为一种“几何自然”的条件，它捕捉了多边形积上小覆盖辛范围中的相当大一部分。虽然在高于四维的情况下并未证明完全的逆命题（即每个辛小覆盖都是因子相容的），但作者指出目前尚未发现反例。

这项工作弥合了小覆盖的组合拓扑与射影簇的复几何之间的鸿沟。通过证明模 2 上同调环编码了射影模型的霍奇菱形，本文表明分次模 2 上同调环携带了超越微分同胚类型的显著几何信息。这将上同调刚性问题的范围从实 Bott 情形扩展到了多边形积上更广泛的一类小覆盖。

研究结果被表述为确立了强几何结构存在的充分条件，并揭示了多面体的组合数据、流形的代数拓扑及其复模型的霍奇理论之间的深刻联系。