크레인 C 범주와 그 표현 정리

본 논문은 “Krein C*-범주”라는 새로운 범주론적 구조를 제안하고, 이를 뒷받침하는 일련의 정의, 예시, 그리고 대표 정리를 체계적으로 전개한다. 1. **배경 및 동기** - 전통적인 C*-대수는 힐베르트 공간 위의 유계 연산자들의 닫힌 *‑대수로 정의되며, C*-범주는 이러한 대수를 객체가 여러 개인 경우로 일반화한 *‑범주이다. - 물리학 및 수학에서 부정적 내적을 갖는 Krein 공간이 등장함에 따라, 힐베르트 공간 대신 Krein 공간을 사용한 연산자 이론이 필요해졌다. 2. **Krein 공간과 기본 대칭** - Krein 공간 K는 Hermitian sesquilinear form (·,·)를 갖고, 적어도 하나의 직합 분해 K=K⁺⊕K⁻가 존재한다. 여기서 K⁺와 K⁻는 각각 양·음의 힐베르트 공간이며, J:x⁺+x⁻↦x⁺−x⁻ 로 정의되는 자가동형 J를 “기본 대칭”이라 부른다. - J에 의해 유도된 새로운 내적 |x|_J = (Jx,x)^{1/2}는 K 전체에 강한 위상을 제공한다. 3. **Krein C*-대수** - 기존 C*-대수에 추가적으로 *‑자동동형 α (α²=Id)와 ‖α(x*)x‖=‖x‖² 라는 조건을 부과한다. α는 Krein 공간의 기본 대칭에 대응한다. - α에 의해 정의된 새로운 involution x†=α(x*)를 사용하면, (A,†,‖·‖_α)는 전통적인 C*-대수의 공리를 만족한다. - 대표적인 예로, Krein 공간 K 위의 연속 연산자 대수 B(K)와 그 *‑부분대수들이 Krein C*-대수의 전형적인 사례가 된다. 4. **Krein C*-범주의 정의** - *‑범주 C에 최소 하나의 Banach 노름을 부여하여 모든 동형 사상 Hom_C(A,B)가 Banach 공간이 되도록 한다. - 합성 연산은 연속이며, *‑연산은 등거리(‖x*‖=‖x‖)이고, 각 동형 사상 x에 대해 x*∘x가 “양” 원소(즉, 자기양)임을 요구한다. - 이러한 조건 하에 각 객체 A에 대한 “대각 블록” Hom_C(A,A)는 Krein C*-대수와 동형이며, “비대각 블록” Hom_C(A,B)는 해당 대각 대수들 위의 Hilbert C*-바이모듈 구조를 갖는다. 5. **예시** - 힐베르트 공간들의 모임 H에 대한 연산자 범주 B(H)는 전통적인 C*-범주이다. - Krein 공간들의 모임 K에 대한 연산자 범주 B(K)는 위에서 정의한 Krein C*-범주의 전형적인 예시이며, 각 객체마다 선택된 기본 대칭 J에 따라 B(K) 안의 연산자들은 J‑보존성을 만족한다. 6. **상태와 GNS‑형 표상** - C*-범주에 대한 “상태”(state) ω를 정의하고, ω에 대해 GNS‑형 표상 π_ω를 구축한다. 이는 각 객체 A에 힐베르트 공간 H_A와 벡터 ξ_A를 부여하여 ω(x)=⟨ξ_A,π_ω(x)ξ_B⟩ 를 만족한다. - 모든 상태들의 직합을 취하면 C*-범주의 등거리 표상이 존재함을 보인다. 7. **Krein C*-범주의 Gel’fand‑Naimark 정리** - 위의 GNS‑구조를 Krein C*-범주에 그대로 적용한다. 각 객체마다 선택된 기본 대칭 J에 의해 정의된 힐베르트 공간 |·|_J를 사용하면, 동형 사상들은 J‑보존 연산자로서 표상될 수 있다. - 결과적으로, Krein C*-대수는 Hilbert 공간 위의 C*-대수와 마찬가지로 등거리 *‑표상을 갖으며, Krein C*-범주는 B(K)와 같은 구체적인 연산자 범주에 동형인 “표준” 형태의 표상을 가진다. 8. **결론 및 전망** - 논문은 C*-범주 이론을 Krein 공간으로 일반화하는 최초의 체계적인 시도이며, 기본 대칭을 통한 “양‑음” 구조 보존이 핵심 아이디어임을 강조한다. - 향후 연구에서는 Krein C*-범주의 K-이론, 모듈 이론, 그리고 양자장론 등 물리학적 응용에 대한 탐구가 기대된다.