[논문 리뷰] Continuous functions in the plane regular after one blowing-up

Goulwen Fichou, Ronan Quarez외 1명|arXiv (Cornell University)|2014. 09. 29.

Commutative Algebra and Its Applications참고 문헌 5인용 수 7

한 줄 요약

이 논문은 실평면에서 한 점의 블로잉업 이후 정칙이 되는 연속적인 유리함수를 조사하며, [1]-레귤루스 함수의 클래스를 도입한다. 이 링에서 분모가 없는 파지티브스텔렌사트를 수립하고, 근의 주권성을 증명하며, 이러한 함수의 양의 영역이 준대수집합을 이룬다는 것을 보여주어, 더 향상된 정칙성 성질을 가진 이 함수 클래스에 실대수기하학 도구를 확장한다.

ABSTRACT

We study rational functions admitting a continuous extension to the real affine space. First of all, we focus on the regularity of such functions exhibiting some nice properties of their partial derivatives. Afterwards, since these functions correspond to rational functions which become regular after some blowings-up, we work on the plane where it suffices to blow-up points and then we can count the number of stages of blowings-up necessary. In the latest parts of the paper, we investigate the ring of rational continuous functions on the plane regular after one stage of blowings-up. In particular, we prove a Positivstellensatz without denominator in this ring.

연구 동기 및 목표

• R²에서 한 점의 블로잉업 이후 정칙이 되는 연속적인 유리함수를 특성화하는 것.
• 특히 C^k 성질에 대해 이러한 함수의 정칙성과 편미분 행동을 분석하는 것.
• [1]-레귤루스 함수의 링에 대해 실대수기하학적 구조를 수립하는 것, 분모가 없는 파지티브스텔렌사트 포함.
• [1]-레귤루스 함수의 링이 근의 주권성을 가지며 아르틴-랑 성질을 만족한다는 것을 증명하는 것.
• 이 링의 양의 영역의 부울 조합이 준대수집합이 된다는 것을 보여주는 것.

제안 방법

• 한 점의 블로잉업 이후 정칙인 유리함수의 클래스인 [1]-레귤루스 함수를 도입하는 것.
• 분모의 정부정성에 의한 국소적 특성화를 사용하여 일阶 편미분의 유계성을 증명하는 것.
• 분모의 영점 집합에 대해 귀납법을 적용하여 분모가 없는 제곱합 항등식을 구성하는 것.
• 새로운 대수적 기법을 통해 르조아에프스키 성질을 대체하여 실대수널스트레센사트를 증명하는 것.
• 타르스키-세이덴버그 정리를 사용하여 [1]-레귤루스 함수의 양의 영역이 준대수집합임을 보여주는 것.
• 주요 파지티브스텔렌사트를 증명하기 위해 분모를 통제할 수 있는 명시적 제곱합 항등식을 구성하는 것.

실험 결과

연구 질문

• RQ1 R²에서의 유리함수가 한 점의 블로잉업 이후 정칙이 되도록 보장하는 조건은 무엇인가?
• RQ2 이러한 함수의 다항식 전개와 편미분을 통해 C^k 정칙성이 어떻게 특성화될 수 있는가?
• RQ3 R²에서 [1]-레귤루스 함수의 링에 대해 분모가 없는 파지티브스텔렌사트를 수립할 수 있는가?
• RQ4 [1]-레귤루스 함수의 맥락에서 실스펙트럼과 준대수기하학 사이의 관계는 무엇인가?
• RQ5 [1]-레귤루스 함수의 양의 영역의 부울 조합은 여전히 준대수집합인가?

주요 결과

• [1]-레귤루스 함수의 링은 분모가 없는 파지티브스텔렌사트를 만족한다. 즉, 음이 아닌 함수는 링의 원소들의 제곱합으로 표현된다.
• [1]-레귤루스 함수의 일阶 편미분은 국소적으로 유계이며, 이는 분모의 정부정성의 결과이다.
• [1]-레귤루스 함수의 링은 근의 주권성을 가지며, 원래의 르조아에프스키 성질이 실패하더라도, 이는 르조아에프스키 성질의 약한 형태이다.
• [1]-레귤루스 함수의 양의 영역의 부울 조합은 항상 R²의 준대수집합이며, 이는 타르스키-세이덴버그 기하학적 양자화 제거와의 호환성을 의미한다.
• [1]-레귤루스 함수의 링의 실스펙트럼은 아르틴-랑 성질을 만족하며, 대수적 구조와 준대수기하학을 연결한다.
• 함수 f = x³/(x² + y⁴)는 정칙이 되기 위해 두 단계의 블로잉업이 필요하며, 이는 한 단계와 다중 단계 정칙성 사이의 차이를 보여준다.