동차 공간

기하학에서 **동차 공간**(同次空間, homogeneous space)이란 그 자기 동형군이 추이적으로 작용하는 공간이다. 여기서 ‘공간’이란 다루는 수학적 구조에 따라 다른데, 위상 공간, 매끄러운 다양체, 또는 리만 다양체 등이 될 수 있다. 에를랑겐 프로그램의 관점에서, 동차 공간은 “모든 점이 평등한” 공간이다. 사실, 19세기 중반에 발표된 리만 기하학 이전의 모든 기하학적 공간은 동차 공간이었다. 예를 들어 유클리드 공간, 아핀 공간, 사영 공간 등은 전부 각자의 대칭군에 대해 동차 공간이다. 쌍곡 공간을 비롯해 일정한 곡률을 갖는 비유클리드 기하학적 공간들도 마찬가지이다.
# 정의
유한 곱을 갖는 구체적 범주 \mathcal C \to \operatorname{Set}가 주어졌다고 하자. 그렇다면, 그 속의 군 대상의 개념을 정의할 수 있다. \mathcal C 속의 대상 X가 다음 조건을 만족시킨다면, 이를 **동차 공간**이라고 한다. * 어떤 군 대상 G에 대하여, 어떤 작용 G\times X\to X이 추이적 작용을 이룬다. (이 작용은 \mathcal C의 사상을 이루어야 한다.) 여기서, G가 \mathcal C의 군 대상이어야 한다는 조건은 생략될 수 없다. (예를 들어, 모든 연결 다양체 M은 미분 동형 사상군 \operatorname{Diffeo}(M)의 추이적 작용을 갖지만, 대부분의 연결 다양체는 동차 다양체가 아니다.) 범주 \mathcal C는 위상 공간의 범주 \operatorname{Top}, 다양체의 범주 \operatorname{Mfd}, 또는 매끄러운 다양체의 범주 \operatorname{Diff} 등으로 잡을 수 있다. 추이적 작용의 존재에 의하여, 동차 공간에서 임의의 두 점들은 대칭에 의하여 서로 동치이며, 다시 말해 모든 점들이 서로 “평등하게” 된다.
## 잉여류 공간으로서의 표현
위상군 G가 동차 공간 M에 추이적으로 작용한다고 하자. 그렇다면 임의의 점 x\in M이 주어졌을 때, 그 안정자군 H=G_x에 대하여 M=G/H임을 보일 수 있다. 즉, 원점이 주어지면 동차 공간을 잉여류 공간 G/H로 생각할 수 있다. 그러나 원점의 선택은 유일하지 않으므로, 동차 공간은 “원점을 잊은” 잉여류 공간이다. 마찬가지로, \operatorname{Diff}에서의 동차 공간(즉, 동차 다양체)은 마찬가지로 리 군 G와 그 닫힌 부분군 H의 잉여류 공간 G/H로 여길 수 있다.
# 성질
매끄러운 다양체의 범주 \operatorname{Diff} 속의 동차 공간 G/H를 생각하자. 그 리 대수가 :\mathfrak h\subseteq\mathfrak g 라고 하자. 만약 :\mathfrak g=\mathfrak h+\mathfrak m :\operatorname{Ad}(H)\mathfrak h\subseteq\mathfrak m 인 실수 벡터 공간 \mathfrak m\subseteq\mathfrak g이 존재한다면, G/H를 **가약 동차 공간**(可約同次空間, reductive homogeneous space)라고 하자.url-status=dead136, Definition 15url-status=deadDefinition 1.40 이 경우, 다음과 같은 두 집합 사이에 표준적인 일대일 대응이 존재한다.137, §2.2 * G/H 위의 G-불변 리만 계량 \eta(-,-) (즉, 임의의 g\in G에 대하여, \mathsf L_g^*\eta = \eta * \mathfrak m 위의 \operatorname{Ad}(H)-불변 내적 \langle-,-\rangle 이 일대일 대응은 :\mathrm T_1(G/H) \cong \mathfrak m 으로부터 유도된다. 또한, 다음과 같은 두 집합 사이에 표준적인 일대일 대응이 존재한다.Theorem 1.41 * G/H 위의 G-불변 아핀 접속 \nabla * \mathfrak m 위의 쌍선형 사상 B \colon \mathfrak m \otimes \mathfrak m \to \mathfrak m 가운데, \operatorname{Ad}(H)에 대하여 불변인 것 이 일대일 대응은 구체적으로 다음과 같다. :B(X,Y) = \nabla_Y X 이러한 쌍선형 사상 가운데, B = 0에 대응하는 아핀 접속을 G/H의 **표준 접속**(canonical connection)이라고 한다.Proposition 1.42Definition 18 이는 다음 조건을 만족시키는 유일한 아핀 접속 \nabla이다. * \nabla에 의한 평행 이동은 G의 작용에 대한 밂과 같다. 즉, 임의의 벡터 y\in\mathrm T_{gH}(G/H) 및 x\in\mathfrak g에 대하여, *:\operatorname{Ad}(\exp(tx))y = \Gamma(t\mapsto \exp tx)_{gH}^{\exp(tx)g} (y) \qquad t\in\mathbb R 여기서 \exp\colon\mathfrak g\to G는 G의 리 지수 사상이며, 우변의 \Gamma는 지수 사상으로 정의되는 곡선에 대한 벡터의 평행 이동이다. 표준 접속의 비틀림 텐서 \operatorname{Tors}(\nabla)_{ij}{}^k 및 리만 곡률 텐서 \operatorname{Riem}(\nabla)_{ij}{}^k{}_l를 생각하자. 이 경우, 다음이 성립한다. :0 = \nabla_l \operatorname{Tors}(\nabla)_{ij}{}^k :0 = \nabla_m \operatorname{Riem}(\nabla)_{ij}{}^k{}_l
# 예

## 집합
집합의 범주 \operatorname{Set}에서, 모든 집합은 (스스로 위의 대칭군의 작용에 의하여) 자명하게 동차 공간이다.
## 동차 다양체
매끄러운 다양체의 범주에서, 동차 다양체들은 다음이 있다. {| class="wikitable" |- ! 이름 !! 기호 !! 자기 동형군 G !! 안정자군 H |- | 초구 || S^n || O(*n*+1) || O(*n*) |- | 아핀 공간 || \mathbb R^n || 유클리드 군 E(*n*) || O(*n*) |- | 쌍곡 공간 || H^n || O(1,*n*) || O(*n*) |- | 더 시터르 공간 || dS_n || O(1,*n*) || O(1,*n*−1) |- | 민코프스키 공간 || \mathbb R^{1,n-1} || 푸앵카레 군 E(1,*n*−1) || 로런츠 군 O(1,*n*−1) |- | 반 더 시터르 공간 || AdS_n || O(2,n-1) || O(1,n) |- | 복소수 사영 공간 || \mathbb CP^n || U(*n*+1) || U(*n*) × U(1) |- | 그라스만 다양체 || Gr(*r*,*n*) || O(*n*) || O(*r*) × O(*n*−*r*) |}