[논문 리뷰] Eisenstein series with non-unitary twists

Anton Deitmar, Frank Monheim|arXiv (Cornell University)|2016. 12. 21.

Advanced Algebra and Geometry참고 문헌 2인용 수 3

한 줄 요약

이 논문은 PSL(2,R)의 프uchsian 군에서 비단위(unitary)이지만 컵스-유니터리(cusp-unitary) 표현에 의해 휘어진 아이젠슈타인 급수의 수렴성과 유리형 해석적 계속성을 확립한다. 불변 적분 연산자와 컵스 형식 위에서의 스펙트럼 이론을 활용하여, 이러한 아이젠슈타인 급수가 복소평면 전체에 대해 유리형 해석적 계속성을 가지며 함수방정식을 만족함을 증명한다. 이는 비콤팩트 몫에 대해서도 추적 공식 기법을 확장한다.

ABSTRACT

It is shown that for a non-unitary twist of a Fuchsian group, which is unitary at the cusps, Eisenstein series converge in some half-plane. It is shown that invariant integral operators provide a spectral decomposition of the space of cusp forms and that Eisenstein series admit a meromorphic continuation.

연구 동기 및 목표

• 비콤팩트 몫 Γ\G에 대해 추적 공식 기법을 확장하기 위해 비단위 변형을 가한 아이젠슈타인 급수를 연구함으로써.
• 표현이 포화원소(parabolic elements)에서 단위이면(컵스에서 단위이면) 아이젠슈타인 급수의 수렴성을 확립함으로써.
• 불변 적분 연산자가 컵스 형식의 공간에 대한 스펙트럼 분해를 제공함을 보임으로써.
• 아이젠슈타인 급수의 유리형 해석적 계속성을 증명하고 그 기능 방정식을 유도함으로써.

제안 방법

• 프류샨 군에서 단어 표현에 대한 기하학적 추정을 사용하여 변형된 행렬 노름의 성장률을 유계화함으로써.
• 왜곡된 작용을 가진 자동형 형식의 공간에 표준 힐버트 공간 구조를 정의함으로써.
• 스펙트럼 이론을 통해 불변 적분 연산자를 사용하여 컵스 형식의 공간을 분해함으로써.
• 적분 연산자의 프레드홀름 이론과 미분형 연산자 이론에서 유도된 스무딩 연산자 기법을 사용하여 리졸베이트를 분석함으로써.
• 점별 핵심 추정 대신 L2(Γ\H, χ)에서 벡터 값을 가진 핵심에 대해 연산자 노름 유계를 사용함으로써.
• 아이젠슈타인 급수의 기능 방정식을 분석하기 위해 F(s,z) = E(z,s,χ) − Φ(s)E(z,1−s,χ)의 차이를 고려하고, 스펙트럼 모순을 통해 이것이 반드시 0이 되어야 함을 보임으로써.

실험 결과

연구 질문

• RQ1 비콤팩트 프류샨 몫에서 비단위 변형을 가진 아이젠슈타인 급수가 어떤 조건에서 수렴하는가?
• RQ2 비단위 변형 하에서 불변 적분 연산자를 통한 컵스 형식의 공간의 스펙트럼 분해가 가능한가?
• RQ3 변형이 컵스에서 단위일 경우, 아이젠슈타인 급수가 전체 복소평면으로 유리형 해석적 계속성을 가지는가?
• RQ4 변형된 아이젠슈타인 급수의 기능 방정식은 어떤 구조를 가지며, 그 구조는 상수항 푸리에 전개와 어떻게 관련되는가?
• RQ5 비단위 표현의 맥락에서 벡터 번들의 값이 핵심인 적분 연산자의 스펙트럼 이론은 어떻게 확장되는가?

주요 결과

• 비단위이지만 컵스-유니터리인 변형을 가진 아이젠슈타인 급수는 표현이 포화원소에서 단위일 경우 어떤 반평면에서 수렴한다.
• 컵스 형식의 공간은 모든 불변 적분 연산자에 대해 안정적이며, 이는 이러한 연산자를 통한 스펙트럼 분해를 의미한다.
• 아이젠슈타인 급수는 전체 복소평면으로 유리형 해석적 계속성을 가지며, 고립된 점들 외에는 극을 가지지 않는다.
• 벡터 값을 가진 아이젠슈타인 급수는 E(z,s,χ) = Φ(s)E(z,1−s,χ)의 기능 방정식을 만족하며, 여기서 Φ(s)는 유리형 행렬값 함수이다.
• Φ(s)의 행렬식은 0이 아니므로 기능 방정식은 잘 정의되고 비퇴화되어 있다.
• 리졸베이트 차이에서 핵심의 특이성이 소멸하므로, 해석적 계속성의 증명에서 컴팩트 연산자 이론을 적용할 수 있다.