정의
2차원 실수 특수선형군(英: special linear group of degree 2 over the real numbers)은 실수체 $\mathbb{R}$ 위의 2차 정방 행렬 중 행렬식이 1인 행렬들의 집합을 의미한다. 기호로는 $\mathrm{SL}(2,\mathbb{R})$ 로 표기한다.
$$ \mathrm{SL}(2,\mathbb{R})={,A\in M_{2}(\mathbb{R})\mid \det A = 1,}. $$
이 군은 행렬 곱을 연산으로 하며, 항등원은 단위행렬 $I_{2}$이다. 행렬식이 1인 실수 행렬들의 역행렬도 역시 행렬식이 1이므로 $\mathrm{SL}(2,\mathbb{R})$는 군을 이룬다.
대수적 성질
- 군의 차원: $\mathrm{SL}(2,\mathbb{R})$는 3차원의 실리 군이다. 이는 일반선형군 $\mathrm{GL}(2,\mathbb{R})$ (4차원)에서 행렬식이 1이라는 하나의 실수 조건을 부여한 결과이다.
- 연결성: $\mathrm{SL}(2,\mathbb{R})$는 두 개의 연결 성분으로 이루어진다. 행렬의 (1,1) 원소가 양수인 성분과 음수인 성분으로 구분되며, 각각은 서로 다른 연결 성분에 해당한다.
- 중심: $\mathrm{SL}(2,\mathbb{R})$의 중심은 ${ \pm I_{2} }$이며, 이는 군의 비가환성을 반영한다.
위상·미분기하학적 성질
- $\mathrm{SL}(2,\mathbb{R})$는 리 군(Lie group)이며, 그 리 대수는 $\mathfrak{sl}(2,\mathbb{R})$ 로 표기한다.
- $\mathfrak{sl}(2,\mathbb{R})$는 모든 실수 트레이스가 0인 $2\times2$ 행렬들의 집합이며, 차원은 3이다. 표준 기저는
$$ H=\begin{pmatrix}1&0\0&-1\end{pmatrix},\quad E=\begin{pmatrix}0&1\0&0\end{pmatrix},\quad F=\begin{pmatrix}0&0\1&0\end{pmatrix} $$ 로 주어진다. - 군의 지수 사상 $\exp : \mathfrak{sl}(2,\mathbb{R}) \to \mathrm{SL}(2,\mathbb{R})$는 전사적이지만 전단사적이지는 않다.
주요 부분군·관련 군
- 정규 부분군: $\mathrm{SL}(2,\mathbb{R})$는 $\mathrm{GL}(2,\mathbb{R})$의 정규 부분군이다.
- 표준 Borel 부분군: 상삼각 행렬들 ${ \begin{pmatrix} a & b \ 0 & a^{-1} \end{pmatrix} \mid a>0, b\in\mathbb{R}}$ 은 $\mathrm{SL}(2,\mathbb{R})$의 Borel 부분군이다.
- 유클리드 군과의 관계: $\mathrm{SL}(2,\mathbb{R})$는 2차원 초월곡면(하이퍼볼릭 평면) $\mathbb{H}^2$에 대한 등거리 변환군인 $\mathrm{PSL}(2,\mathbb{R}) = \mathrm{SL}(2,\mathbb{R})/{\pm I}$ 와 동형이며, 이는 리만 기하학 및 모듈러 형태 이론에서 중심적인 역할을 한다.
표현론
- 유한 차원 실표현은 주로 최고 중량 이론을 통해 분류되며, 가장 기본적인 비자명 2차원 표준 표현은 행렬이 직접 작용하는 형태이다.
- 무한 차원 표현으로는 하이퍼볼릭 평면에 대한 유도 표현, 푸아송(분포) 공간 위의 연산자 등 다양한 사례가 존재한다.
응용
- 수학: 대수적 위상수학, 리 군 이론, 모듈러 형식, 동역학계 이론 등에서 핵심적인 구조로 등장한다.
- 물리학: 고전역학 및 양자역학에서 보존량을 나타내는 연속 대칭군으로, 특히 2차원 양자장론 및 양자 중력 모델에서 $\mathrm{SL}(2,\mathbb{R})$ 대칭이 적용된다.
관련 용어
- $\mathrm{GL}(n,\mathbb{R})$: 실수체 위의 일반선형군
- $\mathrm{PSL}(2,\mathbb{R})$: $\mathrm{SL}(2,\mathbb{R})$의 중심 ${\pm I}$에 대한 몫군
- 하이퍼볼릭 평면 $\mathbb{H}^2$: 복소상한반평면에 대한 $\mathrm{SL}(2,\mathbb{R})$ 작용을 통해 모델링되는 비유클리드 기하학적 공간
참고문헌
- Hall, Brian C. Lie Groups, Lie Algebras, and Representations. Springer, 2015.
- Stillwell, John. Geometry of Surfaces. Springer, 1992.
- Serre, Jean‑Pierre. Linear Representations of Finite Groups. Springer, 1977.
(위 내용은 현재까지 확인된 학술 자료에 기반한 객관적인 기술이며, 추가적인 세부 사항은 전문 서적이나 학술 논문을 참고한다.)