[논문 리뷰] Convex Bodies Associated to Linear Series

Robert Lazarsfeld, Mircea Mustaţă|ArXiv.org|2008. 05. 29.

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

한 줄 요약

이 논문은 프로젝티브 다양체 위의 선형 계열과 관련된 옥운코프 몰입체를 플래그 기반의 평가 함수 구성법을 통해 볼록 기하학적 대상으로 도입한다. 이는 유클리드 체적의 옥운코프 몰입체가 계수 인자의 체적과 계수 인자에 비례하는 인자 계수를 통해 일치함을 증명하며, 고전적인 대수기하학 결과를 일반화하고 점근적 선형 계열 이론을 볼록 기하학과 연결한다.

ABSTRACT

In his work on log-concavity of multiplicities, Okounkov showed in passing that one could associate a convex body to a linear series on a projective variety, and then use convex geometry to study such linear systems. Although Okounkov was essentially working in the classical setting of ample line bundles, it turns out that the construction goes through for an arbitrary big divisor. Moreover, this viewpoint renders transparent many basic facts about asymptotic invariants of linear series, and opens the door to a number of extensions. The purpose of this paper is to initiate a systematic development of the theory, and to give a number of applications and examples.

연구 동기 및 목표

• 프로젝티브 다양체 위의 선형 계열과 관련된 볼록 몰입체를 평가 함수 기반 구성법을 통해 체계적으로 개발한다.
• 볼록 기하학적 방법을 사용하여 점근적 대수기하학의 고전적 결과—예를 들어 체적 계산—을 일반화한다.
• 특히 수치 동치와 유리수 계열과의 관련성에서, 인자류에 대한 함수로서 이러한 볼록 몰입체의 변화를 연구한다.
• 반환된 세미군집이 유리 부분공간과의 교차에서 생성하는 콘과 관련된 콘의 교차가 일치하는 조건을 조사한다.
• 이러한 볼록 몰입체의 기하학적 및 대수적 성질을 연구한다. 비다각형 및 비유리 예제를 포함한다.

제안 방법

• X에서 codimension i인 부분다양체의 플래그 Y•를 사용하여 큰 인자 D의 전역 섹션 공간 위에 평가 유사 함수 ν를 구성한다.
• O_X(D)의 영이 아닌 섹션들의 평가 벡터의 집합인 v(D)를 정의하며, 이는 섹션의 점근적 행동을 포착한다.
• R^d에 임bedded된 m ≥ 1에 대해 (1/m)·v(mD)의 합집합의 닫힌 볼록 콘으로서 옥운코프 몰입체 Δ(D)를 정의한다.
• 코반스키의 결과와 점근적 분석을 사용하여, Δ(D)의 체적이 (1/d!) × 인자 D의 체적과 일치함을 증명한다.
• Δ(D)가 D의 수치 동치류에만 의존하며, 양의 정수 p에 대해 Δ(pD) = p·Δ(D)임을 증명하고, 이 구성법을 유리수 및 실수 수치류로 확장한다.
• 세미군집 이론과 콘 기하학을 사용하여, 유리 부분공간에 대한 제약 조건 하에서 옥운코프 몰입체의 행동을 분석하며, 세미군집 교차 콘과 콘 교차가 전지수성 및 내부 교차 조건을 만족할 경우 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 볼록 기하학은 어떻게 체계적으로 프로젝티브 다양체 위의 선형 계열을 연구하는 데 사용될 수 있는가?
• RQ2 인자의 체적과 그에 관련된 옥운코프 몰입체의 체적 사이의 정확한 관계는 무엇인가?
• RQ3 반환된 세미군집이 유리 부분공간과의 교차에서 생성하는 콘과 관련된 콘의 교차가 일치하는 조건은 무엇인가?
• RQ4 옥운코프 몰입체는 수치 동치에 대해 어떻게 함수적으로 변화하는가?
• RQ5 암시적 인자에 대해서도 옥운코프 몰입체가 비다각형 또는 비유리일 수 있는가?

주요 결과

• 옥운코프 몰입체 Δ(D)의 유클리드 체적은 (1/d!) × 인자 D의 체적과 일치한다. 즉, vol_{R^d}(Δ(D)) = (1/d!)·vol_X(D).
• Δ(D)의 구성은 D의 수치 동치류에만 의존하며, 양의 정수 p에 대해 Δ(pD) = p·Δ(D)이다.
• 모든 유리 수치류 ξ ∈ N^1(X)_Q에 대해 잘 정의된 옥운코프 몰입체 Δ(ξ) ⊆ R^d가 존재하며, vol_{R^d}(Δ(ξ)) = (1/d!)·vol_X(ξ)이다.
• 논문은 비유리 옥운코프 몰입체를 갖는 아벨 표면 위의 인자를 구성하여, 비록 다각형이 아니지만 비유리인 사다리형을 이루는 예를 제시함으로써, 암시적 경우에도 비유리성이 발생할 수 있음을 보여준다.
• 네 차원의 예시에서 옥운코프 몰입체가 다각형이 아니며, 복잡한 기하학적 구조를 가질 수 있음을 보여주며, 볼록 몰입체가 복잡한 기하학적 형태를 가질 수 있음을 입증한다.
• 세미군집 Γ가 Z^n의 유한 지수 부분군을 생성하고, 부분공간 L이 콘 Σ의 내부를 포함하는 조건을 만족할 경우, Σ(Γ) ∩ L = Σ(Γ ∩ L)임을 증명하여, 세미군집과 콘의 교차 간의 핵심 호환성을 확립한다.