2·3‑차원 토션이 지배하는 로컬 컴팩트 아벨 군의 퀘이즈‑컨벡스 영점열

초록

**
본 논문은 로컬 컴팩트 아벨 군 (G)에 대해, 영점으로 수렴하면서 ({0}\cup{\pm x_n})가 무한하고 퀘이즈‑컨벡스인 수열이 존재하지 않는다는 조건이, (2)-또는 (3)-차 토션 원소들의 집합이 열린 부분군을 형성함과 동치이며, 이는 결국 (G)가 (\mathbb Z_2^{\kappa}) 혹은 (\mathbb Z_3^{\kappa}) 형태의 열린 컴팩트 부분군을 포함한다는 사실을 입증한다.

**

상세 분석

**
논문은 먼저 로컬 컴팩트 아벨 군(LCA 군)의 구조 정리를 활용한다. LCA 군은 (\mathbb R^n), (\mathbb Z^m), 컴팩트 군 (K), 그리고 이산 군 (D)의 직합으로 분해될 수 있다. 여기서 핵심은 영점으로 수렴하는 퀘이즈‑컨벡스 수열이 존재하려면, 군의 토션 성분이 충분히 “풍부”해야 한다는 점이다.

퀘이즈‑컨벡스 집합은 모든 연속 문자 (\chi)에 대해 (\chi(A))가 원주 위의 아크(또는 그 닫힌 구간) 안에 들어가는 집합으로 정의된다. 따라서 ({0}\cup{\pm x_n})가 퀘이즈‑컨벡스이면, 각 문자 (\chi)에 대해 (\chi(x_n))는 원주 위의 작은 호에 머물러야 하고, 이는 (\chi(x_n))가 급격히 0에 접근함을 의미한다.

이러한 성질을 득점하기 위해서는 군의 이중군 (\widehat G)에서 적절한 “비등거리” 문자들이 존재해야 한다. 저자는 (\widehat G)를 통해 퀘이즈‑컨벡스 영점열의 존재 여부를 문자 공간의 위상적 특성으로 전환한다. 구체적으로, 영점열이 존재한다면 (\widehat G)에는 무한히 많은 서로 다른 원소가 동일한 유한 차수(특히 2 혹은 3이 아닌 소수)로 제한되는 부분군을 형성한다는 것을 보인다.

반대로, 만약 (G) 안에 ({g:2g=0}) 혹은 ({g:3g=0})가 열린 부분군이라면, 모든 연속 문자는 해당 부분군에 대해 2‑또는 3‑차 원소만을 인식한다. 이 경우 (\chi(x_n))가 원주 위의 작은 호에 머무르는 것이 불가능해지므로, 비자명한 퀘이즈‑컨벡스 영점열은 존재하지 않는다.

핵심 정리는 다음과 같다.

1. (i) ⇒ (ii): 영점열이 없다는 가정 하에, (\widehat G)에서 차수가 2 혹은 3이 아닌 원소들의 집합이 조밀하지 않음을 보인다. 이는 결국 (G)의 2‑또는 3‑토션 부분이 열린 집합이 됨을 의미한다.

2. (ii) ⇒ (iii): 열린 2‑또는 3‑토션 부분군은 컴팩트하고 완전한 군이며, 구조 정리에 의해 (\mathbb Z_2^{\kappa}) 혹은 (\mathbb Z_3^{\kappa})와 위상동형임을 확인한다.

3. (iii) ⇒ (i): (\mathbb Z_2^{\kappa})와 (\mathbb Z_3^{\kappa})는 각각 차수가 2와 3인 원소만을 포함하므로, 어떤 연속 문자도 무한히 작은 호에 수렴하는 비자명한 영점열을 만들 수 없으며, 따라서 (i)의 부정이 성립한다.

증명 과정에서 저자는 여러 보조 정리를 도입한다. 예를 들어, 컴팩트 군에서 퀘이즈‑컨벡스 집합은 닫힌 서브그룹의 교집합으로 표현될 수 있다는 사실과, 토션 차수가 2 혹은 3인 경우에는 해당 군이 “극소” 퀘이즈‑컨벡스 구조를 갖는다는 점을 이용한다. 또한, 연속 문자의 이미지가 원주 위의 유리각을 이루는 경우에만 퀘이즈‑컨벡스 영점열이 가능함을 보이며, 차수가 2·3이 아닌 경우에는 이러한 각이 무한히 작아질 수 없음을 증명한다.

이 결과는 기존에 알려진 “퀘이즈‑컨벡스 집합은 닫힌 서브그룹의 근사”라는 일반적인 사실을 LCA 군의 토션 구조와 연결시켜, 특정 차수(2,3)만을 허용하는 군이 퀘이즈‑컨벡스 영점열을 배제한다는 새로운 관점을 제공한다.

**