군상 작용과 범주 교차곱의 C 별 구조

초록

이 논문은 군상 G가 작은 범주 H에 작용할 때, 반작용 범주 H×ₐG와 그 C*‑알제브라를 분석한다. 저자는 H의 정규 부분범주 Hᵣ을 찾아 Hᵣ×ₐG가 원래의 반작용과 동일함을 보이고, G의 준작용 β를 정의해 C*(Hᵣ)와의 교차곱이 C*(Hᵣ×ₐG)와 동형임을 증명한다.

상세 분석

논문은 먼저 NOT 논문에서 제시된 군상 G가 작은 범주 H에 작용한다는 정의(Definition 4)를 재검토한다. 여기서 작용은 각 객체와 사상에 대해 부분동형사상이 존재하고, 작용 대상이 제한된 부분집합 G⁰와 H⁰ 사이의 일대일 대응을 만족한다는 점이 핵심이다. 저자는 이러한 작용으로부터 반작용 반대곱 범주 H×ₐG를 구성하는데, 이는 객체쌍 (h,g)와 사상쌍 (α_g(h),g) 로 이루어진 구조이며, Proposition 8에 따라 범주의 합성법칙이 자연스럽게 정의된다.

다음 단계에서는 “정규성(regularity)”이라는 새로운 성질을 도입한다. 정규성은 H의 모든 사상이 G의 작용에 대해 일정한 동등관계를 유지하면서, 작용이 제한된 부분범주 Hᵣ에서도 동일하게 정의될 수 있음을 의미한다. 구체적으로, Hᵣ는 G‑불변 사상들의 집합으로 구성되며, Hᵣ×ₐG가 전체 반작용 H×ₐG와 동형임을 보이기 위해 저자는 두 범주의 객체와 사상의 일대일 대응을 명시적으로 구축한다. 이 과정에서 G‑작용의 전이성(transitivity)과 부분동형성(injectivity)이 핵심적인 역할을 한다.

그 후, C*‑알제브라적 관점으로 전환한다. EXE 논문에서 정의된 반세미군대(semigroupoid) C*‑알제브라 C*(Hᵣ)를 사용해, G에 대한 “준작용(quasi‑action)” β를 정의한다. β는 전통적인 ‑동형 작용이 아니라, 각 g∈G에 대해 C(Hᵣ)의 부분대수에 대한 *‑동형을 제공하지만, 정의역이 전체가 아니라 Hᵣ의 특정 부분에 제한된다. Definition \ref{quasi}에 따라 β는 (i) ‑보존성, (ii) 곱셈에 대한 부분적 호환성, (iii) 단위원소와의 관계를 만족한다. 이러한 조건은 일반적인 작용보다 약하지만, 교차곱 C(Hᵣ)×_βG를 정의하기에 충분히 강력하다.

마지막으로, 저자는 두 교차곱 구조가 동형임을 증명한다. 구체적으로, C*(Hᵣ×ₐG)와 C*(Hᵣ)×_βG 사이에 ‑동형 φ를 구성하는데, φ는 반작용 범주의 사상을 C(Hᵣ)의 생성원소와 G의 표준 유니터리 표현으로 매핑한다. 이때 φ가 전단사임을 보이기 위해, 사상들의 정규성에 의해 얻어지는 직교 관계와 G‑작용의 가환성을 활용한다. 결과적으로, C*‑교차곱 구조가 범주론적 반작용과 동일한 정보를 담고 있음을 확인한다. 이 연구는 군상 작용을 통한 범주 C*‑알제브라의 구조적 이해를 심화시키며, 기존의 군 작용 사례를 일반화하는 중요한 발판을 제공한다.