실제 J10 특이점 카우스 보완과 모스 함수 동형 분류

초록

본 논문은 실수 2차원 함수의 J₁₀·J₃₀ 특이점에 대한 전역 변형을 연구하여, 모스 함수들의 연결 성분(동형 클래스)을 완전히 열거한다. 결과적으로 J₁₀은 59가지, J₃₀은 56가지 동형 클래스를 갖으며, 이를 그래프 기반 불변량과 Lyashko‑Looijenga 사상으로 증명한다.

상세 분석

논문은 먼저 실수 함수의 J₁₀·J₃₀ 특이점을 정의하고, 이들의 정규형을 (x²±y⁴)(x−γy²) 형태로 제시한다. 여기서 γ는 실수 파라미터이며, J₁₀은 γ∈ℝ, J₃₀은 γ∈(−1,1) 로 제한된다. 저자는 16차원 다항식 공간 Φ₁, Φ₃을 도입하고, G≅ℝ⁶인 좌표 변환군이 이 공간을 작용해 정상형(1),(2)와 전단히 교차하도록 만든다. 이 전단성은 군 작용의 궤적이 정상형을 한 점에서만 교차함을 보이며, 따라서 Φ₁·Φ₃의 모스 함수 연결 성분은 정상형 파라미터 공간의 연결 성분과 일대일 대응한다.

다음으로 저자는 동형 클래스를 구분하는 불변량을 그래프 형태로 구축한다. 정점은 모스 함수의 최소·안장·극대 개수(m₋,mₓ,m₊)와 같은 기본 패스포트를 나타내고, 변은 표준 수술(s₁~s₆)으로 연결한다. 실제로는 Lyashko‑Looijenga 사상을 이용해 복소화된 파라미터 공간을 Sym¹⁰(ℂ) 로 사상하고, 비특이점(모스) 영역에서는 이 사상이 국소 미분동형임을 이용해 위상 구조를 전역적으로 파악한다. 특히 실수 파라미터가 복소수 공액에 대해 불변인 경우에만 추가적인 대칭이 발생하며, 이는 그래프의 1‑코사인 형태로 표현된다.

주요 정리에서는 J₁₀에 대해 59, J₃₀에 대해 56개의 동형 클래스를 얻었다고 밝힌다. 각 클래스는 가상 모스 함수(교차 행렬, 실점과의 교차 지표, 모스 지수 등)로 완전히 기술되며, 표 2와 표 3을 통해 어떤 단순 특이점 쌍(예: E₈+A₂, D₊₇+A₃ 등)이 J₁₀·J₃₀으로 근사 가능한지를 명시한다. 또한, 예외적인 4개의 클래스는 ˜E₈ 확장 코시‑다인그램과 직접 연관되며, 이는 X₉·P₈ 경우에 나타난 ˜E₇·˜E₆와 구조적으로 유사하다.

결과적으로, 이 논문은 기존에 다루어졌던 Aₖ, Dₖ, X₉, P₈ 특이점들의 모스 함수 분류를 완성하고, 파라볼릭 실수 특이점 전반에 대한 동형 분류 체계를 확립한다.