[논문 리뷰] Exotic automorphisms of the Schouten algebra of polyvector fields

Sergei Merkulov|arXiv (Cornell University)|2008. 09. 15.

Nonlinear Waves and Solitons참고 문헌 14인용 수 25

한 줄 요약

이 논문은 상반평면 내 n개의 점의 구성공간의 새로운 콪팅화인 $\widehat{C}_{n,0}$ 를 사용하여 $\mathbb{R}^d$ 위의 다중벡터장 대수의 고유한 ${\mathcal{L}}ie_{\infty}$-자기동형사상들을 구성한다. 자동형사상들은 $\widehat{C}_{2,0}$ 위의 닫힌 최소 1형식 $\omega$ 의 역상에 대한 적분을 통해 정의되며, n개 정점, 2n-2개 간선을 가진 그래프들의 합으로 가중치가 주어지며, 이는 슈타우펜베르거 괄호의 보편적이고 차원에 의존하지 않는 변형을 유도한다.

ABSTRACT

Using a new compactification of the (braid) configuration space of n points in the upper half plane we construct a family of exotic Lie-infinity automorphisms of the Schouten algebra of polyvector fields on an affine space depending on a Kontsevich type propagator.

연구 동기 및 목표

• 상반평면 내 n개의 서로 다른 점의 구성공간에 대한 새로운 콪팅화 $\widehat{C}_{n,0}$ 를 정의하고, 이로부터 $\mathbb{R}^d$ 위의 다중벡터장 대수에 대한 보편적이고 차원에 의존하지 않는 ${\mathcal{L}}ie_{\infty}$-자기동형사상의 새로운 가족을 구성한다. 이는 전파함수의 선택에 따라 달라진다.
• 상반평면 내 n개의 점의 구성공간에 대한 새로운 콪팅화 $\widehat{C}_{n,0}$ 를 정의하며, $n \geq 3$ 일 때 콤팩트리피케이션은 콘체비치의 원래 콱팅화와 다름을 보인다.
• 그래프 기반의 적분을 통해 $\widehat{C}_{n,0}$ 위의 드 라무 장 이론과 슈타우펜베르거 대수의 고유한 자동형사상 간의 연결 고리를 설정한다.
• 이 새로운 콱팅화를 2색의 dg 작도로서의 기하학적 및 작도론적 의미를 부여하며, ${\mathcal{L}}ie_{\infty}$-대수의 ${\mathcal{L}}ie_{\infty}$-형사상의 2색 dg 작도로 해석한다.
• 콘체비치의 형식성 사상에 관한 이전 결과들을 일반화하기 위해 새로운 종류의 전파함수와 관련된 자동형사상들을 도입한다.

제안 방법

• 이 구성은 상반평면 내 n개의 점의 구성공간에 대한 새로운 콱팅화 $\widehat{C}_{n,0}$ 를 사용하며, 이는 반대칭 대수적 구조와 $\widehat{C}_{2,0}$ 로의 재정렬된 잊혀진 사상(renormalized forgetful map)을 지닌다.
• 가족 $\mathfrak{G}_{n,2n-2}$ 에 属하는 각 그래프 $\Gamma$ 에 대해, 가중치 $\mathrm{C}_\Gamma$ 는 적분 $\int_{\widehat{C}_{n,0}} \bigwedge_{e \in \mathrm{Edges}(\Gamma)} \frac{{\mathfrak{p}}_e^*(\omega)}{2\pi}$ 로 정의되며, 여기서 $\omega$ 는 $\widehat{C}_{2,0}$ 에서 닫힌 최소 1형식이며, 경계에서 정해진 행동을 가진다.
• 자기동형사상 성분 $F_n^{\mathcal{L}\mathrm{ie}}$ 는 $\sum_{\Gamma \in \mathfrak{G}_{n,2n-2}} \mathrm{C}_\Gamma \Phi_\Gamma$ 의 합으로 정의되며, $\Phi_\Gamma$ 는 $\Gamma$ 에서 간단한 절차(텐서곱과 슈타우펜베르거 괄호의 조합)를 통해 구성된 선형 사상이다.
• 이 방법은 $\overline{C} \sqcup \widehat{C}$ 위의 드 라무 장 이론에 기반하며, 가중치는 각도 함수와 게이지-equivalent 전파함수로부터 유도되며, 호모토피 동치성과 준동형성 성질을 보장한다.
• $\widehat{C}_{n,0}$ 의 면 복합체는 ${\mathcal{L}}ie_{\infty}$-형사상의 2색 dg 작도로서 자연스럽게 구조를 지닌다. 이는 자동형사상 구성의 기하학적 기반을 제공한다.
• 그래프 가족을 $2n-3$ 개 간선으로 확장하고 다른 콱팅화를 사용함으로써 이 틀은 ${\mathcal{L}}eib_{\infty}$-자기동형사상으로 일반화되며, 더 넓은 변형의 클래스를 얻는다.

