[논문 리뷰] A simple construction of Grassmannian polylogarithms

A. B. Goncharov|arXiv (Cornell University)|2009. 08. 16.

Algebraic structures and combinatorial models참고 문헌 10인용 수 28

한 줄 요약

이 논문은 토대 반복 적분을 이용하여 복소수 프로젝티브 공간 $\mathbb{C}\mathbb{P}^{n-1}$ 상의 일반적인 $2n$개 점 구성의 모듈리 공간 위에서 다가치 해석 함수로서의 그라스만이안 $n$-로그 함수의 간단하고 명시적인 구성법을 제시한다. 핵심 기여는 그라스만이안 $n$-로그 함수를 실현하는 토대 반복 적분에 대한 닫힌 공식을 제공하며, 그의 심볼은 교대 합으로서 적분 경로의 합으로 명시적으로 계산되고, 그라스만 기하학과 리 코호몰로지의 관계를 통해 이중 그라스만이안 $n$-로그 함수 코chain의 심볼에 대한 추측이 제기된다.

ABSTRACT

We give a simple explicit construction of the Grassmannian n-logarithm, which is a multivalued analytic function on the quotient of the Grassmannian of generic n-dimensional subspaces in 2n-dimensional coordinate complex vector space by the action of the 2n-dimensional coordinate torus. We study Tate iterated integrals, which are homotopy invariant integrals of 1-forms dlog(rational functions). We introduce the Hopf algebra of integrable symbols related to an algebraic variety, which controls the Tate iterated integrals We give a simple explicit formula for the Tate iterated integrals related to the Grassmannian polylogarithms.

연구 동기 및 목표

• 그라스만이안 $n$-로그 함수를 그라스만이안 $G_n^n(\mathbb{C})$ 의 토르 작용에 의한 몫 위의 다가치 해석 함수로 간단하고 명시적으로 구성하는 것.
• 아오모토의 $n$-로그 함수를 빌딩 블록으로 사용하여 닫힌 $1$-형식 $d\log f_i$ 의 토대 반복 적분을 통해 그라스만이안 $n$-로그 함수를 정의하는 것.
• 단체 위의 적분 경로의 교대 합으로서 그라스만이안 $n$-로그 함수의 심볼을 명시적으로 계산하는 것.
• 그라스만이안 사상 $A_i$ 와 $B_j$ 를 포함한 일반형 수식을 통해 이중 그라스만이안 $n$-로그 함수 코chain의 심볼에 대한 추측을 제기하는 것.
• 반복 적분이 혼합 타이트 모티프의 변화와 관련되어 있으며, 이를 허프 대수 $\mathcal{H}_\bullet(X)$ 의 원소로 업그레이드하고, 상수 변화에 대해 간소화된 코프로덕트를 얻는 것.

제안 방법

• 아오모토의 $(n-1)$-로그 함수를 이용해 구성된 닫힌 $1$-형식 $\Omega$ 의 적분으로서 그라스만이안 $n$-로그 함수를 정의한다.
• 비교 정리를 사용하여 토대 반복 적분을 $\mathbb{C}\mathbb{P}^{n-1}$ 내 단체 위의 적분 경로 $\Delta$ 의 곱의 합으로 표현한다.
• 단체 위의 경로의 텐서 곱 $\Delta(l_1,\dots,l_n) \otimes \cdots \otimes \Delta(l_n,\dots,l_{2n-1})$ 에 교대 합 $\mathrm{Alt}_{2n}$ 을 적용하여 그라스만이안 $n$-로그 함수의 심볼을 정의한다.
• 그라스만이안 사상의 역상 $A_i^*$ 와 $B_j^*$ 를 포함한 추측 공식을 통해 이중 그라스만이안 $n$-로그 함수 코chain의 심볼을 유도한다.
• 리 코알제브라 $\mathbf{L}_\bullet(X)$ 와 그 코체인 복합체를 사용하여 적분 가능한 심볼과 그들의 코프로덕트를 기술한다.
• 적분 경로의 구조를 이용하여 토대 반복 적분의 코프로덕트가 상수 변화의 이상에 대해 단순하게 계산될 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 그라스만이안 $n$-로그 함수는 모듈리 공간 $PG_n(\mathbb{C})$ 상의 다가치 해석 함수로 어떻게 명시적으로 구성될 수 있는가?
• RQ2 그라스만이안 $n$-로그 함수를 실현하는 토대 반복 적분에 대한 정확한 공식은 무엇인가?
• RQ3 그라스만이안 $n$-로그 함수의 심볼은 무엇이며, 단체 위의 적분 경로와 어떻게 관련되어 있는가?
• RQ4 그라스만이안 코chain 조건을 만족하는 이중 그라스만이안 $n$-로그 함수의 심볼에 대한 일반형 수식이 존재하는가?
• RQ5 상수 변화에 대해 토대 반복 적분의 코프로덕트는 어떻게 행동하며, 이 설정에서 간단하게 계산될 수 있는가?

주요 결과

• 그라스만이안 $n$-로그 함수는 아오모토의 $(n-1)$-로그 함수로 명시적으로 정의된 닫힌 $1$-형식 $\Omega$ 의 토대 반복 적분으로 구성된다.
• 그라스만이안 $n$-로그 함수의 심볼은 $\mathrm{I}_n(l_1,\dots,l_{2n}) = \mathrm{Alt}_{2n}\bigl(\Delta(l_1,\dots,l_n) \otimes \cdots \otimes \Delta(l_n,\dots,l_{2n-1})\bigr)$ 로 주어지며, 두 개의 $(2n+1)$-항 관계를 만족한다.
• 반복 적분은 $G_n(\mathbb{C}) \times G_n(\mathbb{C})$ 의 일반점에서 프레임된 호지-타이트 스펙트럼의 모티브적 변화의 주기로 나타나며, 상수 변화에 대해 $G_n(\mathbb{C})$ 상의 변화로 내림내릴 수 있다.
• 상수 변화의 이상에 대해 토대 반복 적분의 코프로덕트는 적분 경로의 구조를 이용하여 단순하게 계산될 수 있다.
• 이중 그라스만이안 $n$-로그 함수 코chain의 추측 심볼은 그라스만이안 사상의 역상 $A_i^*$ 와 $B_j^*$ 를 포함한 코chain 조건을 만족하며, $p=q=n$ 일 때 그라스만이안 $n$-로그 함수 심볼과 일치한다.
• 모든 $n \leq 4$ 에 대해, [G] 와 [G3] 의 결과를 통해 이러한 코chain의 존재성이 확립되어 일반 $n$ 에 대한 추측을 지지한다.