바일 변환

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

1. 개요

바일 변환은 헤르만 바일이 1918년에 도입한 개념으로, 국소적으로 시공의 축척을 바꾸는 변환을 의미한다. 계량 텐서에 바일 도움변수를 곱하는 변환을 통해 정의되며, 등각 무게와 바일 접속 개념과 관련이 있다. 바일 변환 하에서 불변하는 바일 텐서에 대한 공식이 존재한다.

바일 변환
📚 더 읽어볼만한 페이지
  • 미분기하학 - 가우스 곡률
    가우스 곡률은 3차원 유클리드 공간에 놓인 곡면의 두 주곡률의 곱으로, 곡면의 형태를 나타내는 지표이며 곡면 자체의 길이 측정만으로 결정되는 내재적인 값이다.
  • 미분기하학 - 가우스의 빼어난 정리
    가우스의 빼어난 정리는 곡면의 가우스 곡률이 외부 공간이 아닌 곡면 자체의 리만 계량만으로 결정된다는 정리로, 곡면의 변형 시 가우스 곡률이 보존됨을 의미하며, 지도 제작의 불가능성 증명과 고차원 리만 다양체 일반화에 응용되어 미분기하학과 일반 상대성 이론의 기초가 된다.
  • 양자장론 - 페르미-디랙 통계
    페르미-디랙 통계는 파울리 배타 원리를 따르는 페르미 입자의 통계적 분포를 설명하는 양자 통계로, 금속 내 전자 현상 등을 이해하는 데 기여하며 페르미 입자가 특정 에너지 준위를 점유할 확률을 나타낸다.
  • 양자장론 - 양자 색역학
    양자 색역학은 색 전하를 국소 대칭으로 정의한 SU(3) 게이지 군의 비아벨 게이지 이론으로, 쿼크와 글루온을 기본 입자로 하여 쿼크 사이의 강한 상호작용을 매개하며, 점근적 자유성과 색 가둠의 특징을 가지는 이론이다.

2. 역사

헤르만 바일1918년게이지의 개념을 도입하여 전자기장을 기하학적으로 설명하려고 하였다. 바일이 도입한 게이지는 오늘날 바일 변환으로 일컬어지는 것으로, 국소적으로 시공의 축척을 바꾸는 변환이었다. (영어로 gauge영어는 측도를 뜻한다.) 바일의 통일장론은 실패하였으나, 그의 등각 대칭의 도입은 살아남아 이후 끈 이론위상 양자장론 등의 초석을 이루게 되었다. 예를 들어, 끈 이론에서 근본적인 폴랴코프 작용은 바일 변환을 따른다.

3. 정의

계량 텐서 g_{mn}을 생각하자. 바일 도움변수(Weyl parameter영어) \Lambda(x)가 주어지면, 바일 변환은 계량 텐서를 다음과 같이 바꾼다.

:g_{mn}\mapsto(\exp\Lambda)g_{mn}

4. 등각 무게

수량 \varphi는 바일 변환 하에서 다음과 같이 변환될 경우 컨포멀 가중치 k를 갖는다고 한다.

:
\varphi \to \varphi e^{k \omega}.


따라서 컨포멀 가중치를 갖는 양은 특정 밀도 다발에 속한다. 컨포멀 차원도 참조하라.

5. 바일 접속

일반적인 레비치비타 접속은 바일 변환을 따르지 않는다. 바일 변환에 대해 공변하는 공변 미분을 정의하려면, 바일 접속(Weyl connexion영어) (또는 등각 접속) B_m을 정의해야 한다. 레비치비타 접속 A_m이 주어지면, 바일 접속은 다음과 같이 변환한다.

:B_m=A_m+\frac12\partial_m\Lambda

이를 이용하여, 등각 무게 k를 가진 개체 (즉 \phi\mapsto\phi\exp(k\Lambda)와 같이 변환하는 개체)의 바일 공변 미분은 다음과 같다.

:D_m=\partial_m+\frac12kB_m

\varphi가 바일 변환 하에서 다음과 같이 변환될 경우 컨포멀 가중치 k를 갖는다고 한다.

:
\varphi \to \varphi e^{k \omega}.


따라서 컨포멀 가중치를 갖는 양은 특정 밀도 다발에 속한다. 컨포멀 차원도 참고하라. A_\mug의 레비-치비타 접속에 관련된 접속 1-형식이라고 할 때, 초기 1-형식 \partial_\mu\omega에도 의존하는 접속을 다음과 같이 도입할 수 있다.

:
B_\mu = A_\mu + \partial_\mu \omega.


그러면 D_\mu \varphi \equiv \partial_\mu \varphi + k B_\mu \varphi는 공변적이며 컨포멀 가중치 k - 1을 갖는다.

6. 공식

다음 변환에 대해
:g_{ab} = f(\phi(x)) \bar{g}_{ab}
다음 공식들을 유도할 수 있다.
:\begin{align}
g^{ab} &= \frac{1}{f(\phi(x))} \bar{g}^{ab}\\
\sqrt{-g} &= \sqrt{-\bar{g}} f^{D/2} \\
\Gamma^c_{ab} &= \bar{\Gamma}^c_{ab} + \frac{f'}{2f} \left(\delta^c_b \partial_a \phi + \delta^c_a \partial_b \phi - \bar{g}_{ab} \partial^c \phi \right) \equiv \bar{\Gamma}^c_{ab} + \gamma^c_{ab} \\
R_{ab} &= \bar{R}_{ab} + \frac{f f- f^{\prime 2}}{2f^2} \left((2-D) \partial_a \phi \partial_b \phi - \bar{g}_{ab} \partial^c \phi \partial_c \phi \right) + \frac{f'}{2f} \left((2-D) \bar{\nabla}_a \partial_b \phi - \bar{g}_{ab} \bar{\Box} \phi\right) + \frac{1}{4} \frac{f^{\prime 2}}{f^2} (D-2) \left(\partial_a \phi \partial_b \phi - \bar{g}_{ab} \partial_c \phi \partial^c \phi \right) \\
R &= \frac{1}{f} \bar{R} + \frac{1-D}{f} \left( \frac{f
f - f^{\prime 2}}{f^2} \partial^c \phi \partial_c \phi + \frac{f'}{f} \bar{\Box} \phi \right) + \frac{1}{4f} \frac{f^{\prime 2}}{f^2} (D-2) (1-D) \partial_c \phi \partial^c \phi
\end{align}
바일 텐서는 바일 재스케일링 하에서 불변한다.