[논문 리뷰] Real Analytic Milnor Fibrations and a Strong Łojasiewicz Inequality

David B. Massey|ArXiv.org|2007. 03. 20.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 8

한 줄 요약

이 논문은 실해석함수에 대해 강력한 Łojasiewicz 부등식, 즉 'Ł-해석적' 조건을 도입하여, 특이점 중심의 구 안에 미뉴르 fibratoin의 존재를 보장한다. 복소해석함수의 Łojasiewicz 부등식을 일반화함으로써, 저자들은 이 조건이 국소적 평탄성과 구 위의 fibratoin과의 동치성을 보장함을 증명한다. 이는 복소해석함수의 미뉴르 fibratoin이 지닌 주요 위상적 성질을 실해석함수의 맥락으로 확장한다.

ABSTRACT

We give a strong version of a classic inequality of Łojasiewicz; one which collapses to the usual inequality in the complex analytic case. We show that this inequality for a pair, quadruple, or octuple of real analytic functions allows us to construct a real Milnor fibration inside a ball.

연구 동기 및 목표

• 복소해석함수의 Łojasiewicz 부등식을 실해석함수의 맥락으로 일반화하기.
• 실해석함수의 경우, 열린 구 안에 미뉴르 fibratoin이 존재할 조건을 설정하기.
• 새로운 강력한 Łojasiewicz 부등식이 복소함수의 경우와 유사한 국소적 평탄성 fibratoin의 존재를 암시함을 보여주기.
• 실해석함수의 경우, 구 안의 미뉴르 fibratoin이 구 위의 fibratoin과 미분동형인지 여부를 조사하기.
• 실해석함수의 맥락에서 복소해석함수의 자연스러운 일반화로 작용하는 'Ł-해석적' 함수의 클래스를 정의하고 연구하기.

제안 방법

• 강력한 Łojasiewicz 부등식을 도입하여, 모든 $ x $가 $ p $ 근처에 있을 때 $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $ 를 만족하는 상수 $ c > 0 $ 과 지수 $ \theta \in (0,1) $ 가 존재하도록 요구한다.
• 이 강력한 부등식을 만족하는 함수를 'Ł-해석적' 함수로 정의하며, 이는 복소해석함수의 경우를 일반화한다.
• Thom 분할의 존재성과 강력한 Łojasiewicz 부등식을 이용하여, 중심이 $ p $ 인 구 안에 있는 미뉴르 fibratoin의 존재를 증명한다.
• fibratoin에 적합한 벡터장을 구성하고, 적분을 통해 구 안의 fibratoin과 구 위의 fibratoin 사이의 미분동형을 보여준다.
• 간단한 Ł-해석적 함수들이 미뉴르의 조건 (c)를 만족함을 검증하여, 강력한 미뉴르 조건이 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 실해석함수에 대해 강력한 Łojasiewicz 부등식이 구 안에 존재하는 미뉴르 fibratoin의 존재를 암시하는가?
• RQ2 실해석함수의 경우, 구 안의 미뉴르 fibratoin이 구 위의 fibratoin과 미분동형임을 증명할 수 있는가?
• RQ3 일반적인 Ł-해석적 함수들이 $ \mathbb{R}^2 $ 에로 사상할 때, 미뉴르의 조건 (c)를 만족하여 강력한 미뉴르 조건이 성립하는가?
• RQ4 두 개의 Ł-사상의 합성도 Ł-사상이 되는가, 특히 Ł-해석적 경우에 대해 성립하는가?
• RQ5 Ł-해석적 사상들은 그 자체로 미뉴르 fibratoin 외의 맥락에서도 자연스럽고 흥미로운 함수의 클래스를 이룬다 할 수 있는가?

주요 결과

• 강력한 Łojasiewicz 부등식, 즉 $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $ 를 만족하는 $ c > 0 $, $ \theta \in (0,1) $ 는 실해석함수의 경우, 중심이 $ p $ 인 구 안에 존재하는 미뉴르 fibratoin의 존재를 보장한다.
• 실해석함수 $ f = (g,h) $ 가 점 $ p $ 에서 Ł-해석적이라면, 중심이 $ p $ 인 구 안에 존재하는 미뉴르 fibratoin이 존재한다.
• 함수 $ f $ 가 Ł-해석적일 경우, 구 안의 미뉴르 fibratoin은 구 위의 fibratoin과 미분동형이다.
• 간단한 Ł-해석적 함수들은 미뉴르의 조건 (c)를 만족하며, 이는 강력한 미뉴르 조건이 성립함을 보장하고, 따라서 구 안의 fibratoin과 구 위의 fibratoin 간의 동치성을 암시한다.
• Ł-해석적 함수들은 국소적으로 상수일 일이 없고 $ k \geq 2 $ 라면 열린 사상이 되며, 이는 복소해석함수와의 구조적 유사성을 나타낸다.
• Ł-해석적 사상의 클래스는 실해석함수의 맥락에서 복소해석함수의 자연스러운 일반화로 보이며, 더 넓은 수학적 관심을 끌 만한 잠재력을 지닌다.