입방 노름 쌍에서 G2·F4 등급 군과 리 대수까지

초록

이 논문은 임의의 가환 기본환 위에서 입방 노름 쌍을 이용해 G₂‑등급 리 대수를 구성하고, 그 대수가 입방 조던 행렬 대수인 경우에는 등급을 F₄까지 정밀화한다. 이어서 이러한 리 대수의 자동군을 이용해 G₂·F₄‑등급 군을 정의하고, 각 등급의 근군 구조와 Weyl 원소 존재를 상세히 검증한다.

상세 분석

본 연구는 먼저 가환환 k 위의 입방 노름 쌍 (J, J′)을 정의하고, 이를 통해 Tits–Kantor–Koecher(TKK) 구조를 확장한 G₂‑등급 리 대수 L(J, J′)를 구축한다. 이 과정에서 0‑차원 부분을 수정하고, Lie 괄호의 Jacobi 항등식 검증을 위한 복잡한 계산을 수행한다. L은 Φ‑grading(Φ=G₂) 형태로, 각 근공간 L_α는 k, J, J′ 중 하나와 동형이며, 사상(동형사상)과 동형사상 사이의 사상성도 보존한다. 특히, (J, J′)의 트레이스가 비퇴화하고 k가 체일 때 L은 단순함을 갖는다.

다음 단계에서는 L의 자동군 Aut(L) 안에 G₂‑등급 군 G(J)를 삽입한다. 이를 위해 각 근 α에 대해 α‑지수함수(exp_α)와 α‑Weyl 원소를 명시적으로 정의하고, 이들이 실제로 Lie 대수의 자동사상임을 ‘higher Leibniz rule’와 컴퓨터 보조 계산을 통해 검증한다. 결과적으로 U_α := exp_α(L_α) 가 근군이 되며,