[논문 리뷰] Operads and the Hopf algebras of renormalisation

P. van der Laan|ArXiv.org|2003. 11. 10.

Advanced Topics in Algebra참고 문헌 10인용 수 8

한 줄 요약

이 논문은 양자장론의 정규화에서 작용소와 호프 대수 사이의 함자적 연결을 수립하며, 정규화에서 유도된 호프 대수의 구조가 작용소 구성에 의해 분해됨을 보여준다. 이는 이중 호프 대수의 문자군과 원시 원소의 리 대수를 작용소의 이중에 적용한 표준 함자로 특성화함을 증명하며, 콘스-크라이머의 피카르 그래프 호프 대수가 일파생성 불가 그래프의 부분작용소로부터 유도됨을 보여준다.

ABSTRACT

Functors from (co)operads to bialgebras relate Hopf algebras that occur in renormalisation to operads, which simplifies the proof of the Hopf algebra axioms, and induces a characterisation of the corresponding group of characters and Lie algebra of primitives of the dual in terms of the operad. In addition, it is shown that the Wick rotation formula leads to canonical algebras for one of these operads.

연구 동기 및 목표

• 작용소의 기본 연산으로 코곱을 분해하여 정규화 호프 대수의 공리 검증을 단순화한다.
• 이중 호프 대수의 문자군과 원시 원소의 리 대수를 작용소에서 군으로 가는 함자로 특성화한다.
• 콘스-크라이머의 그래프 호프 대수가 일파생성 불가 그래프의 부분작용소로부터 유도됨을 보여준다.
• 양자장론에서의 위크 회전 공식이 그래프 기반의 구성에 의해 대칭 코알제브라 $S'^\prime V$ 위에 표준적인 $\Gamma$-대수의 구조를 유도함을 보여준다.

제안 방법

• 1-감소한 코오퍼레이드에서 연결된 완비 호프 대수로 가는 함자 $C \mapsto H_C$ 및 $C \mapsto \bar{H}_C$ 를 정의한다.
• 코오퍼레이드 $C$ 의 이중 작용소를 사용하여 문자군 $\mathrm{Hom}_{\text{Alg}}(H_C, k)$ 와 $\mathrm{Hom}_{\text{Alg}}(\bar{H}_C, k)$ 를 작용소에서 군으로 가는 명시적 함자로 표현한다.
• 작용소에서 리 대수로 가는 표준 함자를 적용하여 이중 호프 대수의 원시 원소의 리 대수를 묘사한다.
• 일파생성 불가 그래프의 부분작용소가 콘스-크라이머의 그래프 호프 대수를 유도하는 그래프 작용소를 구성한다.
• 각 그래프 $\eta$ 에 대해 수축 및 대칭화 사상 $\tau^\eta$ 와 $V$ 위의 이차형식 $b$ 를 사용하여 $S'^\prime V$ 위에 $\Gamma$-대수의 구조를 정의한다.
• 사상 $\tau^\eta$ 가 그래프 합성과 호환됨을 증명하여, 자동형사상과 그래프 사상 간의 전단사 사상에 의해 $\Gamma$-대수의 구조가 보장됨을 보여준다.

실험 결과

연구 질문

• RQ1 정규화 호프 대수의 호프 대수 공리를 작용소 구조를 통해 어떻게 단순화할 수 있는가?
• RQ2 이중 호프 대수의 문자군과 원시 원소의 리 대수 사이의 정확한 관계는 무엇인가?
• RQ3 콘스-크라이머의 피카르 그래프 호프 대수를 일파생성 불가 그래프 위의 작용소 구성으로 유도할 수 있는가?
• RQ4 양자장론에서의 위크 회전 공식은 대칭 코알제브라 위의 대수적 구조와 어떻게 관련이 있는가?
• RQ5 그래프 자동형사상과 변 수축이 $S'^\prime V$ 위의 $\Gamma$-대수의 구조를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 유한형의 1-감소한 코오퍼레이드 $C$ 로부터 유도된 호프 대수 $H_C$ 는 이중 작용소에서 군으로 가는 함자에 의해 문자군으로 주어진다.
• 이중 $H_C$ 의 원시 원소의 리 대수는 작용소에서 리 대수로 가는 표준 함자를 이중 작용소의 $C$ 에 적용한 이미지와 동형이다.
• 콘스-크라이머의 그래프 호프 대수는 일파생성 불가 그래프의 부분작용소 $C$ 에 대해 $H_C$ 로서 실현된다.
• 대칭 코알제브라 $S'^\prime V$ 는 $\tau^\eta$ 를 통해 $\Gamma$-대수의 구조를 갖는다. 여기서 $\tau^\eta$ 는 간선 수축의 모든 순열에 대한 합으로 정의되며 간선 순서에 무관하다.
• 자동형사상과 접합 전단사 사상 $b$ 에 대한 합의 동치성에 의해 $\tau^{\eta \circ_b \zeta} = \tau^\eta \circ_1 \tau^\zeta$ 가 성립한다.
• $\tau^\eta$ 의 구성은 위크 회전 공식을 대수적 형태로 표준적으로 실현하며, 이를 작용소적 및 호프 대수적 구조와 연결한다.