[논문 리뷰] Differential Topology of Gaussian Random Fields: applications to Random Algebraic Geometry

Antonio Lerario, Michele Stecconi|arXiv (Cornell University)|2019. 06. 11.

Geometry and complex manifolds참고 문헌 17인용 수 1

한 줄 요약

이 논문은 랜덤 Kostlan 다항식 사상에 미분위상수학 도구를 적용하여 실대수기하학에서의 랜덤 특이점의 국소 구조를 분석한다. 이는 증가하는 차수에 따라 복소대수기하학에서 유도되는 결정론적 상한에 비해 이러한 특이점의 기대 Betti 수 또는 점 수가 제곱근 법칙에 따라 증가함을 보여주는 일반화된 '제곱근 법칙'을 수립한다.

ABSTRACT

Using the tools that we have developed in arXiv:1902.03805, we study properties of random Kostlan polynomial maps (viewed as random variables in the space of $C^{\infty}$-maps). We apply these tools to the study of problems in random real algebraic geometry, with particular emphasis on the local structure of `random singularities' (i.e. the set of points where a map has some high-order jet of a prescribed type). This study leads to a generalized `square-root law' for the topology (Betti numbers or number of points) of a random singularity: as the degree goes to infinity, the expected value of this number grows like the square root of the corresponding deterministic upper bound (most of the times coming from complex algebraic geometry). Finally, we establish two technical results of independent interest (used for the deterministic estimate of the topology of jet-type singularities and for the lower bound on its expectation): first we obtain Morse inequalities for stratified spaces that are `almost' semialgebraic, second we prove a semicontinuity result for the topology of the zero set of a nondegenerate equation under a small $C^0$ perturbation of this equation.

연구 동기 및 목표

• 랜덤 Kostlan 다항식 사상을 사용하여 실대수기하학에서의 랜덤 특이점의 국소 구조를 분석한다.
• 기대 위상수학적 성질(예: Betti 수 또는 점 수)이 다항식의 차수 증가에 따라 어떻게 변화하는지 이해한다.
• 이러한 특이점의 기대 위상수학적 성질에 대한 일반화된 '제곱근 법칙'을 수립하며, 복소기하학에서 유도된 결정론적 상한과 대비한다.
• 제트 유형 특이점의 위상수학적 성질을 추정하고, 변형 안정성에 의해 기대값을 경계하는 데 필요한 기술적 도구를 개발한다.

제안 방법

• arXiv:1902.03805의 도구를 활용하여 랜덤 Kostlan 사상을 $C^{\backslash infty}$-사상의 공간에서의 랜덤 변수로 간주한다.
• 거의 반대수기하학적 구조를 갖는 분할 공간에 대해 모스 유형 부등식을 적용하여 고전 결과를 반대수기하학적 설정으로 확장한다.
• 비퇴도적 방정식의 소규모 $C^0$ 변형에 대해 영집합의 위상수학적 성질이 보존됨을 증명한다.
• 제트 유형 특이점의 위상수학적 성질에 대한 결정론적 추정을 활용하여 랜덤 특이점의 기대 위상수학적 성질을 경계한다.
• 확률적 분석과 미분위상수학을 조합하여 기대 위상수학적 불변량의 渐近적 척도 법칙을 유도한다.
• 랜덤 다항식과 그 제트의 구조를 활용하여 고차수 설정에서 특이점의 일반적인 행동을 특성화한다.

실험 결과

연구 질문

• RQ1 랜덤 특이점의 기대 Betti 수 또는 점 수는 Kostlan 다항식 사상의 차수 증가에 따라 어떻게 척도가 맞는가?
• RQ2 랜덤 실특이점의 기대 위상수학적 성질과 복소대수기하학에서 도출된 결정론적 상한 사이의 정확한 渐近적 관계는 무엇인가?
• RQ3 소규모 $C^0$ 변형에 대해 비퇴도적 방정식의 영집합 위상수학적 성질이 어느 정도 안정적인가?
• RQ4 모스 부등식은 완전히 반대수기하학적이지 않은 분할 공간으로까지 어떻게 일반화될 수 있으며, 이는 특이점 위상수학 추정에 어떻게 기여하는가?
• RQ5 제트 유형 특이점은 랜덤 실대수기하집합의 전반적 위상수학적 복잡성에 어떤 역할을 하는가?

주요 결과

• 랜덤 특이점의 기대 Betti 수 또는 점 수는 복소대수기하학에서 유도된 결정론적 상한의 제곱근 비례로 渐近적으로 증가한다.
• 증가하는 Kostlan 다항식 사상의 차수에 따라 대부분의 제트 유형 특이점에 대해 일반화된 '제곱근 법칙'이 성립한다.
• 모스 부등식은 '거의' 반대수기하학적 분할 공간으로까지 확장되었으며, 반대수기하학적이지 않은 설정에서 위상수학적 추정이 가능해졌다.
• 비퇴도적 방정식의 소규모 $C^0$ 변형에 대해 영집합의 위상수학적 성질이 보존됨을 증명하여 위상수학적 불변량의 안정성이 확보되었다.
• 제트 유형 특이점의 위상수학적 성질에 대한 결정론적 상한이 효과적으로 활용되어 랜덤 특이점 위상수학의 기대값을 제어할 수 있었다.
• 분석 결과, 랜덤 실대수기하집합은 그 복소형 대응체에 비해 상당히 감소된 위상수학적 복잡성을 보이며, 복소상한의 제곱근 비례로 척도가 맞는다.