[논문 리뷰] Bertini theorems for hypersurface sections containing a subscheme over finite fields

Franziska Wutz|arXiv (Cornell University)|2016. 11. 28.

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

한 줄 요약

이 논문은 주어진 닫힌 부분_scheme를 포함하는 매끄러운 초곡면 절단에 대한 유한체 위의 버티니 정리의 유사체를 수립하며, 차원 조건 하에서 이러한 초곡면이 양의 밀도를 가짐을 증명한다. 이는 푸넨의 작업을 국소 조건을 포함하도록 확장하며, 임베딩 차원과 교차 차원이 임계 부등식을 만족할 경우 밀도가 0이 아니며, 제타 함수를 포함한 명시적 공식을 제시한다.

ABSTRACT

We show the existence of a hypersurface that contains a given closed subscheme of a projective space over a finite field and intersects a smooth quasi-projective scheme smoothly, under some condition on the dimension. This generalizes a Bertini theorem by Poonen and is the finite field analogue of a Bertini theorem by Altman and Kleiman. Furthermore, we add the possibility of modifying finitely many local conditions of the hypersurface. We show that the condition on the dimension is fulfilled for schemes with simple normal crossings and give an application to embeddings into smooth schemes.

연구 동기 및 목표

• 유한체 위에서 푸넨의 버티니 정리를, 고정된 닫힌 부분_scheme Z를 포함하는 매끄러운 초곡면 절단의 존재성을 포함하도록 일반화하는 것.
• 유한 부분_scheme Y에서 초곡면에 대해 유한 개의 사전 지정된 국소 조건을 포함하여 기하적 체계 방법을 확장하는 것.
• 이러한 초곡면의 집합에 대한 정확한 밀도 공식을 유도하며, 교차 스킴의 제타 함수를 통해 표현하는 것.
• 밀도 공식의 차원 조건이 교차 V = Z ∩ X 가 단순 정규 교차를 이룰 경우 만족됨을 보이는 것.
• 스킴을 유한체 위에서 매끄러운 스킴에 포함시키기 위해 결과를 적용하는 것.

제안 방법

• 논문은 푸넨의 접근을 수정하여 부분_scheme와 국소 조건을 다룰 수 있도록 조정된 기하학적 닫힌 점 체계 방법을 사용한다.
• I_d 상에서 균일 분포를 보장하기 위해 f = f₀ + Σ g_i^p t_i 형태의 랜덤 표현을 이용하여, Z에 영향을 주는 동차 다항식 공간에 대한 밀도 측도 μ_Z(𝒫)를 정의한다.
• 핵심 구성은 I_d 상에서 균일 분포를 가지도록 보장하는 다항식 f의 선택으로, f = f₀ + Σ g_i^p t_i 형태의 표현을 사용한다.
• 고도가 높은 점에서의 특이점이 d → ∞ 일 때 확률 1 - o(1)로 사라짐을 보이기 위해, 편도함수의 영점 개수에 대한 귀납법을 사용한다.
• 기하학적 대수기하학의 결과를 적용하며, 특히 코탄제트층의 구조와 e(x) = dim_{κ(x)}(Ω¹_X|_𝔽_q(x))의 정의를 포함한다.
• 최종 밀도 공식은 제타 함수 ζ_V(m+1), ζ_U(m+1), 그리고 e < m 인 경우 ζ_{V_e}(m-e)를 조합하며, 국소 조건 T에 대한 보정 인자도 포함한다.

실험 결과

연구 질문

• RQ1 유한체 위에서 주어진 닫힌 부분_scheme Z를 포함하는 매끄러운 초곡면 절단이 존재하는 조건은 무엇인가? 이는 매끄러운 준사영 스킴 X와도 매끄럽게 교차한다.
• RQ2 유한 부분_scheme Y에서 초곡면에 대해 국소 조건을 사전에 지정하면서도 교차의 매끄러움을 유지하는 방법은 무엇인가?
• RQ3 이러한 초곡면의 집합이 모든 Z를 포함하는 초곡면 공간에서 정확히 어떤 밀도를 가지며, 이를 명시적으로 계산할 수 있는가?
• RQ4 차원 조건 max_{0≤e≤m−1} {e + dim V_e} < m 이 만족되는가? 특히 단순 정규 교차를 가지는 스킴의 경우에 대해.
• RQ5 이 결과를 이용하여 유한체 위의 스킴을 초곡면 절단을 통해 매끄러운 스킴에 포함시킬 수 있는가?

주요 결과

• 밀도 μ_Z(𝒫)는 max_{0≤e≤m−1} {e + dim V_e} < m 이고 V_m = ∅ 일 때에만 0이 아님을 보여주며, 여기서 V = Z ∩ X 이고 V_e 는 임베딩 차원이 e인 점의 집합이다.
• 정확한 밀도는 μ_Z(𝒫) = (#T / #H⁰(Y, ℐ_Z·𝒪_Y)) × ζ_V(m+1) / (ζ_U(m+1) × ∏_{e=0}^{m−1} ζ_{V_e}(m−e)) 로 주어지며, 제시된 차원 조건 하에서 양수이다.
• 조건 max_{0≤e≤m−1} {e + dim V_e} < m 은 V = Z ∩ X 가 단순 정규 교차이면서 등차원일 경우 만족된다.
• Y = ∅ 이고 T = {0} 인 특수한 경우, 결과는 알트만과 클라이먼의 버티니 정리의 유한체 유사체로 줄어들며, [Wut14]의 정리 2.1을 복원한다.
• 증명은 d → ∞ 일 때, (d−c)/(m+1) 보다 높은 차수를 가진 점에서의 특이점 발생 확률이 0으로 수렴함을 보여, 높은 확률로 매끄럽음을 보장한다.
• 국소 조건 T 에 대해, f|_Y ∈ T 를 만족하는 다항식의 균일 랜덤 구성 방법을 사용함으로써, Y 에서의 국소 조건을 성공적으로 처리한다.