[논문 리뷰] Boundary behavior of special cohomology classes arising from the Weil representation

Jens Funke, John J. Millson|arXiv (Cornell University)|2008. 11. 06.

Advanced Algebra and Geometry참고 문헌 15인용 수 7

한 줄 요약

이 논문은 오р토고널 군의 계수 $(p,q)$를 가진 비콤팩트 국소 대칭 공간에서 웰 표현으로부터 유래하는 특수 코homology 계열과 관련된 $θ$ 시리즈의 경계 행동을 조사한다. 이 $θ$ 함수들이 보르-세르 콪팩티피케이션으로 확장되며, 각 면에 제한된 결과가 더 작은 오르토고널 군과 더 큰 계수 체계에 대한 $θ$ 시리즈가 되는 것을 증명한다. $Π$-스플릿 케이스인 계수 $(p,p)$의 경우, 경계 극한이 경로에 따라 달라지므로 작은 보르-세르 콩팩티피케이션은 확장을 수용하지 못한다. 대신 '큰' 보르-세르 콩팩티피케이션은 이 문제를 해결하여 잘 정의된 경계 제한을 가능하게 하며, 유한 커버를 통해 특수 (코)호몰로지 계열의 비영성도 증명한다.

ABSTRACT

In our previous paper [math.NT/0408050], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p,q)$. This correspondence is realized using theta functions associated to explicitly constructed "special" Schwartz forms. Furthermore, the theta functions give rise to generating series of certain "special cycles" in $X$ with coefficients. In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel-Sere compactification $\bar{X}$ of $X$. However, for the $\Q$-split case for signature $(p,p)$, we have to construct and consider a slightly larger compactification, the "big" Borel-Serre compactification. The restriction to each face of $\bar{X}$ is again a theta series as in [math.NT/0408050], now for a smaller orthogonal group and a larger coefficient system. As application we establish the cohomological nonvanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish.

연구 동기 및 목표

• 비콤팩트 국소 대칭 공간에서 오르토고널 군의 계수 $(p,q)$에 대해 웰 표현으로부터 유래하는 특수 코호몰로지 계열과 관련된 $θ$ 함수의 경계 행동을 이해하는 것.
• 계수 $(p,p)$의 $Π$-스플릿 케이스에서 작은 보르-세르 콩팩티피케이션으로의 확장에 대한 장애를 분석하는 것. 이 경우 경계 극한이 접근 경로에 따라 달라진다.
• 확장 문제를 해결하고 잘 정의된 경계 제한을 보장하기 위해 '큰' 보르-세르 콩팩티피케이션을 구성하고 활용하는 것.
• 적절한 유한 커버를 통해 국소 대칭 공간의 제한을 거쳐 특수 사이클의 호몰로지 비영성을 확립하는 것.
• 명시적 슈와르츠 형식과 $θ$ 분포를 통해 비자명한 계수 체계 $\mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$로의 기하학적 $θ$ 상응을 일반화하는 것.

제안 방법

• 저자들은 웰 표현을 사용하여 $\mathcal{S}(V^{n}_{\mathbb{RC}}) \otimes \mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$ 값을 갖는 $(\mathfrak{g},K)$-코사이클을 명시적으로 구성하며, 이는 대칭 공간 $D$ 위의 닫힌 미분 형식을 생성한다.
• 그들은 $\mathcal{L} \subset V^n$ 인 격자에 대해 $\Theta_{\mathcal{L}} = \sum_{\ell \in \mathcal{L}} \delta_\ell$ 라는 $θ$ 분포를 정의하고, 이를 코사이클과 쌍으로 묶어, 계수 체계 $\mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$를 갖는 몫 $X = \Gamma \backslash D$ 위의 닫힌 $nq$-형식 $\theta_{\varphi^{V}_{nq,[\lambda]}}$ 를 얻는다.
• 경계 행동은 대칭 공간이 보르-세르 경계에 접근함에 따라 $θ$ 함수의 점근적 극한을 연구함으로써 분석된다. 특히, 포화 부분군에 대응하는 모서리 근처에서의 행동을 중심으로 다룬다.
• $\operatorname{SO}(p,p)$의 $\u03a0$-스플릿 케이스에서는 작은 보르-세르 콩팩티피케이션에서 잘 정의된 경계 제한을 수용하지 못한다. 이는 경로에 따라 달라지는 극한 때문이며, 이 문제는 추가적인 $\mathbb{R}_+$-요소를 포함하는 '큰' 보르-세르 콩팩티피케이션을 도입함으로써 해결된다.
• 콩팩티피케이션의 각 면에 대한 $θ$ 함수의 제한은 더 작은 오르토고널 군과 더 큰 계수 체계에 대한 $θ$ 시리즈임을 보이며, [12]의 결과를 일반화한다.
• 포아송 합성과 부분 푸리에 변환은 경계 매개변수에 대한 수렴성과 의존도를 분석하는 데 적용되며, 특히 $\operatorname{SO}(2,2)$ 케이스에서 작은 콩팩티피케이션으로의 확장을 불가능하게 하는 것을 보여준다.

