[论文解读] Tensor completions of 2-nilpotent finitely generated torsion-free groups

Mikheil Amaglobeli, Alexei Miasnikov|arXiv (Cornell University)|Jan 24, 2026

Geometric and Algebraic Topology被引用 0

一句话总结

该论文分析在 R 指数 2 阻尼群的伪类中 finitely generated 的自由无 torsion 的 2-nilpotent 群 G 的张量完备 G ⊗_{N_{2,R}} R，给出一个结构分解为 Hall 完整与一个 c-换位子的 R-模相乘，并详细描述 R 指数运算。

ABSTRACT

In this paper, we study tensor completions $G \otimes_{\mathcal{N}_{2,R}} R$ of finitely generated torsion-free nilpotent groups $G$ of class $2$ in the quasivariety $\mathcal{N}_{2,R}$ of $R$-exponential 2-nilpotent groups over a binomial integral domain $R$. We show that the classical Hall completion $G\otimes_{\mathcal{H}} R$ embeds as an abstract group (the embedding is not an $R$-homomorphism) into $G \otimes_{\mathcal{N}_{2,R}} R$, such that $G\otimes_{\mathcal{N}_{2,R}} R \simeq (G \otimes_{\mathcal{H}} R) imes D$, where $D$ is an $R$-module and the direct product is a product of abstract groups (not $R$-groups!). In particular, the canonical $R$-epimorphism $μ: G \otimes_{\mathcal{N}_{2,R}} R o G \otimes_{\mathcal{H}} R$ is a retract on $G \otimes_{\mathcal{H}} R$ with abelian kernel $D$. Moreover, in addition to the algebraic structure, we describe precisely how raising to an $R$-exponent works in the group $G \otimes_{\mathcal{N}_{2,R}} R$. To do this, we introduce a new type of commutators, the so-called c-commutators, which are interesting in their own right. These results answer an old question of Remeslennikov about the algebraic structure of free 2-nilpotent R-groups in the quasivariety $\mathcal{N}_{2,R}$. Indeed, it was shown in \cite{AMN} that if $G$ is a free 2-nilpotent group with basis $X$ (in the variety of abstract 2-nilpotent groups), then $G \otimes_{\mathbb{N}_{2,R}} R$ is a free 2-nilpotent R-group in $\mathcal{N}_{2,R}$ with basis $X$. Note that in this case $G \otimes_{\mathcal{H}} R$ is a free 2-nilpotent Hall $R$-group with basis $X$. As an illustration, for a free 2-nilpotent group $G$ of rank 2, we describe the group $G \otimes_{\mathcal{N}_{2,R}} R$, the action of $R$ on $G \otimes_{\mathcal{H}} R$, and the module $D$ in the case where $R$ is either the polynomial ring $\mathbb{Q}[t]$ or the field of rational functions $\mathbb{Q}(t)$ with coefficients in the field of rational numbers $\mathbb{Q}$.

研究动机与目标

• 研究有限生成的无扭 torsion 的 2-nilpotent 群 G 相对于 binomial 整域 R 的 G ⊗_{N_{2,R}} R 的张量完备。

提出的方法

• 证明 G ⊗_{N_{2,R}} R ≅ (G ⊗_{H} R) × D，其中 D 为一个 R-模，且乘积在抽象意义上成立（不是一个 R-群）。
• 证明基态满射 μ: G ⊗_{N_{2,R}} R → G ⊗_{H} R 是对 D 的再射核为阿贝尔群的再射映射。
• 引入并利用 c-换位子来描述在 G ⊗_{N_{2,R}} R 中提升到 R 指数的运算方式。
• 将张量完备与 Hall 完整联系起来，并提供一种类似 Lie 代数对换运算的计算法用于 G 的指数运算。
• 描述张量完备的 R 结构，包括 D 的表示及在何种条件下 D 是自由 R-模。

实验结果

研究问题

• RQ1 张量完备 G ⊗_{N_{2,R}} R 对于 2-nilpotent torsion-free 群 G 的代数结构具体是怎样的？
• RQ2 Hall 完整如何嵌入到张量完备中，该嵌入的核的性质是什么？
• RQ3 c-换位子如何用于建模并计算张量完备中的 R 指数运算？
• RQ4 在分解 G ⊗_{N_{2,R}} R ≅ (G ⊗_{H} R) × D 中，R-模 D 的结构与作用是什么？
• RQ5 对于具体的 G 与 R（如 G = UT_3(Z) 且 R = Q[t] 或 Q(t)），会得到怎样的结果？

主要发现

• G ⊗_{N_{2,R}} R 与 Hall 完整的直接积同构，且再加一个阿贝尔 R-模 D，即 G ⊗_{N_{2,R}} R ≅ (G ⊗_{H} R) × D。
• 基态满射 μ 是映射到 G ⊗_{H} R 的再射，其核为 D，且 D 为阿贝尔 R-模。
• 引入 c-换位子以衡量指数运算相对于 Hall 指数的偏离并生成核 D。
• 给出在 G ⊗_{N_{2,R}} R 中通过 c-换位子计算得到的 R 指数运算的显式描述。
• 当 G 为自由的 rank 2 的 2-nilpotent，且 R = Q[t] 或 Q(t) 时，作者展示 G ⊗_{N_{2,R}} R 的结构、G ⊗_{H} R 上的 R 行为及模 D 的情况。
• 结果回应 Remeslennikov 关于在 N_{2,R} 中自由的 2-nilpotent R-群的代数结构问题，并与已知情形相联系，即 G ⊗_{N_{2,R}} R 为一个自由的 2-nilpotent R-群，其基 X 已知。