고차원에서 서로 다른 단위 정규 번들

초록

이 논문은 차원 ≥ 4인 경우, 동일한 고전적 불변량을 가지면서도 레전드리안 동형이 되지 않는 두 개의 단위 정규 번들을 구성한다. 새로운 비고전적 도구인 스트립 레전드리안 접촉 동질성 및 그 위에 정의된 코프로덕트를 이용해 위 차이를 검출하고, 이를 문자열 위상수학과 연결시켜 순수히 위상학적으로 기술한다.

상세 분석

본 연구는 ℝⁿ( n≥9) 안에 삽입된 두 개의 컴팩트 연결된 부분다양체 K₀와 K₁에 대해, 그들의 단위 정규 번들 Λ_{K₀}, Λ_{K₁}가 레전드리안 동형이 아님을 보인다. 기존의 고전적 불변량인 Thurston‑Bennequin 수, 레전드리안 정규동형 클래스, 그리고 (n‑1)‑차원 매끄럼 동형 클래스는 모두 동일하게 유지되지만, 차원 ≥ 4인 경우에만 정의 가능한 ‘스트립 레전드리안 접촉 동질성(Strip Legendrian Contact Homology, SLCH)’과 그 위에 정의된 코프로덕트 δ를 이용하면 두 번들을 구별할 수 있다. 저자는 먼저 Λ_{K}에 대한 SLCH 체인 복합체 (C L⁎(Λ), d_J)를 정의하고, J‑홀로믹 스트립을 세어 미분 d_J를 구성한다. 코프로덕트 δ_J는 하나의 양의 펑크처와 두 개의 음의 펑크처를 가진 J‑홀로믹 곡선을 세어 정의되며, 이는 (⋆) 조건(리베 차드의 Conley‑Zehnder 지수 제한) 하에서 잘 정의된다.

다음으로, K의 코차원 d≥4이면 Λ_{K}에 대해 SLCH가 정의 가능하고, 이 동질성은 K×K의 대각선 Δ_K를 제거한 상대 호몰로지 H_{+1‑d}(K×K,Δ_K;ℤ/2)와 동형임을 보인다. 이 동형사상은 Morse 이론을 이용해 구성되며, 특히 δ_J가 H_(K) 위의 코프로덕트 δ_K와 일치함을 증명한다(정리 4.9, 4.10). 따라서 레전드리안 동형이 존재한다면 δ_K와 δ_{K’} 사이에 ℤ/2‑선형 동형 Θ가 존재하고, 아래 사각형이 교환한다(정리 1.3).

구체적인 예시로는 K₀ = S^{d‑1}×M (M은 ℝ^{n‑d}에 삽입된 컴팩트 연결다양체)와, K₁을 K₀에 특정 임베딩 f: S^{n‑d}→ℝⁿ를 연결합한 형태로 만든다. 이때 d≥4이고 M의 적절한 동질성(예: H_k(M;ℤ/2)=0, 1≤k≤n‑2d)이라면 δ_{K₀}=0이지만 δ_{K₁}≠0이 된다. 따라서 정리 1.1에 의해 Λ_{K₀}와 Λ_{K₁}는 레전드리안 동형이 아니다. 또한 정리 1.2는 동일한 차수에서 SLCH의 차원을 직접 계산해 두 번들의 차이를 정량적으로 보여준다.

이 결과는 기존에 고전적 불변량이나 π₁(ℝⁿ\K)와 같은 대수적 도구로는 구별할 수 없던 고차원 상황에서, 문자열 위상수학적 코프로덕트를 활용한 새로운 레전드리안 불변량이 실제로 강력함을 입증한다. 또한, 정리 1.3은 코프로덕트가 레전드리안 동형에 대해 불변임을 일반화한 형태로, 향후 ℤ 계수나 스핀 구조를 포함한 정밀한 버전으로 확장될 가능성을 제시한다.