[논문 리뷰] On the canonical representation of curves in positive characteristic

Ruthi Hortsch|arXiv (Cornell University)|2011. 12. 07.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 6

한 줄 요약

이 논문은 특성 $ p > 2 $ 에서 곡선 $ y^2 = x^p - x $ 의 자기동형군의 정규 표현이 $ p $ 가 증가함에 따라 무한히 증가하는 종수를 가지며, 이 표현이 기약임을 증명한다. $ \mathrm{SL}_2(\mathbb{F}_p) $ 의 표현 이론을 이용하여, 정형 1-형식의 공간이 군 작용에 대해 기약임을 보이고, 더 나아가 de Rham 코homology 가 분해 가능하지만 프로젝티브가 아니며, 양의 특성에서의 대수기하학의 핵심 문제를 해결한다.

ABSTRACT

Given a smooth curve, the canonical representation of its automorphism group is the space of global holomorphic differential 1-forms as a representation of the automorphism group of the curve. In this paper, we study an explicit set of curves in positive characteristic with irreducible canonical representation whose genus is unbounded. Additionally, we study the implications this has for the de Rham hypercohomology as a representation of the automorphism group.

연구 동기 및 목표

• 양의 특성에서 매끄러운 곡선의 자명한 표현의 구조를 조사한다.
• 양의 특성에서 기약 정규 표현을 가질 수 있는 곡선이 임의로 큰 종수를 가질 수 있는가를 규명한다.
• 자기동형군의 표현으로서의 de Rham 초코homology 를 분석하며, 특히 그 분해 가능성에 초점을 맞춘다.
• 타이드 램프링 및 $ p $-거듭제곱 순서의 경우를 초월한 정규 표현에 대한 기존 결과를 확장한다.

제안 방법

• 특성 $ p > 2 $ 인 대수적으로 닫힌 체 위에서 곡선 $ X: y^2 = x^p - x $ 를 분석하며, 종수는 $ g = (p-1)/2 $ 이다.
• 자기동형군 $ G $ 는 $ \mathrm{PGL}_2(\mathbb{F}_p) $ 의 2차 중심 확장이며, 애매한 좌표에서의 명시적 작용을 규명한다.
• 정규 표현을 $ H \cong \mathrm{SL}_2(\mathbb{F}_p) $ 의 부분군으로 제한하여, 이 표현이 $ k^2 $ 의 표준 표현의 $ (g-1) $ 번째 대칭 거듭제곱과 동형임을 보인다.
• 표준 표현의 대칭 거듭제곱의 기약성에 기반하여, $ H^0(X, \Omega^1_{X/k}) $ 가 $ k[G] $-모듈로서 기약임을 결론짓는다.
• 세르 dualit의 원리를 적용하고, 분해 가능성 분석을 위해 쌍대 기저를 구성한다.
• 군 작용 $ T $ 와 $ \sigma $ 를 이용하여 잠재적 분해에 대한 고유값 제약 조건을 유도하며, 이는 모순을 초래하고 분해 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 기약 정규 표현을 가진 곡선가 임의로 큰 종수를 가질 수 있는가?
• RQ2 특성이 군의 순서를 나눌 때, 곡선의 de Rham 코homology 가 자기동형군의 표현으로서 어떻게 행동하는가?
• RQ3 $ y^2 = x^p - x $ 의 de Rham 코homology 는 $ k[G] $-모듈로로 분해 가능한가, 아니면 분해 불가능한가?
• RQ4 커버 $ X \to X/G $ 가 야생 램프링일 경우 정규 표현은 여전히 기약인가?

주요 결과

• 특성 $ p > 2 $ 에서 곡선 $ y^2 = x^p - x $ 에 대해 정규 표현 $ H^0(X, \Omega^1_{X/k}) $ 는 $ k[G] $-모듈로 기약이다.
• 곡선의 종수 $ g = (p-1)/2 $ 는 $ p $ 가 증가함에 따라 무한히 증가하므로, 양의 특성에서 임의로 큰 종수를 가진 기약 정규 표현이 존재할 수 있음을 보여준다.
• de Rham 코homology $ H^1_{\mathrm{dR}}(X/k) $ 는 분해 가능하지만, 표준 정확수열이 분리되지 않기 때문에 $ k[G] $-모듈로로 분해 불가능하다.
• Sylow $ p $-부분군의 순서(즉, $ p $)가 차원 $ 2g = p-1 $ 에 나누어지지 않기 때문에 표현은 비프로젝티브이다. 이는 프로젝티브성을 위한 필수 조건을 위반한다.
• de Rham 코hom로지의 관점에서 $ G $ 가 1-형식 공간에 작용하는 것은 반단순적이지 않다. 이는 $ k[G] $-모듈의 범주에서 코homology 수열의 분리가 존재하지 않기 때문이다.
• 분해가 존재한다면 모순이 발생함을 보여주는 데, 이는 $ T $-작용에서 유도된 고유값 제약 조건과 군 작용 공식의 영이 아닌 계수에 기반한다.