[논문 리뷰] The Ceresa class: tropical, topological, and algebraic

Daniel Corey, Jordan S. Ellenberg외 1명|arXiv (Cornell University)|2020. 09. 22.

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

한 줄 요약

이 논문은 조합적 Ceresa 클래스를 토폴로지적 곡선과 Dehn 회전이 가환하는 위상수학적 표면에 도입하여, 모든 설정에서 그 것이 토크션임을 보이고, 초타원적 대상에서 정확히 0이 되는 것을 보여준다. 이는 대수기하학, 위상수학(모리타 코ycle 경유), 그리고 토폴로지 기하학 사이의 대응을 확립하며, 예를 들어 4개 정점의 완전 그래프에서 16차 토크션을 가진 초타원적이지 않은 토폴로지적 곡선에 대해 비자명성을 증명한다.

ABSTRACT

The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion.

연구 동기 및 목표

• 모든 간선 길이가 정수인 토폴로지적 곡선에 대해 조합적 Ceresa 클래스를 정의하고, 고전적 Ceresa 사이클을 토폴로지적 설정으로 확장한다.
• 복소수 위상체 $\mathbb{C}((t))$ 위에서의 대수기하학적 Ceresa 클래스를 위상수학적 자료(매핑 클래스군 내의 멀티트위스트)와 토폴로지적 자료(메트릭 그래프)와 연결한다.
• 군 코hom로지와 존슨 준동형사를 사용하여, 모든 세 가지 설정—대수기하학, 위상수학, 토폴로지 기하학—에서 Ceresa 클래스가 토크션임을 보인다.
• 동일한 양의 양의 수학적 구조를 가진 초타원적 토폴로지적 곡선과 초타원적 유형의 곡선을 구분할 수 있는지 조사한다.
• 멀티트위스트의 구조와 기초 그래프의 연결성에 따라 Ceresa 클래스가 언제 0이 되는지에 대한 명시적 기준을 제공한다.

제안 방법

• 그림의 이중 그래프와 간선 길이를 사용하여, 열화와 관련된 멀티트위스트를 기반으로 토폴로지적 곡선의 Ceresa 클래스를 조합적 불변량으로 정의한다.
• 매핑 클래스군 위에서의 모리타 코ycle을 사용하여 위상수학적으로 Ceresa 클래스를 정의하고, 존슨 준동형사와 기본군 작용과 연결한다.
• 헤인과 마츠모토의 2-노르말 기본군과 갈루아 작용에 관한 연구를 응용하여, $\mathbb{C}((t))$ 위에서 Ceresa 클래스를 에테일 코hom로지로 올린다.
• ℓ-아디크 코hom로지에서 사이클 클래스 사상의 상을 통해 Ceresa 클래스를 구성하고, 이 클래스가 특정 코hom로지 군의 부분군 안에 있음을 보인다.
• 심플렉틱 표현에서의 기저 변경과 선형대수를 적용하여 클래스를 명시적으로 계산하며, 특히 $K_4$ 그래프의 경우에 초점을 맞춘다.
• 3\nu(T_\Gamma) \in \overline{A(\delta_\Gamma)} 이지만 \nu(T_\Gamma) \notin \overline{A(\delta_\Gamma)} 임을 보여, 16로 나누어지는 순서를 유도함으로써 토크션성을 증명한다.

실험 결과

연구 질문

• RQ1 Ceresa 클래스는 토폴로지적 설정에서 의미 있게 정의될 수 있으며, 고전적 대수기하학적 Ceresa 사이클과 어떻게 관련되는가?
• RQ2 토론적 설정에서 Ceresa 클래스는 토크션인가? 만약 그렇다면, 예를 들어 4개 정점의 완전 그래프와 같은 특정 예시에서의 순서는 무엇인가?
• RQ3 Ceresa 클래스가 0이 되는 것은 토폴로지적 또는 위상수학적 설정에서 초타원적 성질을 의미하는가? 아니면 초타원적이지 않은 대상이 0 Ceresa 클래스를 가질 수 있는가?
• RQ4 Ceresa 클래스는 열화 과정에서 어떻게 행동하는가? 그리고 멀티트위스트의 구조는 그의 자명성 결정에 어떤 역할을 하는가?
• RQ5 동일한 양의 양의 수학적 구조를 가진 초타원적 유형의 토폴로지적 곡선과 실제 초타원적 토폴로지적 곡선을 Ceresa 클래스로 구분할 수 있는가?

주요 결과

• 모든 간선 길이가 1인 4개 정점의 완전 그래프의 Ceresa 클래스는 0이 아닌 16차 클래스이며, 이는 토폴로지적 설정에서의 비자명성을 보여준다.
• 모든 초타원적 토폴로지적 곡선에서 Ceresa 클래스는 0이 되며, 고전적 대수기하학 사례와 일치하지만, 그 역은 성립하지 않는다: 초타원적이지 않은 토폴로지적 곡선 중에서도 Ceresa 클래스가 0인 것이 존재한다.
• Ceresa 클래스는 모든 세 가지 설정—대수기하학, 위상수학, 토폴로지 기하학—에서 토크션이다. 이는 코hom로지 군의 부분군에 이미지가 놓여져 있으며, 이 부분군이 유한 지수로 사라지기 때문이다.
• 특히 $K_4$ 그래프의 경우, $\nu(T_\Gamma)$ 는 $\overline{A(\delta_\Gamma)}$ 에 속하지 않지만, $3\nu(T_\Gamma)$ 는 속하므로, 클래스의 순서는 16로 나누어진다.
• Ceresa 클래스는 양의 수학적 구조만으로는 불변량이 아니다: 동일한 양의 수학적 구조를 가진 초타원적 유형의 곡선(초타원적 곡선과 양의 수학적 구조가 동일한 곡선)은 비자명한 Ceresa 클래스를 가질 수 있다.
• 멀티트위스트 $T_\Gamma$ 에 대해 Ceresa 클래스가 0이 되는 것은 존슨 준동형사의 핵에 속하는 것과 정확히 동치이며, 이는 분리된 멀티트위스트에 대해 성립한다. 이는 멀티트위스트가 초타원적이지 않더라도 성립한다.