[논문 리뷰] Remarks on generating series for special cycles

Stephen S. Kudla|arXiv (Cornell University)|2019. 08. 22.

Advanced Algebra and Geometry참고 문헌 20인용 수 5

한 줄 요약

이 논문은 블로흐-베일리논 추측을 가정할 때, 전체 실수 체에 대한 올리고닉 쇼이마 다양체의 특수 사이클에 대한 생성함수의 모듈랑드성을 증명한다. 이는 이전의 디바이저 클래스 결과를 고차원 수준의 사이클로 확장하며, 아벨-자코비 사상의 단사성과 평행 무게 $\frac{m}{2}+1$인 힐버트-시겔 모듈라 형식을 활용한다. 주요 기여는 $d_+ \geq 1$일 때 모든 $n$에 대해 $1 \leq n \leq m$인 경우에 모듈랑드성을 입증함으로써, 고차원 수준에서 오랫동안 남아있던 빈자리 해결을 이룬다.

ABSTRACT

In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+

연구 동기 및 목표

• 전체 실수 체 위의 올리고닉 쇼이마 다양체의 차우 군에서 특수 사이클에 대한 생성함수의 모듈랑드성을 확립하는 것.
• $d_+ > 1$일 때 고차원 수준에서 특수 사이클 간의 체계적 관계 부족으로 인해 모듈랑드성 증명이 방해받는 문제를 다루는 것.
• 이전에 $d_+ = 1$인 경우에만 알려진 모듈랑드성 결과를 임의의 $d_+$ 및 $1 \leq n \leq m$의 일반적인 경우로 확장하는 것.
• 블로흐-베일리논 추측 하에 차우 군 값 생성함수 $\mathrm{CH}^{nd_+}(S)$가 모듈라 형식임을 보이는 것.

제안 방법

• 블로흐-베일리논 추측을 통해 아벨-자코비 사상의 단사성을 가정함으로써, 차우 군 내의 관계를 제어할 수 있도록 한다.
• 전체 실수 체 $F$ 위의 이차 형식 공간 $V$에 관련된 올리고닉 쇼이마 다양체 위의 특수 사이클 이론을 적용한다. 이는 서명 $((m,2)^{d_+},(m+2,0)^{d-d_+})$을 가진다.
• 전체 양의 정부분 정의 행렬을 갖는 $O_F$에 따라 인덱싱된 차우 군 $\mathrm{CH}^{nd_+}(S)$ 내의 생성함수를 구성한다.
• 가중 특수 사이클의 두 정의 간 등가성에 기반한다: 하나는 궤도 분해를 통한 것이고, 다른 하나는 슈바르츠 함수와 심장 전이를 통한 것이다.
• 웨일의 보조정리를 적용하여 $H(\mathbb{A}_f)$ 내의 이중 코셋 분해를 $\Gamma_{g_j}$-궤도와 연결함으로써 사이클 구성 간 일관성을 확보한다.
• 코homology 클래스의 생성함수가 평행 무게 $\frac{m}{2}+1$인 힐버트-시겔 모듈라 형식임을 알고 있으며, 이는 추측적 가정 하에 차우 군으로의 모듈랑드성 전이에 이용된다.

실험 결과

연구 질문

• RQ1 모듈랑드성 추측 하에 $d_+ > 1$일 때, 차우 군 $\mathrm{CH}^{nd_+}(S)$ 내의 특수 사이클에 대한 생성함수가 모든 $n$에 대해 $1 \leq n \leq m$인 경우에 모듈라인가?
• RQ2 자연스러운 곡선이나 관계가 더 쉽게 확보되는 $d_+ = 1$의 경우를 초월해, 차우 군 값 생성함수의 모듈랑드성을 일반화할 수 있는가?
• RQ3 블로흐-베일리논 추측에 따른 아벨-자코비 사상의 단사성이, 차우 군 내 고차원 수준 사이클 클래스의 모듈랑드성을 보장하는 데 충분한가?
• RQ4 초평면 $\Omega_T$와 $G(\mathbb{A}_f)$의 작용은 가중 특수 사이클을 정의하는 데 어떤 역할을 하는가?
• RQ5 일반적인 $d_+$ 설정 하에서, 궤도 분해를 통한 정의와 슈바르츠 함수를 통한 정의 간 두 가중 특수 사이클 정의는 어떻게 일치하는가?

주요 결과

• 블로흐-베일리논 추측을 가정할 때, 차우 군 $\mathrm{CH}^{nd_+}(S)$ 내의 고차원 수준 $nd_+$ 사이클에 대한 생성함수는 모듈라이다.
• 코homology 생성함수(즉, $H^{2nd_+}(S)$ 내)의 모듈랑드성은 평행 무게 $\frac{m}{2}+1$인 힐버트-시겔 모듈라 형식으로 알려져 있으며, 이는 차우 군 결과의 기초로 사용된다.
• 가중 특수 사이클의 두 정의—궤도 분해와 슈바르츠 함수—간의 일치가 증명되어 구성의 일관성이 보장된다.
• 증명은 웨일의 보조정리를 통해 이중 코셋 분해를 $\Gamma_{g_j}$-궤도와 연결함으로써, 사이클 합의 재색인화를 가능하게 한다.
• $d_+ > 1$의 경우 자연스러운 곡선이나 관계가 없기 때문에, 차우 군 생성함수의 모듈랑드성은 비자명하지만, 추측적 아벨-자코비 사상의 단사성 덕분에 필요한 제어가 가능해진다.
• 이 결과는 양-장-장(2017년, $d_+ = 1, n = 1$) 및 장(2018년, $d_+ = 1$ 및 일반 $n$)의 이전 작업을 임의의 $d_+$ 및 $1 \leq n \leq m$로 일반화한다.