모리타 문맥(Morita context)은 환론(Ring theory)과 범주론(Category theory)에서 두 환 사이의 모리타 동치(Morita equivalence) 관계를 기술하고 일반화하기 위해 기이티 모리타(Kiiti Morita)가 도입한 대수적 구조이다. 이는 두 환의 가군 범주(Module category) 사이의 동치를 주는 데이터를 구체적으로 기술하는 역할을 한다.
정의 모리타 문맥은 6-튜플 $(R, S, {}_R M_S, {}_S N_R, \phi, \psi)$로 구성되며, 다음 조건을 만족한다.
- $R$과 $S$는 환(단위원을 가짐)이다.
- ${}_R M_S$는 $R$-$S$ 쌍가군(Bimodule)이다.
- ${}_S N_R$은 $S$-$R$ 쌍가군이다.
- $\phi: M \otimes_S N \to R$은 $R$-$R$ 쌍가군 준동형이다.
- $\psi: N \otimes_R M \to S$는 $S$-$S$ 쌍가군 준동형이다.
- 다음 연관성 조건(Associativity conditions)을 만족한다.
- $\phi(m \otimes n) m' = m \psi(n \otimes m')$ for all $m, m' \in M, n \in N$
- $n \phi(m \otimes n') = \psi(n \otimes m) n'$ for all $n, n' \in N, m \in M$
성질과 의의
- 모리타 동치와의 관계: 위 문맥에서 $\phi$와 $\psi$가 모두 전사(Surjective)일 때, 이 문맥을 엄밀한 모리타 문맥(Strict Morita context)이라 한다. 이 경우 $R$과 $S$는 모리타 동치이며, 범주 $R\text{-Mod}$와 $S\text{-Mod}$는 범주론적 의미에서 동치이다.
- 일반화: 전사 조건을 완화하면, 두 환 사이의 더 일반적인 관계(예: 몫환, 코너 환 등)를 기술하는 틀이 된다.
- 환의 확장: 모리타 문맥으로부터 다음 행렬 환으로 이루어진 모리타 환(Morita ring) 또는 형식 삼각 행렬 환(Formal triangular matrix ring)을 구성할 수 있다. $$ \Lambda = \begin{pmatrix} R & M \ N & S \end{pmatrix} $$ 곱셈은 $(r, m, n, s)(r', m', n', s') = (rr' + \phi(m \otimes n'), rm' + m's, nr' + sn', ss' + \psi(n \otimes m'))$로 정의된다. 이 환의 가군 범주는 원래 문맥의 데이터로부터 복원 가능하다.
활용 분야
- 환론에서 동치 범주를 분류하고 새로운 환을 구성하는 도구로 쓰인다.
- 대수적 기하학에서 층의 범주 동치를 연구하는 데 활용된다.
- 논콤뮤터티브 기하학(Noncommutative geometry) 및 표현론에서 기본적인 기술 도구로 사용된다.
