[논문 리뷰] Shimura Varieties and Moduli

J. S. Milne|arXiv (Cornell University)|2011. 05. 04.

Advanced Algebra and Geometry참고 문헌 60인용 수 29

한 줄 요약

이 논문은 허미트 대칭 영역을 교차군에 의해 몫으로 취한 연결 시무라 다양체가 추가 구조를 가진 아벨 다양체 또는 모티브의 모듈리 공간으로서 실현될 수 있는 조건을 확립한다. 이는 소수의 경우에 한하여 이러한 다양체가 극화, 자기사상, 수준 구조를 갖춘 아벨 다양체(Polarization, Endomorphism, Level structure, PEL)의 모듈리 공간임을 증명한다. 더 넓은 범위에서는 극화, 호지 클래스, 수준 구조를 갖춘 아벨 다양체(Polarization, Hodge class, Level structure, PHL)의 모듈리 공간을 나타낸다. 그리고 예외적 유형들(E6, E7 및 일부 D형)을 제외한 모든 연결 시무라 다양체는 추가 구조를 가진 아벨 모티브의 분류를 나타낸다. 핵심 결과는 기하학적 모듈리 해석을 갖는 시무라 다양체의 완전한 분류이다.

ABSTRACT

Connected Shimura varieties are the quotients of hermitian symmetric domains by discrete groups defined by congruence conditions. We examine their relation with moduli varieties. (Handbook of Moduli).

연구 동기 및 목표

• 연결 시무라 다양체 중에서 아벨 다양체 또는 모티브의 모듈리 공간으로 실현될 수 있는 것들을 특정하는 것.
• 호지 이론과 산술군을 통해 허미트 대칭 영역, 주기 영역, 모듈리 공간 간의 관계를 명확히 하는 것.
• 다이킨 유형과 관련 대수적 군을 바탕으로 기하학적 모듈리 해석을 갖는 시무라 다양체를 분류하는 것.
• 모듈리 공간인 시무라 다양체에 대해 그 반사체 위에 표준 모델이 존재함을 증명하는 것.
• 문헌에서 애매하게 여겨지는 점들을 해결하기 위해 이론을 종합적이고 자가 포함적인 방식으로 다루며, 완전한 증명을 제공하는 것.

제안 방법

• 실 반단순 군으로서 중심이 자명하고 원환군에서의 특정 호모모르피즘을 갖는 리군과 관련된 허미트 대칭 영역 이론을 사용한다.
• 배일-보렐 정리를 적용하여 국소 대칭 다양체와 그 컴actsification의 대수적 성질을 증명한다.
• 멈포르드-테이트 군과 호지 구조의 변화를 사용하여 시무라 다양체 위의 호지 이론적 자료를 분류한다.
• 델리뉴의 절대 호지 클래스 정리에 따라 아벨 다양체 위의 모든 호지 클래스가 대수적임을 보이고, 이를 통해 아벨 모티브의 정의를 가능하게 한다.
• 사타케와 델리뉴의 심플렉틱 임bedding 분류를 적용하여 허미트 대칭 영역을 시겔 상반평면에 임베딩한다.
• 일반 가족을 통한 모듈리 사상 구축과 내림과 커버링 추론을 사용하여 정칙성을 증명한다.

실험 결과

연구 질문

• RQ1 연결 시무라 다양체가 추가 구조를 가진 아벨 다양체의 피네 모듈리 공간이 되는 조건은 무엇인가?
• RQ2 어떤 시무라 다양체들이 극화, 호지 클래스, 수준 구조를 갖춘 아벨 모티브를 통한 기하학적 모듈리 해석을 갖는가?
• RQ3 기본군의 도출 부분군과 대수적 군의 중심의 구조가 시무라 다양체의 모듈리 실현에 어떻게 영향을 주는가?
• RQ4 특수점에서 시무라의 상호법칙을 통해 시무라 다양체의 반사체 위 표준 모델이 특별히 유일하게 결정되는가?
• RQ5 모듈리 해석이 해석적 균일화에 의존하지 않고 대수적으로 얼마나 넓게 정의될 수 있는가?

주요 결과

• 연결 시무라 다양체는 극화, 자기사상, 수준 구조를 갖춘 아벨 다양체(Polarization, Endomorphism, Level structure, PEL)의 모듈리 공간으로서 유한한 수의 경우에만 해당한다.
• 더 넓은 범위의 시무라 다양체는 극화, 호지 클래스, 수준 구조를 갖춘 아벨 다양체(Polarization, Hodge class, Level structure, PHL)의 모듈리 공간을 나타낸다.
• E6, E7 및 일부 D형을 제외한 모든 연결 시무라 다양체는 추가 구조를 가진 아벨 모티브의 모듈리 공간이다.
• 군의 중심이 실수 점들에서 이산일 경우, 시무라 다양체는 아벨 모티브의 보편 가족을 갖게 되어 피네 모듈리 공간이 된다.
• 특수점에서 시무라의 상호법칙을 통해 시무라 다양체의 반사체 위 표준 모델은 특별히 유일하게 결정된다.
• 모든 시무라 다양체에 대해, 유형 A1 부분다양체를 갖는 더 큰 다양체에 임베딩함으로써 기하학적 모듈리 해석이 알려지지 않은 경우에도 표준 모델이 존재한다.