극대 원환면

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 성질
4. 근계
5. 바일 군
6. 바일 적분 공식
7. 예
참조

1. 개요

극대 원환면은 연결 콤팩트 리 군 G 내에서 원환면과 미분 동형인 닫힌 부분군 T를 의미하며, 부분 집합 관계에 대해 극대 원소를 갖는다. 모든 연결 콤팩트 리 군은 하나 이상의 극대 원환면을 가지며, 이들은 서로 켤레 동치이다. 극대 원환면의 차원은 G의 계수와 같으며, 바일 군은 극대 원환면 위에 작용한다. 극대 원환면은 근계를 정의하고 바일 군을 통해 켤레류의 공간과 관련되며, 바일 적분 공식을 통해 G에서의 적분을 T에서의 적분으로 표현할 수 있게 한다. 유니터리 군, 특수 유니터리 군, 특수 직교군, 심플렉틱 군 등 다양한 리 군에서 극대 원환면의 구체적인 형태를 예시로 제시한다.

더 읽어볼만한 페이지

리 군 - 리 대수
리 대수는 가환환 위의 가군과 리 괄호 연산으로 구성되며 쌍선형성, 교대성, 야코비 항등식을 만족하고, 리 군 연구와 분류, 표현 이론에 중요한 역할을 한다.
리 군 - 보렐-베유-보트 정리
보렐-베유-보트 정리는 복소수 반단순 리 군의 표현론에서 층 코호몰로지를 사용하여 리 군의 기약 표현을 설명하며, 보렐-베유 정리와 보트의 일반화를 포함한다.

극대 원환면
극대 원환면
정의
정의	리 군(Lie group)의 극대 원환면은 극대 콤팩트 연결 아벨 리 부분군이다.
성질
성질	콤팩트 연결 리 군의 모든 원소는 어떤 극대 원환면의 원소와 켤레이다. 콤팩트 연결 리 군의 모든 극대 원환면은 켤레이다.

2. 정의

연결 콤팩트 리 군 $G$ 가 주어졌을 때, $G$ 속의 원환면 $\mathbb T^n$ 과 미분 동형인 닫힌 부분군

: $T\subseteq G$

들의 집합을 생각할 수 있다. 이들은 부분 집합 관계에 대하여 부분 순서 집합을 이룬다. 이 부분 순서 집합의 극대 원소를 $G$ 의 '''극대 원환면'''이라고 한다.

3. 성질

연결 콤팩트 리 군 $G$ 와 그 극대 원환면 $T$ 에 대해 다음 성질들이 성립한다.

$G$ 의 극대 원환면은 극대 가환 부분군이지만, 그 역은 일반적으로 성립하지 않는다.^[4]
극대 원환면은 리 대수의 극대 가환 부분 대수에 해당하는 리 부분군과 정확히 일치한다.^[5] (카르탕 부분대수 참고)
$G$ 의 차원이 $n$ 이고 계수가 $r$ 이면, $n-r$ 는 짝수이다.

3. 1. 존재와 유일성

모든 연결 콤팩트 리 군은 하나 이상의 극대 원환면을 갖는다. 극대 원환면은 일반적으로 유일하지 않지만, 연결 콤팩트 리 군

G

의 모든 극대 원환면들은 서로 켤레 동치이다.

'''원환면 정리''': 만약 ''T''가 ''G''에서 하나의 고정된 극대 원환면이라면, ''G''의 모든 원소는 ''T''의 원소와 켤레이다.^[2]

이 정리는 다음과 같은 결과를 갖는다.

''G''의 모든 극대 원환면은 켤레이다.^[3]
모든 극대 원환면은 동일한 차원을 가지며, 이를 ''G''의 ''계수''라고 한다.
''G''의 극대 원환면은 극대 가환 부분군이지만, 그 역은 성립하지 않을 수 있다.^[4]
''G''의 극대 원환면은 $\mathfrak g$ 의 극대 가환 부분 대수에 해당하는 리 부분군과 정확히 일치한다.^[5] (cf. 카르탕 부분대수)
''G''의 모든 원소는 어떤 극대 원환면에 속해 있다; 따라서, ''G''에 대한 지수 사상은 전사이다.
만약 ''G''가 차원 ''n''과 계수 ''r''을 갖는다면, ''n'' − ''r''는 짝수이다.

즉, 연결 콤팩트 리 군

G

의 경우 바일 군이 유일하게 정의된다. 임의의 두 극대 원환면

T

,

T'

이 주어졌으며,

