[논문 리뷰] Frobenius splitting, point-counting, and degeneration

Allen Knutson|ArXiv.org|2009. 11. 25.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 40

한 줄 요약

이 논문은 다항식 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ 이 $ \mathbb{F}_p $-점의 수가 $ p $ 에 의해 나누어지지 않을 경우, $ \{f=0\} $ 의 교차, 합집합, 구성 성분으로 이루어진 모든 부분스킴이 근본적이고, 일관된 프로베누스 스며침을 갖는다고 밝힌다. 또한 이 성질을 유지하는 그뢰브너 기울임 변환 하에서 이러한 일관된 스며침을 갖는 부분스킴이 근본적인 스탠리–라이즈너 스킴으로 기울어지며, 점 수의 차이는 $ p $ 의 배수로 나타나며, 이는 행렬 셈부르트 다양체와 카즈한–루스티그 다양체에 대한 기존 결과를 복원한다.

ABSTRACT

Let f be a polynomial of degree n in ZZ[x_1,..,x_n], typically reducible but squarefree. From the hypersurface {f=0} one may construct a number of other subschemes {Y} by extracting prime components, taking intersections, taking unions, and iterating this procedure. We prove that if the number of solutions to f=0 in \FF_p^n is not a multiple of p, then all these intersections in Å^n_{\FF_p} just described are reduced. (If this holds for infinitely many p, then it holds over \QQ as well.) More specifically, there is a_Frobenius splitting_ on Å^n_{\FF_p} compatibly splitting all these subschemes {Y}. We determine when a Gröbner degeneration f_0=0 of such a hypersurface f=0 is again such a hypersurface. Under this condition, we prove that compatibly split subschemes degenerate to compatibly split subschemes, and stay reduced. Our results are strongest in the case that f's lexicographically first term is \prod_{i=1}^n x_i. Then for all large p, there is a Frobenius splitting that compatibly splits f's hypersurface and all the associated {Y}. The Gröbner degeneration Y' of each such Y is a reduced union of coordinate spaces (a Stanley-Reisner scheme), and we give a result to help compute its Gröbner basis. We exhibit an f whose associated {Y} include Fulton's matrix Schubert varieties, and recover much more easily the Gröbner basis theorem of [Knutson-Miller '05]. We show that in Bott-Samelson coordinates on an opposite Bruhat cell X^v_\circ in G/B, the f defining the complement of the big cell also has initial term \prod_{i=1}^n x_i, and hence the Kazhdan-Lusztig subvarieties {X^v_{w\circ}} degenerate to Stanley-Reisner schemes. This recovers, in a weak form, the main result of [Knutson '08].

연구 동기 및 목표

• 다항식 $ \{f=0\} $ 에서 유도된 부분스킴이 $ \mathbb{F}_p $ 에서 근본적임을 보장하는 조건을 확립하는 것, 특히 $ \mathbb{F}_p $-점의 수가 $ p $ 에 의해 나누어지지 않을 경우.
• 이러한 부분스킴이 일관된 프로베누스 스며침을 갖는다는 것을 보여주어, 교차와 합집합과 같은 대수적 연산 하에서의 근본성과 안정성을 확보하는 것.
• 그뢰브너 기울임 변환 하에서 일관된 프로베누스 스며침이 유지되는지 분석하며, 특히 기울임 결과가 스탠리–라이즈너 스킴이 되는 경우에 초점을 맞추는 것.
• 이러한 결과를 행렬 셈부르트 다양체와 카즈한–루스티그 다양체와 같은 알려진了几何적 대상과 연결하여, 프로베누스 스며침 기법을 통해 기존 정리를 복원하는 것.
• 적절한 조건 하에서 기울임 변환의 일반 선행자와 특수 선행자의 점 수가 $ p $ 의 배수로 차이가 나는지 보여주는 것.

제안 방법

• 표준 스며침을 정의하는 추적 사상 $ \mathrm{Tr}(\bullet) $ 를 통해 $ \mathbb{F}_p[x_1,\dots,x_n] $ 에서 프로베누스 스며침을 사용하여 이상성과 이상성과의 일관성을 감지하는 것.
• 근접 스며침과 일관된 스며침을 갖는 이상의 분류를 적용하여, 교차, 합집합, 소수 성분 하에서 근본성의 유지가 보장됨을 보이는 것.
• 다항식 $ f $ 가 사전순서로 첫 번째 항으로 $ \prod x_i $ 를 가지며 $ p $ 가 충분히 클 경우, $ \{f=0\} $ 에서 유도된 모든 부분스킴에 대해 일관된 프로베누스 스며침을 구성하는 것.
• 그뢰브너 기울임 변환을 사용하여 일반 선행자와 특수 선행자를 연결하여, 일관된 스며침을 갖는 부분스킴이 특정 조건 하에서 근본적인 스탠리–라이즈너 스킴으로 기울어짐을 보이는 것.
• 기하학적 정점 분해를 활용하여 선행자 간에 불연속적인 단사 사상을 구성하여, 다양체의 코호호모로지 군에서의 동치류를 비교하는 것.
• 초기 항이 $ \prod x_i $ 라면, 큰 $ p $ 에서 모든 관련 부분스킴에 대해 일관된 프로베누스 스며침이 존재함을 이용하는 것.

실험 결과

연구 질문

• RQ1 다항식 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ 가 어떤 조건을 만족할 경우, $ \{f=0\} $ 과 그로부터 유도된 모든 부분스킴이 $ \mathbb{F}_p $ 에서 근본적일까?
• RQ2 프로베누스 스며침을 갖는 부분스킴의 그뢰브너 기울임 변환이 일관된 스며침과 근본성을 유지하는가?
• RQ3 그뢰브너 기울임 변환의 일반 선행자와 특수 선행자의 점 수는 $ p $ 모듈로 어떻게 관련이 있을까?
• RQ4 프로베누스 스며침 기법을 통해 기존의 행렬 셈부르트 다양체와 카즈한–루스티그 다양체에 대한 결과를 복원할 수 있는가?
• RQ5 사전순서로 첫 번째 항 $ \prod x_i $ 는 모든 관련 부분스킴에 대해 일관된 프로베누스 스며침의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 만약 $ \{f=0\} $ 에서 $ \mathbb{F}_p $-점의 수가 $ p $ 에 의해 나누어지지 않는다면, $ \{f=0\} $ 의 교차, 합집합, 구성 성분으로 이루어진 모든 부분스킴은 근본적이다.
• 모든 이러한 유도된 부분스킴 $ \{Y\} $ 를 일관되게 스며들이는 $ \mathbb{A}^n_{\mathbb{F}_p} $ 에서의 프로베누스 스며침이 존재하여, 그들의 근본성(이상성)을 보장한다.
• 사전순서로 첫 번째 항이 $ \prod_{i=1}^n x_i $ 인 다항식과 모든 큰 소수 $ p $ 에 대해, 관련된 부분스킴은 일관된 프로베누스 스며침을 갖는다.
• 그뢰브너 기울임 변환 하에서, 초기 항 조건을 유지하는 경우 특수 선행자는 근본적인 스탠리–라이즈너 스킴이 되며, 일반 선행자는 일관된 방식으로 기울어진다.
• 적절한 조건 하에서, 그뢰브너 기울임 변환의 일반 선행자와 특수 선행자에서의 $ \mathbb{F}_p $-점 수는 $ p $ 의 배수로 차이가 난다.
• 논문은 2005년 쿤츠온–밀러의 그뢰브너 기저 정리와 2008년 쿤츠온의 카즈한–루스티그 다양체에 대한 기울임 결과를 프로베누스 스며침 기법을 통해 복원한다.