결정군의 비가환 텐서 제곱과 히르슈 길이 성장에 관한 고찰

초록

본 논문은 다항군인 결정군의 비가환 텐서 제곱 (G\otimes G) 가 역시 다항군임을 이용해, 원군 (G) 의 히르슈 길이와 텐서 제곱의 히르슈 길이 사이의 성장 관계를 분석한다. 또한 중심이 없는 유명한 solvable 그룹인 유한 코클래스의 pro‑(p) 군들을 대상으로 비가환 텐서 곱을 연구하고, 이들에 대한 히르슈 길이와 Schur multiplier 의 제한 조건을 제시한다.

상세 분석

논문은 먼저 다항군 (G) 에 대해 비가환 텐서 제곱 (G\otimes G) 가 다항군이라는 사실을 재확인하고, 이를 바탕으로 히르슈 길이 (h(G)) 와 (h(G\otimes G)) 사이의 정량적 관계를 탐구한다. 저자들은 (G) 가 결정군, 즉 (\mathbb{Z}^n\rtimes F) 형태의 반직접곱으로 표현될 수 있는 경우에 초점을 맞춘다. 여기서 (F) 는 유한 군이며, 이러한 구조는 히르슈 길이 (h(G)=n) 로 단순히 결정된다. 텐서 제곱에 대한 기존 결과에 따르면 (G\otimes G) 의 중심이 비자명하게 나타날 수 있는데, 이는 히르슈 길이의 추가 증가를 야기한다. 저자들은 구체적인 예시로 2‑차원 격자군 (\mathbb{Z}^2) 와 그 위에 작용하는 회전군 (C_4) 를 취해, (h(G\otimes G)=2+ \delta) 형태의 식을 도출한다. 여기서 (\delta) 는 (F) 의 구조와 작용에 따라 달라지는 정수이며, 특히 (F) 가 비가환이면 (\delta) 가 크게 증가한다는 점을 강조한다.

다음 단계에서는 중심이 없는 solvable 그룹인 유한 코클래스의 pro‑(p) 군들을 고려한다. 이러한 군들은 코클래스 (c) 와 차원 (d) 로 분류되며, 일반적으로 (G) 가 무한하지만 (G/\Phi(G)) 가 유한 차원을 가진다. 저자들은 이들 군에 대해 비가환 텐서 곱 (G\otimes G) 가 다시 pro‑(p) 군이 되며, 히르슈 길이 (h(G\otimes G)) 가 원군의 히르슈 길이와 코클래스 사이의 함수로 제한된다는 사실을 증명한다. 구체적으로, (h(G\otimes G)\leq p^{c}\cdot h(G)) 와 같은 상한을 제시하고, 이 상한이 실제로 몇몇 표준 예시(예: 정규 (p)-군, 메트라시 그룹)에서 정확히 달성됨을 보인다.

마지막으로 Schur multiplier (M(G)=H_2(G,\mathbb{Z})) 에 대한 새로운 제한식을 제시한다. 텐서 제곱과 Schur multiplier 사이에는 알려진 동형 관계 (G\otimes G \cong