[논문 리뷰] Semicontinuity of the {\L}ojasiewicz exponent

Arkadiusz Płoski|arXiv (Cornell University)|2011. 02. 23.

Holomorphic and Operator Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 유한한 헬름홀로픽 기수 germs $ f: (ℂ^n,0) \to (ℂ^n,0) $에 대해 다중성-일정 변형(deformations) 하에서 Łojasiewicz 지수 $ l_0(f) $의 하방 연속성을 확립한다. 함수에 대한 특성 다항식과 뉴턴 다각형의 성질을 사용하여, 0에 가까운 $ t $에 대해 $ l_0(F_0) \leq l_0(F_t) $임을 증명한다. 일차 매개변수 경우에선 등호가 성립한다. 이 결과는 Teissier의 $ \mu $-일정 변형에 대한 연속성 결과를 더 넓은 범주인 다중성-일정 변형으로 일반화한다.

ABSTRACT

We prove that the {\\L}ojasiewicz exponent $l_0(f)$ of a finite holomorphic germ $f:(C^n,0)\ o(C^n,0)$ is lower semicontinuous in any multiplicity-constant deformation of $f$.

연구 동기 및 목표

• 유한한 헬름홀로픽 기수 germs에 대해 다중성-일정 변형 하에서 Łojasiewicz 지수 $ l_0(f) $의 연속성을 확립하는 것.
• Teissier의 이전 결과인 $ \mu $-일정 변형에 대한 결과를 더 넓은 범주인 다중성-일정 변형으로 일반화하는 것.
• 함수에 대한 특성 다항식과 뉴턴 다각형을 통해 Łojasiewicz 지수의 행동을 분석하는 것.
• 변형된 기수에 대한 함수의 뉴턴 다각형이 원래 기수의 뉴턴 다각형에 포함됨을 보여, 연속성의 반영을 나타내는 것.

제안 방법

• analytic 호 $ \phi $ 에 대해 $ l_0(f) = \sup_{\phi} \left\{ \frac{\mathrm{ord}(f \circ \phi)}{\mathrm{ord}(\phi)} \right\} $ 로 Łojasiewicz 지수를 정의한다.
• 변형 $ F(t,z) $ 에 대해 함수 $ h $ 의 특성 다항식 $ P_h(t,w,s) \in \mathbb{C}\{t,w\}[s] $ 를 적용하며, 이는 기수의 대수적 구조를 캐릭터라이즈한다.
• 순서 $ o_{F_t}(h) = \inf_i \left\{ \frac{\mathrm{ord}(a_i(t,w))}{i} \right\} $ 를 정의하여, 이 순서가 $ t $ 에 대해 하방 연속임을 보인다.
• 특성 다항식의 뉴턴 다각형 $ \mathcal{N}(F_t, h) $ 를 사용하여 Łojasiewicz 지수를 분석하며, 첫 번째 변의 기울기가 $ 1/o_{F_t}(h) $ 를 주는 것으로 나타낸다.
• 0에 가까운 $ t $ 에 대해 $ \mathcal{N}(F_t, h) \subset \mathcal{N}(F_0, h) $ 를 증명하여, 순서의 하방 연속성과 따라서 Łojasiewicz 지수의 하방 연속성을 유도한다.
• 일차 매개변수 경우에선 $ t \neq 0 $ 에서 $ o_{F_t}(h) $ 가 일정함을 증명하여, $ l_0(F_t) $ 도 일정함을 보인다.

실험 결과

연구 질문

• RQ1 유한한 헬름홀로픽 기수에 대한 다중성-일정 변형 하에서 Łojasiewicz 지수는 하방 연속적인가?
• RQ2 함수에 대한 뉴턴 다각형은 이러한 변형 하에서 어떻게 행동하는가?
• RQ3 함수에 대한 특성 다항식을 통해 Łojasiewicz 지수의 하방 연속성을 확립할 수 있는가?
• RQ4 일차 매개변수 경우에서 중심 섬유 이외의 영역에서 Łojasiewicz 지수는 일정한가?
• RQ5 변형된 기수의 뉴턴 다각형과 원래 기수의 뉴턴 다각형 사이의 관계는 무엇인가?

주요 결과

• 다중성-일정 변형 하에서 Łojasiewicz 지수 $ l_0(f) $ 는 하방 연속적이다: $ l_0(F_0) \leq l_0(F_t) $ for $ t $ near 0.
• 일차 매개변수 경우에선 $ t \neq 0 $ 에서 $ l_0(F_t) $ 가 일정하며, 중심 섬유 이외에 점프가 발생하지 않음을 의미한다.
• 함수 $ h $ 에 대한 뉴턴 다각형 $ \mathcal{N}(F_t, h) $ 는 $ t $ 가 0에 가까울 때 $ \mathcal{N}(F_0, h) $ 에 포함된다.
• Łojasiewicz 지수를 결정하는 순서 $ o_{F_t}(h) $ 는 $ t $ 에 대해 하방 연속적이며, $ o_{F_t}(h) \leq o_{F_0}(h) $ 를 만족한다.
• Łojasiewicz 지수 $ l_0(f) $ 는 $ l_0(f) \leq \mathrm{m}_0(f) $ 를 만족하며, 등호는 0에서 야코비안의 랭크가 최소 $ n-1 $ 이상일 때 성립한다.
• 뉴턴 다각형 $ \mathcal{N}(f,h) $ 는 Teissier의 $ \mathcal{N}_{\mathrm{I}(f)}(h) $ 와 일치하며, 혼합 다중성 이론과의 연결을 제공한다.