[논문 리뷰] On the Hodge group and invariant cycles of a simple Abelian variety with a stable reduction of odd toric rank

Olga V. Oreshkina|arXiv (Cornell University)|2018. 09. 06.

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

한 줄 요약

이 논문은 안정적 감소와 홀수 토릭 랭크를 갖는 절대적으로 단순한 아벨 다양체의 호지 군이 반단순적임을 증명하며, 추가 조건—특히 홀수 차원—하에 이러한 다양체에 대해 호지 추측이 성립함을 보인다. 또한, 곡선 위의 아벨 스킴에 대해 호모지스키 스킴과 코homological 호모지스키 함수자간의 표준적 동형사상이 존재함을 증명하여, 이 설정에서 그로텐디크의 불변 사이클 추측을 확인한다.

ABSTRACT

The semi-simplicity of the Hodge group is proved for a simple Abelian variety with a stable reduction of odd toric (reductive) rank. If, besides, the dimension of the Abelian variety is an odd integer, then the Hodge conjecture on algebraic cycles holds for it.

연구 동기 및 목표

• 안정적 감소와 홀수 토릭 랭크를 갖는 절대적으로 단순한 아벨 다양체의 호지 군의 구조를 조사한다.
• 이러한 아벨 다양체에 대해 호지 추측이 성립하는 조건을 규명한다.
• 곡선 위의 아벨 스킴 간의 사상과 그 첫 번째 코homology 층 간의 사상 간의 표준적 동형사상을 확립한다.
• 안정적 감소와 홀수 토릭 랭크를 갖는 곡선 위의 아벨 스킴에 대해 그로텐디크의 불변 사이클 추측을 검증한다.

제안 방법

• 이산 평가환수 위의 아벨 다양체의 네론 모델을 활용하여 특별 섬의 구조, 특히 토릭 및 아벨 성분을 분석한다.
• 에탈레 확장을 통한 기본 체환을 적용하여 특별 섬의 토러스 성분이 잔여체에서 완전히 분해되도록 보장한다.
• 네론 모델의 보편 성질을 활용하여 일반 섬의 자기사상과 특별 섬의 자기사상 간의 관계를 규명한다.
• 자기사상 대수를 ℚ 위의 행렬 대수로의 표준적 포함을 통해, 토릭 랭크가 홀수일 경우 대수적 구조에 대한 제약 조건을 유도한다.
• 단일성 표현과 기본군의 상의 자리를 포함한 자리스키 폐쇄를 적용하여 단일성 군과 호지 군 간의 관계를 규명한다.
• 무스타핀의 정리를 적용하여 곡선 위의 아벨 스킴에 대해 호모지스키 스킴과 코homological 호모지스키 함수자 간의 표준적 동형사상을 유도한다.

실험 결과

연구 질문

• RQ1 안정적 감소와 홀수 토릭 랭크를 갖는 절대적으로 단순한 아벨 다양체의 호지 군이 반단순적일 조건은 무엇인가?
• RQ2 이러한 아벨 다양체에 대해 호지 추측이 성립하는 조건은 무엇이며, 특히 토릭 랭크와 차원과의 관계는?
• RQ3 곡선 위의 아벨 스킴 간의 사상과 그 첫 번째 코homology 층 간의 사상 간의 관계는 무엇인가?
• RQ4 안정적 감소와 홀수 토릭 랭크를 갖는 곡선 위의 아벨 스킴에 대해 그로텐디크의 불변 사이클 추측이 성립하는가?

주요 결과

• 안정적 감소와 홀수 토릭 랭크를 갖는 절대적으로 단순한 아벨 다양체의 호지 군은 반단순적이다.
• 자기사상 대수를 ℚ과 텐서곱한 것은 ℚ 위에서의 전체 실수체이며, 그 차수는 홀수이다.
• 아벨 다양체의 차원이 홀수일 경우, 복소수 위에서 호지 군의 리 대수는 $ C_{g/e} \times \bigcdots \times C_{g/e} $ 형식을 가지며, $ e $ 개의 복제본이 있다.
• 모든 $ p \neq 0 $ 에 대해, 호지 사이클 공간 $ [\bigwedge^{2p} H^1(J, \bbQ)]^{\text{Hg}(J)} $ 는 교차의 클래스들에 의해 생성된다.
• 이러한 아벨 다양체에 대해 호지 추측이 성립하며, 호지 사이클은 대수적 사이클에 의해 생성된다.
• 안정적 감소와 홀수 토릭 랭크를 갖는 곡선 $ C $ 위의 아벨 스킴 $ \rho_{X/C}: X \to C $ 에 대해, 표준적 동형사상 $ \text{Hom}_C(X,Y) \to \text{Hom}(R_1 \rho_{X/C*}\bbZ, R_1 \rho_{Y/C*}\bbZ) $ 이 존재하며, 그로텐디크의 불변 사이클 추측이 성립한다.