요르단 삼항 대수

추상대수학에서 **요르단 삼항 대수**(Jordan三項代數, Jordan triple algebra)는 어떤 특별한 항등식을 만족시키는 3쌍 선형 연산을 갖춘 대수 구조이다. 모든 요르단 대수와, 특정한 대합을 갖는 등급 리 대수는 표준적으로 요르단 삼항 대수의 구조를 갖는다. 또한, 요르단 3항 대수에 대하여, 그 위의 “등각 변환”으로 구성되는 더 큰 리 대수가 존재한다. 이 구성을 **칸토르-쾨허-티츠 구성**(Кантор-Koecher-Tits構成, Kantor–Koecher–Tits construction)이라고 하며, 이를 통해 일부 예외 단순 리 대수(E₇, E₆, F₄)를 구성할 수 있다.
# 정의

## 요르단 삼항 대수
표수가 2가 아닌 체 K 위의 **요르단 삼항 대수**는 다음과 같은 데이터로 주어진다.언어=en * K-벡터 공간 A * K-선형 변환 \langle-\rangle\colon A\otimes_KA\otimes_KA \to A, x\otimes y\otimes z \mapsto \langle xyz\rangle 이는 다음 두 조건을 만족시켜야 한다. * (대칭성) \langle x,y,z\rangle = \langle z,y,x\rangle * \langle u,v,\langle x,y,z\rangle\rangle - \langle x,y,\langle u, v, z\rangle\rangle = \langle\langle u,v,x\rangle,y,z\rangle - \langle x,\langle y, u, v\rangle, z\rangle
# 성질