t\in T

및

t'\in T'

에 대하여,

t

로 생성되는 부분군이

T

의 조밀 집합이며,

t'

도

T'

에 대하여 마찬가지라고 하자. 그렇다면, 항상

gtg^{-1} = t'

인

g\in G

를 찾을 수 있으므로,

gTg^{-1} = T'

가 된다.

3. 2. 켤레성

연결 콤팩트 리 군

G

와 그 극대 원환면이 주어졌을 때, 모든 원소

g \in G

는 (임의의) 극대 원환면

T

의 원소와 켤레 동치이다. 즉, 항상

x^{-1}gx \in T

인

x\in G

를 찾을 수 있다.^[2]

이는 다음과 같은 결과를 갖는다.

$G$ 의 모든 극대 원환면은 켤레이다.^[3]
$G$ 의 모든 극대 원환면은 동일한 차원을 가지며, 이를 $G$ 의 계수라고 한다.
$G$ 의 모든 원소는 어떤 극대 원환면에 속해 있다.
만약 $G$ 가 차원 $n$ 과 계수 $r$ 을 갖는다면, $n-r$ 는 짝수이다.

3. 3. 차원

연결 콤팩트 리 군

G

의 극대 원환면의 차원은

G

의 계수와 같다. 즉, 그 리 대수

\mathfrak{lie}(G)

를 반단순 리 대수와 아벨 리 대수의 직합

:

\mathfrak{lie}(G) = \mathfrak s \oplus \mathfrak a

으로 분해하였을 때,

T

의 차원은

\mathfrak a

의 차원과

\mathfrak s

의 딘킨 도표의 꼭짓점의 수의 합과 같다.

:

\dim T = \dim\mathfrak a \oplus |\operatorname V(\operatorname{Dynkin}(\mathfrak s))|

^[2]

3. 4. 바일 군의 작용

연결 콤팩트 리 군

G

의 극대 원환면

T

가 주어졌을 때, 그 바일 군

\operatorname{Weyl}(G,T) = \operatorname N_G(T)/\operatorname C_G(T)

은

T

위에 자연스럽게 작용한다. 이에 대한 몫공간

T / \operatorname{Weyl}(G/T)

은

G

의 켤레류의 공간과 동형이다.^[7]

바일 군에 대한 두 가지 주요 결과는 다음과 같다.

''G''에서 ''T''의 중앙화 부분군은 ''T''와 같으므로, 바일 군은 ''N''(''T'')/''T''와 같다.
바일 군은 관련된 리 대수의 근에 대한 반사에 의해 생성된다.^[8] 따라서, ''T''의 바일 군은 ''G''의 리 대수의 근계의 바일 군과 동형이다.

이러한 결과로부터 다음을 얻을 수 있다.

''T''의 두 원소는 바일 군의 원소에 의해 켤레일 필요충분조건은 ''W''의 원소에 의해 켤레인 것이다. 즉, ''G''의 각 켤레류는 정확히 하나의 바일 궤도에서 ''T''와 교차한다.^[9]
바일 군은 ''T''(및 리 대수)에 외부 자기 동형 사상으로 작용한다.
''T''의 정규화 부분군의 단위 연결 성분 또한 ''T''와 같다. 따라서 바일 군은 ''N''(''T'')의 성분 군과 같다.
바일 군은 유한하다.

3. 5. 기타 성질

극대 원환면은 극대 가환 부분군이지만, 그 역은 일반적으로 성립하지 않는다.^[4] 극대 원환면은 리 대수의 극대 가환 부분 대수에 해당하는 리 부분군과 정확히 일치한다.^[5] (카르탕 부분대수 참고) ''G''의 차원이 ''n''이고 계수가 ''r''이면, ''n'' - ''r''는 짝수이다.

4. 근계

콤팩트 리 군 ''G''의 극대 원환면 ''T''가 주어지면, 근계를 정의할 수 있다. 근은 ''T''가 ''G''의 복소화된 리 대수에 대한 수반 작용에서의 가중치이다. 좀 더 명확히 말하면, $\mathfrak t$ 를 ''T''의 리 대수, $\mathfrak g$ 를 ''G''의 리 대수, 그리고 $\mathfrak g_{\mathbb C}:=\mathfrak g\oplus i\mathfrak g$ 를 $\mathfrak g$ 의 복소화라고 하자. 그러면 $\alpha\neq 0$ 이고, 다음을 만족하는 영이 아닌 $X\in\mathfrak g_{\mathbb C}$ 가 존재한다면, $\alpha\in\mathfrak t$ 가 ''T''에 상대적인 ''G''의 '''근'''이라고 한다.

