비대칭 범주에서 확률 측정의 볼록 초공간과 연장자

본 논문은 Dranishnikov가 제시한 비대칭 범주 A의 구조와 그 안에서 절대 연장자(AE) 개념을 탐구한다. 섹션 1에서는 절대 연장자의 역할과 비대칭 위상수학에서의 중요성을 서술하고, 기존 연구에서 확률측정 공간 P(X) 가 일반적으로 AE가 아니라는 사실을 소개한다. 이어서, 확률측정의 볼록 초공간 cc P(X) 가 비대칭 범주에서 어떤 연장 특성을 가질지에 대한 질문을 제기한다. 섹션 2에서는 필요한 배경을 정리한다. 2.1에서는 비대칭 범주 A의 정의를 제시한다. 여기서 객체는 ‘proper’ 거리공간이며, 사상은 (λ, ε)‑Lipschitz 형태의 asymptotically Lipschitz 지도이다. 절대 연장자 Y는 모든 proper 공간 X와 그 폐부분집합 A에 대해, A→Y 로 정의된 asymptotically Lipschitz 지도 f가 전체 X로 연장될 수 있음을 의미한다. 2.2에서는 Gromov가 도입한 비대칭 차원(asdim) 개념을 설명한다. asdim X ≤ n 은 임의의 D>0에 대해 X를 D‑discrete 한 n+1개의 부분덮개로 분할할 수 있음을 뜻한다. 특히 asdim X = 0 은 모든 C‑체인의 직경이 유계라는 조건과 동치이다. 2.3에서는 확률측정의 볼록 초공간 cc P(X) 를 정의한다. P(X) 는 X 위의 확률측정 전체이며, Dirac 측정 δ_x 로부터 {δ_x}∈cc P(X) 로의 등거리 임베딩이 가능하다. 초공간은 Hausdorff 거리 \hat d_H 로 거리구조를 부여한다. 또한, 지도 f : X→cc P(X) 가 짧은(short) 지도임을 확인한다. 섹션 3이 논문의 핵심이다. 저자들은 이전에 Zarichnyj가 제시한 예시를 변형하여, asdim 0 인 proper 공간 Y와 그 부분공간 X를 만든다. 구체적으로, 각 n≥2에 대해 ℝⁿ을 ℓ₂ 안에 삽입하고, 정수 k와 n에 따라 그래프 G_{n,k} 를 정의한다. 정점 집합 V(G_{n,k})는 두 종류의 격자점 I와 T 로 구성되며, 엣지는 ‘거리 2k’ 혹은 ‘두 배 관계’에 의해 연결된다. 각 그래프에 대해 최대 노름을 이용한 거리 d_{n,k} 를 부여한다. 그 후, 무한 합을 통해 X = ⋃_{n≥2}⋃_{k=n} {n²}×T(G_{n²,k²}) Y = ⋃_{n≥2}⋃_{k=n} {n²}×V(G_{n²,k²}) 를 정의한다. X는 Y의 부분집합이며, 두 공간 모두 proper 이다. 저자들은 C‑체인에 대한 상세한 계산을 통해 Y가 asdim 0 임을 증명한다. 핵심은 C가 주어지면 충분히 큰 n에 대해 C < (k+1)² 가 되도록 k를 잡고, 이때 체인 전체가 한 레벨 안에 있거나 단일점이 되므로 직경이 C에 비례하는 상수 이하가 된다. 다음으로, f : X→cc P(X), f(x)={δ_x} 를 고려한다. f는 등거리 임베딩이므로, 만일 cc P(X) 가 AE(0) 라면 f는 Y 전체로 연장될 수 있어야 한다. 연장 \bar f 가 존재한다고 가정하면, \bar f는 (λ, ε)‑Lipschitz 상수 λ, ε 를 갖는다. 여기서 각 n에 대해 투사 지도 p_n : X′→ℝⁿ을 사용하고, 확률측정의 barycenter 지도 b와 최소 거리 선택 지도 π를 차례로 적용하면, g_n(x) = π({b(μ) | μ∈cc P(p_n²)(\bar f(x))}) 라는 지도 g_n : X_n²→ℝⁿ² 가 정의된다. g_n 은 (λ, ε)‑Lipschitz 이면서 X_n² 위에서 ℝⁿ² 로의 재traction 역할을 한다. 그러나 Lang의 결과에 따르면, X_n²→ℝⁿ² 로의 (λ, ε)‑retraction 은 λ ≥ √n 을 만족해야 한다. 여기서 n>λ² 를 선택하면 모순이 발생한다. 따라서 \bar f 가 존재할 수 없으며, cc P(X) 는 AE(0) 가 아니다. 섹션 4에서는 이러한 결과를 바탕으로, 비대칭 범주에서 ‘용량(capacity)’이라 불리는 비가산 측정(functor)들은 언제든지 AE가 될 가능성을 제시한다. 그러나 현재 증명 기법은 barycenter 지도에 크게 의존하므로, 비가산 경우에는 적용되지 않는다. 결론적으로, 논문은 비대칭 차원 0 인 공간 X에 대해 그 볼록 초공간 cc P(X) 가 절대 연장자 성질을 상실한다는 구체적 반례를 제공한다. 이는 비대칭 위상수학에서 확장 가능한 펑터를 찾는 연구에 중요한 제한을 제시하며, 향후 비가산 측정이나 다른 구조에 대한 AE 여부를 탐구하는 데 기초가 된다.