[논문 리뷰] A formula for topology/deformations and its significance

R. J. Lawrence, Dennis Sullivan|arXiv (Cornell University)|2006. 10. 30.

Advanced Topics in Algebra참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $a$, $b$, $e$에 의해 생성되는 완비 자유 가중 리 대수 위에서의 미분에 대한 닫힌 형태의 공식을 제시한다. 여기서 $e$는 단위 시간 내에 $a$를 $b$로 옮기는 흐름을 유도한다. 이 공식은 베르누이 수와 고정 작용을 포함하며, 미분의 제곱이 0이 되게 하고, 구간의 체인 위에서 무한 차수 코커뮤파티브 코알제브라의 구조를 유일하게 실현한다. 이는 유리수 호모토피 이론과 변형 이론을 연결한다.

ABSTRACT

The formula is $\partial{e}=({ m ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({ m ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is that (I) this formula for $\partial$ on generators extends to a derivation of square zero on $L[a,b,e]$, (II) the formula for $\partial{e}$ is unique satisfying the first property, once given the formulae for $\partial{a}$ and $\partial{b}$, along with the condition that the "flow" generated by $e$ moves $a$ to $b$ in unit time. The immediate significance of this formula is that it computes the infinity cocommutative coalgebra structure on the chains of the closed interval. It may be derived and proved using the geometrical idea of flat connections and one parameter groups or flows of gauge transformations. The deeper significance of such general DGLAs which want to combine deformation theory and rational homotopy theory is proposed as a research problem.

연구 동기 및 목표

• 단위 시간 내에 $a$에서 $b$로의 흐름을 모델링하는, $a$, $b$, $e$에 의해 생성되는 완비 자유 가중 리 대수 위에서의 미분을 구성하는 것.
• ${\rm d}a$와 ${\rm d}b$가 주어졌을 때, 마우레르-카르탕 방정식과 흐름 조건을 만족하는 ${ m d}e$에 대한 유일한 공식을 확립하는 것.
• 닫힌 구간의 체인 위에서 무한 차수 코커뮤파티브 코알제브라의 구조에 대한 명시적이고 닫힌 형태의 표현을 제공하는 것.
• 음수 차수의 생성자를 가진 DGLA 프레임워크를 통해 유리수 호모토피 이론과 변형 이론의 개념을 통합하는 것.

제안 방법

• 미분은 각각 차수 $-1$, $-1$, $0$을 가진 생성자 $a$, $b$, $e$에서 정의되며, ${\rm d}a + \frac{1}{2}[a,a] = 0$과 ${\rm d}b + \frac{1}{2}[b,b] = 0$을 만족한다.
• ${\rm d}e$의 공식은 ${{\rm d}e} = ({\rm ad}_e)b + \sum_{i=0}^{\infty} \frac{B_i}{i!}({\rm ad}_e)^i(b - a)$로 주어지며, 여기서 $B_i$는 베르누이 수이다.
• 리만 법칙과 제곱이 0인 조건을 대수적 변환과 연산자 항등식을 통해 전체 리 대수로 연장하고 검증한다.
• 유도는 $e$가 게이지 변환의 일파라미터 군을 생성한다는 기하학적 해석에 기반하며, 이 흐름이 $a$를 $b$로 옮긴다.
• 지수 함수의 고정 작용과 바커-캠프벨-하우스도르프 공식과 관련된 핵심 항등식을 사용하여 일관성을 검증한다.
• 흐름이 단위 시간 내에 $a$를 $b$로 옮기고, 미분의 제곱이 0이 되게 하기 위해 공식의 유일성을 확립한다.

실험 결과

연구 질문

• RQ1 자유 가중 리 대수 위에서의 미분을 어떻게 구성할 수 있을까? 이는 한 마우레르-카르탕 원소에서 다른 원소로의 흐름을 단위 시간 내에 모델링할 수 있어야 한다.
• RQ2 이 흐름을 실현하고 미분의 제곱이 0이 되게 하는, 생성자 $e$의 미분에 대한 명시적이고 닫힌 형태의 표현은 무엇인가?
• RQ3 이 구성은 닫힌 구간의 체인 위에서 무한 차수 코커뮤파티브 코알제브라의 구조를 어떻게 실현하는가?
• RQ4 베르누이 수는 유리수 호모토피 이론에서 대각선 근사의 고차 호모토피 자료를 어떻게 코딩하는가?
• RQ5 이 프레임워크는 고차원 세포 복합체와 그 체인 코알제브라의 구조를 일반화하여 모델링할 수 있는가?

주요 결과

• ${\rm d}e$의 공식은 완비 자유 가중 리 대수 $L[a,b,e]$ 위에서 제곱이 0인 도함수로 유일하게 연장된다.
• 미분은 $a$와 $b$에 대해 마우레르-카르탕 방정식을 만족하며, $e$에 의해 생성된 흐름은 단위 시간 내에 $a$를 $b$로 옮긴다.
• 공식은 생성 함수 $\frac{x}{e^x - 1} = \sum \frac{B_n}{n!}x^n$를 통해 베르누이 수를 포함하며, 이는 미분 내 고차 항 보정을 제어한다.
• 이 구성은 닫힌 구간의 체인 위에서 무한 차수 코커뮤파티브 코알제브라의 구조를 실현하며, 표준 모델을 제공한다.
• 결과는 평탄한 접속과 게이지 군 작용에 기반한 기하학적 원리에서 유도되며, 위상수학과 변형 이론을 연결한다.
• 공식은 구간을 두 부분으로 나누는 맥락에서 바커-캠프벨-하우스도르프 공식과 동치임을 보였다.