[논문 리뷰] Sur le produit de variétés localement factorielles ou Q-factorielles

Samuel Boissière, Ofer Gabber외 1명|arXiv (Cornell University)|2011. 04. 11.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 13

한 줄 요약

이 논문은 대수기하학적 다양체 위에서 국소적 인수성과 Q-인수성의 위치가 열려 있음을 증명하고, 두 개의 국소적으로 인수성(또는 필드 조건 하에서 Q-인수성)을 가진 다양체의 곱이 여전히 국소적으로 인수성(또는 Q-인수성)임을 증명한다. 주요 기여는 알바네제 다양체와 반사층을 이용한 위상수학적 및 코homological 증명으로, 이러한 성질이 곱에 대해 안정적인지에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We show that the factorial and Q-factorial loci of algebraic varieties defined over an algebraically closed field are open, that products of locally factorial varieties are still locally factorial, and that this property remains true for Q-factorial varieties if the ground field is not the algebraic closure of a finite field.

연구 동기 및 목표

• 대수적으로 닫힌 체 위에서 정규 대수적 다양체에서 국소적 인수성과 Q-인수성의 위치가 열려 있음을 증명하는 것.
• 두 개의 국소적으로 인수성 또는 Q-인수성인 다양체의 곱이 여전히 인수성 또는 Q-인수성인지 조사하는 것.
• 특히 특이점과 모듈리 공간의 맥락에서, 인수성 성질이 피보트 곱에 대해 어떻게 행동하는지에 관한 기초적인 질문을 해결하는 것.
• 기하적 인수성 또는 해소 가정에 의존하지 않고, 알바네제 다양체와 반사층을 이용한 코homological 및 기하학적 증명을 제공하는 것.
• 해소 가정이 필요 없도록 빙거너와 플레너의 결과를 더 넓은 범주로 확장하는 것.

제안 방법

• 매끄러운 국소에서 피카르 군과 웨일 위상군 사이의 동형사상에 의한 국소적 인수성의 특성화를 사용한다.
• 역사층 이론과 그 이중성을 적용하여, 인수적 성질을 가진 위상군의 가역성 분석을 수행한다.
• 다양체의 알바네제 다양체를 이용하여 위상군의 구조와 곱에 대한 행동을 연구한다.
• 곡선의 곱에서 피카르 군이 피카르 군의 곱과 동형임을 활용하며, 피카르 다양체 간의 호모모르피즘에 의해 추가 항목이 웨일 위상군에 포함됨을 이용한다.
• 코herent층이 반사적(또는 국소적으로 자유로움)일 위치의 열림을 이용하여, 인수성 위치의 열림을 증명한다.
• 기저 체가 유한체의 대수적 폐쇄가 아니면 Q-인수성의 경우 위상군의 유한성 결과를 적용하여, 토크션은 유한성을 유도한다.

실험 결과

연구 질문

• RQ1 정규 대수적 다양체에서 국소적 인수성의 위치는 열려 있는가?
• RQ2 두 개의 국소적으로 인수성인 다양체의 곱은 스스로 국소적으로 인수성인가?
• RQ3 Q-인수성 성질은 곱에 대해 안정적인가? 만약 그렇다면 기저 체에 어떤 조건이 필요한가?
• RQ4 해소 가정 없이 Q-인수성 위치의 열림을 확보할 수 있는가?
• RQ5 곡선의 곱에서 웨일 위상군의 구조는 무엇이며, Q-인수성 실패와 어떻게 관련되는가?

주요 결과

• 대수적으로 닫힌 체 위에서 정규 대수적 다양체에서 국소적 인수성의 위치는 열려 있다.
• 대수적으로 닫힌 체 위에서 두 개의 국소적으로 인수성인 다양체의 곱은 스스로 국소적으로 인수성이다.
• 정규 대수적 다양체에서 Q-인수성의 위치는 열려 있다.
• 기저 체가 유한체의 대수적 폐쇄가 아니면, 두 개의 국소적으로 Q-인수성인 다양체의 곱은 국소적으로 Q-인수성이다.
• 대수적으로 닫힌 체 위에서 유한형이면서 유한체의 대수적 폐쇄가 아닌 정규 국소환의 경우, 위상군이 토크션일 때이고 오직 그 때에만 유한하다.
• 반례를 구성하였다: 특성 ≠ 2,3인 체 위에서 두 개의 종수 1 곡선의 곱은 Q-인수성이 아니며, 이는 피카르 다양체에서 비틀림이 아닌 호모모르피즘이 존재하기 때문이다.