[논문 리뷰] Surjective morphisms onto subelliptic varieties

Yuta Kusakabe|arXiv (Cornell University)|2022. 12. 13.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 매끄러운 부분타원형 다양체가 항상 그 차원보다 한 칸 큰 차원을 가진 아핀 공간으로부터의 전사형 사상이 존재함을 증명한다. 이 사상에서 특이점 집합은 전체 다양체로 매핑되며, 증명은 스프레이와 역상과 같은代수기하학적 기법을 사용하여 탄성 다양체에 대한 이전 결과를 일반화하고, 0차원 부분다양체에서의 임의의 사상에 대한 임의의 차수 보간을 확립한다.

ABSTRACT

We prove that every smooth subelliptic variety admits a surjective morphism from an affine space. This result gives partial answers to the questions of Arzhantsev and Forstnerič. As an application, we characterize open images of morphisms between affine spaces. We also obtain the jet interpolation theorem for morphisms from zero-dimensional subschemes of affine varieties to smooth subelliptic varieties.

연구 동기 및 목표

• 아르잔체프와 포르스트너비치가 제기한 문제, 즉 매끄러운 부분타원형 다양체가 항상 아핀 공간으로부터의 전사형 사상이 존재하는가를 해결하기 위해.
• 아르잔체프의 매우 탄성 다양체가 아핀 공간의 상임을 증명한 결과를 더 넓은 범주인 매끄러운 부분타원형 다양체로 일반화하기 위해.
• 아핀 공간 간의 사상의 개방된 상을 보완 집합의 코디멘션으로서 특성화하기 위해.
• 0차원 부분다양체에서의 사상에 대한 임의의 차수 보간 정리를 증명하기 위해.

제안 방법

• 대수기하학에서 부분타원성의 특성화를 위해 스프레이와 지배적인 스프레이 가닥의 개념을 사용한다.
• 세르의 정리 A를 적용하여 아핀 공간의 곱에서 벡터 번들의 역상으로 전사적인 매끄러운 사상을 구성한다.
• 부분타원형 다양체의 항등사상 위에서의 복합 스프레이 구성법을 통해 주로 사상이 되는 사상을 생성한다.
• d차원 부분공간의 아핀 임bedding을 통해 큰 $\mathbb{A}^N$에서의 소스 아핀 공간의 차원을 $\mathbb{A}^{\dim Y + 1}$로 감소시킨다.
• Y의 준콤팩트성 덕분에 아핀 부분공간의 이미지들로 다양체를 유한하게 덮을 수 있다.
• 서로 다른 점들이 서로 다른 부분공간을 덮도록 하는 임베딩과의 복합을 통해 최종 사상 $f: \mathbb{A}^{\dim Y + 1} \to Y$를 구성한다.

실험 결과

연구 질문

• RQ1 모든 매끄러운 부분타원형 다양체가 적절성 조건 없이도 아핀 공간으로부터의 전사형 사상이 존재하는가?
• RQ2 아핀 공간 간의 사상의 개방된 상은 보완 집합의 코디멘션으로서 대수적으로 특성화될 수 있는가?
• RQ3 0차원 부분다양체에서의 사상에 대해 임의의 차수 보간 성질이 성립하는가?
• RQ4 분석 도구에 의존하지 않는 순수 대수기하학적 증명을 통해 부분타원형 다양체로의 전사형 사상 존재성을 입증할 수 있는가?
• RQ5 이러한 전사형 사상에서 소스 아핀 공간의 차원을 목표 다양체의 차원으로서 유계화할 수 있는가?

주요 결과

• 모든 매끄러운 부분타원형 다양체 $Y$는 전사형 사상 $f: \mathbb{A}^{\dim Y + 1} \to Y$를 가지며, 이때 $f(\mathbb{A}^{\dim Y + 1} \setminus \operatorname{Sing}(f)) = Y$를 만족한다.
• 이 결과는 아르잔체프의 매우 탄성 다양체에 대한 정리의 일반화이며, 그가 제기한 아핀 공간의 상이 되기 위한 충분조건 문제를 해결한다.
• 아핀 공간 $\mathbb{A}^n$의 조각적 열린 부분집합 $U$는 아핀 공간에서의 사상의 상이 될 조건은 $\mathbb{A}^n \setminus U$의 코디멘션이 적어도 2 이상일 때이다.
• 모든 0차원 부분다양체 $Z \subset X$ 에서의 사상 $Z \to Y$ 는 $\tilde{f}: X \to Y$ 로의 상승이 가능하다.
• 증명은 순수하게 대수기하학적 방법을 사용하므로, 임의의 대수적으로 닫힌 체 위의 매끄러운 부분타원형 다양체로도 확장된다.
• 해석적 도구인 호모토피 룬게 근사 정리와 같은 것을 피함으로써 포르스트너비치의 원래 접근과 구별된다.