[논문 리뷰] Higher dimensional Enriques varieties and automorphisms of generalized Kummer varieties

Samuel Boissière, Marc Nieper-Wißkirchen외 1명|arXiv (Cornell University)|2010. 01. 26.

Nonlinear Waves and Solitons참고 문헌 7인용 수 4

한 줄 요약

이 논문은 고차원 Enriques 다양체를 고정점이 없는 유한 순서의 자기동형사상에 의한 불가약한 힐버트-심플렉틱 다양체의 몫으로 정의한다. 특히 일반화된 쿠머 다양체를 사용하여 차원 4와 6에서의 구체적인 예를 구성하고, 기저가 되는 아벨 곡면의 자기동형사상으로 유도되는 자연스러운 자기동형사상의 분류를 수행한다. 아르노 데 베유빌이 제기한 고차원에서의 이러한 다양체 존재성 문제를 해결한다.

ABSTRACT

We define Enriques varieties as a higher dimensional generalization of Enriques surfaces and construct examples by using fixed point free automorphisms on generalized Kummer varieties. We also classify all automorphisms of generalized Kummer varieties that come from an automorphism of the underlying abelian surface.

연구 동기 및 목표

• 고정점이 없는 자기동형사상에 의한 불가약한 힐버트-심플렉틱 다양체의 몫으로 하여 Enriques 곡면을 고차원으로 일반화하는 것.
• 기저가 되는 아벨 곡면의 자기동형사상으로부터 유도되는 일반화된 쿠머 다양체의 자기동형사상을 분류하는 것.
• 일반화된 쿠머 다양체에 대해 차수 3과 4의 고정점이 없는 자기동형사상으로 차원 4와 6에서의 Enriques 다양체를 구체적으로 구성하는 것.
• 아르노 데 베유빌이 제기한 고차원에서의 이러한 다양체 존재성 문제를 해결하는 것.

제안 방법

• 고정점이 없는 유한군 작용이 심플렉틱 형식에 순수하게 비심플렉틱하게 작용하는 불가약한 힐버트-심플렉틱 다양체의 몫으로서 Enriques 다양체를 정의한다.
• 복소 multiplication을 가진 타원곡선 $E$의 곱 $A = E \times E$에 관련된 일반화된 쿠머 다양체 $K_n(A)$를 사용한다.
• 기저 아벨 곡면 $A$ 위에서 $\psi = t_a \circ h$ 형태의 자기동형사상을 구성한다. 여기서 $h$는 단위근을 성분으로 가지는 대각행렬이고, $t_a$는 차수 $n$의 토라스점에 의한 이동이다. 이를 통해 $K_n(A)$ 위의 자기동형사상을 정의한다.
• 궤도 점들의 합을 분석하고 첫 번째 좌표에 대한 조건을 풀어 $a_1$과 단위근 간의 관계를 분석함으로써 $K_n(A)$ 위에 고정점이 없는 지를 검증한다.
• $n=3,4$일 때 $\langle \psi^{[n]} \rangle$ 이 $K_n(A)$ 위에 자유롭게 작용함을 보이기 위해, $a_1$에 대한 필수 선형 조건이 비자명한 해를 가짐을 증명한다.
• 차원 10에서의 반례를 구성하기 위해 $W \times V$의 곱을 취한다. 여기서 $W = K_3(A)$이고 $V$는 칼라비-유아 타원곡면이다. $V$ 위에 자유로운 반사자기동형사상 $\iota$를 적용하여 분할되지 않는 Enriques 다양체를 구성한다.

실험 결과

연구 질문

• RQ1 Enriques 곡면은 고정점이 없는 자기동형사상에 의한 불가약한 힐버트-심플렉틱 다양체의 몫으로 고차원으로 일반화될 수 있는가?
• RQ2 일반화된 쿠머 다양체의 어떤 자기동형사상들이 기저 아벨 곡면의 자기동형사상으로부터 유도되는가?
• RQ3 차원 4와 6에서, 일반화된 쿠머 다양체에 대해 고정점이 없는 차수 3과 4의 자기동형사상에 의한 몫으로서 존재하는 Enriques 다양체가 있는가?
• RQ4 일련의 불가약한 힐버트-심플렉틱 다양체의 자유군 작용에 의한 몫이 아닌 Enriques 다양체를 구성할 수 있는가?
• RQ5 일반화된 쿠머 다양체의 자기동형사상이 점들의 힐베르트 스킴 위에서 자유롭게 작용하기 위한 조건은 무엇인가?

주요 결과

• 논문은 차원 4와 6에서의 Enriques 다양체의 명시적 예를 일반화된 쿠머 다양체 $K_3(A)$와 $K_4(A)$에 대해 고정점이 없는 차수 3과 4의 자기동형사상에 의한 몫으로 구성한다.
• $n=3$일 때, $a_1 = 1/3$을 선택하면 조건 $(2 + \zeta_3)a_1 = 0$ 이 $E$에서 만족되지 않기 때문에 자기동형사상 $\psi^{[3]}$ 이 $K_3(A)$ 위에 자유롭게 작용한다.
• $n=4$일 때, $a_1 = 1/4$를 선택하면 조건 $2(1+i)a_1 = 0$ 이 만족되지 않기 때문에 $\psi^{[4]}$ 가 $K_4(A)$ 위에 자유롭게 작용한다.
• $n=6$일 때, $K_6(A)$ 위에 차수 3의 자기동형사상으로부터 유도된 $f^{[6]}$ 는 $a_1 = 1/3$ 이면 고정점이 없으며, 이는 약한 Enriques 다양체를 만든다.
• 차원 10의 Enriques 다양체는 $X = W \times V$ 형태의 곱으로 구성되며, $W = K_3(A)$ 이고 $V$ 는 칼라비-유아 3차원 다양체이다. $f^{[3]} \times \iota$ 의 자유작용은 $Y$ 가 단일한 불가약한 힐버트-심플렉틱 다양체의 몫이 되지 않음을 보여준다.
• 구성된 차원 10의 Enriques 다양체는 기약적이지 않으며, $(W / \langle f^{[3]} \rangle) \times (V / \langle \iota \rangle)$ 와 동형이므로, 모든 Enriques 다양체가 불가약한 힐버트-심플렉틱 다양체의 자유군 작용에 의한 몫으로서 유도되는 것은 아님을 보여준다.