[논문 리뷰] P. Etingof's conjecture about Drinfeld associators

Carlo A. Rossi, Thomas Willwacher|arXiv (Cornell University)|2014. 04. 08.

Advanced Topics in Algebra참고 문헌 6인용 수 17

한 줄 요약

이 논문은 컴팩티피케이션된 구성공간과 전파함수를 통해 유도된 적분 공식을 사용하여, KZ, AT, 반대-KZ 드리플린트 연관자 사이를 연결하는 연속적인 가중가중족을 구성한다. 이는 P. 에팅고프의 추측을 증명하며, 아일렉세예프–토로시안 연관자의 로그가 그로텐디크–티히뮐러 리대수의 홀수차수 원소들이 생성하는 리대수에 속한다는 것을 보이며, 관련된 안정형 형식성 준동형과 그래프 코homology 클래스에 대한 명시적인 적분 표현을 제공한다.

ABSTRACT

We construct a family of Drinfeld associators interpolating between the Knizhnik-Zamolodchikov associator, the Alekseev-Torossian associator and the anti-Knizhnik-Zamolodchikov associator. We give explicit integral formulæ for the family of elements of the Grothendieck-Teichmüller Lie algebra tangent to the family of associators. As an application, we settle a conjecture of Pavel Etingof about the Alekseev-Torossian associator. Furthermore, we give explicit integral formulæ for the family of stable formality morphisms corresponding (in a precise way) to the above family of associators, and for the family of graph cohomology classes corresponding to the above family of elements of the Grothendieck-Teichmüller Lie algebra. It follows in particular that the ``logarithmic'' Kontsevich formality morphism corresponds to the Knizhnik-Zamolodchikov associator.

연구 동기 및 목표

• 아일렉세예프–토로시안 드리플린트 연관자의 대수적 구조에 관한 P. 에팅고프의 추측을 해결하기 위해.
• KZ, AT, 반대-KZ 연관자 사이를 연결하는 연속적인 1파rameter 가중가중족을 구성하기 위해.
• 그로텐디크–티히뮐러 리대수와 관련된 원소들 및 관련된 안정형 형식성 준동형에 대한 명시적인 적분 공식을 제공하기 위해.
• 로그형 콘체비치 형식성 준동형과 KZ 연관자 사이의 정확한 연결 고리를 확립하기 위해.
• 가중가중족에서 유도된 그래프 코homology 클래스에 대한 적분 표현을 도출하기 위해.

제안 방법

• 실수 매개변수 t ∈ [0,1]를 사용하여 컴팩티피케이션된 구성공간 위에 특이 전파함수의 가중가중족을 구성한다.
• 컴팩티피케이션된 구성공간에서 정규화된 스토크스 정리(Stokes' theorem)를 사용하여 가중형식을 정의하고 코homological 클래스를 유도한다.
• 구성공간 위에서의 통합을 통해 안정형 형식성 준동형 U^t에 대한 마우레르–카르탕 방정식을 유도한다.
• 형식성 준동형 U^t의 도함수를 계산하여 콘체비치의 그래프 복합체 내의 가중가중족 그래프 코사이클을 도출한다.
• 그래프 복합체에서 리대수 sder_2로의 사상 수립을 통해 grt_1 내의 원소 τ^t를 도출한다.
• 게이지 변환과 평탄한 접속 기법을 적용하여 AT 접속과 가중가중족 연관자 사이의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 아일렉세예프–토로시안 연관자의 로그는 grt_1의 홀수차수 원소들이 생성하는 리대수에 속하는가?
• RQ2 KZ, AT, 반대-KZ 연관자 사이를 연결하는 연속적인 드리플린트 연관자 가중가중족을 구성할 수 있는가?
• RQ3 로그형 콘체비치 형식성 준동형은 KZ 연관자와 관련이 있는가?
• RQ4 가중가중족과 관련된 가중형식은 그래프 복합체 내에서 잘 정의된 코homology 클래스를 유도하는가?
• RQ5 적분 공식을 통해 구성된 안정형 형식성 준동형 가중가중족은 정규화 가능하고 코homologically 일관된가?

주요 결과

• 논문은 에팅고프의 추측을 증명한다: 아일렉세예프–토로시안 연관자의 로그는 σ₃, σ₅, ...가 생성하는 리대수에 속한다. 이는 추측의 약한 형태를 확인한다.
• 에팅고프의 추측의 강한 형태도 확인된다: KZ에서 반대-KZ로의 사상 g ∈ GRT₁는 a²와 같다. 여기서 a는 KZ에서 AT로의 사상이다.
• KZ 연관자는 정확히 로그형 콘체비치 형식성 준동형과 대응된다.
• 가중가중족 연관자와 관련된 안정형 형식성 준동형에 대한 명시적인 적분 공식이 제공된다.
• 형식성 준동형의 도함수에서 유도된 그래프 코사이클의 가중가중족은 잘 정의되어 있으며 코homologically 비자명하다.
• 가중가중족과 관련된 가중형식은 정규화 가능하며, 그 적분은 매개변수 t에 대해 일관되게 유계인 코homology 클래스를 유도한다.