: $\mathrm{Ad}_{e^H}(X)=e^{i\langle\alpha,H\rangle}X$

여기서 $\langle\cdot,\cdot\rangle$ 는 연결된 콤팩트 리 군의 수반 작용에 불변하는 $\mathfrak g$ 에 대한 고정된 내적이다.

근계는 ''T''의 리 대수 $\mathfrak t$ 의 부분 집합으로서, 근이 $\mathfrak t$ 를 span하지 않을 수 있다는 점을 제외하면, 근계의 모든 일반적인 속성을 갖는다.^[6] 근계는 ''G''의 분류와 표현론을 이해하는 데 핵심적인 도구이다.

5. 바일 군

Weyl group|바일 군^영어은 주어진 원환면 ''T''에 대해, ''T''의 정규화 부분군을 ''T''의 중심화 부분군으로 나눈 것이다.^[7] 즉, 다음과 같이 정의된다.

: $W(T,G) := N_G(T)/C_G(T).$

극대 원환면 $T = T_0$ 를 고정하면, 해당 바일 군을 ''G''의 바일 군이라고 부른다.^[7] 바일 군은 관련된 리 대수의 근에 대한 반사에 의해 생성된다.^[8]

''T''의 두 원소가 켤레일 필요충분조건은 바일 군의 원소에 의해 켤레인 것이다.^[9] 즉, ''G''의 각 켤레류는 정확히 하나의 바일 궤도에서 ''T''와 교차한다. 바일 군은 ''T''에 외부 자기 동형 사상으로 작용한다.

예를 들어, $G=SU(n)$ 이고 $T$ 가 $G$ 의 대각 부분군인 경우, 바일 군은 $n$ 개 원소에 대한 순열군이다.

6. 바일 적분 공식

''f''가 ''G'' 상의 연속 함수일 때, 정규화된 하르 측도 ''dg''에 대한 ''G''에서의 ''f''의 적분은 극대 원환면 $T$ 위에서의 적분으로 표현할 수 있다. ''f''가 켤레 불변인 함수 클래스일 경우, 이 공식은 다음과 같이 단순화된다.^[10]

: $\displaystyle{\int_G f(g)\, dg = |W|^{-1} \int_T f(t) |\Delta(t)|^2\, dt.}$

여기서 Δ는 바일 분모 공식에 의해 주어지며, $|W|$ 는 바일 군의 차수이다.

예를 들어 $G=SU(2)$ 이고, $T$ 가 대각 부분군인 경우, 함수 클래스에 대한 바일 적분 공식은 다음과 같은 명시적인 형태를 취한다.^[11]

: $\displaystyle{\int_{SU(2)} f(g)\, dg = \frac{1}{2} \int_0^{2\pi} f\left(\mathrm{diag}\left(e^{i\theta}, e^{-i\theta}\right)\right)\, 4\,\mathrm{sin}^2(\theta) \, \frac{d\theta}{2\pi}.}$

여기서 $|W|=2$ 이고, $T$ 상의 정규화된 하르 측도는 $\frac{d\theta}{2\pi}$ 이며, $\mathrm{diag}\left(e^{i\theta}, e^{-i\theta}\right)$ 는 대각 요소가 $e^{i\theta}$ 및 $e^{-i\theta}$ 인 대각 행렬을 나타낸다.

''f''가 공액 작용 아래에서 불변인 ''G'' 위의 연속 함수라면, '''바일 적분 공식'''이 성립한다.

:: $\displaystyle{\int_G f(g)\, dg = |W|^{-1} \int_T f(t) |\Delta(t)|^2\, dt,}$

여기서 Δ는 바일 분모 공식에 의해 주어진다.

7. 예

다음은 다양한 콤팩트 리 군에 대한 극대 원환면의 예시이다.

군	극대 원환면	계수
유니터리 군 $\operatorname U(n)$	모든 대각 행렬로 구성된 부분군	$n$
특수 유니터리 군 $\operatorname{SU}(n)$	$\operatorname U(n)$ 의 극대 원환면과 $\operatorname{SU}(n)$ 의 교집합	$n-1$
특수 직교군 $\operatorname{SO}(2n)$ 및 $\operatorname{SO}(2n+1)$	$2\times 2$ 회전 행렬들로 구성된 블록 대각 행렬 (SO(2n+1)의 경우 $1\times 1$ 영행렬 추가)	$n$
심플렉틱 군 $\operatorname{Sp}(n)$	모든 항목이 사원수의 고정된 복소 부분 대수에 있는 모든 대각 행렬의 집합	$n$

