[논문 리뷰] On real log canonical thresholds

Morihiko Saito|ArXiv.org|2007. 07. 16.

Polynomial and algebraic computation참고 문헌 9인용 수 18

한 줄 요약

이 논문은 실수 대수적 함수에 대해 실수 로그 임계 임계값(rlct)과 실수 점프 수를 도입하며, 이는 복소수에 대응하는 것과 구별된다. 실수 로그 임계 임계값은 1을 초과할 수 있으며, 특히 고차원의 영점의 여피에서 복소수 로그 임계 임계값과 분포 |f|^s의 가장 큰 극과 다를 수 있음을 보이며, 실수 점프 수가 복소화된 경우의 비정수 점프 수와 분리될 수 있음을 증명한다.

ABSTRACT

We introduce real log canonical threshold and real jumping numbers for real algebraic functions. A real jumping number is a root of the $b$-function up to a sign if its difference with the minimal one is less than 1. The real log canonical threshold, which is the minimal real jumping number, coincides up to a sign with the maximal pole of the distribution defined by the complex power of the absolute value of the function. However, this number may be greater than 1 if the codimension of the real zero locus of the function is greater than 1. So it does not necessarily coincide with the maximal root of the b-function up to a sign, nor with the log canonical threshold of the complexification. In fact, the real jumping numbers can be even disjoint from the non-integral jumping numbers of the complexification.

연구 동기 및 목표

• 실수 대수적 함수에 대해 실수 로그 임계 임계값(rlct)과 실수 점프 수를 정의하고 연구하기.
• 분포 ∫|f|^s ω의 극과 rlct 사이의 관계를 규명하기, 특히 실수 영점의 여피가 >1일 경우에 중점적으로 다루기.
• 실수 로그 임계 임계값이 1을 초과할 수 있고, 복소수 로그 임계 임계값과 분포의 가장 큰 극과 다를 수 있음을 보여주기.
• 실수 점프 수가 복소화된 경우의 비정수 점프 수와 분리될 수 있음을 보여주기.
• 실수 특이점 해소에서의 다중도와 야코비안 기여를 바탕으로 rlct에 대한 공식을 수립하기.

제안 방법

• 실수 해석적 g에 대해 |g|/|f|^α의 국소 L^1 적분 가능성을 통해 실수 승수 이상수 J(X_R, f^α)를 정의한다.
• 부드러운 실수 중심을 따라의 블로우업을 통한 실수 특이점 해소를 사용하여 f와 체적 형식의 풀백을 단항식 형태로 표현한다.
• m_j와 a_j가 각각 예외적 인피니티 디바이더의 f의 다중도와 야코비안의 다중도일 때, rlct를 min_j (a_j + 1)/m_j로 공식화한다.
• 분포 ∫|f|^s ω의 극과 rlct 사이의 관계를 규명하며, 최대 극 p(f,ω)가 p(f,ω) ≥ rlct(f) ≥ lct(f_C)를 만족함을 보여준다.
• 실수 영점의 여피가 >1일 경우, 특히 고립된 특이점이 있는 예를 통해 rlct(f) > lct(f_C)임을 보여주는 예를 구성한다.
• 필터링된 D-모듈 및 단형 표현을 사용하여 스펙트럼을 분석하고, 일부 실수 점프 수가 복소수 스펙트럼에 나타나지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 실수 대수적 함수의 실수 로그 임계 임계값(rlct)은 그 복소화된 함수의 로그 임계 임계값과 어떻게 관련이 있는가?
• RQ2 rlct는 1을 초과할 수 있으며, 만약 그렇다면 실수 영점의 여피에 어떤 기하학적 조건이 필요하는가?
• RQ3 실수 점프 수는 항상 복소화된 경우의 비정수 점프 수와 일치하는가, 아니면 분리될 수 있는가?
• RQ4 분포 ∫|f|^s ω의 극은 rlct와 복소수 b-함수와 어떻게 관련이 있는가?
• RQ5 실수 점프 수는 복소화된 함수의 스펙트럼에 나타나는가, 아니면 복소수 스펙트럼과 독립적인가?

주요 결과

• 실수 로그 임계 임계값 rlct(f)는 실수 해소에서 예외적 인피니티 디바이더의 f의 다중도 m_j와 야코비안의 a_j에 대해 min_j (a_j + 1)/m_j로 주어진다.
• rlct(f)는 실수 영점의 여피가 >1일 경우, 특히 f가 특별한 유형일 경우 1을 초과할 수 있다.
• 실수 로그 임계 임계값은 복소수 로그 임계 임계값 lct(f_C)를 초과할 수 있으며, rlct(f) = n/d > 1이고 lct(f_C) ≤ 1인 고립된 특이점이 있는 예에서 이를 보여준다.
• 실수 점프 수 RJN(f)는 복소화된 경우의 비정수 점프 수와 분리될 수 있으며, rlct(f) = 3/4가 f_C의 점프 수가 아니라는 사례로 이를 입증한다.
• n=3, d=e=2, c=2인 예에서 실수 점프 수는 {k/4 | k≥3}이며, 복소수 점프 수는 {k/6 + j | k=4,5,6; j∈N}에 포함되어 있어 완전한 불일치를 보인다.
• 분포 ∫|f|^s ω의 최대 극 p(f,ω)는 p(f,ω) ≥ rlct(f)를 만족하며, ω의 지지부가 α = rlct(f)일 때 G(X_R, f^α)가 0이 아닌 점을 만족하면 등호가 성립한다.