변형 구면 위 사다리꼴 구조와 정수 군 코호몰로지

본 논문은 “위상학적 보르스크 문제”와 연관된 기하학적 질문을 다룬다. 구체적으로, S²를 ℝ³(또는 일반적인 거리 공간)으로 삽입하는 임의의 연속적이고 일대일인 사상 f에 대해, 그 이미지 안에 네 점 ξ₁, ξ₂, ξ₃, ξ₄가 존재하여 그들의 볼록 껍질이 사다리꼴 형태를 이루고, 두 개의 반대 변은 같은 길이, 나머지 네 변도 모두 동일한 길이를 갖는다는 정리를 증명한다(정리 1.1). 이는 3차원에서의 위상학적 보르스크 문제에 대한 부분 해답이며, 사다리꼴이 D₈(정사각형의 대칭군) 대칭을 가진다는 점이 특징이다. **구성 공간과 테스트 맵** - X = (S²)⁴ 로 정의하고, Y = { (x, y, x, y) | x, y ∈ S² } ≅ S²×S² 로 잡는다. - 구성 공간 Ω = X \ Y 로 설정한다. Ω 위에 D₈이 자연스럽게 작용하도록 정의한다(ω는 순환, j는 반사). - 테스트 맵 τ: Ω → U₄ × U₂ 를 정의한다. 여기서 U₄ = { (x₁,…,x₄)∈ℝ⁴ | Σx_i=0 }, U₂ = { (x₁,x₂)∈ℝ² | x₁+x₂=0 }이며, τ는 각 점쌍 사이 거리 d_{ij}=d(f(ξ_i),f(ξ_j)) 를 이용해 (d₁₂−Δ/4,…,d₄₁−Δ/4) × (d₁₃−Φ/2, d₂₄−Φ/2) 로 만든다. Δ와 Φ는 거리의 합으로 정의된다. τ는 D₈‑불변이다. **위상학적 귀결** - Proposition 2.1에 따르면, τ가 (0,0) 값을 갖는 ξ∈Ω가 존재하면 바로 정리 1.1의 사다리꼴 조건이 만족된다. 따라서 문제는 “Ω → (U₄×U₂)\{0}”의 D₈‑불변 사상 존재 여부와 동치가 된다. - 이를 부정하기 위해, 더 작은 부분군 Z₄ = ⟨ω⟩ 를 사용해 Fadell‑Husseini 지수를 계산한다. 목표는 Index_{Z₄,ℤ} Ω와 Index_{Z₄,ℤ} S(U₄×U₂)를 비교하는 것이다. **정수 계수 지수 계산** 1. **S(U₄×U₂)의 지수**: 복소수 1차원 표현 V₁을 통해 U₄×U₂ ≅ V₁ ⊕ (V₁⊗V₁) 로 분해한다. Chern 클래스 계산으로 c₂ = 2U² ∈ H⁴(BZ₄;ℤ) 를 얻고, 따라서 Index_{Z₄,ℤ} S(U₄×U₂)=⟨2U²⟩. 2. **Ω의 코호몰로지**: Poincaré‑Lefschetz 이중성을 이용해 H⁎(Ω;ℤ) ≅ H_{8‑*}(X,Y;ℤ) 를 구한다. X와 Y의 셀 구조를 분석해 H⁎(Ω;ℤ) 를 Z₄‑모듈로서 N (차원 6), M⊕ℤ