[논문 리뷰] The renormalisation bialgebra and operads

P. van der Laan, Ieke Moerdijk|ArXiv.org|2002. 10. 23.

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

한 줄 요약

이 논문은 Brouder(2002)의 비텐서 대수 구조가 이중대수의 구조에서 자연스럽게 유도됨을 보여줌으로써, 이중대수, 이중공형식, 그리고 대수학적 구조를 연결하는 범주론적이고 대수학적인 프레임워크를 수립한다. 주요 기여는 이중대수 $ B $ 에서 유도된 이중공형식 $ C_B $ 를 이용해 구성된 이중대수 $ B_{C_B} $ 와 비텐서 이중대수 $ T(T^+(B)) $ 가 서로 동형임을 증명하는 것이다. 이는 $ B $ 가 교환 가능할 경우 대칭 대수와 호프 대수의 경우에도 유사한 결과를 얻는다.

ABSTRACT

In a recent preprint, Brouder and Schmitt give a careful construction of a `renormalisation' Hopf algebra out of an arbitrary bialgebra. In this note, we point out that this is a special case of the construction of the cooperad of a bialgebra (Berger-Moerdijk) combined with the construction of a bialgebra from a cooperad (Frabetti-Van der Laan).

연구 동기 및 목표

• 양자장 이론과 재정규화에서 비텐서 대수 구조의 대수학적 기원을 명확히 하기 위해.
• 이중대수 $ B $ 에서 유도된 이중공형식 $ C_B $ 를 통해 유도된 이중대수 $ B_{C_B} $ 와 비텐서 이중대수 $ T(T^+(B)) $ 간의 정확한 대응 관계를 수립하기 위해.
• 이중대수 $ B $ 가 교환 가능할 경우 이 대응 관계를 대칭 대수와 호프 대수로 확장하기 위해.
• 1-감소형 이중공형식과 그에 관련된 이중대수의 역할을 재정규화 이론의 맥락에서 체계화하기 위해.
• 이중대수의 이중공형식을 통해 오페라드 이론과 이중대수 이론의 구조를 통합하기 위해.

제안 방법

• 비-$ \Sigma $ 이중공형식 $ C $ 의 전체 공간 위에 텐서 대수를 정의함으로써 이중대수 $ B_C $ 를 정의하고, $ C $ 의 코구성 $ \gamma^* $ 를 통해 코곱을 유도한다.
• 비제로 차수의 생성자에서 0으로 설정하고 $ C(1) $ 에서의 코단위를 유지함으로써 $ B_C $ 에 쿠나잇을 정의하며, 대수 준동형사상으로 확장한다.
• 이중공형식 $ C $ 가 $ \Sigma $-이중공형식일 경우, $ B_C $ 의 이중대수 구조가 코인variants 위의 대칭 대수 $ \bar{B}_C = S(\bigoplus_n C(n)_{S_n}) $ 에 내림내림됨을 보인다.
• 기저점이 $ C(1) = k $ 에서 오는 지정된 텐서 대수 $ T_*(\bigoplus_n C(n)) $ 로 호프 대수 $ H_C $ 를 정의하고, 연결된 군화된 이중대수의 구조를 활용하여 역소의 존재를 보장한다.
• 이중대수 $ B $ 에서 이중공형식 $ C_B $ 를 정의함으로써 $ C_B(n) = B^{\otimes n} $ 으로 설정하고, 스위드러 표기법과 이중대수의 곱셈 및 코곱을 이용해 코구성 구조를 정의한다.
• 비텐서 이중대수 $ T(T^+(B)) \cong B_{C_B}^{\text{op}} $ 를 증명하고, $ B $ 가 교환 가능할 경우 대칭 대수와 호프 대수의 경우에도 유사한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 비텐서 대수 $ T(T^+(B)) $ 는 오페라드 및 이중공형식의 구성으로 어떻게 해석될 수 있는가?
• RQ2 이중대수 $ B $ 에 대해 이중대수 $ B_{C_B} $ 와 비텐서 대수 $ T(T^+(B)) $ 간의 정확한 관계는 무엇인가?
• RQ3 이중대수 구조가 $ B_C $ 가 $ C $ 가 $ \Sigma $-이중공형식일 경우 코인variants 위의 대칭 대수 $ \bar{B}_C $ 에 내림내림하는 조건은 무엇인가?
• RQ4 1-감소형 이중공형식 $ C $ 에서 유도된 $ H_C $ 의 구성은 비텐서 대수 $ T(T^+(B)) $ 와 관련된 Pinter 호프 대수와 어떻게 관련이 있는가?
• RQ5 1-감소형 이중공형식 $ C^{>1}_B $ 는 비텐서 대수와 호프 대수의 구조를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 비텐서 이중대수 $ T(T^+(B)) $ 는 $ C_B(n) = B^{\otimes n} $ 으로 정의된 비-$ \Sigma $ 이중공형식 $ C_B $ 에 의해 유도된 이중대수 $ B_{C_B} $ 의 반대 이중대수와 동형이다.
• 이중대수 $ B $ 가 교환 가능할 경우, 대칭 비텐서 이중대수 $ S(S^+(B)) $ 는 이중공형식 $ C_B $ 의 코인variants 위에 구성된 이중대수 $ \bar{B}_{C_B} $ 의 반대와 동형이다.
• 비텐서 대수 $ T(T^+(B)) $ 와 관련된 Pinter 호프 대수는 $ C_B $ 의 1-감소형 부분에서 유도된 호프 대수 $ H_{C^{>1}_B} $ 의 반대와 동형이다.
• 이중공형식 $ C $ 에서 $ B_C $ 를 구성함으로써, $ C $ 에서 유도된 코결합성과 코단위성에 의해 잘 정의된 이중대수가 된다.
• 1-감소형 이중공형식에 대해 호프 대수 $ H_C $ 는 연결된 군화된 이중대수의 구조가 역소의 존재를 보장하므로 잘 정의된다.
• 1-감소형 $ \Sigma $-이중공형식 $ C $ 에 대해 대칭 대수 구조 $ \bar{H}_C $ 는 호프 대수를 생성하며, 이는 $ B $ 가 교환 가능할 경우 비텐서 대수 $ S(S^+(B)) $ 와 관련된 Pinter 호프 대수와 대응한다.