[논문 리뷰] Subvarieties of moduli spaces of sheaves via finite coverings

Markus Zowislok|arXiv (Cornell University)|2012. 10. 17.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 비분지 유한 쌍형 덮개, 특히 표면의 순환 및 캐논ical 덮개 하에서 층의 안정성과 모듈리 공간의 행동을 연구한다. 이러한 덮개에 의한 역상은 반정형 층의 모듈리 공간 사이에 사상으로 이끌어내며, K3 또는 아벨 표면에서 유래한 비분기 힐베르트-심플렉틱 다양체에서 라그랑주 부분다양체를 유도할 조건을 규명한다. 이는 끝내 끝내 유한 덮개를 통한 라그랑주 부분다양체의 구성 메커니즘을 제공한다.

ABSTRACT

Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of surfaces. Our main application is the construction of Lagrangian subvarieties of certain irreducible holomorphically symplectic manifolds that arise from moduli spaces of sheaves on K3 or abelian surfaces.

연구 동기 및 목표

• 비특이 프로젝티브 스킴의 유한 비분지 덮개에 의한 Gieseker 안정성, 외부 안정성, (H,A)-안정성이 어떻게 변하는지 분석하기 위해.
• 그러한 역상에 의해 유도된 반정형 층의 모듈리 공간 사이의 사상 이해하기 위해.
• 역상 사상의 이미지의 구조를 분석하고, 특히 다중안정성과 안정성 유지 조건을 조사하기 위해.
• 엔리케 또는 비타일러 표면의 모듈리 공간에서의 역상에 의해 K3 또는 아벨 표면의 층 모듈리 공간에서 라그랑주 부분다양체를 구성하기 위해.
• 특히 K3 및 아벨 표면의 캐논ical 덮개의 경우, 역상 이미지가 라그랑주 부분다양체를 유도하는 조건을 규명하기 위해.

제안 방법

• 유한 비분지 덮개 $ f: X \to Y $ 에 따른 역상 함자 $ f^* $ 를 사용하여 반정형 층의 모듈리 공간 사이의 사상 $ f^*: M_Y \to M_X $ 를 유도한다.
• 유한 차수의 선다발을 이용한 텐서 곱에 의한 군 작용을 적용하여, 역상 하에서의 안정성 행동을 분석한다.
• 암묵적 다각형의 $ u $-일반적 앰플 다발과 앰플 콘의 카메라 구조를 활용하여, 역상 하에서의 안정성 유지 보장을 확보한다.
• 결과를 캐논ical 덮개에 적용한다: K3 표면이 엔리케 표면을 덮는 이중 덮개, 아벨 표면이 비타일러 표면을 덮는 이중 덮개.
• 아벨 표면의 경우, 알바네제 사상에 의해 고차원 심플렉틱 다양체를 축소하여 라그랑주 부분다양체를 분리한다.
• 보고몰로프 분해와 피브어 리덕션 기법을 사용하여, 유도된 심플렉틱 다양체에서 라그랑주 부분다양체를 식별한다.

실험 결과

연구 질문

• RQ1 Gieseker 안정성(및 관련 개념)은 유한 비분지 덮개에 의한 역상 하에서도 유지되는가?
• RQ2 역상 사상 $ f^*: M_Y \to M_X $ 의 이미지의 구조는 어떻게 되며, 그 안에 포함된 층은 무엇인가?
• RQ3 어떤 조건에서 $ Y $ 에서 안정인 층의 역상이 $ X $ 에서 안정 또는 엄밀히 반정형이 되는가?
• RQ4 엔리케 또는 비타일러 표면에서의 역상에 의해 K3 또는 아벨 표면의 층 모듈리 공간에서 라그랑주 부분다양체를 구성할 수 있는가?
• RQ5 라그랑주 성질을 보장하기 위해 코어치 캐릭터의 원시성과 일반 앰플 다발의 역할은 무엇인가?

주요 결과

• 역상 $ f^* $ 는 닫힌 점 $[E]$ 를 $[f^*E] $ 로 보내는 사상 $ f^*: M_Y \to M_X $ 를 유도하며, 그 이미지는 다중안정 $ G $-층으로 구성된다.
• 역상은 반정형 안정성을 유지한다: $ E $ 가 $ Y $ 에서 반정형이면 $ f^*E $ 는 $ X $ 에서 반정형이며, $ (f^*)^{-1}(M_X^s) \subseteq M_Y^s $ 이다.
• 유한 차수의 선다발 $ L $ 에 의해 정의된 순환 덮개의 경우, Theorem 3.14 에서 역상 하에서 엄밀히 반정형이 되는 층의 집합이 정확히 기술된다.
• 만약 $ X $ 가 K3 표면이고 $ f^*u $ 가 원시적이라면, 모듈리 공간 $ M_X(f^*u) $ 는 비분기 힐베르트-심플렉틱 다양체이며, 역상 이미지는 라그랑주 부분다양체를 유도한다.
• 아벨 표면의 경우, 알바네제 사상 축소는 라그랑주 부분다양체를 유지하며, 이를 더 작은 라그랑주 부분다양체로 축소한다.
• 논문은 복소 토러스가 홀수 랭크의 경우 라그랑주 부분다양체로 나타나지 않음을 보이며, 짝수 랭크의 경우 타원 곡선이 나타날 수 있음을 제시하여, 더 높은 차원의 라그랑주 토러스 존재 가능성에 대한 가능성을 시사한다.