내부 동형과 내부 사상의 범주적 탐구

초록

이 논문은 군과 연관된 대수에서 “내부 자동동형”을 원소에 의존하지 않고 범주론적으로 정의하고, 이를 자동동형이 아닌 사상으로 확장했을 때 나타나는 새로운 현상을 분석한다. 특히 K-대수에서는 함수해석학에서 알려진 특수한 내부 사상이 등장함을 보여준다.

상세 요약

논문은 먼저 군 G의 자동동형을 범주 Grp 내에서 “모든 대상 H와 사상 f:G→H에 대해 자연스럽게 확장되는 자동동형”이라는 조건으로 정의한다. 이 조건을 만족하는 자동동형들의 집합은 G 자체와 동형이며, 실제로 각 원소 g∈G가 정의하는 내부 자동동형 φ_g(x)=gxg⁻¹가 바로 그 전형이다. 여기서 핵심은 원소 수준의 정의를 배제하고, 사상 f에 대한 펑터리얼 연장성이라는 순수 범주적 성질만으로 내부 자동동형을 포착한다는 점이다.

다음으로 연관된 K-대수 R에 대해 동일한 정의를 적용한다. 자동동형의 경우, R의 단위군 R^×를 K^×로 나눈 몫이 바로 펑터리얼하게 확장 가능한 자동동형들의 군과 동형임을 증명한다. 이는 “내부 자동동형”이 실제로는 R의 단위 원소에 의해 좌우된다는 전통적 관점과 일치하지만, 범주적 관점에서는 K의 스칼라 단위까지 고려한다는 미묘한 차이가 있다.

자동동형 대신 사상을 고려하면 상황이 달라진다. 군의 경우, 펑터리얼 연장을 만족하는 비자명한 내부 사상은 존재하지 않으며, 유일하게 추가되는 경우는 영 사상(모든 원소를 항등원으로 보내는 사상)뿐이다. 반면 K-대수에서는 “내부 사상”이라는 새로운 구조가 등장한다. 이는 함수해석학에서 흔히 보는 ‘곱셈자(multipliers)’ 혹은 ‘중심화된 사상’과 동형이며, R의 이중대수(또는 멀티플라이어 대수)에서 유도된 비가역적 사상들이 펑터리얼하게 확장될 수 있음을 보인다. 이러한 사상들은 일반적인 링 이론가들에게는 익숙하지 않지만, C∗-대수와 같은 분석적 구조에서는 자연스럽게 나타난다.

논문은 또한 이 개념을 다른 범주—예를 들어, 모듈 범주, 사상군, 그리고 Lie 대수—에 적용해 본다. 각 경우마다 “내부 사상”의 정의가 어떻게 변형되는지, 그리고 그에 따른 동형군이나 반대군이 무엇인지 상세히 조사한다. 특히 Lie 대수에서는 전통적인 내부 미분(derivation)과 비교하면서, 펑터리얼한 확장성을 갖는 미분이 실제로는 중심화된 원소에 의해 생성된다는 점을 강조한다.

마지막으로 “공내부(co‑inner) 사상”이라는 대칭 개념을 제시한다. 이는 대상 객체에서 출발하는 사상이 아니라, 대상으로 들어오는 사상에 대해 펑터리얼하게 확장되는 경우를 말한다. 이 개념은 쌍대적 관점에서 내부 사상의 구조를 이해하는 데 도움을 주며, 몇 가지 간단한 예시와 함께 가능성을 탐색한다. 논문은 여러 개방된 질문—예를 들어, 어떤 범주에서 내부 사상이 항상 자동동형으로 귀결되는가, 혹은 멀티플라이어 대수의 구조가 내부 사상의 분류에 어떤 제한을 주는가—를 제시하며 후속 연구의 방향을 제시한다.