AI 中文总结
本研究计算了双曲环面丛 $M_\gamma$ 的 $\mathrm{SL}_N$-skein 模的量子环面直和项,给出其维数的 Nielsen 数表达式,构造了 $\mathrm{GL}_N$ 维数一致但 $\mathrm{SL}_3$ 直和项维数不同的非同胚丛对。
AI 中文摘要
设 $M_\gamma=T^2\times_\gamma S^1$,其中 $\gamma\in\mathrm{SL}_2(\mathbb{Z})$ 为双曲元。对任意 $N\geq2$,我们计算了 $M_\gamma$ 的 $\mathrm{SL}_N$-skein 模在 Kinnear 分解下的空 skein(即量子环面)直和项,从而解答了他针对双曲情形下该直和项提出的中心化子问题。其维数通过周期 Nielsen 数 $N_k=|\det(I-\gamma^k)|$ 以及 Weyl 共变格中挠元承载的可见 Nielsen 数 $V_{e\mathbb{Z}^2}(f_\gamma)$ 表示。仅当模 $e$ 整除 $N$ 时才会出现,因此秩为 $N$ 的直和项由 $N_1,\ldots,N_N$ 以及 $N$ 的所有因数处的可见 Nielsen 数共同决定。在 $\mathrm{GL}_N$ 置换格上,这些共变元是无挠的,因此不会出现此类修正;观测者修正恰好出现在过渡到 $\mathrm{SL}_N$ 特征格的过程中。对于 $N=3$,我们得到了仅含单个修正项 $V_{3\mathbb{Z}^2}(f_\gamma)$ 的显式公式,并构造了无穷多对非同胚的双曲环面丛,它们的 $\mathrm{GL}_N$-skein 模维数对所有 $N$ 均一致,但 $\mathrm{SL}_3$ 量子环面直和项的维数相差 6。这些丛对在所有迭代次下也具有相同的周期 Nielsen 数据和有限覆盖可见性轮廓。我们未计算完整 $\mathrm{SL}_N$-skein 模的额外自同态代数直和项。
英文摘要
Let $M_γ=T^2\times_γS^1$, where $γ\in\mathrm{SL}_2(\mathbb{Z})$ is hyperbolic. For every $N\geq2$, we compute the empty-skein, or quantum-torus, direct summand in Kinnear's decomposition of the $\mathrm{SL}_N$-skein module of $M_γ$, thereby answering his centralizer question for this summand in the hyperbolic case. Its dimension is expressed in terms of the periodic Nielsen numbers $N_k=|\det(I-γ^k)|$ and the visible Nielsen numbers $V_{e\mathbb{Z}^2}(f_γ)$ carried by torsion in the Weyl coinvariant lattices. Only moduli $e\mid N$ occur, so the rank-$N$ summand is determined by $N_1,\ldots,N_N$ together with the visible Nielsen numbers at the divisors of $N$. On the $\mathrm{GL}_N$ permutation lattice these coinvariants are torsion-free, so no such correction occurs; the observer corrections arise precisely upon passage to the $\mathrm{SL}_N$ character lattice. For $N=3$, we obtain an explicit formula with the single correction $V_{3\mathbb{Z}^2}(f_γ)$, and construct infinitely many pairs of non-homeomorphic hyperbolic torus bundles whose $\mathrm{GL}_N$-skein-module dimensions agree for every $N$, while their $\mathrm{SL}_3$ quantum-torus summands differ in dimension by six. These pairs also have identical periodic Nielsen data and finite-cover visibility profiles at every iterate. We do not compute the additional endomorphism-algebra summands of the full $\mathrm{SL}_N$-skein module.