[논문 리뷰] Rooted trees and an exponential-like series

Frédéric Chapoton|ArXiv.org|2002. 09. 10.

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

한 줄 요약

이 논문은 임의의 증강된 오페라드 $\mathcal{P}$ 와 관련된 일반화된 멱급수의 집합 $\mathsf{G}_{\mathcal{P}}$ 를 도입하며, 특히 $\operatorname{PreLie}$ 오페라드에 초점을 맞춘다. 벡터장 위에서의 전-리 대수적 구조를 통해 $\mathsf{G}_{\operatorname{PreLie}}$ 내의 특별한 원소 $\exp^*$ 를 구성한다. 이 원소의 약수 사상에 의한 상은 결합 오페라드 $\operatorname{As}$ 에서는 $\exp x - 1$ 이 되고, 코로라 오페라드 $\operatorname{Mu}$ 에서는 $\frac{\exp x - 1}{x}$ 가 되며, 이는 지수 및 베르누이 수 생성함수와 연결된다.

ABSTRACT

This paper deals with a group of generalized power series associated to any augmented operad, focusing on the case of the PreLie operad. The solution of flow equations using the pre-Lie structure on vector fields on an affine space gives rise to an interesting element of this group, which deserves to be called the PreLie exponential.

연구 동기 및 목표

• 임의의 증강된 오페라드 $\mathcal{P}$ 에 대해 완비화와 코인variant 구조를 사용하여 일반화된 멱급수의 군 $\mathsf{G}_{\mathcal{P}}$ 를 정의하는 것.
• 뿌리가 있는 트리로 색인화된 전-리 대수적 곱을 갖는 군 $\mathsf{G}_{\operatorname{PreLie}}$ 의 구조를 연구하는 것.
• 결합 오페라드 $\operatorname{As}$ 와 코로라 오페라드 $\operatorname{Mu}$ 로의 약수 사상에 의한 특별한 원소 $\exp^*$ 의 상을 분석하여 고전적 생성함수와의 연결 고리를 드러내는 것.
• $\exp^*$ 와 그 역원 $\log^*$ 의 전개의 첫 번째 항들을 뿌리가 있는 트리 기저에서 직접 계산하여 조합론적 계수를 제공하는 것.

제안 방법

• $\mathsf{G}_{\mathcal{P}}$ 를 완비화된 코인variant 공간 $\widehat{\mathcal{P}}$ 의 가역원소들의 군으로 정의하고, 오페라드 합성에서 유도된 곱 $\times$ 를 갖는다.
• 오페라드의 등변성 및 결합 법칙 공리에 의해 $\times$ 가 결합법칙을 만족하고 $\mathbb{Q}$-선형임을 증명한다.
• 벡터장 위의 전-리 곱을 사용하여 흐름 방정식의 해로서 $\exp^*$ 를 구성하고, 이를 $\mathsf{G}_{\operatorname{PreLie}}$ 내의 형식적 급수로 해석한다.
• 함자성에 의해 군 준동형사상 $\mathsf{G}_{\operatorname{PreLie}} \to \mathsf{G}_{\operatorname{As}}$ 와 $\mathsf{G}_{\operatorname{PreLie}} \to \mathsf{G}_{\operatorname{Mu}}$ 를 유도하며, $\mathsf{G}_{\operatorname{As}}$ 는 형식적 멱급수의 합성 곱과 대응된다.
• $\mathsf{G}_{\operatorname{Mu}}$ 가 점별 곱에 대해 $\mathbb{Q}^* \ltimes (1 + x\mathbb{Q}[[x]])$ 와 동형임을 특성화한다.
• $\exp^*$ 와 $\log^*$ 의 계수를 전-리 곱 공식을 반복적으로 사용하여 계산하며, 차수 5까지의 명시적 전개를 제공한다.

실험 결과

연구 질문

• RQ1 증강된 오페라드에서 체계적으로 일반화된 멱급수 군을 어떻게 구성할 수 있는가?
• RQ2 $\mathsf{G}_{\operatorname{PreLie}}$ 의 대수적 구조는 무엇이며, 뿌리가 있는 트리와 전-리 대수와 어떻게 관련되어 있는가?
• RQ3 흐름 기반 원소 $\exp^*$ 가 약수 군 $\mathsf{G}_{\operatorname{As}}$ 와 $\mathsf{G}_{\operatorname{Mu}}$ 에서의 상은 무엇이며, 고전적 생성함수와 어떻게 연결되어 있는가?
• RQ4 $\exp^*$ 와 그 역원 $\log^*$ 의 계수를 뿌리가 있는 트리 기저에서 명시적으로 계산할 수 있는가? 그리고 어떤 조합론적 패턴이 드러나는가?
• RQ5 전-리 곱은 흐름 방정식을 해결하는 데 어떤 역할을 하는가? 그리고 이는 왜 $\mathsf{G}_{\operatorname{PreLie}}$ 내의 보편 급수로 이어지는가?

주요 결과

• $\mathsf{G}_{\mathcal{P}}$ 는 임의의 증강된 오페라드 $\mathcal{P}$ 에 대해 잘 정의되어 있으며, 곱 $\times$ 는 결합법칙을 만족하고 왼쪽에서 $\mathbb{Q}$-선형이며, 가역원은 첫 번째 성분이 0이 아닌 원소들로 특성화된다.
• $\mathsf{G}_{\operatorname{PreLie}}$ 내의 원소 $\exp^*$ 는 벡터장 위의 전-리 곱을 사용한 흐름 방정식의 해로서 유도되며, 이 군 내의 보편적 대상이다.
• $\mathsf{G}_{\operatorname{As}}$ 로의 약수 사상에 의한 $\exp^*$ 의 상은 $\exp x - 1$ 이며, 이는 형식적 멱급수의 합성 곱에 대응된다.
• $\mathsf{G}_{\operatorname{Mu}}$ 로의 약수 사상에 의한 $\exp^*$ 의 상은 $\frac{\exp x - 1}{x}$ 이며, 이는 코로라의 계수에 대한 지수 생성함수이다.
• $\exp^*$ 의 뿌리가 있는 트리 기저에서의 계수는 $n$-노드 코로라에 대해 $1/n!$ 이며, $\log^*$ 의 계수는 생성함수 $x/(\exp x - 1)$ 를 통해 베르누이 수와 관련된다.
• $\exp^*$ 와 $\log^*$ 의 명시적 전개를 차수 5까지 계산하였으며, 트리 복잡도가 증가함에 따라 계수는 $1, \frac{1}{2}, \frac{1}{6}, \frac{1}{24}, \frac{1}{120}$ 이며, 이는 트리의 대칭성을 반영한 조합론적 다중성을 반영한다.