[논문 리뷰] Schubert varieties are log Fano over the integers

Dave Anderson, Alan Stapledon|arXiv (Cornell University)|2012. 03. 29.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 Schubert 다양체가 정수 위에서 로그 팔란드라임을 이루는 것으로 증명한다. 이를 위해 정수 위에서 정의된 캐논컬 디바이저 Δ를 구성하여, 모든 특성수에서 쌍 (X_w, Δ)가 로그 팔란드라임임을 보인다. Bott-Samelson 해상과 캐논컬 디바이저 및 선다발의 차수에 대한 명시적 공식을 사용하여, −(K_{X_w} + Δ)가 풍부하고 쌍이 Kawamata 로그 단순임을 보이며, 특성수 간의 균일한 경계 디바이저에 대한 질문을 해결한다.

ABSTRACT

Given a Schubert variety X_w, we exhibit a divisor Δ, defined over the integers, such that the pair (X_w,Δ) is log Fano in all characteristics.

연구 동기 및 목표

• Schwede와 Smith가 제기한 질문에 대해, Schubert 다양체가 모든 특성수에서 (X_w, Δ)가 로그 팔란드라임이 되게 하는 단일 경계 디바이저 Δ가 존재하는지 여부를 해결하기 위해.
• 정수 위에서 정의된 디바이저 Δ를 구성하여, 쌍 (X_w, Δ)가 Kawamata 로그 단순이면서 −(K_{X_w} + Δ)가 풍부하도록 하기 위해.
• 기하학적 및 표현론적 도구를 활용하여, 로그 팔란드라임 성질이 모든 대수적 특성수에 걸쳐 균일하게 성립함을 확립하기 위해.
• 경계 디바이저 Δ = ∑(1 − a_i/M)∂_i (M > max a_i)가 잘 정의되고, 유효하며 전역적으로 정의된 로그 팔란드라임 쌍을 제공함을 증명하기 위해.

제안 방법

• w에 대한 축약된 단어에 관련된 Bott-Samelson 해상 φ: ˜X_w → X_w를 사용하여, ˜∂가 단순 정규교차 디바이저인 매끄럽고 비자명한 모델을 제공한다.
• c_i = 1 − a_i/M로 정의된 Δ = ∑c_i∂_i를 정의하며, 여기서 a_i는 X_w 위의 선다발 L(ρ)에서 온 계수이고 M은 모든 a_i보다 큰 정수이다.
• Chevalley의 공식을 적용하여 b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i)를 계산한다. 여기서 γ_i = s_ℓ⋯s_{i+1}(α_i)는 양의 근이며, T-고정점 곡선 위에서 φ^*L(ρ)의 차수를 제공한다.
• 투영 공식과 T-고정점 곡선의 교차를 사용하여, (φ^*L(ρ) · C_i) = (L(ρ) · φ(C_i)) = ⟨ρ, γ_i^∨⟩ = b_i > 0임을 보인다.
• φ^*(K_{X_w} + Δ) = K_{˜X_w} + ˜Δ를 확립하며, ˜Δ = ∑(1 − b_i/M)˜∂_i로 정의하고, b_i > 0라는 사실을 이용해 레마를 적용하여 ⌊˜Δ⌋ ≤ 0임을 보인다.
• φ가 유리적 해상임을 이용하고 [2, Lemma 2.30 및 Corollary 2.31]의 결과를 적용하여 (X_w, Δ)가 klt이자 로그 팔란드라임임을 결론짓는다.

실험 결과

연구 질문

• RQ1 정수 위에서 정의된 단일 경계 디바이저 Δ가 모든 특성수에서 Schubert 다양체가 로그 팔란드라임이 되게 할 수 있는가?
• RQ2 −(K_{X_w} + Δ)가 풍부하고 (X_w, Δ)가 모든 특성수에서 Kawamata 로그 단순이 되게 하는 균일한 Δ의 구성이 가능한가?
• RQ3 Weyl 군과 기본 무게의 표현론적 자료에 따라 Δ의 계수를 정확히 어떻게 기술할 수 있는가?
• RQ4 선다발 L(ρ)에서 온 계수 a_i와 b_i는 Bott-Samelson 해상의 기하학과 어떻게 관련되어 있는가?
• RQ5 ˜X_w에서의 캐논컬 디바이저 공식 −K_{˜X_w} = ∑(⟨ρ, γ_i^∨⟩ + 1)˜∂_i는 비축약된 단어로도 확장 가능한가? 그리고 로그 팔란드라임 성질에 대해 어떤 함의를 갖는가?

주요 결과

• 쌍 (X_w, Δ)는 정수 위에서 로그 팔란드라임이며, Δ = ∑(1 − a_i/M)∂_i로 주어지며, M > max a_i 이고 a_i는 선다발 L(ρ)에서 온 양의 정수이다.
• 계수 b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i)는 엄밀히 양수이며, 이는 φ^*L(ρ)가 T-고정점 곡선 위에서 양의 차수를 가짐을 보장한다.
• Bott-Samelson 해상에서의 캐논컬 디바이저 공식은 K_{˜X_w} = −∑(b_i + 1)˜∂_i로 주어지며, 이는 비축약된 단어에 대해서도 성립한다. 다만 γ_i가 양의 근이 아니면 계수가 음수가 될 수 있다.
• 쌍 (X_w, Δ)는 φ_*K_{˜X_w} = K_{X_w} 이고 ⌊φ^*(K_{X_w} + Δ)⌋ = K_{˜X_w} + ⌊˜Δ⌋ 이며, ⌊˜Δ⌋ ≤ 0 이므로 Kawamata 로그 단순이다.
• 디바이저 Δ는 유효하며 정수 위에서 정의되며, 기저 체의 특성수에 관계없이 독립적이다. 이는 균일성에 대한 질문에 대한 긍정적 해답을 제시한다.
• −K_{X_w}는 Δ에 의해 뒤집힌다. MK_{X_w} + MΔ = −(M+1)∑a_i∂_i 는 L(−ρ)^{⊗(M+1)}의 절단이다.