복시테인 준동형

호몰로지 대수학에서 복시테인 준동형(Бокштейн準同型, )은 아벨 군의 짧은 완전열에 의하여 생성되는 코호몰로지 연산이다.

정의 
공사슬 복합체의 짧은 완전열이 주어졌다고 하자.

그렇다면, 지그재그 보조정리를 사용해 다음과 같은 코호몰로지 긴 완전열을 만들 수 있다.

연결 사상 을 복시테인 준동형이라고 한다. 여기서

는 사슬 복합체의 현수이다.

사슬 복합체의 호몰로지의 경우에도 마찬가지로 복시테인 준동형이 존재한다. 일반적으로, 원래 (공)사슬 복합체의 등급이 라면, 복시테인 준동형의 등급 역시 이다.

복시테인 스펙트럼 열 
공사슬 복합체 의, 등급 의 단사 자기 사상

이 주어졌다고 하자. 그렇다면, 다음과 같이 짧은 완전열을 적을 수 있다.

그렇다면, 이에 대한 코호몰로지를 취하면 다음과 같은 완전쌍을 얻는다.

이에 대하여 유도되는 스펙트럼 열을 복시테인 스펙트럼 열(Бокштейн spectrum列, )이라고 하며, 그 첫 쪽은 다음과 같다.

만약 이며 가 하계를 갖는다면 (즉, 가 하계를 갖는다면), 이는 다음으로 수렴한다.

마찬가지로 호몰로지의 경우에도 복시테인 스펙트럼 열을 적을 수 있다.

예

스틴로드 연산 
가장 흔히 쓰이는 복시테인 준동형은 다음 짧은 완전열로부터 유도한, 코호몰로지에 대한 준동형들이다.

그렇다면, 위상 공간  위의 특이 사슬 복합체에 대하여 다음과 같은 짧은 완전열이 존재한다.

이로부터 다음과 같은 복시테인 준동형을 유도한다.

이는 다음과 같은 성질들을 만족시킨다.
  (은 3 이상의 소수)
 
따라서, 이 복시테인 준동형은 (등급 달린) 라이프니츠 법칙을 만족시키는 (등급) 미분을 이룬다.

정수 슈티펠-휘트니 특성류 
이와 비슷하게, 짧은 완전열

에 대한 복시테인 준동형

또한 쓰인다. 예를 들어, 정수 슈티펠-휘트니 특성류 는 (일반) 슈티펠-휘트니 특성류 에 복시테인 준동형을 가하여 얻는다.

역사 
메예르 펠릭소비치 복시테인(, 1913~1990)이 도입하였다.

참고 문헌

외부 링크 
 
 

호몰로지 이론
대수적 위상수학