[논문 리뷰] Milnor and Tjurina numbers for a hypersurface germ with isolated singularity

Yongqiang Liu|arXiv (Cornell University)|2017. 08. 31.

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

한 줄 요약

이 논문은 $$\mathbb{C}^n$$의 원점에서 고립된 특이점을 가진 해석적 함수의 절댓값에 대해, 밀너 수 $$\mu$$와 투르이나 수 $$\tau$$의 비율이 $$n$$ 이하로 유계임을 증명한다. 즉, $$\mu/\tau \leq n$$이다. 등호는 밀너 대수에서 $$f$$에 의한 곱셈의 핵이 $$f^{n-1}$$에 의해 생성되는 이상적과 정확히 일치할 때 성립하며, 이는 날카로운 상한과 다항식의 차수 $$m$$ 및 차원 $$n$$에 대한 투르이나 수 $$\tau$$의 새로운 하한을 제공한다.

ABSTRACT

Assume that $f:(\mathbb{C}^n,0) o (\mathbb{C},0)$ is an analytic function germ at the origin with only isolated singularity. Let $μ$ and $τ$ be the corresponding Milnor and Tjurina numbers. We show that $\dfracμτ \leq n$. As an application, we give a lower bound for the Tjurina number in terms of $n$ and the multiplicity of $f$ at the origin.

연구 동기 및 목표

• 고립된 초표면 특이점에 대해 밀너 수 $$\mu$$와 투르이나 수 $$\tau$$의 비율 $$\mu/\tau$$에 대한 날카로운 상한을 확립한다.
• 밀너 대수에서 $$f$$에 의한 곱셈의 핵을 통해 $$\mu/\tau = n$$일 때의 등호 조건을 기술한다.
• 함수의 절댓값 $$m$$를 이용해 투르이나 수 $$\tau$$에 대한 하한을 도출한다.
• 편의적이고 비퇴화된 절댓값에 대해 뉴턴 수 $$\nu$$로 이 상한을 확장한다.
• 특정 특이점의 클래스에서 유도된 하한의 최적성 여부를 조사한다.

제안 방법

• 밀너 대수 $$M_f = S/J_f$$, 투르이나 대수 $$T_f = S/(J_f, f)$$, 그리고 $$f$$에 의한 곱셈의 핵을 포함하는 장긴 완전열을 이용한다.
• 브리아니에드-스코다 정리를 적용하여 $$f^n \in J_f$$이므로 $$M_f$$에서 $$f^n = 0$$임을 보이며, 유한한 필터링 $$M_f \supset (f) \supset \cdots \supset (f^{n-1}) \supset 0$$을 수립한다.
• 몫 $$(f^i)/(f^{i+1})$$의 차원을 분석하고, 이를 $$\dim \ker(f) = \tau$$와 연결한다.
• 섹션 밀너 수의 로그-볼록성을 이용해 부등식 $$\mu \geq (m-1)^n$$을 도출한다.
• 편의적 절댓값에 대해 쿠슈니렌코의 부등식 $$\mu \geq \nu$$를 적용하여 $$\tau \geq \nu/n$$을 도출한다.
• 형식적 멱급수환에서의 대수적 기법과 야코비안 이상의 성질을 활용해 $$M_f$$ 및 $$T_f$$의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 고립된 초표면 특이점에 대해 $$\mathbb{C}^n$$에서 밀너 수 $$\mu$$와 투르이나 수 $$\tau$$의 비율 $$\mu/\tau$$에 대한 날카로운 상한은 무엇인가요?
• RQ2 비율 $$\mu/\tau$$가 최대값 $$n$$에 도달하는 조건은 무엇인가요?
• RQ3 함수의 절댓값 $$m$$에서 투르이나 수 $$\tau$$에 대한 하한을 도출할 수 있나요?
• RQ4 하한 $$\tau \geq (m-1)^n / n$$은 최적이며, 언제 달성되나요?
• RQ5 특정 특이점의 클래스, 예를 들어 반가중치 동차 또는 비퇴화된 경우에 대해 $$\mu/\tau \leq n$$의 상한을 향상시킬 수 있나요?

주요 결과

• 고립된 초표면 특이점에 대해 $$\mathbb{C}^n$$에서 밀너 수 $$\mu$$와 투르이나 수 $$\tau$$의 비율은 $$\mu/\tau \leq n$$를 만족한다.
• 등호 $$\mu/\tau = n$$는 밀너 대수 $$M_f$$에서 $$\ker(f) = (f^{n-1})$$일 때 정확히 성립한다.
• 투르이나 수에 대한 하한은 $$\tau \geq (m-1)^n / n$$로 주어지며, 여기서 $$m$$은 원점에서 $$f$$의 다항식의 차수이다.
• 편의적이고 비퇴화된 절댓값에 대해 투르이나 수는 $$\tau \geq \nu / n$$를 만족하며, $$\nu$$는 $$f$$의 뉴턴 수이다.
• 동차 경우에도 $$n > 1$$일 때는 $$\tau \geq (m-1)^n / n$$의 하한이 결코 달성되지 않으며, $$\tau = \mu = (m-1)^n > (m-1)^n / n$$이기 때문이다.
• SINGULAR 계산을 통한 수치적 증거에 따르면, $$n \leq 7$$인 특정 예시에서 $$\mu/\tau < 1.5$$임을 확인할 수 있으며, 이는 이론적 상한 $$n$$보다 훨씬 낮다.