[논문 리뷰] Cohomology of Feynman graphs and perturbative quantum field theory

Lucian M. Ionescu|ArXiv.org|2005. 06. 08.

Advanced Topics in Algebra참고 문헌 14인용 수 6

한 줄 요약

이 논문은 Kreimer의 코프로덕트와 Kontsevich의 그래프 homology를 사용하여 방향성과 레이블이 부여된 파인만 그래프 위에 dg-Hopf 대수적 구조를 수립함으로써, 양자장론의 섭동 이론에서 L-infinity 사상의 코homological 해석을 가능하게 한다. 이 dg-cobialgebra 위의 cobar 구성은 그래프 cohomology를 유도하며, 총 미분은 L-infinity 사상 조건을 표현한다. 파인만 적분은 그래프 전개의 계수로서 나타난다.

ABSTRACT

An analog of Kreimer's coproduct from renormalization of Feynman integrals in quantum field theory, endows an analog of Kontsevich's graph complex with a dg-coalgebra structure. The graph complex is generated by orientation classes of labeled directed graphs. A graded commutative product is also defined, compatible with the coproduct. Moreover, a dg-Hopf algebra is identified. Graph cohomology is defined applying the cobar construction to the dg-coalgebra structure. As an application, L-infinity morphisms represented as series over Feynman graphs correspond to graph cocycles. Notably the total differential of the cobar construction corresponds to the L-infinity morphism condition. The main example considered is Kontsevich's formality morphism. The relation with perturbative quantum field theory is considered by interpreting L-infinity morphisms as partition functions, and the coefficients of the graph expansions as Feynman integrals.

연구 동기 및 목표

• renormalization에서 Kreimer의 코프로덕트와 Kontsevich의 그래프 homology를 하나의 대수적 프레임워크로 통합하기.
• 방향성과 레이블이 부여된 방향 그래프의 순서 클래스 위에 dg-Hopf 대수적 구조를 정의하여 코homological 분석을 가능하게 하기.
• cobar 구성에 의해 L-infinity 사상이 그래프 코사이클로 해석될 수 있도록 하기.
• 파인만 적분과 그래프 전개의 계수 사이의 대응관계를 호모토피 대수학에 기반하여 확립하기.
• L-infinity 대수와 그래프 cohomology를 사용하여 파인만 경로 적분의 공식적이고 대수적 모델을 제공하기.

제안 방법

• 레이블이 부여된 방향 그래프의 순서 클래스 위에 이산 합집합과 레이블의 연결을 통한 분할된 교환 법칙을 적용하여 그라디에이티드 교환 법칙을 정의한다.
• 경계와의 교차를 가지는 정상 하위그래프를 사용하여 코프로덕트를 도입하며, 이는 renormalization을 위한 Kreimer의 코프로덕트를 일반화한다.
• 그래프 복합체에서 dg-cobialgebra를 구성하며, 이는 그래프 homology의 미분으로부터 유도된다.
• dg-cobialgebra에 cobar 구성 적용을 통해 그래프 cohomology를 정의하며, 총 미분은 L-infinity 사상 조건을 표현한다.
• 그래프와 상태를 쌍으로 묶어 '파인만 규칙'을 정의하며, 이를 구성 공간 적분을 통해 파인만 적분으로 해석한다.
• Kontsevich의 형식성 사상(의사형)을 중심 예시로 사용하여, 그 계수가 그래프 코사이클에서 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 Kreimer의 renormalization에서의 코프로덕트와 Kontsevich의 그래프 homology는 어떻게 통합된 대수적 구조를 형성할 수 있는가?
• RQ2 cobar 구성은 L-infinity 사상과 그래프 cohomology를 어떻게 연결하는가?
• RQ3 이 프레임워크에서 섭동 QFT의 파인만 적분은 그래프 전개의 어떤 방식으로 나타나는가?
• RQ4 L-infinity 사상이 dg-cobialgebra의 코homology에서 그래프 코사이클과 어떤 의미에서 대응하는가?
• RQ5 이 대수적 모델은 QFT의 전통적 해석적 접근과 어떻게 관련되어 있는가?

주요 결과

• 방향성과 레이블이 부여된 방향 그래프의 그래프 복합체는 그라디에이티드 교환 법칙과 Kreimer의 코프로덕트를 일반화한 코프로덕트를 갖는 dg-Hopf 대수적 구조를 가진다.
• dg-cobialgebra에 cobar 구성 적용으로 유도된 그래프 cohomology에서 총 미분은 정확히 L-infinity 사상 조건에 해당한다.
• 파인만 그래프 위에서 전개된 L-infinity 사상은 정확히 그래프 코사이클과 일치하며, Kontsevich의 형식성 사상이 중심적인 예시로 작용한다.
• 파인만 적분은 L-infinity 사상의 그래프 전개에서 계수로서 실현되며, 구성 공간 위의 상태와의 쌍을 통해 유도된다.
• L-infinity 사상의 모듈리 공간은 파인만 dg-cobialgebra의 코homology와 동형이다: $\mathcal{H}o(g_1,g_2) = H^\bullet(\mathcal{G};k)$.
• 이 프레임워크는 파인만 그래프의 합으로서 경로 적분의 공식적이고 대수적 실현을 제공하며, L-infinity 사상은 그린 함수의 생성함수 역할을 한다.