Siegel modular forms associated to Weil representations: $\operatorname{SL}_2(\mathbb{R}) \& \operatorname{GL}_2(\mathbb{R})$ cases

기술적 요약: Weil 표현에 연관된 Siegel 모듈러 형식: $SL_2(\mathbb{R})$ 및 $GL_2(\mathbb{R})$ 경우

문제 제기
본 논문은 고전적인 Weil 표현에서 비롯된 반정수 가중치 ($1/2$ 및 $3/2$) 의 모듈러 형식에 대한 명시적 구성과 재구성을 다룬다. 구체적으로 고전적, 마이너스, 페르미온적 세 가지 유형의 쎄타 급수에 초점을 맞춘다. 이러한 형식들의 $SL_2(\mathbb{R})$ 및 그 합동 부분군에 대한 변환 성질은 Shimura, Lion–Vergne, Satake–Takase 등에 의해 문헌에서 잘 확립되어 있으나, 본 논문은 이러한 결과들을 엄밀한 표현론적 틀 내에서 통합하고자 한다. 또한, Langlands 프로그램의 맥락에서 보다 광범위한 자동형적 관점을 위해 $SL_2(\mathbb{R})$에서의 구성을 유사비례군 $GL_2(\mathbb{R})$로 확장하는 것을 목표로 한다.

방법론
저자는 덮개군 이론, 명시적 코사이클 계산, 그리고 표현 유도를 결합한 다면적 접근법을 사용한다:

1. 덮개군과 코사이클: 연구는 $SL_2(\mathbb{R})$ 및 $GL_2(\mathbb{R})$의 관련 중심 덮개군을 엄밀하게 정의하는 것으로 시작한다. 저자는 Weil 표현과 관련된 세 가지 서로 다른 2-코사이클을 분석한다:

   • Rao, Kudla, Perrin, Lion–Vergne와 관련된 $c_{X^*}$ 및 $\tilde{c}_{X^*}$ (각각 2-겹 및 8-겹 덮개를 생성함).
   • Satake–Takase와 관련된 $\tilde{b}_{Cz}$ (Fock 모델과 연결된 실해석적 코사이클).
     본 논문은 이러한 코사이클과 대응하는 중심 확장군 ($\widetilde{SL}_2(\mathbb{R})$, $\widetilde{GL}_2(\mathbb{R})$ 등) 사이의 관계를 명시적으로 구성하여, 이러한 덮개들의 서로 다른 실현들 사이의 동형사상을 확립한다.

2. 세 가지 모델에서의 Weil 표현: Weil 표현은 세 가지 서로 다른 모델에서 실현된다:

   • 슈뢰딩거 모델: $L^2(\mathbb{R})$에서 작용.
   • 격자 모델: 격자 몫 위에 정의된 함수에서 작용.
   • Fock 모델: 정칙 함수 공간에서 작용.
     본 논문은 특히 행렬식 $\pm 1$인 행렬들의 군인 확장된 군 $SL^\pm_2(\mathbb{R})$에 대해 이러한 모델 간의 명시적 상호연결 연산자를 구성한다.

3. 유도와 텐서 유도: 모듈러 형식을 재구성하기 위해 저자는 유도된 표현을 활용한다. 쎄타 급수는 합동 부분군의 특정 유도된 표현 하에서 변환되는 행렬 값 함수로 해석된다. 본 논문은 Curtis–Reiner 및 Serre의 방법에 따라 표준 유도 및 텐서 유도를 사용하여 $\Gamma_\theta$와 같은 더 작은 부분군의 문자로부터 $SL_2(\mathbb{Z})$ 및 $GL_2(\mathbb{Z})$의 표현을 생성한다.

4. $GL_2(\mathbb{R})$로의 확장: Barthel의 $p$-adic 체에 대한 연구에 이어, 저자는 $SL_2(\mathbb{R})$에서 $GL_2(\mathbb{R})$로 2-코사이클 및 Weil 표현을 확장한다. 여기에는 유사비례 인자 (행렬식) 를 처리하기 위해 Weil–Deligne 군을 사용하여 자동형 인자 $J_\delta(g, z)$를 정의하는 작업이 포함된다.

