직교 스펙트럼

호모토피 이론에서 직교 스펙트럼(直交spectrum, )은 직교군의 등변 작용을 갖춘 스펙트럼의 일종이다. 이들의 범주는 분쇄곱을 가져 대칭 모노이드 범주를 이루며, 따라서 그 속에서 환 스펙트럼이 잘 정의된다.

정의 
가 콤팩트 생성 약한 하우스도르프 공간의 범주라고 하자. 이는 (모든 위상 공간의 범주와 달리) 데카르트 닫힌 범주를 이룬다. 이 범주에 대하여, 점을 가진 공간의 범주

를 한원소 공간  위의 쌍대 조각 범주로서 취할 수 있다. 이제, 곱공간과 분쇄곱 연산은 이 범주에서 취한다고 하자.

가 다음 세 가지 가운데 하나라고 하자.
{| class=wikitable
! 이름 !!   !!  ||  !! 구조 스펙트럼의 이름
|-
| 직교군 ||  ||  실수체 || 1 || 직교 스펙트럼()
|-
| 유니터리 군 ||  ||  복소수체 || 2 || 유니터리 스펙트럼()
|-
| 콤팩트 심플렉틱 군 ||  ||  사원수 대수 || 4 || 심플렉틱 스펙트럼()
|}

다음과 같은 범주 를 생각하자.
 의 대상은 유한 차원 -내적 공간이다.
 의 사상은 같은 차원의 내적 공간 사이의 유니터리 변환들이다. 즉, 그 사상 집합은 이다.
이는 내적 공간의 직합에 대하여 대칭 모노이드 범주를 이룬다. 실수 차원 유클리드 공간 의 알렉산드로프 콤팩트화 는 차원 초구 이며, 이에 따라 함자

가 존재한다. (밑점은 알렉산드로프 콤팩트화에 의하여 추가된 점이다.)

이 경우, 구조 스펙트럼() 는 다음과 같은 데이터로 구성된다.
 함자 . 차원 내적 공간의 상을 이라고 하자. 특히,  위에는 의 연속 작용이 주어진다.
 각 에 대하여, 밑점을 보존하는 연속 함수 . 이를 구조 사상(構造寫像, )이라고 한다. 이는 또한 다음 조건들을 만족시켜야 한다.
 (등변성) 는 의 작용에 대하여 등변 함수이다.
 (항등원)  (항등 함수)
 (결합성) 이다. (여기서 초구의 분쇄곱 사이의 표준적 사상 를 사용하였다.)

두 직교 스펙트럼 ,  사이의 사상은 구조 사상과 호환되는 자연 변환 이다. 여기서 구조 사상과 호환된다는 것은 다음 그림이 가환한다는 것이다.

일 때, 직교군 구조 스펙트럼을 줄여서 직교 스펙트럼이라고 한다. 마찬가지로, 인 경우는 유니터리 스펙트럼, 인 경우는 심플렉틱 스펙트럼이다.

성질 
대칭군 은 의 부분군이므로, 직교 스펙트럼은 (추가 구조를 갖춘) 대칭 스펙트럼이다.

직교 스펙트럼 의 안정 호모토피 군()은 다음과 같다.

직교 스펙트럼 사이의 약한 동치()는 안정 호모토피 군의 동형을 유도하는 직교 스펙트럼 사상이다. 이에 따라 직교 스펙트럼의 범주 위에는 모형 범주 구조가 존재하며, 이에 따른 호모토피 범주는 다른 스펙트럼 범주의 호모토피 범주와 동치이다.

예

현수 스펙트럼 
임의의 콤팩트 생성 약한 하우스도르프 공간 가 주어졌다고 하자. 그렇다면,

를 정의하고, 그 위의  작용은  위의 작용으로부터 유도된다고 하자. 그 위의 구조 사상은 초구의 분쇄곱 사이의 동형으로부터 유도된다. 그렇다면, 이는 구조 스펙트럼을 이룬다. 이를 의 현수 스펙트럼()이라고 한다.

특히, (0차원 초구 = 크기 2의 이산 공간)일 때, 이를 초구 스펙트럼()이라고 한다.

자유 직교 스펙트럼 
임의의 유한 차원 -벡터 공간 에 대하여, 차 성분을 고르는 함자

가 존재한다. 이 함자는 왼쪽 수반 함자

를 가지며, 구체적으로 

이다.

톰 스펙트럼 

실수에 대한 톰 스펙트럼 은 자연스럽게 직교 스펙트럼을 이룬다. 마찬가지로 는 유니터리 스펙트럼을 이룬다.

참고 문헌

외부 링크 
 
 
 
 

호모토피 이론