[논문 리뷰] Multiplying Modular Forms

Martin H. Weissman|ArXiv.org|2006. 11. 30.

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

한 줄 요약

이 논문은 실 반단순 리 군의 헬모르픽 이산 계열 표현의 텐서곱에서 발생하는 분해 문제와 모듈라 형식의 링 구조를 연결함으로써, 헬모르픽 모듈라 형식의 곱셈을 표현 이론적 프레임워크로 정립한다. 이는 고전적 모듈라 형식 곱셈을 실현하는 정규화된 상호작용 연산자를 구축하며, 국소 대칭 공간의 사타케 컴actsification에 대한 기하학적 및 대수적 기초를 제공한다.

ABSTRACT

The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from discrete series representations into tensor products of other discrete series representations. This collection of intertwining operators provides the well-known ring structure on spaces of holomorphic modular forms. An analytic subtlety prevents this collection of intertwining operators from directly yielding a ring structure on some spaces of modular forms. We discuss discrete decomposability, and its role in constructing ring structures.

연구 동기 및 목표

• 실 반단순 리 군의 표현 이론에서의 분해 문제와 헬모르픽 모듈라 형식의 링 구조 사이의 정확한 연결 고리를 밝히는 것.
• 헬모르픽 이산 계열 표현을 다른 이산 계열 표현들의 텐서곱에 정규화된 임bedding을 구축하는 것.
• 이 표현 이론적 구성이 고전적 모듈라 형식 곱셈, 특히 벡터 값 형식을 포함하여 정확히 복원함을 보이는 것.
• 이 구성이 국소 대칭 공간의 사타케 컴actsification에 미치는 기하학적 함의를 탐색하는 것.
• 이산 분해 가능성의 역할이 모듈라 형식 곱셈을 가능하게 하거나 차단하는 데 어떤 영향을 미치는지 조사하는 것.

제안 방법

• Borel-Weil 실현을 사용하여 이산 계열 표현에서 다른 이산 계열 표현들의 텐서곱으로 향하는 정규화된 상호작용 연산자를 구성한다.
• Ørsted-Vargas의 해석적 계속성 및 해석성 결과를 적용하여 상호작용 사상이 잘 정의되고 정규화되어 있음을 보장한다.
• 모듈라 형식을 헬모르픽 이산 계열 표현의 K-유한 벡터로 식별함으로써, 자동형 형식과 표현 이론을 연결한다.
• 고전적 모듈라 형식 곱셈과 정규화된 동형사상 $\mathrm{can}$, $\mathrm{comm}$, $\mathrm{assoc}$를 통한 상호작용 연산자의 합성 사이의 대응을 수립한다.
• 최저 K-형식의 텐서곱에서 정규화된 상호작용 연산자 $\mu_{\lambda_1,\lambda_2}^*$를 정의함으로써, 벡터 값 모듈라 형식으로 이 프레임워크를 확장한다.
• 이산 계열 표현의 형식적 차수 $\delta_w$를 사용하여 모듈라 형식 공간의 차원을 추정하며, $\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$ 이며 $n = \dim(G/K)$ 라는 결과를 도출한다.

실험 결과

연구 질문

• RQ1 헬모르픽 이산 계열 표현의 텐서곱에서 발생하는 분해 문제로부터 헬모르픽 모듈라 형식의 링 구조는 어떻게 유도되는가?
• RQ2 헬모르픽 이산 계열 표현을 두 개의 다른 이산 계열 표현의 텐서곱에 정규화된 방식으로 임베딩할 수 있으며, 그 조건은 무엇인가?
• RQ3 표현 이론적 방식으로 정의된 모듈라 형식 곱셈이 고전적 해석적 곱셈과 어느 정도 일치하는가?
• RQ4 사타케 컴actsification $\overline{Y(\Gamma)} = \mathrm{Proj}(\mathcal{M})$의 기하학적 구조는 표현 이론적 프레임워크에서 어떻게 유도되는가?
• RQ5 특히 스칼라가 아닌 경우에서, 이산 분해 가능성은 모듈라 형식 곱셈을 가능하게 하거나 차단하는 데 어떤 역할을 하는가?

주요 결과

• Ørsted-Vargas 및 Vargas의 해석적 결과를 활용하여, $\lambda = \lambda_1 + \lambda_2$ 일 때, 헬모르픽 이산 계열 표현 $\mathcal{J}_{\lambda}$ 에서 텐서곱 $\mathcal{J}_{\lambda_1} \otimes \mathcal{J}_{\lambda_2}$ 로 향하는 정규화된 상호작용 연산자 가족을 구성한다.
• 이 상호작용 연산자를 통한 모듈라 형식 곱셈이 고전적 해석적 곱셈과 정확히 일치하며, 항등식 $m([F_1 \otimes F_2](j_{w_1}^\vee \otimes j_{w_2}^\vee))(g) = F_1(j_{w_1}^\vee)(g) \cdot F_2(j_{w_2}^\vee)(g)$ 로 확인된다.
• 유리수 튜브 도메인 위의 스칼라 값 모듈라 형식에 대해, 사타케 컴actsification $\overline{Y(\Gamma)}$ 는 $\mathrm{Proj}(\mathcal{M})$ 과 동형이며, 여기서 $\mathcal{M}$ 은 모듈라 형식의 군형 링이다. 이 구성은 표현 이론적 프레임워크 내에서 완전히 실현된다.
• 무게 $w$ 의 모듈라 형식 공간의 차원은 $\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$ 를 만족하며, 여기서 $n = \dim(G/K)$ 이다. 이는 링 $\mathcal{M}$ 이 크룰 차원 $n$ 을 가짐을 시사한다.
• 벡터 값 모듈라 형식을 위한 새로운 링 구조 $\mathcal{M}^{\mathrm{vec}} = \bigoplus_{\lambda \in \Lambda_k^+} \mathcal{M}_{\mathrm{hol}}(H_\lambda)$ 가 정의되며, 곱셈은 $[f_1 \cdot f_2](g) = \mu_{\lambda_1,\lambda_2}^*(f_1(g) \otimes f_2(g))$ 로 주어진다.
• 복소 대수적 토루스 $T_{\mathbb{C}}$ 는 스킴 $Y^{\mathrm{vec}} = \mathrm{Spec}(\mathcal{M}^{\mathrm{vec}})$ 에 $t[f] = \lambda(t)f$ 를 통해 작용하며, 이는 그라디에이션의 기하학적 해석과 GIT 쿼터ients를 통한 잠재적 컴actsification을 시사한다.