The motivic Lie algebra embeds into the cohomology of the general linear group

기술 요약: 모티빅 리 대수(Motivic Lie Algebra)의 일반 선형 군 코호몰로지 내 임베딩

문제 정의
본 논문은 정수 집합 $\mathbb{Z}$ 상의 혼합 테이트 모티브(mixed Tate motives) 범주와 연관된 모티빅 리 대수 $\mathfrak{g}_m$과 일반 선형 군 $GL_g(\mathbb{Z})$의 코호몰로지라는 두 멀리 떨어진 대상 사이의 관계를 규명하는 오랜 수학적 미스터리를 다룬다. 대수 $\mathfrak{g}_m$은 정수 $\mathbb{Z}$의 대수적 K-이론 및 $\mathbb{P}^1 \setminus \{0, 1, \infty\}$의 모티빅 근본 군(fundamental groupoid)에서 기원하는 홀수 차수 $2k+1 \geq 3$의 원소 $\sigma_{2k+1}$들로 생성되는 자유 등급 리 대수(free graded Lie algebra)이다. 반대로, $GL_g(\mathbb{Z})$의 안정적 코호몰로지는 보렐 클래스(Borel classes)들에 의해 생성된다. 두 구조 모두 홀수 제타 값(odd zeta values)과 관련이 있는 것으로 알려져 있으나, $\mathfrak{g}_m$을 $GL_g(\mathbb{Z})$의 불안정(unstable) 컴팩트 지지 코호몰로지(compactly-supported cohomology)로 직접적이고 정형적으로 임베딩하는 기하학적 방법은 확립되지 않았었다. 이전의 부분적인 결과들은 그로텐디크-테이트뮐러 리 대수($\mathfrak{grt}_1$)에 의존하거나 저차수에서의 컴퓨터 계산에 의존했다.

방법론
저자들은 열대 기하학(tropical geometry), 그래프 복합체(graph complexes), 그리고 단일 값 주기(single-valued periods) 이론을 포함하는 다단계의 기하학적 및 대수적 경로를 통해 정형적인 임베딩을 구축한다:

1. 컴팩트 지지 보렐 클래스: 저자들은 양의 정질 대칭 행렬 $P_g$ 위의 보렐 클래스 $\omega_{4k+1} = \text{tr}((X^{-1}dX)^{4k+1})$로부터 시작한다. 이들은 보렐-세르 컴팩트화(Borel–Serre compactification) 위에서 정의된 컴팩트 지지 유사체 $[\omega_{4k+1}^c]$를 활용하며, 이는 차수를 하나 이동시킨다(degree $H^{4k+2}_c$로 매핑).
2. 열대 토렐리 맵(Tropical Torelli Map): 이 클래스들은 열대 토렐리 맵 $\lambda: M_g^{\text{trop}} \to A_g^{\text{trop}}$(열대 곡선의 모듈라이 공간에서 열대 아벨 다양체로의 맵)을 통해 풀백(pullback)된다. 이는 미분 형식들을 열대 곡선 모듈라이 공간의 링크 $LM_g^{\text{trop}}$로 매핑한다.
3. 그래프 적분 및 코사이클: 풀백된 형식들은 안정적인 가중치 그래프 $G$에 의해 인덱싱된 셀 $\sigma_G$ 위에서 적분된다. 이는 "정형 그래프 적분" $I_G^{\text{can}}$을 산출한다. 이 적분들은 그래프 복합체 $GC_2$ 내의 닫힌 코사이클 $C_{4k+1}^{\text{can}}$을 정의한다.
4. Rossi–Willwacher 적분과의 식별: 결정적인 단계는 최근의 3저자의 연구[Por26]를 활용하여 정형 적분 $I_G^{\text{can}}$이 $\mathbb{C}$ 상의 점들의 구성 공간을 통해 정의된 Rossi–Willwacher 적분 $I_G^{\text{RW}}$와 일치함을 증명하는 것이다. 이 식별은 파라메트릭 표현과 위치 공간 표현을 연결하기 위해 양자장론의 슈윙거 기법(Schwinger trick)을 사용한다.
5. 모티빅 해석: 그래프 코사이클들은 모피즘 $\phi$를 통해 이하라 리 대수 $(\widehat{L}(e_0, e_1), \{,\})$ 내의 리 단어(Lie words)로 매핑된다. 이 단어들을 혼합 테이트 모티브의 단일 값 주기와 연관시키고 단일 값 드린펠드 결합자(single-valued Drinfeld associator)를 활용함으로써, 저자들은 이 리 단어들이 모티빅 리 대수 $\mathfrak{g}_m$ 내에 존재함을 입증한다.

