[논문 리뷰] The asymptotic growth of graded linear series on arbitrary projective schemes

Steven Dale Cutkosky|arXiv (Cornell University)|2012. 12. 26.

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

한 줄 요약

이 논문은 완전체 위의 프로젝티브 스킴에 대한 계량 선형 계열의 점근적 성장률을 완전히 특성화한다. 감소한 스킴의 경우 다항수렴이 성립함을 보이며, 이는 고전적 결과의 일반화이지만, 비감소 스킴는 매우 불규칙한 성장을 보일 수 있으며, 산술수열을 따라조차도 극한이 존재하지 않을 수 있다. 이는 대수기하학에서 다항수렴 정리의 적용 범위에 대한 날카로운 경계를 확립한다.

ABSTRACT

Recently, Okounkov, Lazarsfeld and Mustata, and Kaveh and Khovanskii have shown that the growth of a graded linear series on a projective variety over an algebraically closed field is asymptotic to a polynomial. We give a complete description of the possible asymptotic growth of graded linear series on projective schemes over a perfect field. If the scheme is reduced, then the growth is polynomial like, but the growth can be very complex on nonreduced schemes. We also give an example of a graded family of m-primary ideals {I_n} in a nonreduced d-dimensional local ring R, such that the length of R/I_n divided by n^d does not have a limit, even when restricted to any arithmetic sequence.

연구 동기 및 목표

• 프로젝티브 다양체에서의 계량 선형 계열에 대한 다항수렴 정리가 완전체 위의 임의의 프로젝티브 스킴로 어떻게 확장되는지 규명하는 것.
• 특히 q가 코다이라-아이타카 차원일 때, 비감소 스킴에서 dim_k(L_n)/n^q의 극한이 존재하는지 조사하는 것.
• 특히 산술수열으로 제한된 경우조차도 점근적 극한이 존재하지 않는 구체적인 예를 제시하여 기존 정리의 적용 범위의 날카로운 경계를 규명하는 것.
• 감소성과 국소환의 구조가 계량 가족의 아이디얼에 대해 유사 부피 극한의 존재를 보장하는 데 어떤 역할을 하는지 명확히 하는 것.
• 감소한 스킴에서 q(L) ≥ 0이면 고전적 상한 dim_k(L_n) < βn^{q(L)}이 성립하지만, 비감소 설정에서는 실패할 수 있음을 증명하는 것.

제안 방법

• 특히 섹션 환의 크룰 차원과 힐베르트 다항식에 중점을 두어, 계량 선형 계열과 그에 관련된 대수 이론을 사용한다.
• 버로네제 부분대수 구조를 적용하여 성장 연구를 차수 1 생성자로 환원함으로써, 힐베르트 다항식 이론의 적용을 가능하게 한다.
• 암시적 선다발과 O_X → O_X(c)의 단사성과 같은 층 이론적 기법을 사용하여 전역 절단과 모듈 구조를 연결한다.
• R = k[[x_1,…,x_d,y]]/y^2와 같은 비감소 국소환을 사용하여 극한 존재 실패를 보여주는 구체적 반례를 구성한다.
• 힐베르트-사무 다항식과 해석적 비분리성의 개념을 포함한 교환대수 이론 결과를 활용하여 ℓ_R(R/I_n)의 성장률을 분석한다.
• 표준적 계량환에서 비영자환의 존재와 계량 소수 피 avoidance를 사용하여 기본적인 단사 사상과 차원에 대한 경계를 확립한다.

실험 결과

연구 질문

• RQ1 완전체 위의 비감소 프로젝티브 스킴에서, 프로젝티브 다양체에서의 계량 선형 계열의 점근적 다항수렴이 성립하는가?
• RQ2 비감소 스킴에서 n이 산술수열으로 제한된 경우조차도 lim_{n→∞} dim_k(L_n)/n^q의 극한이 존재하지 않을 수 있는가?
• RQ3 q(L) ≥ 0일 때, 비감소 스킴에서 계량 선형 계열에 대해 고전적 상한 dim_k(L_n) < βn^{q(L)}이 성립하는가?
• RQ4 국소환 R에서 어떤 조건이 m_R-주기적 가정의 계량 가정 {I_n}에 대해 lim_{n→∞} ℓ_R(R/I_n)/n^d의 존재를 보장하는가?
• RQ5 비감소 스킴에서 계량 선형 계열이 q(L) = -∞이지만 여전히 n^d의 정도로 성장할 수 있는가?

주요 결과

• 완전체 위의 감소 프로젝티브 스킴에서, q가 코다이라-아이타카 차원일 때, 임의의 산술수열 a + br (r > 0)을 따라 lim_{n→∞} dim_k(L_n)/n^q의 극한이 존재한다.
• 비감소 스킴에서는 '크기 있는' 계량 선형 계열이 최대 코다이라-아이타카 차원 d를 가지더라도, 임의의 산술수열으로 제한된 경우조차도 lim_{n→∞} dim_k(L_n)/n^d의 극한이 존재하지 않을 수 있다.
• 논문은 6.3 예제에서 비감소적이며 d차원의 기약 프로젝티브 스킴과 계량 선형 계열을 제시하여, dim_k(L_n)/n^d가 극한이 없음을 보이며, 고전적 다항수렴 정리의 실패를 입증한다.
• 7.1 예제에서는 비감소 국소환 R = k[[x_1,…,x_d,y]]/y^2에서 m_R-주기적 가정 {I_n}을 제시하여, lim_{n→∞} ℓ_R(R/I_n)/n^d가 어떤 산술수열을 따라도 극한이 존재하지 않음을 보인다.
• 논문은 [3]의 정리 5.9에서 해석적 비분리성 국소환의 가정이 필수적임을 보이며, 7.1 예제에서 비분리성의 부재 시 극한이 존재하지 않을 수 있음을 보여준다.
• 감소 스킴에서 q(L) ≥ 0이면, 모든 n에 대해 dim_k(L_{en}) > αn^{q(L)}를 만족하는 양의 상수 α가 존재함을 보이며, 이는 코다이라-아이타카 차원의 핵심 성질이 이 설정에서도 유지됨을 확인한다.