하이퍼볼릭 표면의 단위 여입구 번들 강체 충전, 모든 유한 제시군을 기본군으로 구현

초록

본 논문은 하이퍼볼릭 곡면 Σ( genus ≥ 2)의 단위 여입구 번들 ST*Σ에 대한 강체(symplectic) 충전이 무한히 다양함을 보이며, 특히 임의의 유한히 제시 가능한 군 G를 그 충전의 기본군 π₁으로 만들 수 있음을 증명한다.

상세 분석

논문은 먼저 기존의 ‘표준 충전’인 원판 번들 DT*Σ에 대해 ‘자기장(magnetic)’ 변형을 도입한다. 이는 기본 1‑형 λ와 각형 α를 이용해 ωₘₐg = ω_can + ε d(fα) (f는 반경에 따라 1→0으로 변하는 매끄러운 함수) 라는 새로운 비정밀(symplectic) 2‑형을 정의함으로써, 경계 근처에서는 기존의 표준 형태와 동일하지만, 영섹션 Σ가 이제 심플렉틱하게 된다. 이 변형은 동일한 위상(동형) 구조를 유지하면서도 심플렉틱 동형사상(up to symplectomorphism)에서는 구별되는 충전을 만든다.

그 다음 단계에서는 Gompf 합을 이용한다. Σ×Σ에 곱 형태의 심플렉틱 구조 σ⊕σ를 주고, 대각선 Δ_Σ를 Σ×Σ 안의 라그랑지안 서브매니폴드로 본다. 위에서 만든 ‘자기장 충전’ (DT*Σ, ωₘₐg) 의 영섹션과 Δ_Σ의 법선 번들이 서로 반대 부호의 오일러 클래스를 갖는다는 사실을 이용해, 두 공간을 Δ_Σ=0_Σ를 따라 Gompf 합함으로써 새로운 4‑차원 심플렉틱 매니폴드 W₀를 만든다. 이 W₀는 사실상 (Σ×Σ)\Δ_Σ와 동형이며, 기본군이 자유군이 아닌 비자명한 구조를 가진다.

핵심은 여기서 추가적인 Gompf 합을 반복해 원하는 기본군을 구현한다는 점이다. 임의의 유한히 제시 가능한 군 G에 대해, Gompf가 제시한 방법으로 Σ_k×T²와 타원곡면 V=Cℙ²#9 Cℙ²를 적절히 연결해 π₁이 정확히 G가 되는 심플렉틱 매니폴드 W_G를 만든다. 이후 W_G와 앞서 만든 W₀를 또다시 Gompf 합(특히 λ₁×λ′₁와 같은 특정 2‑토러스)를 사용해 연결하면, W₁이라는 매니폴드가 얻어진다. 이때 W₁의 기본군은 아직도 G와 동일하지만, Σ×Σ 부분에서 남아 있는 여분의 생성자들을 제거하기 위해 V와의 추가 Gompf 합을 2g‑1번 수행한다. 각 합은 라그랑지안 토러스를 심플렉틱 토러스로 바꾸고, 그 토러스의 보통 번들이 트리비얼이므로 기본군에 새로운 관계를 강제로 삽입한다. 최종적으로 얻어진 W₂는 기본군이 정확히 G이며, 경계는 (ST*Σ, ξ_can)이다.

마지막으로, 이 충전이 ‘최소(minimal)’함을 보인다. ωₘₐg 형태는 영섹션을 심플렉틱하게 만들면서도, 어떠한 (−1)‑구형을 포함하지 않으므로 블로업을 통한 비최소화가 불가능함을 확인한다. 따라서 모든 단계에서 최소성을 유지한다.

이러한 일련의 구성은 기존에 알려진 ‘유일성’ 결과와는 정반대로, 같은 접촉 3‑다양체에 대해 무한히 많은 비동형(위상·심플렉틱) 충전이 존재함을 보여준다. 특히 기본군을 자유롭게 조절할 수 있다는 점은 접촉·심플렉틱 위상학에서 새로운 유연성을 제공한다.