7. 1. 유니터리 군

유니터리 군

\operatorname U(n)

의 극대 원환면은 다음과 같이 대각 행렬로 구성되는 부분군이다.

:

T = \left\{\operatorname{diag}(\exp(\mathrm i\theta_1),\exp(\mathrm i\theta_2),\dotsc,\exp(\mathrm i\theta_n)) \colon \theta_1,\theta_2,\dotsc,\theta_n\in\mathbb R\right\} \le \operatorname U(n)

이때,

T

는 다음과 같이 표현할 수도 있다.

:

T = \left\{\operatorname{diag}\left(e^{i\theta_1},e^{i\theta_2},\dots,e^{i\theta_n}\right) : \forall j, \theta_j \in \mathbb{R}\right\}.

''T''는 ''n''개의 원의 곱과 동형이므로 유니터리 군 U(''n'')의 계수는 ''n''이다. 특수 유니터리 군 SU(''n'') ⊂ U(''n'')의 극대 원환면은 ''T''와 SU(''n'')의 교집합으로, 차원이 ''n'' − 1인 원환면이다.

7. 2. 특수 유니터리 군

특수 유니터리 군

\operatorname{SU}(n)

의 극대 원환면은 유니터리 군의 극대 원환면과

\operatorname{SU}(n)

의 교집합이며, 차원이

n-1

인 원환면이다. 구체적으로,

\operatorname{SU}(n)

의 극대 원환면 가운데 하나는 다음과 같이 대각 행렬로 구성되는 부분군이다.

:

T = \left\{\operatorname{diag}(\exp(\mathrm i\theta_1),\exp(\mathrm i\theta_2),\dotsc,\exp(\mathrm i\theta_{n-1}),\exp(-\mathrm i(\theta_1+\theta_2+\dotsb+\theta_{n-1})) \colon \theta_1,\theta_2,\dotsc,\theta_{n-1}\in\mathbb R\right\} \le \operatorname{SU}(n)

7. 3. 특수 직교군

특수 직교군

\operatorname{SO}(2n)

의 극대 원환면은 다음과 같이

2\times 2

회전 행렬들로 구성된 블록 대각 행렬의 형태로 주어진다.

:

T = \left\{\operatorname{diag}(R(\theta_1),R(\theta_2),\dotsc,R(\theta_n))\colon \theta_1,\dotsc,\theta_n\in\mathbb R\right\} \le \operatorname{SO}(2n)

여기서

:

R(\theta) = \begin{pmatrix}\cos\theta&\sin\theta\\

\sin\theta&\cos\theta

\end{pmatrix}

이다.

특수 직교군

\operatorname{SO}(2n+1)

의 극대 원환면은

\operatorname{SO}(2n)

의 극대 원환면에

1\times 1

영행렬을 추가한 형태로 주어진다.^[1]

:

T = \left\{\operatorname{diag}(R(\theta_1),R(\theta_2),\dotsc,R(\theta_n),0_{1\times1})\colon \theta_1,\dotsc,\theta_n\in\mathbb R\right\} \le \operatorname{SO}(2n+1)

이는 작용이 남은 방향을 고정하는 것으로 간주하면 SO(2''n''+1) 그룹의 극대 원환면이기도 하다. 따라서 SO(2''n'')과 SO(2''n''+1)은 모두 계수 ''n''을 갖는다. 예를 들어, 회전군 SO(3)에서 극대 원환면은 어떤 고정된 축을 중심으로 한 회전에 의해 주어진다.^[2]

7. 4. 심플렉틱 군

심플렉틱 군 Sp(''n'')의 계수는 ''n''이다. 극대 원환면은 모든 항목이 '''H'''의 고정된 복소 부분 대수에 있는 모든 대각 행렬의 집합으로 주어진다.

참조

_[1] 서적 Theorem 11.2
_[2] 서적 Lemma 11.12
_[3] 서적 Theorem 11.9
_[4] 서적 Theorem 11.36 and Exercise 11.5
_[5] 서적 Proposition 11.7
_[6] 서적 Section 11.7
_[7] 서적 Theorem 11.36
_[8] 서적 Theorem 11.36
_[9] 서적 Theorem 11.39
_[10] 서적 Theorem 11.30 and Proposition 12.24
_[11] 서적 Example 11.33

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com