[논문 리뷰] Moore Matrices and Ulrich Bundles on an Elliptic Curve

Ragnar-Olaf Buchweitz, Alexander Pavlov|arXiv (Cornell University)|2015. 11. 17.

Algebraic structures and combinatorial models참고 문헌 13인용 수 3

한 줄 요약

이 논문은 특성 ≠ 2,3인 체 위에서 헤시 형태의 매끄러운 타원곡선에 대한 선형 행렬식 표현의 정규형을 무어 행렬을 이용해 제공하고, 이러한 곡선 위의 모든 분해 불가능한 랭크 2, 디그리 0의 윌러리지(bundle)를 행렬 인수분해를 통해 구성한다. 이러한 윌러리지(bundle)는 전역 단위가 없는 선다발의 확장으로서, 무어 행렬 구조와 발산 사상에 의해 실현된다.

ABSTRACT

We give normal forms of determinantal representations of a smooth projective plane cubic in terms of Moore matrices. Building on this, we exhibit matrix factorizations for all indecomposable vector bundles of rank 2 and degree 0 without nonzero sections, also called Ulrich bundles, on such curves.

연구 동기 및 목표

• 특성 ≠ 2,3인 체 위에서 헤시 형태의 매끄러운 평면 삼차 곡선에 대한 선형 행렬식 표현의 명시적 정규형을 제공한다.
• 이러한 곡선 위의 모든 분해 불가능한 랭크 2, 디그리 0의 벡터 다발(전역 단위가 없는 윌러리지(bundle))을 분류한다.
• 무어 행렬과 코어널 구조를 이용해 구성된 행렬 인수분해를 통해 이러한 윌러리지(bundle)를 실현한다.
• 특히 3차 정수 조건을 사용하여 군 법칙을 통해 이러한 다발과 곡선 위의 점 사이의 대응관계를 확립한다.
• 행렬 공간 위의 발산 사상 $ \mathsf{div} $ 를 이용해 관련 선다발의 확장 군을 계산하여, 이가 기저 체 위에서 1차원임을 보인다.

제안 방법

• 특성 ≠ 2,3인 체 위에서 $ M_{(a_0,a_1,a_2),\bold{x}} = (a_{i+j}x_{i-j}) $ 형태의 무어 행렬을 사용하며, 이는 $[a_0:a_1:a_2] \notin E$ 이고 $a_0a_1a_2 \neq 0$ 를 만족하는 점에 의해 인덱싱된다.
• 헤시 삼차 곡선의 모든 선형 행렬식 표현이 $ \mathsf{G}_3 = \mathrm{GL}(3,K) \times \mathrm{GL}(3,K)/\mathbb{G}_m(K) $ 작용 하에 이러한 무어 행렬과 동치임을 보인다.
• 두 무어 행렬이 동치 표현을 유도하려면 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ 이어야 하고, 여기서 $ \cdot_E $ 는 $[0:-1:1]$ 을 항등원으로 하는 타원곡선 군 법칙을 의미한다.
• 무어 행렬과 그 수반행렬을 이용해 삼각 블록 행렬을 구성하고, 이를 통해 윌러리지(bundle)를 코어널로 실현한다.
• 확장 군 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ 을 행렬 공간의 몫으로서 공역에 대한 교환자들을 모듈로 취한 것으로 실현하며, 발산 사상 $ \mathsf{div} $ 가 $ K $ 로의 동형을 유도함을 보인다.
• 아티야의 타원곡선 위의 랭크 2 다발 분류를 이용해, 이러한 모든 윌러리지(bundle)가 전역 단위가 없는 디그리 0 선다발의 비분열 확장으로서 유도됨을 보인다.

실험 결과

연구 질문

• RQ1 매끄러운 타원곡선의 헤시 형태에 대한 선형 행렬식 표현의 정규형은 무엇인가?
• RQ2 이러한 곡선 위의 모든 분해 불가능한 랭크 2, 디그리 0 윌러리지(bundle)는 어떻게 행렬 인수분해를 통해 명시적으로 구성할 수 있는가?
• RQ3 두 무어 행렬이 동치인 표현을 유도하는 기하학적·대수적 조건은 무엇인가?
• RQ4 관련 선다발의 확장 군은 어떤 방식으로 행렬 공간과 발산 사상에 의해 실현되는가?
• RQ5 3차 정수 조건 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ 이 이러한 표현의 분류에 어떻게 기여하는가?

주요 결과

• 모든 선형 행렬식 표현은 $[a_0:a_1:a_2] \in E$ 이고 $a_0a_1a_2 \neq 0$ 를 만족하는 무어 행렬 $ M_{(a_0,a_1,a_2),\bold{x}} $ 와 동치이다.
• 두 무어 행렬이 동치 표현을 유도하려면 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ 이어야 하며, 여기서 $ \cdot_E $ 는 $[0:-1:1]$ 을 항등원으로 하는 타원곡선 군 법칙을 의미한다.
• 이 곡선 위의 모든 분해 불가능한 랭크 2, 디그리 0 윌러리지(bundle)는 전역 단위가 없는 디그리 0 선다발 $ \mathbf{L} = \operatorname{Coker} M_{a,x} $ 의 비분열 확장으로서 유도된다.
• 확장 군 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ 은 $ K $ 위에서 1차원이며, 행렬 $ M_{b,y} $ 에 대한 발산 사상 $ \mathsf{div} $ 를 통해 $ K $ 와 동형임을 보인다.
• 이러한 윌러리지(bundle)의 행렬 인수분해는 삼각 블록 행렬의 코어널로 주어지며, 비분열성은 $ \mathsf{div}(M_{a,x}) = 3 \neq 0 $ 로 보장된다.
• 이러한 모든 윌러리지(bundle)는 $ a_0a_1a_2 \neq 0 $ 를 만족하는 점 $ \mathbf{a} \in E $ 와의 정규 대응을 통해 실현되며, 곱이 0이 되는 3차 정수 점을 제외한다.