[논문 리뷰] On a question of O'Grady about modified diagonals

B.J. Moonen, Qizheng Yin|arXiv (Cornell University)|2013. 11. 05.

Advanced Numerical Analysis Techniques참고 문헌 2인용 수 4

한 줄 요약

이 논문은 오그레이드가 제기한 아벨 다양체에서 수정된 대각선 사이클에 대한 일반화된 추측을 증명한다. 차우 모티프와 승수-𝑛 엔도모르피즘의 작용을 이용하여, 상대 차원 𝑔인 기저 스킴 𝑆 위의 아벨 스킴 𝑋에 대해, 𝑋^𝑚의 차우 링에서 수정된 대각선 사이클 클래스 Γ^𝑚(𝑋,𝑎)가 𝑚 ≥ 2𝑔+1일 때 토르션임을 보인다. 이 결과는 임의의 절단 𝑎 ∈ 𝑋(𝑆)에 대해 성립하며, 오그레이드의 원래 추측을 절대적 설정에서 상대적 설정으로 확장한다.

ABSTRACT

Let X be an abelian variety of dimension g. In a recent preprint O'Grady defines modified diagonal classes Γ^m on X^m and he conjectures that the class of Γ^m in the Chow ring of X^m is torsion for m \geq 2g+1. We prove a generalization of this conjecture.

연구 동기 및 목표

• 아벨 다양체의 차우 링에서 수정된 대각선 사이클의 토르션 성격에 관한 오그레이드의 추측을 해결하는 것.
• 오그레이드의 추측을 딜리그라드 기저 스킴 𝑆 위의 절대적 설정에서 상대적 설정으로 일반화하는 것.
• 상대 차원 𝑔인 아벨 스킴 𝑋에 대해, 𝑚 ≥ 2𝑔+1일 때 수정된 대각선 사이클 클래스 Γ^𝑚(𝑋,𝑎)가 𝐶𝐻(𝑋^𝑚)에서 토르션임을 확립하는 것.
• 차우 모티프의 구조와 승수-𝑛 엔도모르피즘의 작용을 이용하여 사이클 클래스 분해를 분석하는 것.

제안 방법

• 저자들은 절단 𝑎를 이용하여 {1,…,𝑚}의 비어 있지 않은 부분집합으로 인덱싱된 대각선으로 통합된 부분다양체들의 교대합을 통해 수정된 대각선 사이클 Γ^𝑚(𝑋,𝑎)을 정의한다.
• 저자들은 𝑆 위의 차우 모티프의 범주에서 일하고, 승수-𝑛 엔도모르피즘에 대해 안정적인 계수 분해를 갖는 𝑏(𝑋)의 구조적 분해를 활용한다.
• 핵심 기법은 승수-𝑛 작용이 Γ^𝑚에 미치는 영향을 분석하는 것으로, 𝑚𝑢𝑙𝑡_{𝑋^𝑚}(𝑛)_*[̻^𝑚] = 𝑛^{2𝑔} ⋅ [̻^𝑚]임을 보여, 사이클이 특정 모티브 성분에 국한됨을 보여준다.
• 저자들은 𝑗번째 인자를 수축시키는 사영 사상 𝑝̂_𝑗를 이용하여, Γ^𝑚의 어떤 𝑝̂_𝑗에 沿한 푸시포워드가 0이 됨을 보인다.
• 저자들은, 어떤 𝑖_𝑗 = 2𝑔인 텐서 곱의 모티프 ⊗_𝑗 𝑏^{𝑖_𝑗}(𝑋)의 차우 군에 속하는 Γ^𝑚의 임의의 성분은, 푸시포워드의 구조에서 상쇄되어 0이 됨을 증명한다.
• 주요 추론은, 𝑚 ≥ 2𝑔+1일 때, |𝑖| = 2𝑔(𝑚−1)인 모든 𝑚-튜플 𝑖 = (𝑖_1,…,𝑖_𝑚)는 반드시 하나 이상의 𝑖_𝑗 = 2𝑔를 포함해야 하므로, 사이클이 푸시포워드에 의해 0이 되는 성분에 속함을 보이는 데로 귀결된다.

실험 결과

연구 질문

• RQ1 상대 차원 𝑔인 아벨 스킴 𝑋에 대해, 𝑚 ≥ 2𝑔+1일 때 차우 링 𝐶𝐻(𝑋^𝑚)에서 수정된 대각선 사이클 Γ^𝑚(𝑋,𝑎)는 토르션인가?
• RQ2 오그레이드의 수정된 대각선에 대한 추측은 일반적인 딜리그라드 기저 스킴 𝑆 위의 상대적 설정으로 확장될 수 있는가?
• RQ3 ℎ(𝑋)의 표준 분해에 대해 Γ^𝑚(𝑋,𝑎)의 정확한 모티브 분해는 무엇인가?
• RQ4 승수-𝑛 엔도모르피즘의 작용은 𝐶𝐻(𝑋^𝑚)에서 사이클 클래스 Γ^𝑚에 어떤 제약을 가하는가?
• RQ5 사영 사상 𝑝̂_𝑗에 沿한 Γ^𝑚의 푸시포워드가 언제 0이 되는가?

주요 결과

• 수정된 대각선 사이클 클래스 [Γ^𝑚(𝑋,𝑎)]는 𝑋^𝑚의 모티브 𝑏^{2𝑔(𝑚−1)}(𝑋^𝑚)의 차우 군에 속하며, 이는 𝑋^𝑚의 모티브 분해에서 총 차수 2𝑔(𝑚−1) 성분에 해당한다.
• 𝑚 ≥ 2𝑔+1일 때, |𝑖| = 2𝑔(𝑚−1)인 모든 𝑚-튜플 𝑖 = (𝑖_1,…,𝑖_𝑚)는 반드시 하나 이상의 𝑖_𝑗 = 2𝑔를 포함하므로, 사이클이 어떤 𝑝̂_𝑗에 沿한 푸시포워드에서 0이 되는 성분에 속하게 된다.
• 모든 사영 사상 𝑝̂_𝑗에 대해 Γ^𝑚의 푸시포워드는 0이며, 이는 부분집합 𝐼와 𝐼 ∪ {𝑗}로 인덱싱된 항들 사이의 상쇄로 인한 핵심적인 구조적 성질이다.
• Γ^𝑚에 대한 승수-𝑛 작용은 𝑚𝑢𝑙𝑡_{𝑋^𝑚}(𝑛)_*[̻^𝑚] = 𝑛^{2𝑔} ⋅ [̻^𝑚]를 만족하며, 이는 사이클 클래스가 스케일링에 대해 𝑛^{2𝑔}의 인자로 불변임을 의미하며, 그 모티브적 지지에 제약을 가한다.
• 𝑚 ≥ 2𝑔+1일 때, 사이클 클래스 [Γ^𝑚(𝑋,𝑎)]는 𝐶𝐻(𝑋^𝑚)에서 토르션임을 보이며, 이는 푸시포워드 구조와 모티브 분해에 의해 0이 되는 성분에 속하기 때문이다.
• 결과는 임의의 절단 𝑎 ∈ 𝑋(𝑆)에 대해 성립하며, 𝑎에 의한 이동이 토르션 성질을 보존하는 동형사를 유도하므로, 영 절단 𝑒에 대한 경우만 증명하면 충분하다.