다중점 교차에 대한 정밀 전이정리와 응용

초록

본 논문은 일반적인 선형 섭동에 대해 다중점 교차가 발생하지 않는 파라미터 집합을 Hausdorff 측도로 정량화한다. 이를 통해 정상 교차, 주입성, 임베딩 등에 대한 새로운 결과를 얻으며, 특히 차원 조건 ℓ>2 dim X인 경우 Mather의 일반 사영 안정정리를 Hausdorff 차원 상한과 함께 강화한다.

상세 분석

논문은 기존 전이정리들이 “예외 파라미터 집합은 Lebesgue 측도 0”이라는 약한 결론만 제공하는 점을 출발점으로 삼는다. Lebesgue 0은 집합의 크기를 전혀 구분하지 못하므로, Cantor 집합과 유한 집합이 동일하게 취급되는 문제가 있다. 저자는 이를 보완하기 위해 Hausdorff 측도와 차원을 도입한다. 핵심은 다중점 교차(d‑fold crossing) 상황을 다루는 전이정리를 일반적인 선형 섭동 π∈L(ℝ^m,ℝ^ℓ) 위에 적용하면서, 예외 집합 Σ_d에 대해 s‑차원 Hausdorff 측도가 0이 되도록 하는 최소 s값을 명시적으로 계산한다.

정의 2.1에서 다중점 교차를 다루기 위해 X(d)와 Δ_d를 도입하고, d_f를 “최대 교차 차수”로 정의한다. 기존 결과(정리 2.2)는 Σ_d가 Lebesgue 0임을 보였지만, 정리 2.3은 두 경우로 나눈다. 첫 번째는 dim X(d)−codim Δ_d≥0인 경우이며, 이때 s≥mℓ−1+dim X(d)−codim Δ_d+1/r이면 Σ_d의 s‑차원 Hausdorff 측도가 0이다. 두 번째는 dim X(d)−codim Δ_d<0인 경우로, s>mℓ+dim X(d)−codim Δ_d이면 동일한 결론을 얻고, 더 나아가 Σ_d를 제외한 모든 π에 대해 교차 자체가 존재하지 않음을 보인다.

핵심 도구는 Lemma 3.4(Thom 전이정리의 Hausdorff 버전)이다. 여기서는 δ∗(F,Z)=dim X−codim Z+δ(F,Z)라는 “전이 결함 지표”를 도입하고, δ∗≥0이면 파라미터 공간 A에서 W(F,Z)의 사영이 s‑차원 Hausdorff 0이 되도록 s를 선택한다. δ∗<0이면 전이 결함이 충분히 큰 경우 예외 집합 자체가 비어 있거나, 차원 상한을 통해 측도 0을 얻는다. 논문은 Γ(q,π)=((g+π)∘f)^{(d)}(q) 라는 매핑을 구성하고, 이를 Lemma 3.4에 적용해 δ(Γ,Δ_d)=0임을 증명한다. 이는 Jacobian 계산을 통해 Im dΓ+TΔ_d가 전체 (ℝ^ℓ)^d 차원을 차지함을 보이며, d_f와 교차 차수 d 사이의 관계를 이용한다.

이후 정리 2.3의 (1)과 (2)를 각각 δ∗≥0, δ∗<0 상황에 맞추어 적용한다. 특히 (1)에서는 s≥mℓ−1+δ∗+1/r 조건을 만족시키면 Σ_d가 Hausdorff s‑측도 0이 된다. (2a)에서는 s>mℓ+dim X(d)−codim Δ_d이면 같은 결론을 얻고, (2b)에서는 Σ_d를 제외한 파라미터에 대해 교차가 완전히 사라짐을 보인다.

응용부에서는 정상 교차(normal crossing)와 주입성(injectivity) 결과를 도출하고, ℓ>2 dim X인 경우 임베딩 정리를 얻는다. 여기서 임베딩 정리는 (g+π)∘f가 임베딩이 되지 않는 파라미터 집합의 Hausdorff 차원이 ≤mℓ+2 dim X−ℓ임을 보여준다. 이는 Mather의 “일반 사영 안정정리”를 r≥2인 C^r 매핑에 대해, 임의의 g와 결합한 선형 섭동까지 일반화한 것으로, 기존 Lebesgue 0 결과를 Hausdorff 차원 상한으로 강화한다. 또한 예시를 통해 이 상한이 일반적으로 최적임을 증명한다.

전체적으로 논문은 전이정리의 정밀성을 Hausdorff 측도로 끌어올림으로써, 파라미터 공간에서 “얼마나 큰” 예외 집합이 존재하는지를 정량적으로 파악한다. 이는 특수한 차원 구간에서 임베딩 및 사영 안정성 문제를 보다 세밀하게 다룰 수 있게 하며, 향후 다중점 교차와 관련된 다양한 기하학적·위상수학적 문제에 적용 가능성을 제시한다.