비가역적 및 경계가 있는 매트릭스 기본 클래스

본 논문은 매트릭스 공간(metric space) 위에 정의된 정수 직사각형 전류(integer rectifiable current)를 이용해, 위상적 기본 클래스(topological fundamental class)를 분석적으로 재현하는 “매트릭스 기본 클래스(metric fundamental class)” 개념을 확장·정립한다. 기존 연구에서는 정향 가능한(closed, orientable) 매트릭스 다변체에 대해 선형 지역 수축성(linear local contractibility, LLC)과 유한 Hausdorff n‑측정이 주어지면, 전류 T∈I_n(X) 가 존재하고 ∂T=0이며 질량이 Hausdorff 측정과 상수배 관계에 있음을 보였다. 본 논문은 두 가지 새로운 방향으로 이 이론을 확장한다. 첫 번째는 비가역적(non‑orientable) 매트릭스 다변체이다. 비가역적 경우에는 전류의 경계가 정수적으로는 0이 될 수 없으므로, ∂T=0 (mod 2) 라는 약한 조건을 도입한다. 이를 위해 차수(degree)를 Z/2Z 계수를 사용해 정의하고, 전류가 Lipschitz 사상 φ:X→M에 대해 φ_#T = deg(φ, Z/2Z)·J_M (mod 2) 를 만족하도록 요구한다. 여기서 J_M 은 Riemannian 구조를 갖는 매끄러운 다변체 M 의 모듈로 2 기본 클래스이다. 정리 1.4는 정향 가능 경우와 동일하게, X가 LLC이며 경계의 Hausdorff n‑측정이 0이면, 질량이 C^{-1}H^n ≤‖T‖ ≤ C H^n 를 만족하는 모듈로 2 전류 T가 존재함을 증명한다. 또한, ∂S가 경계에 포함될 경우 S는 T의 정수배(mod 2) 로 표현될 수 있다. 두 번째는 경계가 있는 경우이다. 경계가 존재하면 φ가 경계 위에서 경계로 보내는 조건 φ(∂X)⊂∂M 을 추가하고, 전류 T는 정의 1.1(b)와 (a)를 경계에 제한하여 만족한다. 정리 1.2와 1.4는 각각 정향 가능·비가역적 경우에 대해 이러한 경계 조건을 포함한 존재성을 보인다. 또한, 논문은 LLC 가정을 완화한 “거의 모든 곳에서 선형 지역 수축성(almost everywhere linear local contractibility)” 개념을 도입한다. 이는 대부분의 점에서 LLC가 성립하지만, 경계와 같은 특수한 집합에서는 성립하지 않을 수 있음을 허용한다. 이 개념은 정리 1.5와 1.6에서 핵심적으로 사용된다. 정리 1.5는 LLC와 경계가 0인 경우, X가 n‑직사각형(n‑rectifiable)임을 보여준다. 이는 전류 T의 질량 상한이 Hausdorff 측정과 동등하게 제어될 수 있기 때문이다. Nagata 차원을 가정한 정리 1.6은 LLC를 전혀 요구하지 않는다. 대신 X가 유한 Nagata 차원과 경계가 0이면, 모듈로 2 전류 T가 존재하고 ‖T‖_2 ≤ C H^n 를 만족한다. 여기서 ‖·‖_2는 2‑질량(2‑mass)이며, 이는 전류를 Z/2Z 계수로 보는 평탄 전류 이론에 기반한다. 이 경우 직사각형성은 보장되지 않으며, 실제로 Nagata 차원을 만족하지만 직사각형이 아닌 예시가 존재한다는 점을 논문은 언급한다. 특히 2‑차원 경우, 정리 1.7은 별도의 차원 가정 없이도 비가역적 매트릭스 표면에 대해 모듈로 2 전류 T가 존재함을 보인다. 여기서는 최근의 약한 등각화(weak uniformization) 결과와 Lipschitz 근사 기법을 활용한다. 정리 1.8은 비가역적 매트릭스 다변체가 LLC와 Ahlfors n‑정칙성(Ahlfors regularity)을 동시에 만족할 때, 상대 등적 불평등을 도출한다. 구체적으로, 임의의 볼 B와 집합 E에 대해  min{H^n(E∩B), H^n(B\E)} ≤ C·M^-(E|λB)^{(n-1)/n} 가 성립한다. 여기서 M^-(E|λB)는 λB 안에서의 하위 Minkowski 내용이다. 이 불평등은 Poincaré 부등식과 직접 연결되며, 매트릭스 공간의 분석적 구조를 이해하는 데 중요한 도구가 된다. 증명 전략은 크게 두 부분으로 나뉜다. 첫째, 정향 가능한 경우에는 기존의 방법을 그대로 적용해 “매트릭스 방향(metric orientation)”을 정의하고, 이를 통해 전류 T를 구성한다. 둘째, 비가역적 경우에는 정향 가능한 이중 피복(orientable double cover) ˜X를 만들고, ˜X에 대해 정향 가능한 경우와 동일한 전류 ˜T를 얻은 뒤, 이를 원래 공간 X에 투사해 모듈로 2 전류 T를 만든다. 이 과정에서 차수 이론, 평탄 전류(mod p) 압축(compactness) 정리, 그리고 Nagata 차원에 대한 단순 복합체 근사(simplicial approximation) 기법을 활용한다. 마지막으로, 논문은 매트릭스 공간에서 Lipschitz 사상의 차수가 거의 모든 점에서 잘 행동한다는 사실을 보이며, 이는 전류를 푸시포워드(push‑forward) 할 때 필요한 핵심적인 정밀성을 제공한다. 전체적으로, 본 연구는 매트릭스 기하학과 정수 전류 이론을 결합해 비가역적·경계가 있는 매트릭스 다변체에 대한 새로운 분석적 도구를 제공하고, 직사각형성, 등적 불평등, Poincaré 부등식 등 다양한 응용 가능성을 제시한다.