실험 결과

연구 질문

• RQ1 왜 $θ$ 함수 $\theta(\varphi_{2,0})$ 는 $\operatorname{SO}(2,2)$ 의 작은 보르-세르 콩팩티피케이션으로 확장되지 않는가?
• RQ2 계수 $(p,p)$의 $Π$-스플릿 케이스에서 $θ$ 함수의 확장을 해결하는 데 있어 '큰' 보르-세르 콩팩티피케이션의 역할은 무엇인가?
• RQ3 콩팩티피케이션의 각 면에 대한 $θ$ 함수의 제한은 더 작은 오르토고널 군과 수정된 계수 체계에 대한 $θ$ 시리즈와 어떻게 관련이 있는가?
• RQ4 특수 사이클 $Z_{T,[\lambda]}$ 가 $X$ 의 적절한 유한 커버로 제한되었을 때의 호몰로지적 의미는 무엇인가?
• RQ5 왜 $θ$ 함수의 경계 극한은 접근 경로에 따라 달라지며, 이는 왜 작은 콩팩티피케이션에서 잘 정의되지 않는가?

주요 결과

• $X$ 의 비콤팩트 대칭 공간에 대해 계수 $(p,q)$인 경우, $θ$ 함수 $\theta_{\varphi^{V}_{nq,[\lambda]}}$ 는 $X$ 의 보르-세르 콩팩티피케이션 $\overline{X}$ 로 확장되며, 각 면에 대해 잘 정의된 제한을 갖는다.
• $\mathbb{Q}$-스플릿 케이스인 계수 $(p,p)$의 경우, 작은 보르-세르 콩팩티피케이션은 경로에 따라 달라지는 경계 극한으로 인해 $θ$ 함수의 잘 정의된 확장을 수용하지 못한다. 특히 $2$-토러스 $e'(P')$ 에 대응하는 모서리에서 그러하다.
• '큰' 보르-세르 콩팩티피케이션은 추가적인 $\mathbb{R}_+$-요소를 도입함으로써 확장 문제를 해결하며, 경로에 독립적인 경계 극한을 보장한다.
• '큰' 보르-세르 콩팩티피케이션의 각 면에 대한 $θ$ 함수의 제한은 다시 한 번 더 작은 오르토고널 군과 더 큰 계수 체계에 대한 $θ$ 시리즈가 된다.
• 특수 사이클 $[Z_{T,[\lambda]}]$ 의 호몰로지 비영성은 $X$ 의 적절한 유한 커버로의 이동을 통해 확립되며, 관련 (코)호몰로지 군이 영이 아니라는 것을 증명한다.
• $\operatorname{SO}(2,2)$ 케이스에서 $t_1, t_2 \to \infty$ 일 때 $\theta(\varphi_{2,0})$ 의 극한은 $t_2$ 에 의존하며, 이는 경계 토러스의 좌표가 아니므로 잘 정의되지 않음을 위반하며, 작은 콩팩티피케이션으로의 확장 실패를 확인한다.