[논문 리뷰] Leibniz Homology of the Affine Indefinite Orthogonal Lie Algebra

Guy Roger Biyogmam|arXiv (Cornell University)|2013. 01. 04.

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

한 줄 요약

이 논문은 아핀 불확정성 직교 리 대수 $\chi_n = \rho^{p,q} \rtimes \mathfrak{so}(p,q)$의 라이프니츠 호몰로지(Leibniz homology)를 계산하며, 로더(Lodder)의 민코프스키 군에 대한 결과를 일반화한다. 관계된 텐서와 로더의 구조 정리(구조 정리)를 사용하여, $HL_*(\mathfrak{h}_n) \cong (\mathbb{R} \oplus \langle \tilde{\alpha}_{p,q}\rangle) \otimes T^*(\tilde{\gamma}_{p,q})$라는 등급 벡터 공간 동형사상을 확립한다. 여기서 $\tilde{\alpha}_{p,q}$와 $\tilde{\gamma}_{p,q}$는 기저 원소와 구조 상수의 균형 잡힌 조합으로 구성된 $\mathfrak{h}_n$-관측 텐서이다.

ABSTRACT

In this paper, we compute the Leibniz (co)homology of the affine indefinite orthogonal Lie algebra. This calculation generalizes a result \cite[corollary 4.5]{JL} obtained by Jerry Lodder. We construct several indefinite orthogonal invariants in terms of balanced tensors and provide the Leibniz homology in terms of these invariants.

연구 동기 및 목표

• 아핀 불확정성 직교 리 대수 $\mathfrak{h}_n = \mathbb{R}^{p,q} \rtimes \mathfrak{so}(p,q)$의 라이프니츠 호몰로지를 계산한다.
• 민코프스키 군에 대한 로더의 결과를 불확정성 직교 사례 $\mathfrak{so}(p,q)$로 일반화한다.
• 호몰로지를 생성하는 명시적인 $\mathfrak{h}_n$-관측 텐서 $\tilde{\alpha}_{p,q}$와 $\tilde{\gamma}_{p,q}$를 구성한다.
• 이러한 관측 텐서를 바탕으로 라이프니츠 호몰로지를 완전히 기술한다.

제안 방법

• 라이프니츠 호몰로지의 아벨 확장에 대한 로더의 구조 정리를 적용한다.
• $\mathfrak{h}_n$이 $\mathfrak{I}_n \oplus \mathfrak{so}(p,q)$ 형태의 아벨 확장으로서 $\mathfrak{I}_n \cong \mathbb{R}^{p,q}$임을 확인한다.
• 차수 $n$에서 $\tilde{\alpha}_{p,q} = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \frac{\partial}{\partial x^{\sigma(1)}} \otimes \cdots \otimes \frac{\partial}{\partial x^{\sigma(n)}}$ 형태의 관측 텐서를 구성한다.
• 구조 상수 $X_{ij}, Y_{ij}$와 반대칭화된 텐서 곱을 사용하여, 차수 $(n-1)$의 관측 텐서로 $\tilde{\gamma}_{p,q} = \bar{\gamma}_{p,q} - \bar{\gamma}'_{p,q}$를 정의한다.
• $\mathfrak{so}(p,q)$가 $\mathbb{R}^{p,q}$에 작용하는 방식을 이용하여 $\tilde{\alpha}_{p,q}$와 $\tilde{\gamma}_{p,q}$가 $\mathfrak{h}_n$-관측임을 검증한다.
• 쌍대성에 의해 호몰로지 동형사상을 유도한다: $HL^*(\mathfrak{h}_n) \cong (\mathbb{R} \oplus \langle \tilde{\alpha}^d_{p,q}\rangle) \otimes T^*(\tilde{\gamma}^d_{p,q})$.

실험 결과

연구 질문

• RQ1 아핀 불확정성 직교 리 대수 $\mathfrak{h}_n = \mathbb{R}^{p,q} \rtimes \mathfrak{so}(p,q)$의 라이프니츠 호몰로지는 무엇인가?
• RQ2 관측 텐서 $\tilde{\alpha}_{p,q}$와 $\tilde{\gamma}_{p,q}$는 $\mathfrak{so}(p,q)$의 구조와 $\mathbb{R}^{p,q}$에 대한 그 작용으로부터 어떻게 유도되는가?
• RQ3 라이프니츠 호몰로지에 대한 로더의 구조 정리는 불확정성 직교 사례로 확장될 수 있는가?
• RQ4 균형 잡힌 텐서 구성 방식이 호몰로지를 어떻게 생성하는가?
• RQ5 쌍대 호몰로지 클래스 $\tilde{\alpha}^d_{p,q}$와 $\tilde{\gamma}^d_{p,q}$는 호몰로지 생성자와 어떻게 관련이 있는가?

주요 결과

• $\mathfrak{h}_n$의 라이프니츠 호몰로지는 등급 벡터 공간으로서 $(\mathbb{R} \oplus \langle \tilde{\alpha}_{p,q}\rangle) \otimes T^*(\tilde{\gamma}_{p,q})$와 동형이다.
• 생성자 $\tilde{\alpha}_{p,q}$는 기저 벡터장 $\frac{\partial}{\partial x^i}$의 모든 순열에 대한 부호 합으로서, 차수 $n$의 관측 텐서를 이룬다.
• 생성자 $\tilde{\gamma}_{p,q}$는 $X_{ij}$, $Y_{ij}$ 및 $\mathfrak{so}(p,q)$-생성자와 벡터장에 대한 반대칭화된 텐서 곱을 포함하는 세 항으로 구성된 차수 $(n-1)$의 관측 텐서이다.
• 호몰로지와 동형인 $(\mathbb{R} \oplus \langle \tilde{\alpha}^d_{p,q}\rangle) \otimes T^*(\tilde{\gamma}^d_{p,q})$로 표현되며, 이는 $\mathfrak{h}_n$의 쌍대 기저를 통해 정의된 쌍대 클래스이다.
• $\tilde{\alpha}_{p,q}$와 $\tilde{\gamma}_{p,q}$가 $\mathfrak{h}_n$-관측임이 고정된 표현에 의한 수반 작용을 통해 입증된다.
• 이 결과는 민코프스키 군에 대한 로더의 계산을 더 넓은 범주인 불확정성 직교군 $SO(p,q)$로 일반화한다.