대칭군 위의 대수적으로 결정된 위상 연구

본 연구는 무한 집합 \(X\) 위의 순열군 \(S(X)\)와 그 정상 부분군 \(S_{\omega}(X)\) (유한 지원을 갖는 순열들의 집합)에 대해, 대수적으로 정의된 여러 위상의 관계를 상세히 조사한다. 1. **대수적으로 정의된 위상의 소개** - **Zariski 위상 \(Z_G\)**: 기본 열린 집합은 \(\{x\in G : x^{\varepsilon_1}g_1\cdots x^{\varepsilon_n}g_n\neq 1\}\) 형태이며, 이는 군 연산에 대한 비등식이 성립하지 않는 원소들의 집합이다. - **제한 Zariski 위상 \(Z'_G\)**와 **제한 Zariski 위상 \(Z''_G\)**: 각각 \(\{x : xbx^{-1}\neq aba^{-1}\}\)와 \(\{x : xbx^{-1}\neq b\}\) (단, \(b^2=1\)) 형태의 집합을 기본으로 한다. 이들 위상은 모두 shift‑invariant이며, \(Z''_G\subseteq Z'_G\subseteq Z_G\)이다. 2. **점별 수렴 위상 \(T_p\)와 Zariski 위상의 동일성** - \(X\)가 무한이고 \(|X|\ge 3\)일 때, 저자들은 \(Z'_G=Z_G=T_p\)임을 증명한다. 핵심 아이디어는 임의의 전치 \(t_{x,y}\)와 임의의 순열 \(f\)가 교환하지 않을 때, 해당 전치가 정의하는 기본 열린 집합이 \(T_p\)의 기본 열린 집합 \(\{g:g(x)=y\}\)을 포함한다는 점이다. - 유한 \(X\)의 경우, 모든 위상이 이산이므로 동일하게 된다. - 제한 Zariski 위상 \(Z''_G\)는 무한 \(X\)에서는 \(T_p\)보다 약하지만, 유한 경우에는 동일하다. 3. **Markov 위상 \(M_G\)와 Zariski 위상의 관계** - Markov 위상은 모든 Hausdorff 군 위상의 교집합으로 정의된다. 기존에 가산군에서는 \(Z_G=M_G\)가 알려져 있다. - 여기서는 \(G\supseteq S_{\omega}(X)\)인 모든 경우에 대해 \(Z_G=M_G\)임을 보인다. 이는 앞서 증명한 \(Z_G=T_p\)와 \(T_p\)가 Hausdorff 위상이므로 바로 따라온다. 4. **중심자 위상 \(T_G\)의 특성** - 중심자 위상은 \(\{x\in G: xgx^{-1}=g\}\) 형태의 집합을 기본으로 한다. - 저자들은 \(|X|\le\mathfrak c\) (연속체 기수)일 때만 \(T_G\)가 이산임을 증명한다. \(|X|>\mathfrak c\)이면 비이산이며, 이는 충분히 많은 전치들이 서로 교환하지 않아 중심자 집합이 무한히 복잡해지기 때문이다. - 또한 \(G=S_{\omega}(X)\)인 경우에만 \(T_G\)가 \(T_p\)와 일치하고, 그 외의 경우에는 \(T_G\)가 더 강한 위상이 된다. 5. **\(\sigma\)-불연속성** - \(S_{\omega}(X)\)는 모든 Hausdorff shift‑invariant 위상에서 \(\sigma\)-불연속임을 보인다. 즉, \(S_{\omega}(X)\)는 각 원소가 개별적으로는 열린 집합에 포함되지 않으며, 오직 전체가 밀집될 때만 위상적 의미를 갖는다. 이는 전치들의 조합이 무한히 많아 어느 한 전치라도 포함하면 전체 군의 이동에 의해 전체가 밀집하게 되는 성질에서 비롯된다. 6. **결론 및 의의** - 논문은 점별 수렴 위상이 가장 얇은 Hausdorff(또는 \(T_1\)) 위상임을 일반적인 하위군 \(G\supseteq S_{\omega}(X)\)에 대해 증명함으로써, 기존의 Gaughan, Dierolf‑Schwanengel 결과를 통합한다. - 또한 Zariski 위상과 Markov 위상이 동일함을 보임으로써, 대수적 조건만으로도 순열군의 위상적 구조를 완전히 기술할 수 있음을 확인한다. - 중심자 위상의 이산성 조건과 \(\sigma\)-불연속성 결과는 순열군의 다양한 위상적 변형을 연구하는 데 새로운 기준을 제공한다. 전반적으로 이 논문은 대칭군 위에 정의되는 여러 대수적 위상 사이의 미묘한 관계를 명확히 밝히고, 특히 점별 수렴 위상이 최소 Hausdorff 위상이라는 핵심 결과를 통해 순열군 위상학의 기본 구조를 심도 있게 이해하게 만든다.