포인티드 범주에서의 2차 함수자

초록

본 논문은 널 객체와 생성 객체 E가 존재하고 모든 객체가 E의 복사본들의 콜리밋으로 표현되는 임의의 포인티드 범주 C에서, 아벨 군값을 갖는 2차(다항도 2) 함수자들을 연구한다. 필터드 콜리밋과 적절한 동등화자를 보존하는 함수자들을 ‘quadratic C‑module’이라는 최소 대수적 자료와 일대일 대응시킨다. 특히 E가 코군일 때 구조가 단순해지며, 기존의 군 범주와 R‑모듈 범주에 대한 결과를 일반화한다.

상세 분석

논문은 먼저 C가 널 객체와 작은 정규 사영 객체 E를 갖는 포인티드 범주임을 가정한다. 이때 모든 객체 X∈C는 E의 복사본들의 콜리밋, 즉 X≅colim_i E_i 로 표현될 수 있다. 이러한 가정은 군, 링 모듈, 그리고 보다 일반적인 대수적 다양체들을 포함한다. 연구 대상은 아벨 군값을 갖는 2차 다항 함수자 F:C→Ab 로, 여기서 ‘2차’는 교차 효과(cross‑effect) cr₂F가 비자명하지만 cr₃F는 영임을 의미한다. 저자는 필터드 콜리밋과 ‘적절한’ 동등화자(예: 반사동등화자)를 보존하는 함자들을 선택함으로써, F가 충분히 ‘연속적’이며 구조를 잘 반영하도록 만든다.

핵심은 이러한 함수자를 ‘quadratic C‑module’이라는 대수적 데이터와 동등시킨다는 점이다. quadratic C‑module은 다음 세 부분으로 구성된다. 첫째, E에 대한 1차 교차 효과 cr₁F(E)=F(E) 자체, 즉 기본값; 둘째, 2차 교차 효과 cr₂F(E,E) 를 아벨 군 M이라 두고, 이는 F가 두 복사본 E∐E에 대해 어떻게 작용하는지를 포착한다. 셋째, 구조 사상들인 ψ: M→F(E)와 ω: Λ²M→M(또는 M→M) 등이 있다. ψ는 두 번째 호프 불변량을 일반화한 것으로, 두 E가 합쳐질 때 발생하는 ‘합성’ 정보를 담고, ω는 백헤드 곱(Whitehead product)과 유사하게 두 2차 요소가 교환될 때 나타나는 비가환성을 측정한다. 이 사상들은 일련의 공리(예: 대수적 연관성, 대칭성, 사상들의 합성법칙)를 만족하도록 요구되며, 이러한 공리들이 바로 quadratic C‑module의 최소 구조를 정의한다.

특히 E가 코군 구조를 가질 경우, ψ와 ω가 코군 연산과 직접적으로 연결되어 복잡한 교차 효과가 단순화된다. 코군의 경우, 합성 연산이 코덱스 형태로 주어지므로, ψ는 코덱스의 이중 적용을, ω는 코덱스의 교환 법칙을 반영한다. 이때 quadratic C‑module은 ‘abelian square group’ 혹은 ‘quadratic R‑module’과 동형이 되며, 이는 Baues와 Pirashvili가 각각 군 범주와 R‑모듈 범주에 대해 제시한 결과와 일치한다.

결과적으로, 저자는 다음과 같은 함자 동형을 증명한다.
 F:C→Ab, 필터드 콜리밋·동등화자 보존, 2차 다항 ⇔ (M,ψ,ω)∈Quadratic C‑module.
이 동형은 완전함과 충실함을 갖으며, 각 방향의 구성을 명시적으로 제공한다. 특히, 주어진 quadratic C‑module에서 F를 복원하는 과정은 교차 효과와 구조 사상을 이용한 ‘재구성’ 절차이며, 반대로 F에서 모듈을 추출하는 과정은 cr₁, cr₂와 사상 추출을 통해 이루어진다.

이와 같은 일반화는 기존의 특정 범주에 국한된 2차 함수자 이론을 포괄적인 범주론적 틀 안으로 끌어들여, 다양한 대수적 구조에 대한 ‘2차 현상’(예: 2차 동형, 2차 동치, 2차 연산)의 통합적 이해를 가능하게 한다.