[논문 리뷰] Ramification of surfaces: sufficient jet order for wild jumps

I. B. Zhukov|ArXiv.org|2002. 01. 09.

Advanced Numerical Analysis Techniques참고 문헌 3인용 수 5

한 줄 요약

이 논문은 정규 표면 위의 함수체의 유한 갈로아 확장에서 야생 분할점의 분할점 이격도가 분할점에서 곡선의 임계 순서에 의존함을 입증한다. 호 이론적 방법과 특이 곡선의 불변량을 사용하여, 충분히 높은 접촉을 가지는 곡선들이 동일한 분할점 이격도를 갖는다는 것을 증명하고, 특정 군론적 조건 하에서 전체 분할 필터링이 일치함을 보이며, 델리뉴의 오일러-포앵카르에 특성 수치 계산 프로그램을 발전시킨다.

ABSTRACT

We develop a new approach to construction of numerical invariants for ramified coverings of algebraic surfaces of prime characteristic. Let A be a two-dimensional regular local ring of prime characteristic p with algebraically closed residue field. Let L/K be a solvable finite Galois extension of its fraction field. Let C be a germ of a regular curve on the spectrum of A which is not a component of the ramification divisor R. Then L/K determines (up to conjugation) an extension of the function filed of C. This is an extension of discrete valuation fields with algebaically closed residue fields, and we consider ramification jumps of this extension. Varying C, we obtain a collection of data describing the ramification of L/K with respect to C. In the present paper we show that the above mentioned ramification jumps depend only on the jet of C of certain order, and the upper bound for this order depends linearly on the order of tangence of C and R. Strictly speaking, this is done for wild ramification jumps, i.e., for the ramification jumps divided by the order of tame ramification. It would be important to prove a stronger fact: not only the jumps but the whole ramification filtration is the same when C is running over a jet of certain order. This statement (for curves transversal to R) is a step in Deligne's program describing how to compute Euler-Poincare characteristics of constructible etale sheaves on surfaces. In the present version we prove the above fact for some class of Galois groups that includes, in particular, all abelian p-groups.

연구 동기 및 목표

• 분지 집합과 교차하는 곡선을 이용한 2차원 스킴에서의 분할점 불변량 이론을 체계적으로 개발한다.
• 표면 위의 곡선 선택에 따라 확장의 분할점 이격도가 어떻게 변하는지 이해한다.
• 야생 분할점 이격도가 곡선의 특정 매립에 의존하지 않고, 점에서의 임계 순서에만 의존함을 증명한다.
• 높은 접촉을 가지는 곡선에 대해 전체 분할 필터링이 유지되는 조건을 설정한다.
• 분할 자료를 통한 표면 위의 층의 오일러-포앵카르에 특성 수치 계산을 위한 델리뉴의 프로그램을 뒷받침한다.

제안 방법

• 분지 집합 $ R \subset \mathcal{X} $ 와 교차하는 곡선 $ C \subset \mathcal{X} $ 에 대한 제한을 통해 분할점을 분석하고, 야생 이격도에 초점을 맞춘다.
• 아크(매개변수화된 대수기하 곡선)를 사용하여 $ \mathcal{X} $ 상의 특이점과 그 정규화 $ \mathcal{Y} $ 상의 상응하는 점들을 비교한다.
• 임계 이론 기법을 적용하여, 분할점 불변량이 갈로아 군에 따라 유계된 함수로 주어지는 임계 순서에만 의존함을 보인다.
• 스완 특성 불변량과 비율 이론 도구를 활용하여 다양한 곡선 간의 분할 필터링을 비교한다.
• 모든 순환 부분군이 정규인 $ p $-군의 경우, 곡선이 유기적 분할집합 $ R_0 $ 와 충분히 높은 교차 상호작용을 가지면 전체 분할 필터링이 유지됨을 증명한다.
• 특히 5.5 및 6.3번 보조정리에 의해, 소수 차수의 순환 확장에서의 불변량 비교에 의존한다.

실험 결과

연구 질문

• RQ1 갈로아 확장이 곡선을 沿해 분할점 이격도가 점에서의 곡선의 임계 순서에만 의존하는가?
• RQ2 적절한 군론적 조건 하에서, 높은 접촉을 가지는 곡선에 대해 전체 분할 필터링이 유지되는가?
• RQ3 모든 곡선이 점을 통과할 때, 분할점 불변량이 안정화되는 데 필요한 임계 순서의 통일된 상한이 존재하는가?
• RQ4 분할점 불변량 체계가 함수적이고 충분히 풍부하여 고차원에서 알려진 불변량을 복원할 수 있는가?
• RQ5 $ \mathcal{X} $ 상의 특이 아크는 커버링 $ \mathcal{Y} $ 상의 분할점 불변량과 어떻게 관련이 있는가?

주요 결과

• 확장 $ L/K $ 가 곡선 $ C $ 를 따라 점 $ P \in C \cap R $ 에서 야생 분할점 이격도는 $ P $ 에서의 곡선 $ C $ 의 일정한 유계된 순서의 임계에만 의존한다.
• 갈로아 군에 따라 정의되는 유계된 임계 순서에 대해, 고도의 접촉을 가지는 곡선들에 대해 분할점 이격도가 동일함을 보장하는 통일된 상한이 존재한다.
• 모든 순환 부분군이 정규인 갈로아 군(예: 특정 비아벨 $ p $-군)의 경우, 곡선이 유기적 분할집합 $ R_0 $ 와 충분히 높은 교차 상호작용을 가지면 전체 분할 필터링이 유지된다.
• 교차 상호작용 $ (C.C')_P \geq (C.R_0)_P $ 이면 분할 필터링이 유지되며, 여기서 $ R_0 $ 는 분지 집합에 지지된 유기적 분할집합이다.
• 증명은 $ \mathcal{X} $ 상의 아크 불변량과 그 정규화 $ \mathcal{Y} $ 상의 상응하는 불변량을 비교함에 의존하며, 특히 소수 차수의 순환 확장의 경우에 중점을 둔다.
• 결과는 델리뉴의 프로그램에서 오일러-포앵카르에 특성 수치 계산을 위한 핵심 단계를 확인한다.