[논문 리뷰] Non-commutative Two Dimensional Modular Symbol

Ivan Horozov|ArXiv.org|2006. 11. 30.

Advanced Mathematical Identities참고 문헌 4인용 수 9

한 줄 요약

이 논문은 막대체(2차원 다양체) 위에서 반복 적분을 통해 비가환 두 차원 모듈라 기호를 도입하며, 체인의 경로 반복의 일반화이다. $SL(3,\mathbb{Z})$ 및 실 이차 수체 $K$에 대한 비아벨 모듈라 기호를 구성하고, 힐베르트 모듈라 형식의 반복 적분에 대한 모티브적 해석을 제공하며, 복소 multiplication을 갖는 수체와 계수 수가 1인 허수 이차 수체에 대해 다중 완비 디리클레 제타 함수를 정의하고 그 안에 모티브적 구조를 부여한다.

ABSTRACT

We define iteration over a two dimensional manifold as analog of iteration over a path defined by Chen. We give several applications. Some of them include constructions of non-abelian modular symbol for $SL(3,\Z)$ and for $SL_{2/K}$, where $K$ is a real quadratic field. We construct the latter as generating series of iterated integrals over a two-dimensional manifold of Hilbert modular forms. We give a motivic interpretation of this non-abelian modular symbol. Other applications give motivic interpretations of certain iterated completed Dedekind zeta functions.

연구 동기 및 목표

• 경로에서 2차원 막대체로 체인의 반복 적분 프레임워크를 비아벨 모듈라 기호로 확장하기.
• $SL(3,\mathbb{Z})$ 및 실 이차 수체 $K$에 대한 비아벨 모듈라 기호를 구성하기.
• 2차원 막대체 위에서 힐베르트 모듈라 형식의 반복 적분에 대한 모티브적 해석 제공하기.
• 계수 수가 1인 수체에 대해 다중 완비 디리클레 제타 함수 정의 및 해석하기.
• 계수 수가 1인 전적으로 실수 또는 복소 곱셈 수체의 차수 4에 대해 이 제타 함수들이 혼합 타이트 모티브와 대응된다고 추측하기.

제안 방법

• 미분 2형식을 사용하여 $\mathbb{R}^2$ 내 직사각형 위에서 반복 적분을 정의하고, 적분이 모두 0이 아닐 경우 호프 대수 $R_A$를 형성한다.
• 연속적이고 조각별로 미분 가능한 사상 $\theta$에 의한 직사각형의 상으로서 막대체 $M$으로 일반화하며, 호모토피에 대해 경계 조건이 고정되어 있다.
• 막대체의 수평($\times_1$) 및 수직($\times_2$) 합성 연산을 도입하고, 호프 대수나 환에서 생성 함수 $J_M$로 확장한다.
• 막대체를 호모토피에 대해 분류하기 위해 기본 2군열 $\Pi_2(X)$를 사용하며, 이 위에 피브레이션 구조를 형성한다.
• 막대체 위에서 반복 적분의 생성 함수 $J_M$를 구성하고, $SL_3(\mathbb{Z})$에서 코호션 조건을 만족함을 보인다.
• 수체 $K$에 대해 적합한 막대체 $M$ 위에서 테타 함수 $\theta_K(z_1,z_2)$의 멜린 변환을 통해 다중 완비 디리클레 제타 함수를 정의하며, $\hat{\zeta}_K(s_1,\dots,s_d,\sigma)$ 는 $\frac{1}{d}(\theta_K-1)(-z_1z_2)^s$ 형식의 적분으로 표현된다.

실험 결과

연구 질문

• RQ1 2차원 막대체 위에서 반복 적분이 $SL(3,\mathbb{Z})$에 대한 비아벨 모듈라 기호를 제공할 수 있는가?
• RQ2 막대체 반복의 프레임워크는 실 이차 수체 위의 힐베르트 모듈라 형식으로 확장될 수 있는가?
• RQ3 반복 적분을 통해 정의된 $\theta_K(z_1,z_2)$의 다중 완비 디리클레 제타 함수는 모티브적 해석을 갖는가?
• RQ4 변수가 양의 정수 또는 짝수 정수일 경우 이 제타 함수의 모티브적 성격은 무엇인가?
• RQ5 계수 수가 1인 수체에 대해 이 제타 함수와 관련된 모티브는 혼합 타이트인가?

주요 결과

• 막대체 위에서 반복 적분의 생성 함수 $J_M$ 는 적분이 0이면 환, 0이 아니면 호프 대수의 구조를 가진다.
• 고정된 경계 조건 하에서 막대체 위의 반복 적분은 호모토피 불변성을 보이며, 기본 2군열 $\Pi_2(X)$ 위에 피브레이션을 형성한다.
• $SL(3,\mathbb{Z})$의 경우, 생성 함수는 $\times_1$ 및 $\times_2$ 합성 연산을 통해 코호션 조건을 만족한다.
• 다중 완비 디리클레 제타 함수 $\hat{\zeta}_K(s_1,\dots,s_d)$ 는 $s_i$ 가 양의 정수일 경우 모티브적 해석을 가지며, 특히 계수 수가 1인 $K$에 대해 성립한다.
• $K=\mathbb{Q}$ 및 계수 수가 1인 허수 이차 수체에 대해 제타 함수는 혼합 타이트 모티브와 대응된다.
• 논문은 전적으로 실수 또는 복소 곱셈 수체의 차수 4에 대해 계수 수가 1이면 관련 모티브가 혼합 타이트라고 추측한다.