[논문 리뷰] On automorphism groups of fiber bundles

Michel Brion|arXiv (Cornell University)|2010. 12. 21.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 25

한 줄 요약

이 논문은 대수기하학에서 섬유다발의 자기동형군에 대한 고전적 복소기하학 결과의 스킴 이론적 유사체를 수립하며, 대수적 군에 대한 토르스와 아벨 다양체에 중점을 두고 있다. $G$가 아벨 다양체일 경우, 완비 다양체 위의 $G$-토르스의 연결된 자기동형군이 기저의 자기동형군으로 위상사상됨을 증명하며, 블랑샤르의 정리의 확장으로서 아벨 다양체 위의 동차다발의 대수기하학적 연구를 가능하게 한다.

ABSTRACT

We obtain analogues of classical results on automorphism groups of holomorphic fiber bundles, in the setting of group schemes. Also, we establish a lifting property of the connected automorphism group, for torsors under abelian varieties. These results will be applied to the study of homogeneous bundles over abelian varieties.

연구 동기 및 목표

• 섬유다발의 자기동형군에 대한 고전적 복소기하학 결과를 대수기하학 및 군 스킴의 맥락으로 확장하기.
• G가 아벨 다양체일 경우, $G$-토르스의 연결된 자기동형군에 대한 올림 성질을 확립하여 기저의 자기동형군으로의 위상사상 보장하기.
• G-토르스 $X$와 G-동차 다양체 $Z$에 대해 관련 섬유다발 $X \times^G Z$의 존재를 증명하며, 이들이 단지 대수적 공간이 아니라 스킴임을 보장하기.
• 블랑샤르의 정리의 스킴 이론적 판본을 제공하여, 기저로의 자기동형군이 구조층의 자명한 푸시포워드를 가진 올림 사상 하에서 내림내림됨을 보여주기.
• 리프팅 및 내림내림 기법을 통해 선형 구조군으로의 환원을 통해 아벨 다양체 위의 동차다발을 연구하기 위한 도구 개발하기.

제안 방법

• 기저의 기약층에 대한 자명한 푸시포워드를 가지는 올림 사상 $\pi: X \to Y$를 갖는 올림 사상 $\pi: X \to Y$를 사용하여 블랑샤르의 정리 증명을 대수기하학에 적응시키며, $\pi_*: \mathrm{Aut}^o(X) \to \mathrm{Aut}^o(Y)$의 준동형사상 유도.
• G-토르스 $\pi: X \to Y$와 G-동차 다양체 $Z$를 이용해 관련 섬유다발 $X \times^G Z$를 구성하며, $Z$가 G-토르스이거나 호모모르피즘을 통한 G-작용을 갖는 경우 이들이 스킴로 존재함을 증명.
• 등변 완비화 기법을 사용하여, 올림 스킴 위의 G-토르스의 등변 자기동형군이 국소적으로 유한형인 군 스킴임을 증명하며, 모리모토의 정리를 일반화.
• 셰바리에의 구조 정리를 적용하여 연결된 대수적 군을 애파인 부분군과 아벨 부분군으로 분해하여 상대 자기동형군 분석 가능하게 하기.
• 자기동형군의 리프팅 결과 증명: $X \to Y$가 G-토르스이고 $G$가 아벨 다양체이며 $X,Y$가 매끄럽고 완비일 경우, $X$의 연결된 자기동형군이 $Y$의 것으로 위상사상됨.
• 해소화 기법과 기저 변경을 활용하여 문제를 정규 다양체의 경우로 환원하며, 등변 해소화에서 $f_*\mathcal{O}_{Y'} = \mathcal{O}_Y$임을 활용.

실험 결과

연구 질문

• RQ1 G가 아벨 다양체일 경우, 완비 다양체 위의 G-토르스의 연결된 자기동형군이 기저의 자기동형군으로 위상사상되는가?
• RQ2 복소 리 군의 작용이 기저로 내림내림되는 고전적 블랑샤르의 결과를, 구조층의 자명한 푸시포워드를 갖는 올림 사상과 대수적 군 스킴의 맥락으로 일반화할 수 있는가?
• RQ3 X \to Y가 G-토르스이고 Z가 G-동차 다양체일 때, 관련 섬유다발 $X \times^G Z$가 단지 대수적 공간이 아니라 스킴로 존재하는 조건은 무엇인가?
• RQ4 완비 스킴 위의 G-토르스의 등변 자기동형군은 국소적으로 유한형인 군 스킴인가? 그리고 이는 G의 구조와 어떻게 관련되는가?
• RQ5 매끄러운 사상에서 상대 접선다발이 자명할 경우, 기저의 전역 벡터장이 총공간의 전역 벡터장으로 리프팅 가능한가? 특히 아벨 다양체 위의 토르스 맥락에서.

주요 결과

• G가 아벨 다양체이고 $X,Y$가 매끄럽고 완비일 경우, $G$-토르스 $X \to Y$의 연결된 자기동형군이 기저 $Y$의 연결된 자기동형군으로 위상사상됨을 보이며, 핵심적인 리프팅 성질 확립.
• 모든 부분군 스킴 $H \subset G$에 대해, 관련 섬유다발 $X \times^G G/H = X/H$는 스킴로 존재하며, 일반적으로 $Z$가 G-토르스거나 호모모르피즘을 통한 G-작용을 갖는 경우 $X \times^G Z$도 스킴로 존재함.
• 완비 스킴 위의 G-토르스의 등변 자기동형군은 국소적으로 유한형인 군 스킴이며, 모리모토의 정리의 대수기하학적 유사체 제공.
• X \to Y가 G-토르스이고 $G$가 아벨 다양체이며 $X,Y$가 매끄럽고 완비일 경우, $ \mathrm{Aut}^G(X)$의 닫힌 연결 부분군 $H$가 자연스러운 사상 $\pi_*$를 통해 $ \mathrm{Aut}^o(Y)$와 이소지크함.
• 특성 0 및 정규성 조건 하에서 $\pi_*: \mathrm{Aut}^o(X) \to \mathrm{Aut}^o(Y)$의 위상사상 성립하며, 상대 접선다발이 자명할 경우 벡터장 리프팅의 경우로도 확장됨.
• 양의 특성에서나 비완비인 $G$의 경우 반례를 통해 결과가 성립하지 않음. 아벨 다양체 위의 비순환 선다발에 대응하는 $\mathbb{G}_m$-토르스를 통한 반례 제시.