[논문 리뷰] L_infinity algebras as 1-jets of simplicial manifolds (and a bit beyond)

Pavol Ševera|ArXiv.org|2006. 12. 13.

Advanced Topics in Algebra인용 수 10

한 줄 요약

이 논문은 $L_∞$-대수와 단순 다중구조의 1-jet 사이의 대응을 함의적 구성에 의해 확립한다: 단순 다중구조를 $\mathbb{R}^{0|1}$-bundle로의 사상으로 제한하면, 그에 대응하는 함의적 함자로 표현되는 미분형 초다중구조가 되며, 이는 $L_\infty$-대수의 구조를 포함한다. 주요 결과는 칸 단순 다중구조가 그들의 1-jet을 통해 $L_\infty$-대수를 유도한다는 것이다. 이는 고차 호모토피 구조로 일반화된 고전적 리군–리대수 대응이다.

ABSTRACT

The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization, together with its higher-order extensions.

연구 동기 및 목표

• 단순 다중구조 방법을 통해 고전적 리군–리대수 대응을 고차 호모토피 및 고차 구조로 일반화하기.
• 표현 가능성 조건 하에서 단순 다중구조의 1-jet이 $L_\infty$-대수로 유도됨을 보이기.
• 다양체 위의 미분형식이 $\mathbb{R}^{0|1}$에서의 사상 공간 위의 함수로 볼 수 있다는 개념을 정식화하여 기하학과 호모로지 대수학을 연결하기.
• $\mathbb{R}^{0|n}$-bundle를 사용하여 1-jet을 초월한 일반화된 구조를 정의하고, 고차 jett를 정의하기.
• $L_\infty$-대수를 리대수의 유도적 또는 호모토피적 동치로 이해하기 위한 개념적이고 함의적 프레임워크 제공하기.

제안 방법

• 단순 다중구조 $K_\bullet$에 관련된 반대함수 $F$를, 전방사형 매립사상에서 집합으로 가는 함자로 간주하고, $\mathbb{R}^{0|1} \times N \to N$ 형태의 매립사상의 전체 부분범주로 제한하기.
• $\mathrm{res}_1 F$를 제한된 함자로 정의하며, 각 $N$에 대해 $M \to N$의 뉘앙스에서 $K_\bullet$로의 단순 사상의 집합을 할당한다.
• 만약 $K_\bullet$가 칸이면, $\mathrm{res}_1 F$는 초다중구조 $X$에 의해 표현 가능하며, 이는 자연스럽게 미분형 초다중구조를 지닌다.
• 제한과 유도 사이의 수반관계를 사용하여 전체 범주로의 구조를 복원하고, $X$에 값이 있는 평탄한 접속을 회복한다.
• $\mathbb{R}^{0|n}$-bundle를 사용하여 고차 jett로의 일반화를 수행하며, 섬유곱과 매립사상에 기반한 재귀적 하위다양체 구성 방법을 사용한다.
• 초다중구조의 호모토피 상승 성질의 버전(Lemma A.1)을 적용하여, 제한된 사상이 전방사형 매립사상임을 보장하고 표현 가능성의 유지 보장.

실험 결과

연구 질문

• RQ1 어떻게 단순 다중구조의 jett 구성에 의해 $L_\infty$-대수를 체계적으로 도출할 수 있는가?
• RQ2 단순 다중구조가 $\mathbb{R}^{0|1}$-bundle로의 제한을 통해 미분형 초다중구조로 표현 가능한 함의적 메커니즘은 무엇인가?
• RQ3 단순 다중구조의 1-jet이 표현 가능 함자로 유도되기 위한 조건은 무엇이며, 이로 인해 유도되는 구조는 무엇인가?
• RQ4 이러한 구성은 고차원 초다중구조 $\mathbb{R}^{0|n}$를 사용하여 1-jet을 초월해 일반화될 수 있는가?
• RQ5 $L_\infty$-대수의 모어러–카르탕 방정식은 $\mathrm{Diff}(\mathbb{R}^{0|1})$의 사상 공간 위에서의 작용으로 어떻게 유도되는가?

주요 결과

• 칸 단순 다중구조 $K_\bullet$의 1-jet은 $L_\infty$-대수에 대응하는 미분형 초다중구조 $X$에 의해 표현 가능하며, 이는 음이 아닌 등급을 가진 $L_\infty$-대수이다.
• 만약 $K_\bullet$가 리군 $G$의 뉘앙스이면, $\mathrm{res}_1 F$는 $\Pi \mathfrak{g}$에 의해 표현 가능하며, 이는 1-jet으로서 리대수 $\mathfrak{g}$를 복원한다.
• $X$의 미분형 초다중구조는 $\mathbb{R}^{0|1}$-bundle 간의 사상에 대한 $\mathrm{res}_1 F$의 함의적 성질에서 기인하며, 이는 $L_\infty$-관계를 포함한다.
• $K_0 = \{\mathrm{pt}\}$인 경우, 유도된 $L_\infty$-대수는 양의 등급을 가지며, 평탄한 섬유별 접속은 $L_\infty$-모어러–카르탕 방정식의 해와 대응한다.
• 고차 jett는 $\mathbb{R}^{0|n}$-bundle를 사용하여 재귀적으로 구성되며, $H^{(k)} \subset \mathrm{Hom}((\mathbb{R}^{0|n})^k, K_k)$는 전방사형 매립사상의 타워를 이룬다.
• 이 구성은 호모토피 상승 성질의 초다중구조적 해석(Lemma A.1)에 의존하며, 이는 제한된 사상이 전방사형 매립사상임을 보장하고 표현 가능성의 유지 보장.