[논문 리뷰] Explicit GL(2) trace formulas and uniform, mixed Weyl laws

Marc Palm|arXiv (Cornell University)|2012. 12. 18.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 학위논문은 글로벌 필드 위에서 GL(2)-자기표현에 대한 명시적이고 일반적인 추적 공식을 제시하며, 부시넬-쿠츠코 이론을 통해 아르투어 추적 공식을 정교화한다. 국지적 제곱-integrable 표현에 대해 명시적인 가짜 행렬 계수를 구성하고, 모든 대수적 수체에 대해 처음으로 균일하고 혼합된 웨일 법칙을 확립하며, 특정 실수 자리에서 주어진 이산 급수를 갖는 극형식을 오차 항이 임의의 합동부분군에 의존하지 않는 방식으로 세는 것을 가능하게 한다.

ABSTRACT

This thesis provides an explicit, general trace formula for the Hecke and Casimir eigenvalues of GL(2)-automorphic representations over a global field. In special cases, we obtain Selberg's original trace formula. Computations for the determinant of the scattering matrices, the residues of the Eisenstein series, etc. are provided. The first instance of a mixed, uniform Weyl law for every algebraic number field is given as standard application. "Mixed" means that automorphic forms with preassigned discrete series representation at a set of real places are counted. "Uniform" indicates that the estimates implicitly depend on the number field, but not on the congruence subgroup. The method of proof relies on a suitable partition of the cuspidal, automorphic spectrum, and the explication of the non-invariant Arthur trace formula via Bushnell and Kutzko's theory of types. A pseudo matrix coefficient for each local, square-integrable representation, i.e., the discrete series, the supercuspidal, or the Steinberg representation, is constructed explicitly.

연구 동기 및 목표

• 글로벌 필드 위에서 GL(2)-자기표현에 대한 명시적이고 일반적인 추적 공식을 개발하여 세르베그의 원래 공식을 확장한다.
• 산산각 행렬 행렬식과 아이zenstein 급수 잔여물의 명시적 계산을 제공한다.
• 모든 대수적 수체에 대해 처음으로 균일하고 혼합된 웨일 법칙을 확립하며, 특정 실수 자리에서 주어진 이산 급수를 갖는 극형식을 세는 것을 가능하게 한다.
• 이산 급수, 수퍼쿠스피달, 슈타인베르크를 포함한 국지적 제곱-integrable 표현에 대해 명시적인 가짜 행렬 계수를 구성한다.
• 형식 이론과 국소 체 위에서 GL(2)의 조화해석학을 사용하여 정교화된 아르투어 추적 공식을 통해 스펙트럼 데이터와 기하 데이터를 통합한다.

제안 방법

• 비불변 아르투어 추적 공식을 적용하고 부시넬과 쿠츠코의 형식 이론을 통해 스펙트럼 측면을 정교화한다.
• 형식 이론과 명시적 조화해석학을 사용하여 국지적 제곱-integrable 표현에 대한 명시적 가짜 행렬 계수를 구성한다.
• GL(2, R), GL(2, C), 그리고 비아르키메데스 성질을 가진 Fv에 대해 GL(2, Fv)에서 명시적 조화해석학을 수행하고, 특성치와 분포를 계산한다.
• 아벨 변환과 역변환을 사용하여 궤도 적분을 스펙트럼 데이터와 연결하며, 특히 쌍곡형, 타원형, 평행형 동치류에 대해 적용한다.
• 스펙트럼 정교화를 통해 산산각 행렬의 추적과 아이젠슈타인 급수 잔여물에 대한 명시적 공식을 유도한다.
• 추적 공식을 적용하여 자동표현에 대한 점근적 수세기 공식을 도출하고, 혼합 웨일 법칙으로 이어진다.

실험 결과

연구 질문

• RQ1 어떻게 아르투어 추적 공식을 글로벌 필드 위에서 GL(2)에 대해 명시적으로 만들 수 있으며, 스펙트럼 및 기하 분포를 포함할 수 있는가?
• RQ2 GL(2) 자기표현의 맥락에서 산산각 행렬 행렬식과 아이젠슈타인 급수 잔여물에 대한 명시적 공식은 무엇인가?
• RQ3 특정 실수 자리에서 주어진 이산 급수를 갖는 극형식을 세는 데 있어, 모든 대수적 수체에 대해 균일하고 혼합된 웨일 법칙을 확립할 수 있는가?
• RQ4 형식 이론을 사용하여 국지적 제곱-integrable 표현(이산 급수, 수퍼쿠스피달, 슈타인베르크)에 대해 명시적인 가짜 행렬 계수를 어떻게 구성할 수 있는가?
• RQ5 어떤 정밀한 스펙트럼 정교화가 임의의 합동부분군에 의존하지 않는 균일한 수세기 추정을 가능하게 하는가?

주요 결과

• 논문은 글로벌 필드 위에서 GL(2)-자기표현에 대해 처음으로 명시적이고 일반적인 추적 공식을 제공하며, 특수한 경우에 세르베그의 추적 공식을 복원한다.
• 깊이 0 수퍼쿠스피달 표현의 경우, 포물선 분포는 ζ′_GL2(Fv)(1, φπ) = log(q)(q − 1)로 계산되며, 불변 벡터에 대한 텔레스코프 합에서 유도된다.
• 깊이 0 수퍼쿠스피달 표현의 타원형 분포는, γ가 분지된 타원형이면 Jγ(φπ) = 0이고, 비분지된 경우 Jγ(φπ) = −θ(λ1) − θ(λ2)이다. 여기서 λ1, λ2는 특성다항식의 근이다.
• 스펙트럼 정교화가 균일하고 혼합된 웨일 법칙으로 이어지며, 고정된 실수 자리에서 주어진 이산 급수를 갖는 극형식을 세는 점근적 추정은 임의의 합동부분군에 의존하지 않는다.
• 이 방법은 오차 항이 수체의 성질에만 의존하고 수준에 따라 달라지지 않는 자동표현의 명시적 차원 공식과 점근적 수세기 결과를 도출한다.
• 형식 이론과 국소 체 위에서 GL(2)의 명시적 조화해석학을 통해 가짜 행렬 계수를 구성함으로써, 전체 스펙트럼 분해와 추적 공식 계산이 가능해진다.