[논문 리뷰] Unimodular L-infinity algebras

Johan Granåker|ArXiv.org|2008. 03. 12.

Advanced Topics in Algebra참고 문헌 5인용 수 8

한 줄 요약

이 논문은 휠형 작동자(operads)를 사용하여 단조형 $L_{u}$-대수의 호모토피 이론을 구축하며, 단조형 리 대수의 휠형 작동자가 코즐(Koszul)임을 증명하고, 코바르 구성(cobar construction)을 통해 명시적으로 해체한다. 주요 기여는 유한 차원 $L_{u}$-대수의 구조를 단조형으로 확장할 수 있는 조건을 정의하는 코homological 장벽—특성류의 영함—이며, 기하학적 해석으로는 호모로지 벡터장과 불변 측도로 해석된다.

ABSTRACT

We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a unimodular L-infinity algebra. Such a structure corresponds to a homological vector field on V together with an invariant measure. We present explicit formulae for homotopy transferred structures, define the deformation complex and give a cohomological obstruction to the extension of an arbitrary structure of finite dimensional L-infinity algebra to a structure of unimodular L-infinity algebra.

연구 동기 및 목표

• 표준 작동자에서는 포괄할 수 없으나 단조형 조건을 포함하는 단조형 리 대수에 대한 호모토피 이론을 개발하기 위해.
• 휠형 작동자 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}$가 코즐임을 증명하여, 코바르 구성으로 그 최소 해체 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$를 명시적으로 구성하기 위해.
• 이 해체의 표현으로서 단조형 $L_{\nu}$-대수를 정의하고 특성화하며, 이를 호모로지 벡터장과 불변 측도와 연결하기 위해.
• 임의의 유한 차원 $L_{\nu}$-대수를 단조형 $L_{\nu}$-대수로 확장할 수 있는 조건을 정의하는 코homological 장벽—특성류의 영함—을 제공하기 위해.
• 바탈린-빌코비츠 양자화에서 유래한 파인먼 적분(Feynman integrals)이 최소 해체의 표현임을 보여주어, 이를 호모토피 이론적 의미로 부여하기 위해.

제안 방법

• 표준 작동자에서는 허용되지 않는 비트리비얼 수축을 포함하는 단조형 조건을 다루기 위해 휠형 작동자를 사용하기 위해.
• 코바르 구성으로 인해 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}$의 코즐성(Koszulness)을 증명하고, 그 최소 해체인 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$를 얻기 위해.
• 해체와 미분 기하학적 리 대수 기법을 사용하여 단조형 $L_{\infty}$-구조의 호모토피 전이에 대한 명시적 공식을 도출하기 위해.
• 단조형 $L_{\infty}$-대수를 호모로지 벡터장 $Q$와 형식적 0 근방에서의 $Q$-불변 측도 $\rho_f$로 이루어진 쌍 $(Q, \rho_f)$로 기하학적으로 해석하기 위해.
• 단조형 $L_{\infty}$-대수의 변형 복합체를 미분 기하학적 리 대수로 정의하고, 그 메우러-카르탕(Maurer-Cartan) 원소들이 변형을 분류함을 보여주기 위해.
• $L_{\infty}$-대수의 특성류를 정의하고, 이 대수가 단조형으로 확장될 수 있음이 이 특성류가 영일 때에만 성립함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 표준 작동자 방법으로는 포괄할 수 없는 리 대수의 단조형 조건을 호모토피 이론에 일관적으로 통합할 수 있는가?
• RQ2 단조형 리 대수의 휠형 작동자가 코즐인가? 만약 그렇다면, 명시적인 최소 해체를 얻을 수 있는가?
• RQ3 기하학적 미분기하학과 불변 측도의 관점에서 단조형 $L_{\infty}$-대수의 기하학적 의미는 무엇인가?
• RQ4 유한 차원 $L_{\infty}$-대수를 단조형 $L_{\infty}$-대수로 확장할 수 없는 코homological 장벽은 무엇인가?
• RQ5 바탈린-빌코비츠 양자화에서 유래한 파인먼 적분은 단조형 리 작동자의 최소 해체와 어떻게 관련이 있는가?

주요 결과

• 휠형 작동자인 단조형 리 대수는 코즐이며, 그 최소 해체인 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$는 코바르 구성으로 명시적으로 구성된다.
• 단조형 $L_{\infty}$-대수는 호모로지 벡터장 $Q$와 형식적 0 근방에서의 $Q$-불변 측도 $\rho_f$로 이루어진 쌍 $(Q, \rho_f)$로 동치이다.
• 단조형 $L_{\infty}$-구조의 호모토피 전이는 반복된 브라켓과 순열의 부호를 포함한 순환 추적(cyclic traces)을 포함하는 명시적 공식으로 주어진다.
• 단조형 $L_{\infty}$-대수의 변형 복합체는 메우러-카르탕 원소들이 구조의 변형을 분류하는 미분 기하학적 리 대수이다.
• $L_{\infty}$-대수가 단조형 확장을 갖는다 하는 것은 그 특성류가 영일 때에만 가능하며, 이는 코homological 장벽을 제공한다.
• 확장된 BF-이론의 믈네프(Mnëv) 바탈린-빌코비츠 양자화에서 유래한 파인먼 적분은 최소 해체 $\mathcal{U}\!\mathcal{L}\!\mathit{ie}_{\infty}$의 표현을 이룬다. 이는 파인먼 적분에 호모토피 이론적 의미를 부여한다.