이중선형 사상의 분할·쌍대·단순성 연구

초록

본 논문은 이중선형(양선형) 사상 사이의 사상인 ‘adjoint‑morphism’를 도입해 전완 아벨 범주를 구성하고, 이 범주가 사영체와 이중체의 대칭성을 어떻게 구현하는지 밝힌다. 특히 비퇴화 adjoint‑morphism에 대해 단순한(division) 이중선형 사상이 어떻게 선형 기하의 원자 역할을 하는지, 그리고 이러한 구조가 비결합 나눗셈 링의 principal isotopism과 일치함을 보인다. 또한 이전 사전 인쇄물의 오류를 정정한다.

상세 분석

논문은 먼저 양선형 사상(이하 bimap)을 두 개의 모듈 V, W와 목표 모듈 Z 위에 정의하고, 이들 사이의 ‘adjoint‑morphism’를 (α,β): B→C 로서 α:V→V′, β:W′→W 가 만족하는 조건 β∘B(v,·)=C(α(v),·) 를 제시한다. 이러한 쌍은 자연스럽게 합성과 항등을 가짐으로써 범주 Adj(Bimaps) 를 형성한다. 저자는 이 범주가 전완 아벨 범주임을 증명하고, 특히 모든 사상에 대한 핵과 상이 존재함을 보이며, 프로젝트 객체는 자유 모듈을 기반으로 한 표준 bimap(예: ⟨·,·⟩: Rⁿ×Rⁿ→R) 으로 구성됨을 확인한다.

다음으로 ‘dual성’에 주목한다. 각 bimap B에 대해 전치 bimap Bᵗ 를 정의하고, (α,β) 의 전치 (β,α) 가 adjoint‑morphism임을 이용해 범주 내에 반전(contravariant) 자기동형을 만든다. 이때 B와 Bᵗ 사이의 쌍대성은 전통적인 모듈 이론의 Hom‑Dual와 유사하지만, 범주 자체가 모듈 범주가 아니라는 점에서 새로운 현상을 보여준다.

기하학적 관점에서는 곱(product)이 ‘직교합(orthogonal sum)’이라는 해석을 제공한다. 두 bimap B₁, B₂ 의 직접합 B₁⊕B₂ 은 Z‑값이 서로 직교하도록 구성되며, 이는 선형 공간에서 직교 직합이 갖는 보존성을 그대로 반영한다.

핵심적인 결과는 ‘division bimap’ 의 정의이다. 비퇴화 adjoint‑morphism 에 대해 핵이 0이고 상이 전체인 bimap 을 단순 객체라 부른다. 이러한 단순 객체는 곱셈에 영원히 0이 되는 원소가 없으므로, 선형 기하에서 ‘원자’ 역할을 하며, 전통적인 나눗셈 링(division ring)의 비결합·비연관 버전과 일대일 대응한다. 저자는 adjoint‑isomorphism 이 바로 principal isotopism 과 동등함을 증명함으로써, 비연관 나눗셈 링을 이 범주 내에서 연구할 수 있는 새로운 틀을 제공한다.

마지막으로 Remark 2.11 에서 이전 사전 인쇄물에서 제시된 ‘모든 adjoint‑morphism 은 완전 사상이다’라는 부정확한 주장에 대한 오류를 지적하고, 정확한 반례와 수정된 정리를 제시한다. 이는 전체 이론의 일관성을 확보하는 데 중요한 교정이다.