[논문 리뷰] The algebra of parallel endomorphisms of a germ of pseudo-Riemannian metric

Charles Boubel|arXiv (Cornell University)|2012. 07. 27.

Advanced Topics in Algebra참고 문헌 12인용 수 5

한 줄 요약

이 논문은 평행한 담비형(nilpotent) 자기변환 $N$와 $N$를 포함하지 않는 평행한 자기변환의 반단순 대수 $\mathfrak{s}$를 갖는 계량의 미세한 형태를 분류한다. 일반적으로 평행 자기변환의 대수는 $\mathfrak{e} = \mathfrak{s} \oplus (N)$이며, $(N)$은 $N$에 의해 생성되는 아이디얼임을 보이며, $\mathbb{R}[X]/(X^n)$ 위에서의 복소미분해석학과 유사한 변형 프레임워크를 사용하여 이러한 계량을 매개변수화한다.

ABSTRACT

On a (pseudo-)Riemannian manifold (M,g), some fields of endomorphisms i.e. sections of End(TM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. We show in arXiv:1402.6642 that S may be of eight different types, including the generic type S=R.Id, and the Kähler and hyperkähler types where S is respectively isomorphic to the complex field C or to the quaternions H. We show here that for any self adjoint nilpotent element N of the commutant of such an S in End(TM), the set of germs of metrics such that A contains S and {N} is non-empty. We parametrise it. Generically, the holonomy algebra of those metrics is the full commutant of $S\cup\{N\}$ in O(g). Apart from some "degenerate" cases, the algebra A is then $S \oplus (N)$, where (N) is the ideal spanned by N. To prove it, we introduce an analogy with complex Differential Calculus, the ring R[X]/(X^n) replacing the field C. This describes totally the local situation when the radical of A is principal and consists of self adjoint elements. We add a glimpse on the case where this radical is not principal.

연구 동기 및 목표

• 평행한 담비형 자기변환 $N$과 $N \notin \mathfrak{s}$인 평행한 자기변환의 반단순 대수 $\mathfrak{s}$를 갖는 미세한 계량의 분류를 목적으로 한다.
• 특히 평행 자기변환 대수의 근이 주기적이고 자기수반 담비형 자기변환에 의해 생성될 때, 이러한 계량들의 공간을 매개변수화하는 것을 목적으로 한다.
• 평행 자기변환의 대수 $\mathfrak{e}$의 구조를 규명하여 일반적으로 $\mathfrak{e} = \mathfrak{s} \oplus (N)$임을 보이고, 호로노미 대수를 전체 교환자 $\mathfrak{o}(g)^{\mathfrak{s} \cup \{N\}}$로 식별하는 것을 목적으로 한다.
• 반단순 부분 $\mathfrak{s}$를 초월하여 담비형 원소가 근 $\mathfrak{n}$ 내에서 수행하는 역할을 분석함으로써 평행 자기변환 대수의 분류를 확장하는 것을 목적으로 한다.

제안 방법

• 복소미분해석학의 유사성에 기반하여, $\mathbb{C}$ 대신 $\mathbb{R}[X]/(X^n)$을 사용하여 계량의 담비형 변형을 모델링한다.
• 웨더번–말체프 정리를 적용하여 평행 자기변환의 대수 $\mathfrak{e}$를 반단순 부분 $\mathfrak{s}$와 담비형 근 $\mathfrak{n}$으로 분해한다.
• 변형 $\nu$를 통한 계량 구성: $h = h_0 + \nu h_1$이며, 여기서 $h_1$은 $\mathbb{R}[\nu] = \mathbb{R}[X]/(X^2)$에 값이 있는 $\nu$-담비형 계량과 관련된 실계수 계량이다.
• 문제를 $\mathcal{M}/\mathcal{I}$로의 몫공간으로 환원하며, 여기서 $\mathcal{I} = \operatorname{Im}N$이다. 이 몫공간에 유도된 자기변환 $U$를 연구하며, $h_0 = g(\cdot, N\cdot)$에 대해 $U$가 평행이 되도록 요구한다.
• $\mathcal{M}/\mathcal{I}$에 대한 적합한 좌표를 사용하며, $\ker P_\alpha^{n_\alpha}$로의 분해에 대해 곱좌표를 포함하고, $\deg P_\alpha = 2$일 경우 복소좌표를 사용한다.
• 정리 3.3과 보조정리 5.2를 적용하여, $N$과 $N'$이 모두 평행일 경우를 특성화하며, $h_0$에 대해 $U$가 평행이 되고, $g$가 $G^0$과 $G^1$을 포함하는 특정 행렬 제약조건을 만족하도록 한다.

실험 결과

연구 질문

• RQ1 어떤 미세한 계량의 집합이 평행한 담비형 자기변환 $N$과 $N \notin \mathfrak{s}$인 평행한 반단순 자기변환 대수 $\mathfrak{s}$를 갖는가?
• RQ2 평행 자기변환의 대수 $\mathfrak{e}$가 $\mathfrak{s} \oplus (N)$이 되는 조건은 무엇인가, 여기서 $(N)$은 $N$에 의해 생성되는 아이디얼이다?
• RQ3 이러한 계량은 어떻게 매개변수화될 수 있으며, $\mathcal{I} = \operatorname{Im}N$일 때 몫공간 $\mathcal{M}/\mathcal{I}$는 이 분류에서 어떤 역할을 하는가?
• RQ4 만일 $N$과 다른 자기변환 $N'$이 모두 평행이 되어야 할 경우, 계량 $g$에 어떤 제약 조건이 생기는가, 특히 $N'$이 $N$과 가환할 경우에 대해 말이다?
• RQ5 특히 비주기적 또는 비아벨일 경우, $\mathfrak{e}$의 근 $\mathfrak{n}$의 구조는 이러한 계량의 분류에 어떤 영향을 미치는가?

주요 결과

• 주어진 반단순 대수 $\mathfrak{s}$와 $\mathfrak{s}$에 속하지 않는 자기수반 담비형 자기변환 $N$을 갖는 미세한 계량의 집합은 공집합이 아니며, 명시적으로 매개변수화될 수 있다.
• 일반적으로 평행 자기변환의 대수 $\mathfrak{e}$는 $\mathfrak{s} \oplus (N)$이며, $\mathfrak{s}$는 반단순이고 $(N)$은 $N$에 의해 생성되는 아이디얼이며, 호로노미 대수는 전체 교환자 $\mathfrak{o}(g)^{\mathfrak{s} \cup \{N\}}$이다.
• 계량 $g$가 $N$과 $N'$을 모두 평행하게 만들기 위한 필요충분조건은 $g$가 $\nu$-담비형 계량 $h = h_0 + \nu h_1$의 실수부이며, $\mathcal{M}/\mathcal{I}$에 유도된 $U$가 $h_0$에 대해 평행이 되는 것이다.
• 적합한 좌표 $((x_i, y_i))$에서 계량 $g$는 행렬 형태 $\begin{pmatrix} 0 & G^0 \\ G^0 & G^1 \end{pmatrix}$를 가지며, 여기서 $G^0$은 $U$를 평행하게 하는 $\mathcal{M}/\mathcal{I}$ 위의 계량이며, $G^1$은 $x_i$와 $G^1$의 $x_i$에 대한 도함수에 의존한다.
• 각 몫공간의 인자 $\overline{\mathcal{M}}_k$에서 $h_0$는 자체적으로 $\mu$-담비형 계량과 관련된 실계수 계량이며, $\deg P_k = 2$일 경우 $h_0$는 유도된 복소구조 $\underline{J}_k$에 대해 복소계량이다.
• 다수의 가환하는 담비형 자기변환을 포함하는 일반적인 경우는 $E_\alpha$로의 계층적 몫공간과 유도된 자기변환 $U_\alpha$를 유도하며, 횡단선 위의 계량 계수는 $N_\alpha$-담비형 함수의 실수부여야 한다.