[論文レビュー] The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relations

Zhengwei Liu, William Norledge+1 more|arXiv (Cornell University)|Jan 10, 2019

Advanced Combinatorial Mathematics参考文献 7被引用数 6

ひとこと要約

この論文は、整数係数の関数の離散微分作用素を用いて、アドジョイントブレード配置を、ベクトルスプライスの圏における自然なリーリー代数構造へと持ち上げることを確立する。主な結果は、シュタインマン関係を満たす関数が、フォレスト微分作用素のもとで外部因子分解を示すことである。この構造により、フォレスト微分作用素を介して、配置は標準的なリーツリー表現の双対としてリーリー代数をなす。

ABSTRACT

We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangement faces, allowing for the representation of certain Lie elements by antisymmetrized layered binary forests. This is dual to the well-known use of (delayered) binary trees to represent Lie elements of the braid arrangement. The discrete derivative then induces an action of layered binary forests on piecewise-constant functions, which we call the forest derivative. Our main result states that forest derivatives of functions factorize as external products of functions precisely if one restricts to functions which satisfy the Steinmann relations, which are certain four-term linear relations appearing in the foundations of axiomatic quantum field theory. We also show that the forest derivative satisfies the Lie properties of antisymmetry the Jacobi identity. It follows from these Lie properties, and also crucially factorization, that functions which satisfy the Steinmann relations form a left comodule of the Lie cooperad, with the coaction given by the forest derivative. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of vector species. This work is a first step towards describing new connections between Hopf theory in species and quantum field theory.

研究の動機と目的

• アドジョイントブレード配置を用いて、ベクトルスプライスの文脈におけるリーリー代数構造の幾何的・代数的実現を確立すること。
• アドジョイントブレード配置上の区分的定数関数に作用する離散微分作用素（フォレスト微分）を定義し、その性質を分析すること。
• シュタインマン関係を満たす関数が、外部因子分解を尊重するフォレスト微分作用素のもとで因子分解することを示すこと。
• フォレスト微分作用素が反対称性およびジャコビ恒等式を満たすことを示し、これによりリーリー代数構造を形成すること。
• 構成を双対化し、シュタインマン関係を満たす関数の空間がリーリー余代数の左コモジュールをなすことを示し、これによりスプライスの圏内にリーリー代数が実現されること。

提案手法

• 離散微分作用素は、アドジョイントブレード配置の超平面を跨ぐ有限差分作用素として定義され、区分的定数関数に作用する。
• レイヤード二分木は、アドジョイント配置内のフラッグを符号化し、リーリー要素の組合せ的基底を提供する。
• フォレスト微分は、反対称化されたレイヤード二分木のフォレストが関数に作用する形で構成され、標準的なリーリー要素作用の一般化である。
• シュタインマン関係は、関数のフォレスト微分が外部積に因子分解するための四項線形関係として導入される。
• フォレスト微分作用素の反対称性およびジャコビ恒等式が、レイヤードツリー上の組合せ的恒等式を用いて検証され、リーリー代数構造が導かれる。
• 双対性を適用し、フォレスト微分作用素の双対がリーリー余代数構造を与えることを示し、得られるコモジュール構造により、スプライスの圏内にリーリー代数が得られる。

実験結果

リサーチクエスチョン

• RQ1 アドジョイントブレード配置は、離散微分作用素を用いてどのようにリーリー代数構造を備えることができるか？
• RQ2 シュタインマン関係は、フォレスト微分作用素の因子分解を保証するために果たす役割は何か？
• RQ3 レイヤード二分木は、ブレード配置の双対においてどのようにリーリー要素を表現するか？
• RQ4 フォレスト微分作用素が、区分的定数関数の空間上でリーリー代数作用として機能するのはどのような意味か？
• RQ5 フォレスト微分作用素によって誘導されるコモジュール構造は、スプライスの圏内にリーリー代数をどのように導くか？

主な発見

• 関数のフォレスト微分が外部積に因子分解されるための必要十分条件は、その関数がシュタインマン関係を満たすことである。
• フォレスト微分作用素は反対称性およびジャコビ恒等式を満たし、関数空間上でのリーリー代数作用であることが確認された。
• シュタインマン関係を満たす関数は、リーリー余代数の左コモジュールをなし、コアクションはフォレスト微分作用素によって与えられる。
• フォレスト微分作用素の双対は、シュタインマン関係で割った関数の空間にリーリー余代数構造を与える。
• シュタインマン関係で割ったアドジョイントブレード配置は、フォレスト微分作用素を介して、スプライスの圏内に自然なリーリー代数構造を備える。
• この構成は、アグイアール＝マハジャン理論における中心的リーリー代数の新しい幾何的実現を提供し、組合せ的ホップ代数理論と公理的量子場理論を結びつける。