[논문 리뷰] On multiplicities of graded sequences of ideals

Mircea Mustaţă|ArXiv.org|2002. 03. 22.

Rings, Modules, and Algebras인용 수 4

한 줄 요약

이 논문은 정칙 국소환에서 0차원 이상의 아이디얼의 순서를 가진 다항식의 다항식의 복수성과 그 부피가 일치함을 증명하며, 단순한 다항식 아이디얼로의 변형을 통해 특성 0 이외의 특성으로 일반화한다. 주요 기여는 초기 다항식 아이디얼의 복수성으로 표현된 아이디얼의 복수성과 로그 캐논리컬 임계값 사이의 부등식에 대한 새로운 대수적 증명으로, 아이디얼의 거듭제곱의 초기 다항식 아이디얼의 복수성으로 표현된 아이디얼의 복수성 공식을 사용한다.

ABSTRACT

We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.

연구 동기 및 목표

• 특성 0 이외의 특성에서도 0차원 이상의 아이디얼의 순서에 대한 복수성과 부피의 일치를 일반화한다.
• 다항식 아이디얼로의 변형을 사용하여 복수성-로그 캐논리컬 임계값 부등식에 대한 대수적 증명을 제공한다.
• 아이디얼의 힐버트-샘플 복수성을 그 거듭제곱의 초기 다항식 아이디얼의 복수성으로 표현하는 공식을 수립한다.
• 부등식 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ 의 증명을 단순화하기 위해 다항식의 경우로 환원한다.
• 멀티플라이어 아이디얼 이론에 의존하지 않고 [ELS1]의 결과를 특성 0 이외의 정칙 국소환으로 확장한다.

제안 방법

• 다항식 아이디얼의 순서를 이차형식의 평탄한 가족을 통해 정칙 국소환의 다항식 아이디얼 순서로 변형한다.
• 복수성과 부피가 상부 연속적이며 특성화와 호환된다는 사실을 이용하여 $\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ 를 다항식의 경우로 환원한다.
• 변형에서 유도된 공식을 적용한다: $\operatorname{e}(I) = \lim_{m \to \infty} \frac{\operatorname{e}(\operatorname{in}_>(I^m))}{m^n}$, 이는 $I$ 의 복수성을 그 거듭제곱의 초기 아이디얼의 복수성으로 표현한다.
• 점근적 멀티플라이어 아이디얼의 가역성과 순서 함수가 블로우업과 호환된다는 점을 활용하여 $\mathbf{a}_\bullet$ 와 그 관련 $\mathbf{b}_\bullet$ 를 연결한다.
• 뉴턴 다면체를 사용하여 다항식의 경우의 로그 캐논리컬 임계값과 복수성을 분석하고, 산술기하 평균 부등식을 적용하여 핵심 부등식을 유도한다.
• 로그 캐논리컬 임계값의 반연속성을 활용하여 $\operatorname{lc}(I)$ 와 $\operatorname{lc}(\operatorname{in}_>(I^m))$ 를 비교하고 극한으로 넘어간다.

실험 결과

연구 질문

• RQ1 특성 0 이외의 특성에서도 정칙 국소환에 포함된 모든 0차원 이상의 아이디얼 순서에 대해 $\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ 가 성립하는가?
• RQ2 초기 아이디얼을 통해 다항식의 경우로 환원함으로써 부등식 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ 이 더 단순하게 증명될 수 있는가?
• RQ3 고정된 다항식 순서 하에서 아이디얼의 복수성과 그 초기 아이디얼의 복수성 간의 정확한 관계는 무엇인가?
• RQ4 다항식 아이디얼로의 변형이 순서의 점근적 불변량을 어떻게 유지하는가?
• RQ5 이 맥락에서 점근적 멀티플라이어 아이디얼 이론은 어느 정도까지 대수적 변형 기법으로 대체될 수 있는가?

주요 결과

• 특성 0 이외의 특성에서도 정칙 국소환에 포함된 모든 0차원 이상의 아이디얼 순서에 대해 복수성과 부피가 일치한다. 즉, $\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ 이다.
• 새로운 공식이 수립된다: $\operatorname{e}(I) = \lim_{m \to \infty} \frac{\operatorname{e}(\operatorname{in}_>(I^m))}{m^n}$, 이는 아이디얼의 힐버트-샘플 복수성을 그 거듭제곱의 초기 다항식 아이디얼의 복수성으로 표현한다.
• 부등식 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ 은 초기 아이디얼 공식을 사용하여 다항식의 경우로 환원함으로써 대수적으로 더 단순하게 재증명된다.
• 다항식 아이디얼의 경우, 이 부등식은 뉴턴 다면체의 면 계수의 역수에 산술기하 평균 부등식을 적용함으로써 유도된다.
• 로그 캐논리컬 임계값은 $\operatorname{lc}(I^m) \geq \operatorname{lc}(\operatorname{in}_>(I^m))$ 를 만족하며, 이는 극한의 추론이 부등식 방향을 유지하는 데 기여한다.
• 증명은 분석적 또는 특성 0 방법을 피하고, 대신 변형과 초기 아이디얼, 뉴턴 다면체의 대수적 성질에 의존한다.