국소 C 대수의 허용적 주입 포장과 그 고유성

초록

본 논문은 유니터리 프레셰 프레셰(Fréchet) 국소 C* 대수에 대해 ‘허용적 주입 포장(Admissible Injective Envelope)’이라는 새로운 개념을 정의하고, 모든 객체가 존재하며 유일하게 결정된다는 것을 증명한다. 허용적 주입성은 기존의 주입성보다 강하지만 R‑주입성보다는 약한 성질이며, 프레셰 국소 W* 대수의 경우 두 개념이 일치한다. 또한 Arens‑Michael 분해를 이용해 이러한 포장이 각 C* 성분들의 주입 포장의 역극한으로 구성됨을 보인다.

상세 분석

이 연구는 Hamana가 C* 대수 범주에서 제시한 주입 포장 이론을 국소 C* 대수, 즉 위로 필터링된 C* 준노름족으로 정의된 완비 위상 *‑대수에 일반화한다. 저자는 먼저 ‘허용적(local admissible) 완전 양(complete positivity)’이라는 새로운 사상을 도입한다. 이는 각 준노름 p_λ에 대해 동일한 인덱스 λ를 사용해 양성 및 영성 조건을 보존하는 완전 양사상이며, 기존의 ‘지역 완전 양(local completely positive)’보다 강한 제약을 가진다. 이러한 사상들만을 허용하는 범주를 설정하고, 그 안에서 ‘허용적 주입 객체(admissible injective object)’를 정의한다.

핵심 정리는 두 단계로 전개된다. 첫째, 임의의 유니터리 프레셰 국소 C* 대수 A에 대해 최소한의 B‑준노름족과 허용적 B‑사영(admissible B‑projection)이라는 구조를 구축한다. 이를 통해 A의 ‘허용적 주입 포장’이 존재함을 보이며, 이 포장은 어떤 허용적 사영의 상(image)으로 표현된다. 둘째, 이러한 포장이 유일함을 증명한다. 구체적으로, 두 개의 허용적 주입 포장 (B₁,Φ₁), (B₂,Φ₂)가 주어지면, Φ₁과 Φ₂를 고정하는 유일한 로컬 등거리 ‑동형 Ψ: B₁→B₂가 존재한다는 것을 보인다. 이는 Hamana의 C 경우와 완전히 유사하지만, 국소 구조 때문에 각 λ‑레벨에서의 일관성을 세심히 관리해야 한다.

또한 저자는 Arens‑Michael 분해 A ≅ lim← A_λ (각 A_λ는 C* 대수) 를 활용한다. 각 A_λ에 대해 기존 Hamana 이론에 의해 주입 포장 I(A_λ) 가 존재하고, 이들의 역극한 lim← I(A_λ) 가 A의 허용적 주입 포장이 된다. 따라서 ‘허용적 주입성’은 A의 모든 C* 성분이 주입인 경우에만 성립한다는 결론을 얻는다. 특히 프레셰 국소 W* 대수의 경우, 각 성분이 W* 대수이므로 주입성(=허용적 주입성)과 b(A) (bounded part)의 주입성이 동치임을 재확인한다.

기술적인 난관은 (1) 로컬 완전 양 사상이 연속성을 자동으로 갖는 것이 아니라는 점, (2) 허용적 사영의 이미지에 대해 C* 준노름이 유지되는지를 보장하는 복잡한 추정, (3) 역극한을 구성할 때 위로 필터링된 인덱스 집합 Λ의 가산성(프레셰 경우)과 일반적인 비가산 경우 사이의 차이를 처리하는 것이다. 저자는 각각에 대해 세밀한 보조정리와 기존 문헌(특히 Dosiev와 Hamana)의 결과를 적절히 인용하여 문제를 해결한다.

결과적으로 이 논문은 국소 C* 대수 이론에 ‘허용적 주입 포장’이라는 새로운 구조적 도구를 제공함으로써, 비가산 위상 대수나 양자역학에서 나타나는 무한 차원 연산자 대수들의 확장·분해 문제를 다루는 데 유용한 기반을 마련한다.