근사 가능한 WAP 및 LUC 보간 집합

초록

이 논문은 국소적으로 콤팩트한 군 위의 함수 대수에 대해 ‘근사 가능한 보간 집합(approximable interpolation set)’이라는 개념을 정의하고, 특히 약하게 거의 주기적인 함수군(𝓦𝓐𝓟)과 좌측 균일 연속 함수군(𝓛𝓤𝓒)에서의 특성을 체계적으로 분석한다. 집합의 조합론적 조건과 𝓛𝓤𝓒·𝓦𝓐𝓟 컴팩티피케이션을 이용한 위상학적 기술을 통해 근사 가능한 보간 집합을 완전히 특징짓고, 기존의 I₀‑집합·시돈 집합·t‑집합 등과의 관계를 밝힌다. 또한 이러한 집합들의 합집합·곱집합에 대한 폐쇄성, 대수적 연산과의 상호작용을 조사한다.

상세 분석

논문은 먼저 ‘보간 집합(interpolation set)’을 일반적인 함수 대수 𝔄⊂ℓ∞(G) 위에 정의한다. 즉, E⊂G가 𝔄‑보간 집합이면, 임의의 제한된 함수 f:E→ℂ에 대해 𝔄 안에 f를 정확히 연장하는 함수가 존재한다. 여기서 저자들은 ‘근사 가능한(approximable)’이라는 추가 조건을 도입한다. E가 𝔄‑근사 가능한 보간 집합이라면, 임의의 ε>0와 f∈ℓ∞(E) 에 대해 𝔄 안에 g가 존재하여 ‖g|E−f‖∞<ε가 되면서, g는 E 외부에서는 충분히 작게(예: 0에 수렴) 유지된다. 이 정의는 기존의 I₀‑집합(ℓ¹‑Fourier 변환이 ℓ∞ 로 연장 가능한 집합)이나 시돈 집합과는 차별화된다; 특히 𝔄가 𝓦𝓐𝓟(G) 혹은 𝓛𝓤𝓒(G) 일 때 새로운 현상이 드러난다.

주요 결과는 두 가지 축으로 전개된다. 첫째, 조합론적 관점에서 E가 ‘우측 균일 이산(right uniformly discrete)’이며 ‘번역‑유한(translation‑finite)’ 혹은 ‘번역‑소수(translationally small)’ 조건을 만족하면 𝓛𝓤𝓒‑근사 가능한 보간 집합이 된다. 구체적으로, 존재하는 열린 대칭 집합 V⊂G에 대해 (E·V)∩(E·V)⁻¹={e} 를 만족하면 E는 𝓛𝓤𝓒‑근사 가능한 보간 집합이다. 이러한 조건은 기존의 ‘t‑집합’ 정의와 일치하지만, 여기서는 근사 가능성을 강조한다는 점이 차별점이다.

둘째, 위상학적 관점에서 𝓛𝓤𝓒와 𝓦𝓐𝓟 컴팩티피케이션을 이용한다. 𝓛𝓤𝓒‑컴팩티피케이션 β𝓛𝓤𝓒 G는 G의 좌측 균일 연속 함수들의 최대 스펙트럼이며, 𝓦𝓐𝓟‑컴팩티피케이션 β𝓦𝓐𝓟 G는 약하게 거의 주기적인 함수들의 스펙트럼이다. 저자들은 E가 𝓛𝓤𝓒‑근사 가능한 보간 집합 ⇔ E의 클로저 clβ𝓛𝓤𝓒 G(E) 가 βE (E의 베타 컴팩트화)와 위상동형임을 증명한다. 동일한 논리는 𝓦𝓐𝓟‑함수 대수에도 적용되어, E가 𝓦𝓐𝓟‑근사 가능한 보간 집합이면 clβ𝓦𝓐𝓟 G(E)≅βE 가 된다. 이 동형성은 E가 ‘극한점이 없는’ 즉, βE 에서 G와 분리되는 경우에만 성립한다는 세밀한 조건을 포함한다.

또한, 논문은 이러한 집합들의 연산적 폐쇄성을 조사한다. 예를 들어, 두 개의 𝓛𝓤𝓒‑근사 가능한 보간 집합 E₁, E₂ 가 서로 ‘멀리 떨어져’ 있으면 E₁∪E₂ 역시 𝓛𝓤𝓒‑근사 가능한 보간 집합이 된다. 반면, 일반적인 합집합에 대해서는 반례를 제시하여, 근사 가능성이 번역‑이산성에 크게 의존함을 보여준다. 곱집합에 대해서는 G₁×G₂ 위에서 E₁×E₂ 가 각각의 군에서 근사 가능한 경우, 전체 곱에서도 근사 가능함을 증명한다.

마지막으로, 저자들은 기존 문헌에 등장하는 I₀‑집합, 시돈 집합, Sidon 집합 등을 새로운 프레임워크 안에서 재해석한다. 특히, I₀‑집합은 𝓦𝓐𝓟‑근사 가능한 보간 집합의 특수한 경우이며, 시돈 집합은 𝓛𝓤𝓒‑근사 가능한 보간 집합과 동치임을 보인다. 이러한 재해석은 함수 대수 사이의 미묘한 차이를 명확히 하면서, 조합론적 조건과 위상학적 컴팩티피케이션 사이의 깊은 연결고리를 제공한다.