반사 가군

환론에서 반사 가군(反射加群, )은 스스로의 이중 쌍대 가군과 동형인 가군이다.

 정의 
환  위의 왼쪽 가군 의 쌍대 가군 은 다음과 같은 -오른쪽 가군이다.

마찬가지로, -오른쪽 가군의 쌍대 가군은 -왼쪽 가군이다.

환  위의 왼쪽 가군 이 주어졌을 때, 다음과 같은 표준적 -왼쪽 가군 준동형이 존재한다.

만약 이 가군 준동형이 단사 함수(즉, 가군 범주의 단사 사상)라면 은 준반사 가군(準反射加群, )이라고 하며, 전단사 함수(즉, 가군 범주의 동형 사상)이라면 은 반사 가군이라고 한다. (일부 영문 문헌에서 준반사 가군은 로 알려져 있으나, 이는 꼬임 없는 가군()과 다른 개념이다.)

보다 일반적으로, 환 , 와 -왼쪽 가군  및 -쌍가군 가 주어졌다고 하자. 그렇다면, 의 -쌍대 가군()은 다음과 같은 -오른쪽 가군이다.

마찬가지로, -오른쪽 가군의 쌍대 가군은 -왼쪽 가군이다. 마찬가지로 표준적인 -가군 준동형 가 존재하며, 이 준동형이 단사 함수라면 을 -준반사 가군(), 전단사 함수라면 -반사 가군()이라고 한다.

 가군층 
국소환 달린 공간  위의 -가군층 에 대하여, 다음을 정의하자.

그렇다면, 다음과 같은 표준적인 -가군층 사상을 정의할 수 있다.

이 가군층 사상이 단사 사상이라면, 을 준반사층()이라고 하며, 동형 사상이라면 을 반사층()이라고 한다.

정규 스킴 위의 인자층()은 계수 1의 반사층이다.

 성질 
모든 사영 가군은 준반사 가군이다. 모든 왼쪽 아이디얼은 반사 왼쪽 가군이다. 유한 생성 자유 가군은 반사 가군이다.

정역 위의 유한 생성 꼬임 없는 가군은 준반사 가군이다. 프뤼퍼 정역 위의 가군에 대하여, 모든 준반사 가군은 평탄 가군이다. 데데킨트 정역 위의 가군에 대하여, 꼬임 없는 가군인 것은 반사 가군인 것과 동치이다.

 반사 껍질 
환  위의 오른쪽 가군 에 대하여, 그 쌍대 가군 은 준반사 왼쪽 가군이다.

가 국소 뇌터 정역 스킴이라고 하고, 그 위의 연접층 이 주어졌다고 하자. 그렇다면,

은 항상 반사 가군층이며, 이를 의 반사 껍질()이라고 한다. (물론, 반사 가군층은 스스로의 반사 껍질과 동형이다.)

 예 
체 위의 가군 (즉, 벡터 공간)은 항상 준반사 가군이며, 반사 가군일 필요충분조건은 유한 차원인 것이다.

 위의 가군 는 꼬임 없는 가군이지만, 준반사 가군이 아니다.

 역사 
준반사 가군의 개념은 하이먼 배스가 도입하였다.

 각주 

 외부 링크 



분류:가군론
분류:층론