카일리 4형식과 코마스 및 트라이얼리티 동형

본 연구는 8차원 실유클리드 공간 ℝ⁸ 위의 자기쌍대 4‑형식들의 코마스(norm)와 그 최적화 문제를 다룬다. 서론에서는 카일리 4‑형식 ω_Ca 가 캘리브레이션 이론과 시스템 기하학에서 핵심적인 역할을 한다는 배경을 제시한다. 특히 ω_Ca 가 코마스 1을 갖고, 유클리드 노름이 최대인 점에 해당한다는 사실이 이전 연구에서 암시되었지만, 정확한 증명은 부족했다는 점을 지적한다. 2장에서는 ω_Ca 를 세 가지 동등한 방식으로 정의한다. 첫 번째는 코마스 단위 구 안에서 유클리드 노름이 최대인 점으로 보는 기하학적 정의이며, 두 번째는 ℝ⁸≅ℂ⁴ 로 식별했을 때 표준 카흐라 형식 ω_J 와 복소 체적 형식 Ω_J 의 실부분을 결합한 식 (2.1) 로 표현한다. 세 번째는 ℝ⁸≅ℍ⊕ℍ 로 보고 세 개의 쿼터니언 카흐라 형식 ω_{J_a} (a=1,2,3) 의 선형 결합 η₂ 로 나타낸다. 이들 정의는 모두 SO(8) 궤도 내에서 서로 변환 가능함을 보이며, 특히 η₂ 와 ω_Ca 가 SO(8)‑공액임을 증명한다. 3장에서는 Spin(8) 의 트라이얼리티를 상세히 설명한다. Spin(8) 은 8‑차원 벡터 표현 V와 두 스핀 표현 Δ⁺, Δ⁻ 를 갖는다. 외부 자동동형 φ∈Out(Spin(8))≅Σ₃ 가 V, Δ⁺, Δ⁻ 를 순환시키며, 특히 φ가 기본 가중치 λ₁과 λ₄ 를 교환한다. 이를 이용해 σ₂⁰(V) (V의 트레이스 없는 대칭 제곱) 와 Λ⁴₊(V) (자기쌍대 4‑형식 공간) 사이에 선형 동형 ψ를 구축한다. 식 (3.3) 은 ψ가 φ에 따라 두 표현을 얽어 놓는 핵심 관계임을 보여준다. 4장에서는 ψ 를 구체적인 무게 공간에 적용한다. σ₂⁰(V) 의 무게 벡터는 (e_{2a-1}⊗e_{2a-1}−e_{2a}⊗e_{2a}) 와 (e_{2a-1}⊗e_{2a}+e_{2a}⊗e_{2a-1}) 로 구성되며, Λ⁴₊(V) 의 무게 벡터는 (4.2)‑(4.5) 에서 정의된 µ_i, ν_i 로 나타난다. ψ 가 λ₁↔λ₄ 를 교환함에 따라, σ₂⁰(V) 의 최고 무게 공간은 Λ⁴₊(V) 의 최고 무게 공간, 즉 ω_Ca 로 매핑된다. 이 과정에서 트라이얼리티가 무게 공간을 어떻게 재배열하는지 명시적으로 계산한다. 5장에서는 주요 정리들을 증명한다. 정리 1.1 은 ω_Ca 의 코마스가 1이며, ‖ω_Ca‖² = 14 라는 Wirtinger 비율의 최댓값을 달성함을 보인다. 증명은 ψ 를 통해 σ₂⁰(V) 의 표준 기저 행렬에 대한 작용을 분석하고, 코마스 정의 (1.1) 에 따라 최대값을 구한다. 정리 1.2 는 코마스와 유클리드 노름 비율이 최대인 모든 자기쌍대 4‑형식이 SO(8)‑공액으로 ω_Ca 로 변환됨을 보인다. 여기서는 7개의 기본 자기쌍대 4‑형식 {e_{1234}, e_{1256}, …, e_{1458}} 가 실 E₇ 의 최대 아벨리안 부분대수와 동형임을 이용해, Lie 이론의 표준 정리를 적용한다. 정리 1.3 은 ω_Ca 를 고정하는 SO(8) 부분군이 정확히 Spin(7) 임을 증명한다. 이는 ψ 가 트라이얼리티를 통해 Spin(7) 의 고정점 구조를 보존한다는 사실과, Spin(7) 이 Spin(8) 의 7‑차원 고정 부분군이라는 전통적인 결과를 결합한다. 6장에서는 카일리 형식의 안정성을 보여주는 반례를 제시한다. 7개의 기본 4‑형식에 모두 계수 +1 을 부여한 선형 결합은 코마스가 2가 되며, 이는 2‑형식 경우와 달리 코마스가 단순히 계수의 절댓값 최대값과 일치하지 않음을 보여준다. 이는 자기쌍대 4‑형식의 구조가 2‑형식보다 복잡함을 강조한다. 마지막으로, 논문은 결과의 응용을 논한다. 카일리 형식은 Spin(7) 매니폴드의 캘리브레이션으로서 최소 부피 서브매니폴드(예: Cayley 4‑fold)를 정의하고, 시스템 기하학에서 중간 차원(4차원) 안정적 systolic 비율의 최적값을 구하는 데 핵심적인 역할을 한다. 또한, 트라이얼리티를 이용한 접근법은 복잡한 대칭 구조를 가진 다른 캘리브레이션 문제에도 적용 가능함을 시사한다.