## 요르단 대수 → 요르단 3항 대수
요르단 대수 (A,\star)가 주어졌을 때 :\langle x,y,z\rangle = (x\star y)\star z + x\star(y\star z) - y\star(x\star z) 를 정의하면, 이는 요르단 3항 대수를 이룸을 쉽게 확인할 수 있다.
## 리 대수 → 요르단 3항 대수
K 위의 리 대수 \mathfrak g 가 \\{-1,0,+1\\} 값의 등급을 갖는다고 하자. :\mathfrak g=\mathfrak g_{-1}\oplus\mathfrak g_0\oplus\mathfrak g_1 :[\mathfrak g_0,\mathfrak g_i] \subseteq\mathfrak g_i :[\mathfrak g_1,\mathfrak g_1] = [\mathfrak g_{-1},\mathfrak g_{-1}] = 0 :[\mathfrak g_1,\mathfrak g_{-1}] \subseteq\mathfrak g_0 또한, K-선형 변환 \tau\colon\mathfrak g\mapsto\mathfrak g이 다음 두 조건을 만족시킨다고 하자. * \tau는 리 대수의 자기 동형을 이룬다. * (대합) \tau(\tau(x)) = x\qquad\forall x\in\mathfrak g * (등급과의 호환) \tau(x) \in\mathfrak g_{-i}\forall i\in\\{0,\pm1\\},\;x\in\mathfrak g_i 그렇다면, :\langle x,y,z\rangle = [[x,\tau(y)],z] 를 정의하면 \mathfrak g는 요르단 3항 대수를 이룬다.
## 요르단 3항 대수 → 리 대수
이제, 요르단 3항 대수 (A,\langle-,-,-\rangle)가 주어졌을 때, 다항 함수 A\to A의 결합 대수 :A\otimes K[A] 를 생각하자. 이는 함수의 합성에 의하여 자연수 등급의 등급 대수를 이루며, 대수의 연산을 리 괄호 [a,b] = ab-ba만 남기고 잊으면 이는 등급 리 대수를 이룬다. 이제, 다음과 같은 세 K-벡터 공간을 정의하자. :\mathfrak g_{-1} = \\{ x \mapsto a\colon a\in A \\} = (A\otimes_KK[A])_0 :\mathfrak g_0 = \operatorname{Span}_K\\{ x \mapsto \langle a,b,x\rangle\colon a,b\in A \\} \subseteq (A\otimes_KK[A])_1 :\mathfrak g_1 = \left\\{ x \mapsto -\frac12\langle x,u,x\rangle\colon u\in A \right\\} \subseteq (A\otimes_KK[A])_2 이는 A 위의 상수 함수 · 선형 함수 · 2차 함수로 구성된다. 이는 일반적으로 A\otimes_KK[A]의 함수의 합성에 대하여 닫혀 있지 않지만, 대신 리 괄호에 대하여 닫혀 있음을 보일 수 있다. 즉, 이는 K-리 대수를 이루며, 또한 \\{-1,0,+1\\} 값의 등급을 갖는다. 또한, 이 구조에는 :\tau \colon \mathfrak g_i \mapsto \mathfrak g_{-i} :\tau \colon ((x \mapsto u) \in\mathfrak g_{-1}) \mapsto ((x \mapsto -\tfrac12\langle x,u,x\rangle) \in\mathfrak g_1 :\tau \colon ((x\mapsto \langle u,v,x\rangle) \in\mathfrak g_0) \mapsto ((x\mapsto \langle \tau(u),\tau(v),x\rangle) \in\mathfrak g_0) 와 같은 대합이 주어진다. 이를 A에 대응되는 **칸토르-쾨허-티츠 구성**이라고 하며, \mathfrak{con}(A)로 표기한다. 또한, 그 등급 0의 부분 리 대수를 \mathfrak{con}_0(A)로 표기한다. 만약 A가 항등원을 갖는 요르단 대수를 이룬다면, 리 대수 준동형 :K \to \mathfrak{con}_0(A) :\alpha \mapsto (x\mapsto \alpha x) 이 존재한다. (여기서 정의역은 아벨 리 대수이다.) 또한, 그 치역은 리 대수의 중심의 부분이므로 리 대수 아이디얼을 이루어, 이에 대한 몫을 취할 수 있다. 이 대수를 :\mathfrak{con}_0'(\mathfrak A) = \frac{\mathfrak{con}_0}{K} 로 표기하자. 사실, \mathfrak{con}_0(A)의 모든 원소는 : T = \frac1{\dim_KA}\operatorname{tr}(T) + \left(T - \frac1{\dim_KA}\operatorname{tr}(T)\right) 와 같이 대각합과 무대각합 성분으로 표준적으로 분해되므로, 이는 표준적으로 직합 :\mathfrak{con}_0(A) = K \oplus\mathfrak{con}'_0(A) 을 이룬다. 또한, A가 요르단 대수일 때, 그 이항 연산 \star을 보존하는 미분 리 대수 \mathfrak{der}(A)가 존재하며, 이는 \mathfrak{con}_0'(A)의 부분 대수를 이룬다. :\mathfrak{der}(A) \subseteq\mathfrak{con}_0'(A)
# 예
요르단 대수에 대응되는 리 대수의 예는 다음과 같다.언어=en§§4–5 {| class=wikitable |- ! 요르단 대수 A ! \mathfrak{con}(A) ! \mathfrak{con}_0'(A) ! \mathfrak{der}(A) |- | \operatorname H(1;\mathbb K) = \mathbb R | \mathfrak{sl}(2;\mathbb R)=\mathfrak o(1,2) | 0 | 0 |- | \operatorname H(2;\mathbb K) | \mathfrak o(2,2+\dim_{\mathbb R}\mathbb K) | \mathfrak o(1,1+\dim_{\mathbb R}\mathbb K) | \mathfrak o(1+\dim_{\mathbb R}\mathbb K;\mathbb R) |- | \operatorname H(3;\mathbb O) (앨버트 대수) | \mathfrak e_{7(-25)} (E₇ 리 대수) | \mathfrak e_{6(-26)} (E₆ 리 대수) | \mathfrak f_4 (콤팩트 F₄ 리 대수) |- | \operatorname H(3;\mathbb H) | \mathfrak o^*(12) | \mathfrak{su}^*(6)=\mathfrak{sl}(3;\mathbb H) | \mathfrak{usp}(6)=\mathfrak{su}(3;\mathbb H) |- | \operatorname H(3;\mathbb C) | \mathfrak{su}(3,3) | \mathfrak{sl}(3;\mathbb C) | \mathfrak{su}(3) |- | \operatorname H(3;\mathbb R) | \mathfrak{sp}(6;\mathbb R) | \mathfrak{sl}(3;\mathbb R) | \mathfrak o(3) |} 여기서 * \operatorname H(n,\mathbb K)는 K 계수의 n\times n 에르미트 행렬로 구성된 요르단 대수이다. * \mathbb K는 실수체 (\mathbb R), 복소수체 (\mathbb C), 사원수 대수 (\mathbb H), 팔원수 대수 (\mathbb O) 가운데 하나이다. * \mathfrak{con}(\operatorname H(2;\mathbb K))의 \\{0,\pm1\\} 등급 및 대합은 등각 대칭군으로서 주어진다. 즉, 우변을 2+\dim_{\mathbb R}\mathbb K \in\\{3,4,6,10\\}차원 민코프스키 공간 위의 등각 변환들의 군으로 여긴다.
# 역사
칸토어-쾨허-티츠 구성은 자크 티츠언어=fr · 이사이 리보비치 칸토르언어=ru(Исай Львович Кантор, 1936~2006) · 막스 쾨허언어=en(Max Koecher, 1924~1990)가 1960년대에 도입하였다.