주요 기여 및 결과

• 명시적 승수계: 본 논문은 가중치 $1/2$ 및 $3/2$의 고전적, 마이너스, 페르미온적 쎄타 급수에 대한 명시적 승수계들을 계산한다. 이들은 $\Gamma_\theta \cap \Gamma_0(N^2)$ 및 유사비례군으로의 확장 등 다양한 합동 부분군에 대해 정의된다. 승수계는 Jacobi 기호, Dedekind 합, 그리고 선택된 코사이클에서 유도된 특정 단위근으로 표현된다.
• 유도를 통한 재구성: 모듈러 형식은 행렬 공간 ($M_{1\times 3}(\mathbb{C})$ 또는 $M_{1\times 2}(\mathbb{C})$) 의 값을 갖는 벡터 값 형식 $\Theta_{\chi}^{\kappa/2}$로 재구성된다. 변환 법칙은 다음과 같이 나타난다:
  $$\Theta_{\chi}^{\kappa/2}(gz) = J_{\kappa/2}(g, z) \Theta_{\chi}^{\kappa/2}(z) \gamma_\chi(g^{-1})$$
  여기서 $\gamma_\chi$는 유도된 표현이다. 본 논문은 $N$이 홀수 (또는 $N \equiv 2 \pmod 4$) 인 경우 이러한 유도된 표현들이 기약임을 증명하며, $N \equiv 0 \pmod 4$인 경우 가약임을 보인다.
• $GL_2(\mathbb{R})$로의 확장: 주요 결과는 변환 법칙을 유사비례군 $GL_2(\mathbb{R})$로 확장한다. 정리 C는 쎄타 급수 $\theta^{\pm, \delta}_\chi$ 및 관련 행렬 값 형식 $\Theta^{\pm, \delta}_\chi$가 Weil–Deligne 군을 통해 정의된 자동형 인자를 가지며 $GL_2(\mathbb{R})$ 하에서 변환되어 유도된 표현의 구조를 보존함을 확립한다.
• 상호연결 연산자: 본 논문은 음수 행렬식을 가진 원소를 포함한 전체 군의 작용 하에서 서로 다른 모델들이 어떻게 관련되는지 명확히 하는 확장된 군 $SL^\pm_2(\mathbb{R})$에 대한 슈뢰딩거, 격자, Fock 모델 간의 상호연결 연산자에 대한 상세한 구성을 제공한다.

의의 및 주장
본 논문은 Weil 표현과 덮개군의 관점을 통해 반정수 가중치 모듈러 형식을 이해하기 위한 통합적이고 명시적인 틀을 제공한다고 주장한다. (텐서) 유도를 사용하여 이러한 형식들을 재구성함으로써, 저자는 Shimura 및 Lion–Vergne과 같은 고전적 쎄타 급수 결과를 $SL_2$ 및 $GL_2$의 이산 부분군의 표현론과 직접 연결한다.

$GL_2(\mathbb{R})$로의 확장은 자동형 표현의 언어로 이러한 결과를 공식화하기 위한 필수 단계로 제시되며, Langlands 프로그램의 정신과 부합한다. 저자는 사용된 방법론, 특히 서로 다른 모델들의 비교와 명시적 코사이클의 사용은 Takase 및 기타 연구자들의 이전 작업을 참조하여 더 높은 랭크의 메타플렉틱 군에 대한 Siegel 모듈러 형식 연구에도 적용될 수 있다고 지적한다. 본 논문은 Langlands 대응 자체에 대한 미해결 문제를 해결한다고 주장하는 것이 아니라, 그러한 연구를 위해 필요한 명시적인 "구성 요소들" (모듈러 형식과 그 변환 법칙) 을 제공한다.