반사 가군

환론에서 반사 가군(反射加群, 영어: reflexive module)은 스스로의 이중 쌍대 가군과 동형인 가군이다. 환 R {\displaystyle R} 위의 왼쪽 가군 R M {\displaystyle _{R}M} 의 쌍대 가군 M R ∨ {\displaystyle M_{R}^{\vee }} 은 다음과 같은 R {\displaystyle R} -오른쪽 가군이다. R ∨ = hom ⁡ ( R M , R R ) {\displaystyle R^{\vee }=\hom(_{R}M,_{R}R)} ( f r ) : ( m ↦ f ( m ) r ) ∀ f ∈ R ∨ , r ∈ R , m ∈ M {\displaystyle (fr)\colon (m\mapsto f(m)r)\qquad \forall f\in R^{\vee },\;r\in R,\;m\in M} 마찬가지로, R {\displaystyle R} -오른쪽 가군의 쌍대 가군은 R {\displaystyle R} -왼쪽 가군이다. 환 R {\displaystyle R} 위의 왼쪽 가군 R M {\displaystyle _{R}M} 이 주어졌을 때, 다음과 같은 표준적 R {\displaystyle R} -왼쪽 가군 준동형이 존재한다. M → M ∨ ∨ {\displaystyle M\to M^{\vee \vee }} m ↦ ( f ↦ f ( m ) ) ∀ m ∈ M , f ∈ M ∨ {\displaystyle m\mapsto (f\mapsto f(m))\qquad \forall m\in M,\;f\in M^{\vee }} 만약 이 가군 준동형이 단사 함수(즉, 가군 범주의 단사 사상)라면 M {\displaystyle M} 은 준반사 가군(準反射加群, 영어: semireflexive module)이라고 하며, 전단사 함수(즉, 가군 범주의 동형 사상)이라면 M {\displaystyle M} 은 반사 가군이라고 한다.:413, 144 (일부 영문 문헌에서 준반사 가군은 영어: torsionless module로 알려져 있으나,:§4.64 이는 꼬임 없는 가군(영어: torsion-free module)과 다른 개념이다.) 보다 일반적으로, 환 R {\displaystyle R} , S {\displaystyle S} 와 R {\displaystyle R} -왼쪽 가군 R M {\displaystyle _{R}M} 및 ( R , S ) {\displaystyle (R,S)} -쌍가군 R U S {\displaystyle _{R}U_{S}} 가 주어졌다고 하자. 그렇다면, R M {\displaystyle _{R}M} 의 U {\displaystyle U} -쌍대 가군(영어: U {\displaystyle U} -dual module)은 다음과 같은 S {\displaystyle S} -오른쪽 가군이다. R ∨ = hom ⁡ ( R M , R U S ) {\displaystyle R^{\vee }=\hom(_{R}M,_{R}U_{S})} 마찬가지로, S {\displaystyle S} -오른쪽 가군의 쌍대 가군은 R {\displaystyle R} -왼쪽 가군이다. 마찬가지로 표준적인 R {\displaystyle R} -가군 준동형 R → R ∨ ∨ {\displaystyle R\to R^{\vee \vee }} 가 존재하며, 이 준동형이 단사 함수라면 M {\displaystyle M} 을 U {\displaystyle U} -준반사 가군(영어: U {\displaystyle U} -semireflexive module), 전단사 함수라면 U {\displaystyle U} -반사 가군(영어: U {\displaystyle U} -reflexive module)이라고 한다. 국소환 달린 공간 ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} 위의 O X {\displaystyle {\mathcal {O}}_{X}} -가군층 M {\displaystyle {\mathcal {M}}} 에 대하여, 다음을 정의하자. M ∨ = hom O X ⁡ ( M , O X ) {\displaystyle {\mathcal {M}}^{\vee }=\hom _{{\mathcal {O}}_{X}}({\mathcal {M}},{\mathcal {O}}_{X})} 그렇다면, 다음과 같은 표준적인 O X {\displaystyle {\mathcal {O}}_{X}} -가군층 사상을 정의할 수 있다. M → M ∨ ∨ {\displaystyle {\mathcal {M}}\to {\mathcal {M}}^{\vee \vee }} ( s ∈ Γ ( U ; M ) ) ↦ ( ( f ∈ Γ ( U ; hom O X ⁡ ( O X , M ) ) ↦ f ( s ) ) ∀ U ∈ Open ⁡ ( X ) {\displaystyle \left(s\in \Gamma (U;{\mathcal {M}})\right)\mapsto \left((f\in \Gamma \left(U;\hom _{{\mathcal {O}}_{X}}({\mathcal {O}}_{X},{\mathcal {M}})\right)\mapsto f(s)\right)\qquad \forall U\in \operatorname {Open} (X)} 이 가군층 사상이 단사 사상이라면, M {\displaystyle {\mathcal {M}}} 을 준반사층(영어: semireflexive sheaf of modules)이라고 하며, 동형 사상이라면 M {\displaystyle {\mathcal {M}}} 을 반사층(영어: reflexive sheaf of modules)이라고 한다. 정규 스킴 위의 인자층(영어: divisorial sheaf)은 계수 1의 반사층이다. 모든 사영 가군은 준반사 가군이다.:144, Remark 4.65(b) 모든 왼쪽 아이디얼은 반사 왼쪽 가군이다.:144, Remark 4.65(b) 유한 생성 자유 가군은 반사 가군이다. 정역 위의 유한 생성 꼬임 없는 가군은 준반사 가군이다. 프뤼퍼 정역 위의 가군에 대하여, 모든 준반사 가군은 평탄 가군이다. 데데킨트 정역 위의 가군에 대하여, 꼬임 없는 가군인 것은 반사 가군인 것과 동치이다. 환 R {\displaystyle R} 위의 오른쪽 가군 M R {\displaystyle M_{R}} 에 대하여, 그 쌍대 가군 R ( M ∨ ) {\displaystyle _{R}(M^{\vee })} 은 준반사 왼쪽 가군이다.:145, Remark 4.65(f) ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} 가 국소 뇌터 정역 스킴이라고 하고, 그 위의 연접층 M {\displaystyle {\mathcal {M}}} 이 주어졌다고 하자. 그렇다면, M ∨ ∨ {\displaystyle {\mathcal {M}}^{\vee \vee }} 은 항상 반사 가군층이며, 이를 M {\displaystyle {\mathcal {M}}} 의 반사 껍질(영어: reflexive hull)이라고 한다. (물론, 반사 가군층은 스스로의 반사 껍질과 동형이다.) 체 위의 가군 (즉, 벡터 공간)은 항상 준반사 가군이며, 반사 가군일 필요충분조건은 유한 차원인 것이다. Z {\displaystyle \mathbb {Z} } 위의 가군 Q {\displaystyle \mathbb {Q} } 는 꼬임 없는 가군이지만, 준반사 가군이 아니다.:145, Remark 4.65(e) 준반사 가군의 개념은 하이먼 배스가 도입하였다.:144, §4H:95, §4:22, §3 Lam, Tsit-Yuen (1999). 《Lectures on modules and rings》. Graduate Texts in Mathematics (영어) 189. Springer. doi:10.1007/978-1-4612-0525-8. ISBN 978-0-387-98428-5. MR 1653294.  Lam, T. Y. (1999). 〈Bass’s work in ring theory and projective modules〉. Lam, L. Y.; Magid, A. R. 《Algebra, K-theory, groups, and education on the occasion of Hyman Bass’s 65th birthday》. Contemporary Mathematics (영어) 243. American Mathematical Society. 83–124쪽. arXiv:math/0002217. Bibcode:2000math......2217L. doi:10.1090/conm/243/03688. ISBN 978-0-8218-1087-3. MR 1732042.  Bass, Hyman (1962년 1월). “Injective dimension in Noetherian rings”. 《Transactions of the American Mathematical Society》 (영어) 102 (1): 18–29. doi:10.1090/S0002-9947-1962-0138644-8. ISSN 0002-9947. JSTOR 1993878. MR 0138644.  Conrad, Keith. “Dual modules” (PDF) (영어).  Schwede, Karl. “Generalized divisors and reflexive sheaves” (PDF) (영어). [깨진 링크(과거 내용 찾기)]