[논문 리뷰] Virtual Cartier divisors and blow-ups

Adeel A. Khan, Rydh, David|arXiv (Cornell University)|2018. 02. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 26

한 줄 요약

이 논문은 효과적 카티에 다발의 유도 일반화로서 가상 카티에 다발을 도입하여, 중심이 정칙 임bedding이 아닐 때도 블로우업의 보편 성질을 가능하게 한다. 유도 대수기하학에서 준정칙 닫힌 포함에 대해 유도 블로우업을 구성하며, 비스듬한 정규 쌍곡선의 내재 정규 쌍곡선을 사용하지 않고 가상 기본류의 새로운 간단한 구성법을 제공한다.

ABSTRACT

We prove a universal property for blow-ups in regularly immersed subschemes, based on a notion we call "virtual effective Cartier divisor". We also construct blow-ups of quasi-smooth closed immersions in derived algebraic geometry.

연구 동기 및 목표

• 정칙 포함을 초월하여 블로우업의 보편 성질을 일반화하기 위해 가상 효과적 카티에 다발을 도입한다.
• 유도 스킴 및 스택의 준정칙 닫힌 포함에 대해 유도 블로우업을 구성한다.
• 비스듬한 정규 쌍곡선을 사용하지 않고 가상 기본류의 새로운 간단한 구성법을 제공한다.
• 베르디에의 정규 쌍곡선으로의 변형을 유도판으로 일반화한다.
• 유도된 정칙 유한 무갈등 사상에 의한 다중 중심으로의 블로우업을 일반화한다.

제안 방법

• 가상 codimension 1을 기억하는 유도 구조를 갖춘 닫힌 부분스킴으로서 가상 효과적 카티에 다발을 정의하며, 국소적으로 단일 방정식으로 잘라낸다.
• 코슈울 복합체와 유도 텐서곱을 사용하여 유도 대수기하학에서 정규 수열과 준정칙 포함을 특성화한다.
• 유도 블로우업을 주어진 중심 위에서 국소 가상 카티에 다발의 함의를 표현하는 유도 대수기하 공간으로 구성한다.
• 유도 블로우업이 올바르고 준정칙이며, 유도 기저 변경과 가환함을 증명한다.
• 보편 성질 수립: $X$-사상에서 유도 블로우업으로의 사상은 $(X,Z)$ 위의 가상 효과적 카티에 다발과 일대일 대응된다.
• 웨일 제약과 피보트 곱을 사용하여 중심의 분리합집합과 에탈 기저 변경으로의 블로우업을 일반화한다.

실험 결과

연구 질문

• RQ1 유도 구조를 사용하여 중심이 정칙이 아닐 경우에도 블로우업의 보편 성질을 어떻게 확장할 수 있는가?
• RQ2 가상 카티에 다발이 유도 대수기하학에서 가상 기본류의 새로운, 더 단순한 구성법을 제공할 수 있는가?
• RQ3 중심이 준정칙 유한 무갈등 사상일 경우 유도 블로우업의 구조는 어떻게 되는가?
• RQ4 유도 블로우업은 기저 변경과 피보트 곱에서 어떻게 행동하는가?
• RQ5 가상 카티에 다발을 사용하여 다중 중심에서의 동시에 블로우업을 구성하고 특성화할 수 있는가?

주요 결과

• 중심 $Z \to X$ 가 준정칙 유한 무갈등 사상일 경우, 유도 블로우업 $\mathrm{Bl}_Z X$ 는 유도 대수기하 공간으로 표현 가능하다.
• 유도 블로우업은 임의의 유도 기저 변경과 가환하므로, 인용 시 호환성을 보장한다.
• 유도 블로우업 $\mathrm{Bl}_Z X$ 위의 보편 국소 가상 카티에 다발은 $\mathbf{P}_Z(\mathcal{N}_{Z/X})$ 와 $\mathrm{Bl}_W Z$ 의 유도 피보트 곱과 동형이다. 여기서 $W = Z \times^\mathbf{R}_X Z \setminus Z$ 이다.
• 구조 사상 $\pi_{Z/X}: \mathrm{Bl}_Z X \to X$ 는 올바르고 준정칙이다.
• 분리합집합 $Z = Z_1 \amalg Z_2$ 에 대해, 유도 블로우업은 $\mathrm{Bl}_Z X = \mathrm{Bl}_{Z_1} X \times^\mathbf{R}_X \mathrm{Bl}_{Z_2} X$ 를 만족하며, 분해와의 호환성을 보여준다.
• 만약 $g: X \to Y$ 가 에탈이고 $Z \to X \to Y$ 가 유한일 경우, $\mathrm{Bl}_Z Y$ 는 웨일 제약 $g_* \mathrm{Bl}_Z X$ 와 같다. 이는 유도 설정에서 블로우업과 웨일 제약을 연결한다.