[논문 리뷰] Modular Hecke Algebras and their Hopf Symmetry

Alain Connes, Henri Moscovici|ArXiv.org|2003. 01. 09.

Spectral Theory in Mathematical Physics인용 수 8

한 줄 요약

이 논문은 모듈러 형식의 대수와 힉스 연산자의 작용을 통합하는 교차곱 대수로서 모듈러 힉스 대수를 제안하며, 히프 대수 $\mathcal{H}_1$ 가 지배하는 깊이 있는 대칭성을 드러낸다. 주요 기여는 슈바르츠 연산자 1-코호몰로지, 랭킨-코헨 브라켓 확장, 고빌론-베이 1-코호몰로지의 세 가지 히프 순환 코호몰로지 족을 특정하여, 아이 zen슈타인 급수와 비가환 기하학의 맥락에서 명시적인 기하학적 및 산술적 해석을 제공하는 것이다.

ABSTRACT

We introduce and begin to analyse a class of algebras, associated to congruence subgroups, that extend both the algebra of modular forms of all levels and the ring of classical Hecke operators. At the intuitive level, these are algebras of `polynomial coordinates' for the `transverse space' of lattices modulo the action of the Hecke correspondences. Their underlying symmetry is shown to be encoded by the same Hopf algebra that controls the transverse geometry of codimension 1 foliations. Its action is shown to span the `holomorphic tangent space' of the noncommutative space, and each of its three basic Hopf cyclic cocycles acquires a specific meaning. The Schwarzian 1-cocycle gives an inner derivation implemented by the level 1 Eisenstein series of weight 4. The Hopf cyclic 2-cocycle representing the transverse fundamental class provides a natural extension of the first Rankin-Cohen bracket to the modular Hecke algebras. Lastly, the Hopf cyclic version of the Godbillon-Vey cocycle gives rise to a 1-cocycle on PSL(2, Q) with values in Eisenstein series of weight 2, which when coupled with the `period' cocycle yields a representative of the Euler class.

연구 동기 및 목표

• 모듈러 형식의 대수적 구조와 힉스 연산자의 작용을 단일 비가환 대수적 프레임워크로 통합하는 것.
• 모듈러 형식의 비가환 공간에서 래티스의 힉스 대응관계에 대한 전치 기하학을 지배하는 기본 히프 대수 $\mathcal{H}_1$ 를 규명하는 것.
• $\mathcal{H}_1$ 의 세 가지 기본 히프 순환 코호몰로지 족을 모듈러 형식과 산술 기하학의 맥락에서 해석하는 것.
• 히프 순환 코hom로지를 통해 고전적 랭킨-코헨 브라켓과 오일러 클래스 구성법을 모듈러 힉스 대수의 맥락으로 확장하는 것.

제안 방법

• 모듈러 형식에 값을 갖는 유한 지지도를 갖는 함수들로 구성된 $\Gamma\backslash\mathrm{GL}^+(2,\mathbb{Q})$ 위의 교차곱 대수로서 모듈러 힉스 대수 $\mathcal{A}(\Gamma)$ 를 구성하며, 이는 공변 조건을 만족한다.
• $\mathcal{H}_1$ 의 작용을 생성자 $X$, $Y$, $\delta_n$ 를 통해 $\mathcal{A}(\Gamma)$ 에 실현하며, $Y$ 는 무게 등급 연산자로 작용하고, $X$ 는 디디크 에타 함수의 로그 도함수로 수정된 라만두잔 유형의 미분 연산자로 작용하며, $\delta_n$ 은 $\mathrm{GL}^+(2,\mathbb{Q})$ 에서의 일반화된 코호몰로지에 의해 정의된다.
• 히프 대응관계와 $S^1$ 상의 미분동형사상 사이의 기하적 유사성을 설정하며, 에이처러 적분 $Z$ 가 각도 변수의 역할을 하며, 자코비안 $J(\gamma)$ 가 도함수 $\phi'$ 의 역할을 한다.
• 지수 함수의 2차 미분을 사용하고 접속 곡률을 계산하여 고빌론-베이 1-코호몰로지의 역상 변환을 계산하며, 이를 $\delta_1$-작용과 프레임 번들의 적분을 통해 보트-서턴 코호몰로지와 연결한다.
• $\mathcal{A}(\Gamma)$ 에서의 $\delta_1$-작용이 $\mathrm{PSL}(2,\mathbb{Q})$ 에 값이 있는 무게 2 아이 zen슈타인 급수를 갖는 1-코호몰로지로 표현되며, 이는 주기 코호몰로지와 결합하여 오일러 클래스의 대표자를 이룬다.
• 전치 기본 클래스를 나타내는 히프 순환 2-코호몰로지가 첫 번째 랭킨-코헨 브라켓을 모듈러 힉스 대수의 맥락으로 자연스럽게 확장함을 보여준다.

실험 결과

연구 질문

• RQ1 모듈러 형식의 대수와 힉스 연산자의 작용을 어떻게 단일 비가환 대수적 구조로 통합할 수 있는가?
• RQ2 히프 대수 $\mathcal{H}_1$ 는 래티스의 힉스 대응관계에 대한 비가환 공간의 대칭을 어떻게 캡슐화하는가?
• RQ3 히프 대수 $\mathcal{H}_1$ 의 세 가지 기본 히프 순환 코호몰로지 족이 모듈러 형식의 맥락에서 어떻게 기하학적·산술적으로 나타나는가?
• RQ4 히프 순환 코hom로지를 통해 첫 번째 랭킨-코헨 브라켓을 모듈러 힉스 대수의 맥락으로 자연스럽게 확장할 수 있는가?
• RQ5 고빌론-베이 코호몰로지의 기하학적 해석은 모듈러 형식과 오일러 클래스의 관점에서 어떻게 이루어지는가?

주요 결과

• 생성자 $X$ 가 $\mathcal{A}(\Gamma)$ 에 작용하는 방식은 일반 도함수를 디디크 에타 함수의 로그 도함수로 수정하는 라만두잔 유형의 미분 연산자로 실현된다.
• 생성자 $Y$ 는 오일러 연산자로 작용하여 모듈러 형식을 그 무게에 따라 등급화함으로써, 모듈러 형식의 동차성의 본질을 캡슐화한다.
• 슈바르츠 도함수에 대응하는 히프 순환 1-코호몰로지는 무게 4의 수준 1 아이 zen슈타인 급수에 의해 실현되는 내부 도함수로 표현된다.
• 전치 기본 클래스를 나타내는 히프 순환 2-코호몰로지는 첫 번째 랭킨-코헨 브라켓을 모듈러 힉스 대수의 맥락으로 자연스럽게 확장하며, 고전적 구성법을 일반화한다.
• 무게 2 아이 zen슈타인 급수를 값으로 갖는 $\mathrm{PSL}(2,\mathbb{Q})$ 상의 고빌론-베이 유형의 1-코호몰로지가 주기 코호몰로지와 결합될 때, 군 코hom로지에서 오일러 클래스의 대표자를 이룬다.
• 지수 함수의 2차 미분을 통한 고빌론-베이 1-코호몰로지의 역상 변환은 분수선형 변환의 도함수의 로그 도함수를 포함하는 코homologous 대표자를 이룬다. 이는 서턴의 공식과 보트-서턴 코호몰로지와 연결된다.