주요 기여 및 결과

• 정리 1 (GL_g(Z)로의 임베딩): 본 논문은 $\omega_{4k+1}^c$에 의해 생성되는 자유 리 대수를 국소 대칭 공간 $P_g/GL_g(\mathbb{Z})$의 컴팩트 지지 코호몰로지 직합으로의 정형적인 임베딩을 확립한다:
  $$L(\omega_5^c, \omega_9^c, \dots) \hookrightarrow \bigoplus_{g>0} H^{2g}_c(P_g/GL_g(\mathbb{Z}); \mathbb{R})$$
  생성자들은 보렐 클래스의 컴팩트 지지 유사체로 차수가 하나 이동된 클래스들로 매핑된다.
• 정리 2 (A_g로의 임베딩): 주 폴라라이즈드 아벨 다양체의 모듈라이 공간 $\mathcal{A}_g$의 웨이트 0 컴팩트 지지 코호몰로지로의 평행한 정형 임베딩이 구축된다:
  $$L(\omega_5^c, \omega_9^c, \dots) \hookrightarrow \bigoplus_{g>0} W_0 H^{2g}_c(\mathcal{A}_g; \mathbb{R})$$
  그 이미지는 이 코호몰로지 군들의 홉프 대수 구조에 대한 원시 원소(primitive elements)의 부분 공간에 놓인다.
• 정리 3 (그래프 코사이클 및 g_m): 저자들은 정형 그래프 코사이클 $C_{4k+1}^{\text{can}}$이 $H^0(GC_2)$의 차수 0 코호몰로지 내에서 $\mathfrak{g}_m \otimes \mathbb{R}$과 동형인 자유 리 부분 대수를 생성함을 증명한다. 구체적으로, 맵 $\phi$는 그래프 코사이클들을 이하라 리 대수의 모티빅 리 부분 대수 내의 원소들로 보낸다.
  $$L(\omega_c^{4k+1}, \dots) \otimes \mathbb{R} \cong \mathfrak{g}_m \otimes \mathbb{R}$$
• 명시적 계산: 본 논문은 14개의 에지까지의 모든 그래프에 대한 정형 그래프 코사이클의 명시적 형태를 제공하며, 여기에는 $C_{13}^{\text{can}}$에 대한 새로운 계산이 포함된다.

의의 및 주장
본 논문은 자연스러운 기하학적 구성을 통해 $\mathbb{P}^1 \setminus \{0, 1, \infty\}$의 모티빅 근본 군과 $GL_g(\mathbb{Z})$의 코호물로지를 연결하는 "오래된 미스터리"를 해결했다고 주장한다.

• $\mathfrak{grt}_1$으로부터의 독립성: 기존의 접근 방식(예: [Bro+24])과 달리, 본 연구는 그로텐디크-테이트뮐러 리 대수($\mathfrak{grt}_1$)에 관한 미해결된 추측들에 의한 제약을 우회한다. $\mathfrak{grt}_1 \cong H^0(GC_2)$라는 식별이나 저차수 컴퓨터 계산에 의존하는 대신, 저자들은 단일 값 주기 이론과 Rossi–Willwacher 결과를 통해 코사이클의 자유성과 그 모티빅 성질을 직접 도출한다.
• 직접적인 기하학적 실현: 이 결과는 모티빅 리 대수를 산술 군(arithmetic groups)의 불안정 컴팩트 지지 코호몰로지 내에 직접 드러내며, 이는 예상치 못한 다른 산술적 환경(예: 심플렉틱 군)에서도 나타날 수 있음을 시사한다.
• 홉프 대수 구조: 저자들은 대상 공간들이 홉프 대수 구조를 가지고 있음을 강조하며, 이를 통해 밀노-무어 정리(Milnor–Moore theorem)를 사용하여 모티빅 생성자들로부터 대규모의 추가 코호몰로지 클래스들을 생성할 수 있음을 밝힌다.
• 열린 질문에 대한 답변: 정리 2는 임베딩을 확립함으로써 [Bro+24]의 질문 1.17의 절반에 답한다. 저자들은 이 맵이 원시 원소들 위로 전사(surjective)되는지는 여전히 열린 문제로 남아 있다고 언급한다(단, $g < 8$인 경우에는 성립한다).

본 논문은 열대 모듈라이 공간 상의 정형 적분과 곡선 모듈라이 공간 상의 단일 값 적분 사이의 대응 관계가 보렐 형식(Borel forms)과 모티빅 근본 군을 연결하는 "잃어버린 고리(missing link)"를 제공한다고 결론짓는다.