베이스 변환과 교차 모듈: 가환 대수 위의 쌍대함수 체계

초록

이 논문은 가환 대수 사이의 사상 φ :P→Q에 대해 교차 모듈 범주 XMod/Q 와 XMod/P 사이를 연결하는 두 함숫값 φ⁎ (풀백)와 φ_* (유도)를 정의하고, 이들이 서로 좌·우 adjoint 관계를 이루며 p: XMod → k‑Alg 을 이중 섬유화(bifibration) 구조로 만든다는 사실을 증명한다. 또한 구체적인 예와 유도 교차 모듈의 성질을 제시한다.

상세 분석

교차 모듈은 두 가환 대수 C, R 와 대수 사상 ∂: C→R 로 구성되며, R이 C에 작용하는 구조가 Peiffer 항등식(∂(r·c)=r·∂(c), c·c′=∂(c)·c′)을 만족한다는 점에서 그룹 이론의 교차 모듈을 대수적으로 일반화한다. 논문은 먼저 이러한 교차 모듈을 객체, 그리고 교차 모듈 사상(대수 사상 f: C→C′, g: R→R′ 가 ∂′∘f=g∘∂ 및 f(r·c)=g(r)·f(c) 을 만족)으로 이루어진 범주 XMod 을 정의한다.

주된 연구 대상은 사상 φ: P→Q 에 의해 유도되는 두 변환이다. 풀백 φ⁎: XMod/Q → XMod/P 는 Q‑교차 모듈 (C,Q,∂) 을 P‑교차 모듈 (C,P,∂∘φ) 로 ‘제한’한다. 여기서 C는 기존의 Q‑대수 구조를 φ를 통해 P‑대수 구조로 바꾸는 것이며, 작용 역시 φ를 통해 전이된다. 이는 ‘스칼라 제한’과 동일한 역할을 하며, φ⁎가 카테고리 이론에서의 cartesian lift에 해당함을 논문은 상세히 증명한다.

반대로 유도함수 φ_*: XMod/P → X모듈/Q 는 좌측 adjoint 로서, 주어진 P‑교차 모듈 (D,P,δ) 에 대해 텐서 곱 D⊗_P Q 에 Q‑대수 구조를 부여하고, ∂ind = δ⊗id_Q 를 정의한다. 이때 Q가 P‑모듈로서 평탄(flat)하면 φ*가 정확히 좌측 유도함수임을 보이며, 일반 경우에도 텐서 곱의 보편적 성질을 이용해 adjunction을 구성한다. 즉,
\