[논문 리뷰] Some results of geometry over Henselian fields with analytic structure

Krzysztof Jan Nowak|arXiv (Cornell University)|2018. 08. 07.

Advanced Topology and Set Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 해니아엘 비율 체 위의 해석 구조를 갖춘 기하학에서 기초적인 결과를 확립하며, 이전의 대수적 작업을 해석적 설정으로 확장한다. 정의 가능한 사상에 대한 닫힘 정리와 양자자기 제거, b-최소성, 셀 분해를 활용하여 조각 연속성, 홀더 연속성, 로자예프스키 부등식, 정의 가능한 집합에 대한 곡선 선택과 같은 핵심 해석적 성질을 도출한다. 이는 국소적으로 컴팩트인 체와 유사하게 특이점의 해소와 정규 교차 분할자로의 변환을 가능하게 한다.

ABSTRACT

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is a complete rank one valued fields with the Tate algebra of strictly convergent power series. The algebraic case was treated in our previous papers. Here we are going to carry over the research to the general analytic settings. Also considered are the local rings of analytic function germs induced by a given separated Weierstrass system, which turn out to be excellent and regular. Several results are established as, for instance, piecewise continuity of definable functions, several versions of the Łojasiewicz inequality, Hölder continuity of definable functions continuous on closed bounded subsets of the affine space and curve selection for definable sets. Likewise as before, at the center of our approach is the closedness theorem to the effect that every projection with closed bounded fiber is a definably closed map. It enables application of resolution of singularities and of transformation to a normal crossing by blowing up (here applied to the local rings of analytic function germs) in much the same way as over locally compact ground fields. We rely on elimination of valued field quantifiers, term structure of definable functions and b-minimal cell decomposition, due to Cluckers--Lipshitz--Robinson, as well as on relative quantifier elimination for ordered abelian groups, due to Cluckers--Halupczok. Besides, other two ingredients of the proof of the closedness theorem are existence of the limit (after finite partitioning of the domain) for a definable function of one variable and fiber shrinking, being a relaxed version of curve selection.

연구 동기 및 목표

• 등차수 0인 Henselian 비율 체 위에서 대수적 결과를 해석적 설정으로 확장한다.
• 정의 가능한 집합과 함수에 대한 기초적인 해석적 성질—예를 들어 연속성, 로자예프스키 부등식, 곡선 선택—을 확립한다.
• 닫힘된 유계 근처를 갖는 정의 가능한 사상에 대한 닫힘 정리를 증명하여 특이점의 해소와 정규 교차 분할자로의 변환을 가능하게 한다.
• 분離된 Weierstrass 체계에 의해 유도된 해석 함수의 국소 환들이 우수하고 정규임을 보인다.
• 최근 연구에서 제안된 비아르키메데스 Tietze–Urysohn 유형의 확장 정리를 해석적 설정으로 확장한다.

제안 방법

• 비율 체의 양자자기 제거 및 순서형 아벨 군에 대한 상대적 양자자기 제거를 활용하여 정의 가능한 집합과 함수를 분석한다.
• 중심과 정의 가능한 함수의 용어적 구조를 갖춘 b-최소성 셀 분해를 적용하여 함수의 국소적 행동을 제어한다.
• 닫힘 정리 증명의 핵심 기술 도구로, 곡선 선택의 약화된 형태인 섬유 수축을 사용한다.
• 국소적으로 컴팩트인 경우의 기법을 일반화하여 블로우업을 통한 정규 교차 분할자로의 변환을 적용한다.
• 닫힘 정리를 중심 도구로 활용하여 정의 가능한 함수의 연속성과 정규성 결과를 도출한다.
• 가중치와 각도 성분 사상으로 복잡한 정의 가능한 집합을 더 단순한 형태로 줄여 귀납적 추론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 분리된 해석 구조를 갖춘 Henselian 체 위에서 정의 가능한 사상에 대한 닫힘 정리는 대수적 설정에서 해석적 설정으로 확장될 수 있는가?
• RQ2 이러한 체 위의 애핀 공간의 닫힘 유계 부분집합에서 연속인 정의 가능한 함수들은 홀더 연속성을 만족하는가?
• RQ3 해석적 설정에서 로자예프스키 유형의 부등식을 확립할 수 있으며, 그 연속성에 대한 함의는 무엇인가?
• RQ4 Henselian 체 위의 해석 구조를 갖는 정의 가능한 집합에 대해 곡선 선택이 성립하는가, 그리고 섬유 수축과의 관계는 어떠한가?
• RQ5 Weierstrass 체계에 의해 유도된 해석 함수의 국소 환들은 해석적 설정에서도 여전히 우수하고 정규인가?

주요 결과

• 정의 가능한 사상에 대한 닫힘 정리는 정의 가능한 집합과 그 값의 비율환의 곱에서 정의 가능한 집합으로의 사상에 대해 성립하며, K-위상에서 닫힌 정의 가능한 부분집합의 상이 여전히 닫혀 있음을 보장한다.
• K^n의 닫힘 유계 부분집합에서 연속인 정의 가능한 함수들은 홀더 연속성을 만족하며, 이는 대수적 경우의 결과를 일반화한다.
• 로자예프스키 부등식의 여러 형태가 확립되어, 정의 가능한 함수가 영점 근처에서의 감쇠를 정량적으로 제어할 수 있다.
• 정의 가능한 집합에 대해 곡선 선택이 성립한다: 정의 가능한 집합 A와 그 클로처에 속하는 점 a가 주어지면, A 내의 정의 가능한 곡선이 a로 수렴한다.
• 분리된 Weierstrass 체계에 의해 유도된 해석 함수의 국소 환들은 우수하고 정규이며, 이는 기존의 대수적 결과를 해석적 설정으로 확장한다.
• 닫힘 정리는 특이점의 해소와 블로우업을 통한 정규 교차 분할자로의 변환을 가능하게 하며, 국소적으로 컴팩트인 체에서 사용되는 기법과 유사하게 작용한다.