실험 결과

연구 질문

• RQ1 상반평면 내 구성공간의 새로운 콱팅화가 다중벡터장 대수의 ${\mathcal{L}}ie_{\infty}$-자기동형사상들을 새롭게 유도할 수 있는가?
• RQ2 자기동형사상 공식에서 그래프 기여의 가중치가 $\widehat{C}_{2,0}$ 에서의 닫힌 최소 1형식 $\omega$ 의 선택에 따라 어떻게 달라지는가?
• RQ3 새로운 콱팅화 $\widehat{C}_{n,0}$ 을 둘러싼 작도적 구조는 무엇이며, 이는 ${\mathcal{L}}ie_{\infty}$-형사상과 어떻게 관련이 있는가?
• RQ4 그래프 가족과 콱팅화를 수정함으로써 이 구성이 ${\mathcal{L}}eib_{\infty}$-자기동형사상을 생성하도록 일반화할 수 있는가?
• RQ5 재정렬된 잊혀진 사상이 $\widehat{C}_{n,0}$ 과 $\widehat{C}_{2,0}$ 를 연결하고 가중치 $\mathrm{C}_\Gamma$ 를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\mathbb{R}^d$ 위의 슈타우펜베르거 대수에 대해 보편적인 ${\mathcal{L}}ie_{\infty}$-자기동형사상의 가족을 구성하며, 이는 차원 $d$ 에 영향을 받지 않으며, 첫 번째 성분 $F_1^{\mathcal{L}\mathrm{ie}}$ 는 항등사상과 같다.
• 자기동형사상 공식에 포함된 가중치 $\mathrm{C}_\Gamma$ 는 새로운 콱팅화 $\widehat{C}_{n,0}$ 에서의 적분으로 주어지며, 구체적으로 $\int_{\widehat{C}_{n,0}} \bigwedge_{e \in \mathrm{Edges}(\Gamma)} \frac{{\mathfrak{p}}_e^*(\omega)}{2\pi}$ 이다. 여기서 $\omega$ 는 $\widehat{C}_{2,0}$ 에서 닫힌 최소 1형식이며, 경계에서 표준 체적 형식을 가진다.
• 새로운 콱팅화 $\widehat{C}_{n,0}$ 는 모든 $n \geq 3$ 에 대해 콘체비치의 $\overline{C}_{n,0}$ 와 다르며, 그 면 복합체는 자연스럽게 ${\mathcal{L}}ie_{\infty}$-대수의 ${\mathcal{L}}ie_{\infty}$-형사상의 2색 dg 작도의 구조를 지닌다.
• 이 구성은 동치가 아닌 고유한 자동형사상들을 유도하며, 대칭화된 콘체비치 전파함수와 (역)전파함수를 사용한 명시적 예시로 이를 입증한다.
• 그래프 가족을 $2n-3$ 개 간선으로 확장하고 다른 콱팅화를 사용함으로써 이 틀은 ${\mathcal{L}}eib_{\infty}$-자기동형사상으로 일반화되며, 쇼이크헤트의 구성과 같은 알려진 결과들을 복원한다.
• 논문은 $\overline{C} \sqcup \widehat{C}$ 위의 임의의 드 라무 장 이론이 슈타우펜베르거 대수의 고유한 자동형사상으로 정의되며, 가중치 $c_\Gamma$ 가 공식 (32)의 적분 공식으로 주어진다는 것을 입증한다.