[논문 리뷰] Universal flattening of Frobenius

Takehiko Yasuda|arXiv (Cornell University)|2007. 06. 19.

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

한 줄 요약

이 논문은 양의 특성에서 다양체의 e-번째 F-블로우업을 Frobenius 준동형의 e-번째 반복의 보편적 평탄화로 정의한다. 희생적 몰입 특이점의 경우 F-블로우업 수열은 G-Hilbert 스킴으로 수렴하며, 이는 특성-p에서의 이 해소의 해석을 제공한다. 정규 토릭 표면의 경우 수열은 최소 해소로 수렴하고, 1차원 다양체의 경우 F-블로우업은 결국 매끄럽게 된다.

ABSTRACT

For a variety $X$ of positive characteristic and a non-negative integer $e$, we define its $e$-th F-blowup to be the universal flattening of the $e$-iterated Frobenius of $X$. Thus we have the sequence (a set labeled by non-negative integers) of blowups of $X$. Under some condition, the sequence stabilizes and leads to a nice (for instance, minimal or crepant) resolution. For tame quotient singularities, the sequence leads to the $G$-Hilbert scheme.

연구 동기 및 목표

• 양의 특성에서 다양체 위에서 Frobenius 준동형의 e-번째 반복의 보편적 평탄화로 e-번째 F-블로우업을 정의하고 연구하는 것.
• F-블로우업 수열의 渐近적 행동을 조사하여, 수렴하거나 매끄럽거나 최소 해소로 이르는지 여부를 밝히는 것.
• G-Hilbert 스킴을 Frobenius의 보편적 평탄화로 재해석하여, 특성-p에서 특이점의 해소와 연결하는 것.
• 정규 토릭 표면의 경우 F-블로우업 수열이 수렴하고, 차원 2에서 최소 해소를 제공함을 보이는 것.
• 결과를 Deligne-Mumford 스택으로 확장하여, G-Hilbert 스킴이 근본 모듈리 공간에만 의존한다는 것을 보이는 것.

제안 방법

• e-번째 F-블로우업 FB_e(X)를 Frobenius 준동형의 e-번째 반복에 의한 매끄러운 점 위의 섬유 집합의 닫힘으로서 상대 Hilbert 스킴 Hilb_{q^d}(X_e/X) 내에 정의한다.
• 상대 Hilbert 스킴의 보편 평탄화 성질을 사용하여 FB_e(X)가 사영적임과 동시에 F^e_* O_{X_e}의 보편 평탄화와 동형임을 보인다.
• F-블로우업이 에탈 준동형, 완비화, 곱, 매끄러운 준동형, 체 확장과 호환됨을 증명한다.
• 토릭 다양체의 경우, 이상의 그로브너 편향을 통해 FB_{(l)}(X)를 기술하고, 애매한 차트의 명시적 좌표환 기술을 제공한다.
• 단항식 순서의 논증과 그로브너 기저 기법을 사용하여 FB_{(l)}(X)가 토릭 다양체임을 증명하고, 일반적인 경우를 단항식의 경우로 줄이는 데에 사용한다.
• G-Hilbert 스킴과 Frobenius 준동형에 관한 결과를 적용하여, 희생적 몰입 특이점의 경우 F-블로우업 수열이 G-Hilbert 스킴으로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 e ≫ 0일 때 F-블로우업 수열 FB_e(X)가 수렴하는가? 만약 그렇다면 그 극한은 무엇인가?
• RQ2 양의 특성에서 1차원 다양체의 경우 충분히 큰 e에 대해 FB_e(X)가 매끄럽게 되는가?
• RQ3 정규 토릭 다양체의 경우 F-블로우업 수열이 수렴하는가? 그리고 차원 2에서 최소 해소를 제공하는가?
• RQ4 희생적 몰입 특이점의 경우, G-Hilbert 스킴은 F-블로우업 수열의 극한과 동형인가?
• RQ5 Deligne-Mumford 스택의 맥락에서 F-블로우업 구성은 근본 모듈리 공간에만 의존하는가?

주요 결과

• 양의 특성에서 1차원 다양체의 경우 충분히 큰 모든 e에 대해 FB_e(X)는 매끄럽다.
• 정규 토릭 표면의 경우 F-블로우업 수열은 수렴하며, 극한은 특이점의 최소 해소이다.
• 정규 토릭 다양체의 경우 F-블로우업 수열은 고정된 l_0에서 수렴하며, FB_{(l_0)}(X)는 이후 모든 F-블로우업을 지배한다.
• 희생적 몰입 특이점 X = M/G의 경우 F-블로우업 수열은 G-Hilbert 스킴 Hilb^G(M)으로 수렴하며, 이는 차원 3에서 캐프랑트 해소이다.
• G-Hilbert 스킴은 군 작용이나 배경 공간 M에 따라 달라지지 않고, 오직 몰입 다양체 X = M/G에만 의존하며, F-블로우업 수열의 극한과 동형이다.
• Deligne-Mumford 스택의 경우 G-Hilbert 스킴 구성은 근본 모듈리 공간에만 의존하며, 충분히 큰 e에 대해 F-블로우업 수열은 이를 통해 인과된다.