[논문 리뷰] Multiplicities of graded families of linear series and ideals

Steven Dale Cutkosky|arXiv (Cornell University)|2013. 01. 23.

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

한 줄 요약

이 논문은 프로젝트 스킴과 국소환에서의 등급 부여된 선형 계열 및 이상의 다중도의 渐近 극한 존재를 위한 필수 및 필요조건을 설정한다. 국소환 $ R $의 차원이 $ d $일 때, $ \mathfrak{m}_R $-primary 이상의 등급 부여된 가족에 대해 극한 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 이 존재하는 것은 $ R $의 $ \mathfrak{m}_R $-adic 완비화의 담비근의 차원이 $ d $ 보다 작을 때이고, 그때만이 성립한다. 이 결과는 일반적인 체와 해석적으로 분리되지 않은 국소환으로 이전 결과를 확장하며, 체적-다중도 공식과 에프사 다중도 극한에 응용된다.

ABSTRACT

We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i ightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-primary ideals. We give a number of applications.

연구 동기 및 목표

• 임의의 체 위의 프로젝트 스킴에서 등급 부여된 선형 계열의 다중도의 渐近 극한 존재를 위한 필요 및 충분 조건을 규명하는 것.
• 국소환 $ R $에서 $ \mathfrak{m}_R $-primary 이상의 등급 부여된 가족에 대해 극한 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 가 존재할 조건을 설정하는 것.
• 이전의 체적-다중도 공식과 에프사 다중도 극한 결과를 균일한 특성의 체를 가진 균일한 특성의 링에서 일반적인 해석적으로 분리되지 않은 국소환으로 확장하는 것.
• 등급 부여된 이상의 가족에서 다중도와 체적의 渐近 공식을 일반화하여, 덧셈 공식과 체적 해석을 포함하는 것.

제안 방법

• 비완전한 기저 체를 다룰 때 비분리 확장 하에서 비환원 스킴 문제를 피하기 위해 기본 확장과 환원 기법의 사용.
• 성장률과 渐近 극한을 분석하기 위해 등급 부여된 선형 계열 이론과 코다이라-이타카 차원 이론의 적용.
• 다중도의 해석과 계산을 위해 델타 불변량과 오쿠노쿠보 체적의 활용.
• 몫환의 지지 집합 내 최대 차원의 소수 이상에서 다중도의 덧셈 공식 활용.
• 국소환의 완비화에서 담비근의 구조를 이용하여 극한 존재 조건을 특성화하는 것.
• 최소 소수를 따라 분해하고 다중도의 덧셈성질을 이용하여, 근본적, 완비 국소 도메인의 경우로 환원하는 것.

실험 결과

연구 질문

• RQ1 국소환 $ R $에서 $ \mathfrak{m}_R $-primary 이상의 등급 부여된 가족에 대해 극한 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 가 존재하는 조건은 무엇인가?
• RQ2 체 $ k $ 위의 프로젝트 스킴에서 코다이라-이타카 차원이 $ \geq \alpha $ 인 등급 부여된 선형 계열의 渐近 극한 존재를 위한 필수 및 충분 조건은 무엇인가?
• RQ3 균일한 특성의 링에서 완전한 잔여체를 가진 링을 넘어서, 등급 부여된 이상의 가족에 대한 체적-다중도 공식을 어떻게 일반화할 수 있는가?
• RQ4 완전한 잔여체를 요구하지 않는 해석적으로 분리되지 않은 국소환에서 에프사 다중도 극한의 존재를 어떻게 확립할 수 있는가?
• RQ5 국소환 $ R $의 $ \mathfrak{m}_R $-adic 완비화에서 담비근이 渐近 다중도 극한 존재를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 국소환 $ R $의 차원이 $ d $일 때, $ \mathfrak{m}_R $-primary 이상의 등급 부여된 가족에 대해 극한 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 가 존재하는 것은 $ R $의 $ \mathfrak{m}_R $-adic 완비화의 담비근의 차원이 $ d $ 보다 작을 때에 한하여 성립한다.
• 차원 $ d $인 노에테르 국소환 $ R $에 대해, $ R $이 해석적으로 분리되지 않으며 그 완비화의 담비근의 차원이 $ d $ 보다 작을 때 극한이 존재하며, 이는 이전 결과를 일반적인 해석적으로 분리되지 않은 링으로 일반화한다.
• $ s < d $ 인 경우에 대해, $ A $가 각 $ n $에 대해 충분히 큰 $ n $에 대해 $ (I_n)_q $ 가 $ q_q $-primary 가 되는 소수의 집합이라면, asymptotic 다중도 공식 $ \lim_{n\to\infty} \frac{e_s(\mathfrak{m}_R, R/I_n)}{n^{d-s}/(d-s)!} = \sum_{q\in A} \left( \lim_{k\to\infty} \frac{e((I_k)_q)}{k^{d-s}} \right) e(\mathfrak{m}_{R/q}) $ 가 성립한다.
• 해석적으로 분리되지 않은 국소환으로 체적-다중도 공식이 확장되며, 이는 평가 함수 이상과 일반적인 $ \mathfrak{m}_R $-primary 가족을 포함하여, 케바흐-코반스키, 아이엔-라자르펠드-스미스, 무스타카의 결과를 일반화한다.
• 해석적으로 분리되지 않은 링에서 $ \limsup \frac{\ell_R(R/I_n)}{n^d} $ 가 존재하고, 이는 체적 적분과 같음을 보였다. 이는 욤리치와 바리다시의 결과를 확장한 것이다.
• 논문은 담비근의 완비화에서 차원이 $ d $ 인 경우, 극한이 존재하지 않는 등급 부여된 $ \mathfrak{m}_R $-primary 이상의 가족이 존재함을 증명하여, 차원 조건이 날카롭게 성립함을 입증한다.