[논문 리뷰] Tensor completions of 2-nilpotent finitely generated torsion-free groups

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

Geometric and Algebraic Topology인용 수 0

한 줄 요약

이 논문은 R-지수 2-닐포넛트 그룹의 준가상체 내에서 유한 생성 토션이 없는 2-닐포넛트 그룹들의 텐서 완전을 분석하고, Hall 완성에 의한 구조적 분해를 R-모듈의 c-커뮤니터와의 곱으로 설명하며, 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}$.

연구 동기 및 목표

• binomial integral domain R 위의 유한 생성 토션이 없는 2-닐포넛트 그룹 G에 대해 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 은 kernel D인 retract로서 abelian kernal D를 가진다.
• c-커뮤니터를 도입하고 R-지수화가 G ⊗_{N_{2,R}} R에서 어떻게 작동하는지 설명한다.
• tensor 완성과 Hall 완성과의 관계를 제시하고, G에서의 지수화에 대한 Lie 대수 교환자 계산에 상응하는 미분적 계산법을 제공한다.
• tensor 완성의 R-구조를 설명하고, D의 표현 및 D가 자유 R-모듈일 조건을 포함한다.

실험 결과

연구 질문

• RQ1 2-니플로넛트 토션-프리 그룹 G에 대해 G ⊗_{N_{2,R}} R의 정확한 대수적 구조는 무엇인가?
• RQ2 Hall 완성이 텐서 완성에 어떻게 삽입되는가, 이 삽입의 커널의 성격은 무엇인가?
• RQ3 c-커뮤니터를 사용하여 텐서 완성에서 R-지수화를 모델링하고 계산하는 방법은 무엇인가?
• RQ4 G ⊗_{N_{2,R}} R ≅ (G ⊗_{H} R) × D에서 구조와 역할은 무엇인가?
• RQ5 예를 들어 G = UT_3(Z) 및 R = Q[t] 또는 Q(t)인 경우 어떤 결과가 나오는가?

주요 결과

• G ⊗_{N_{2,R}} R은 Hall 완성과 abelian R-모듈 D의 직합 동형이며, 즉 G ⊗_{N_{2,R}} R ≅ (G ⊗_{H} R) × D이다.
• 자연스러운 R-에피 mμ는 커널 D를 가진 G ⊗_{H} R에 대한 재틀렉(retract)이며, D는 abelian R-모듈이다.
• c-커뮤니터는 Hall 지수화의 편차를 측정하고 커널 D를 생성하는 역할을 한다.
• c-커뮤니터 계산을 통해 R-지수화가 G ⊗_{N_{2,R}} R에서 어떻게 작동하는지에 대한 명시적 설명을 제공한다.
• G가 랭크 2의 자유 2-닐포넛트이고 R = Q[t] 또는 Q(t)인 경우, G ⊗_{N_{2,R}} R의 구조와 G ⊗_{H} R에 대한 R의 작용, 그리고 모듈 D의 구조를 설명한다.
• 결과는 Remeslennikov의 N_{2,R}에서의 자유 2-닐포넛트 R-그룹의 대수 구조에 대한 질문에 답하고, G ⊗_{N_{2,R}} R이 X를 기초로 하는 자유 2-닐포넛트 R-그룹인 경우와 관련된 알려진 사례와 관련된다.