[논문 리뷰] Systems of Dyson-Schwinger equations

Loïc Foissy|arXiv (Cornell University)|2009. 09. 02.

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

한 줄 요약

이 논문은 Connes-Kreimer 장근수 히프 대수의 장식된 루트 트리에서 생성되는 부분대수와 동일한 히프 부분대수를 갖는 조합적 다이슨-슈윙거 방정식(SDSE)의 체계를 특성화한다. 변화된 변수, 확대, 확장과 같은 연산을 도입하고, 이러한 모든 히프 SDSE가 기본 또는 순환 체계로부터 이러한 연산을 통해 유도됨을 증명하며, 관련 리 대수의 구조는 경로 리 대수, 파아 다 브루 대수 또는 아벨 리 대수의 반복적 확장으로 분류된다.

ABSTRACT

We consider systems of combinatorial Dyson-Schwinger equations (briefly, SDSE) X_1=B^+_1(F_1(X_1,...,X_N))...X_N=B^+_N(F_N(X_1,...,X_N)) in the Connes-Kreimer Hopf algebra H_I of rooted trees decorated by I={1,...,N},where B^+_i is the operator of grafting on a root decorated by i, and F_1...,F_N are non-constant formal series.The unique solution X=(X_1,...,X_N) of this equation generates a graded subalgebra H_S of H_I. We characterize here all the families of formal series (F_1,...,F_N) such that H_S is a Hopf subalgebra. More precisely, we define three operations on SDSE (change of variables, dilatation and extension) and give two families of SDSE (cyclic and fundamental systems), and prove that any SDSE (S) such that H_S is Hopf is the concatenation of several fundamental or cyclic systems after the application of a change of variables, a dilatation and iterated extensions. We also describe the Hopf algebra H_S as the dual of the enveloping algebra of a Lie algebra g_S of one of the following types: 1. g_S is a Lie algebra of paths associated to a certain oriented graph. 2. g_S is an iterated extension of the Faà di Bruno Lie algebra. 3. g_S is an iterated extension of an abelian Lie algebra.

연구 동기 및 목표

• 다이슨-슈윙거 방정식 체계의 해가 Connes-Kreimer 히프 대수의 히프 부분대수를 생성하는 데 필요한 모든 형식적 급수의 가족을 규명하는 것.
• 해당 체계에 의해 생성되는 히프 대수의 딸림 리 대수의 구조를 분류하는 것.
• 변수 변화, 확대, 확장과 같은 연산을 사용하여 히프 SDSE의 구조적 분해를 수립하는 것.
• 다음 세 가지 유형 중 하나의 리 대수의 보편화 대수의 쌍대 대수로서 히프 대수를 묘사하는 것: 경로 리 대수, 파아 다 브루 대수의 반복적 확장, 또는 아벨 리 대수의 반복적 확장.

제안 방법

• I = {1,…,N}로 장식된 루트 트리의 히프 대수 $ \mathcal{H}_I $에서 $ X_i = B^+_i(F_i(X_1,\dots,X_N)) $ 형태의 다이슨-슈윙거 방정식(SDSE) 체계를 정의하며, 여기서 $ B^+_i $는 유형 i의 루트를 붙이는 연산이다.
• 각 SDSE에 대해 기능적 의존성 간의 관계를 나타내는 방향 그래프 $ G_{(S)} $를 부여하고, 그래프의 연결성으로 연결성을 정의한다.
• 세 가지 연산을 도입한다: 변수 변화(변수의 스케일링), 확대(정점들을 복수의 복제로 대체), 확장(독립 방정식을 갖는 새로운 변수 추가).
• 수준 분석을 통해 수목 구조 내 정점의 수준을 구분함으로써 해 대수 $ \mathcal{H}_{(S)} $의 구조를 특성화한다. 수준은 의존성 깊이에 따라 구분된다.
• 쌍대 공간 $ \mathcal{H}_{(S)}^* $를 사용하여 프리-라이 대수의 구조를 정의하고, 이는 리 대수 $ \mathfrak{g}_{(S)} $를 유도하며, $ \mathfrak{g}_{(S)} $를 세 가지 유형 중 하나로 분류한다: 방향 그래프에 관련된 경로 리 대수, 파아 다 브루 대수의 반복적 확장, 또는 아벨 리 대수의 반복적 확장.
• 모든 히프 SDSE가 변수 변화, 확대, 반복적 확장 연산을 적용한 후 기본 또는 순환 체계의 연결으로서 유도됨을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 형식적 급수의 가족 $ (F_1,\dots,F_N) $ 이 존재할 경우, 다이슨-슈윙거 방정식 체계의 해 $ (X_1,\dots,X_N) $ 가 Connes-Kreimer 히프 대수 $ \mathcal{H}_I $의 히프 부분대수 $ \mathcal{H}_{(S)} $를 생성하는가?
• RQ2 해당 $ \mathcal{H}_{(S)} $의 딸림 리 대수 $ \mathfrak{g}_{(S)} $의 구조는 알려진 리 대수 유형의 관점에서 어떻게 분류될 수 있는가?
• RQ3 변수 변화, 확대, 확장과 같은 연산 중 어떤 것이 기본 또는 순환 체계로부터 모든 히프 SDSE를 생성하는 데 사용될 수 있는가?
• RQ4 SDSE에 의해 생성된 수목 구조에서 정점의 수준은 무엇을 의미하며, 이는 $ \mathcal{H}_{(S)} $의 대수적 성질과 어떻게 관련되는가?
• RQ5 수식 $ \mathcal{H}_{(S)}^* $ 상의 프리-라이 대수의 구조는 리 대수 $ \mathfrak{g}_{(S)} $의 구조와 어떻게 관련되며, 이는 $ \mathcal{H}_{(S)} $의 문자군에 어떤 함의를 갖는가?

주요 결과

• 다이슨-슈윙거 방정식 체계는 변수 변화, 확대, 반복적 확장에 대해 등가일 경우에만, 그 해가 Connes-Kreimer 히프 대수의 히프 부분대수를 생성한다.
• 해의 딸림 리 대수 $ \mathfrak{g}_{(S)} $ 는 세 가지 유형 중 하나와 동형이다: 방향 그래프에 관련된 경로 리 대수, 파아 다 브루 리 대수의 반복적 확장, 또는 아벨 리 대수의 반복적 확장.
• 수식 $ \mathcal{H}_{(S)}^* $ 상의 프리-라이 대수의 구조는 $ \mathfrak{g}_{(S)} $의 리 괄호를 유도하며, 이러한 프리-라이 곱과 리 대수의 확대 사이에 자연스러운 전단사 사상이 존재한다.
• $ \mathcal{H}_{(S)} $의 문자군은 리 대수 $ \mathfrak{g}_{(S)} $에 관련된 군과 동형이며, 이 군의 구조는 $ \mathfrak{g}_{(S)} $의 유형에 의해 결정된다.
• 수목 구조 내 정점의 수준은 의존성 그래프에서의 깊이를 나타내며, 수준 0, 1, ≥2의 정점은 대수적 분해에서 서로 다른 구조적 역할을 한다.
• 모든 SDSE의 해 $ (X_1,\dots,X_N) $ 는 유일하며, 그로 생성되는 부분대수 $ \mathcal{H}_{(S)} $ 는 그 체계가 세 가지 연산과 리 대수 유형의 분류에 기반한 구조적 조건을 만족할 경우에만 정확히 히프 부분대수이다.