[論文レビュー] Universal factorial Schur $P,Q$-functions and their duals

Masaki Nakagawa, Hiroshi Naruse|arXiv (Cornell University)|Dec 8, 2018

Advanced Combinatorial Mathematics参考文献 10被引用数 10

ひとこと要約

本稿は、Lazard環 $\mathbb{L}$ 上で普遍的な階乗シュール $P,Q$-関数とその双対を導入し、等化および一般化コホロジーの設定へ古典的シュール関数を一般化する。形式的群法則と対称関数論を用いて、著者たちはこれらの関数を古典的群のループ空間の $K$-ホモロジーのシューベルト基底代表元として構成し、安定グロテンディーク多項式と関連づけ、テーブルックスによる組合せ的公式を予想する。

ABSTRACT

We define universal factorial Schur $P,Q$-functions and their duals, which specialize to generalized (co)-homology "Schubert basis" for loop spaces of the classical groups. We also investigate some of their properties.

研究の動機と目的

• Lazard環 $\u005c mathbb{L}$ と形式的群法則を用いて、階乗シュール $P,Q$-関数を普遍的設定へ拡張すること。
• 古典的群のループ空間 $Sp(\infty)$ および $SO(\infty)$ の $K$-ホモロジーのシューベルト基底要素を対称関数環内に実現すること。
• 双対普遍関数を定義し、テーブルックスおよび安定グロテンディーク多項式を介してその組合せ的解釈を予想すること。
• 二重無限形式変数を用いて、モレフの双対シュール関数を普遍的設定に一般化すること。

提案手法

• 普遍的形式的群法則を用いて、$[t|{\bf b}]^k = \prod_{i=1}^k (t \mathbin{+_F} b_i)$ および $[[t|{\bf b}]]^{k+1} = (t \mathbin{+_F} t)[t|{\bf b}]^k$ を定義する。
• 対称群 $S_n$ における対称化を用い、$F$-加法と逆元の比を通じて $P^\mathbb{L}_\lambda$ および $Q^\mathbb{L}_\lambda$ を構成する。
• $\mathbb{L}$-超対称級数 $\Gamma^\mathbb{L}({\bf x}_n)$ を導入し、$P^\mathbb{L}_\lambda$、$Q^\mathbb{L}_\lambda$ がこの空間に属することを証明する。
• 生成関数および差分作用素を用いて、双対関数 $\widehat{p}^\mathbb{L}_\lambda({\bf y}|{\bf b})$、$\widehat{q}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ を定義する。
• テーブルックス $Tab(\lambda)$ および $Tab'(\lambda)$ を介して、$gp_\lambda({\bf y})$、$gq_\lambda({\bf y})$ が双対普遍関数と関連づけられる組合せ的公式を提示する。
• 二重無限形式変数を用いて、モレフの双対シュール関数を $s^\mathbb{L}_\lambda({\bf x}||{\bf b}_\pm)$ へ拡張し、消滅および評価恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 形式的群法則を用いて、Lazard環 $\mathbb{L}$ 上で階乗シュール $P,Q$-関数を普遍的設定へ一般化する方法は何か？
• RQ2 $\mathbb{L}$-超対称級数が、これらの普遍関数の対称性および安定性を特徴づける役割を果たすのはどのようなものか？
• RQ3 普遍階乗シュール $P,Q$-関数の双対は、テーブルックスを介して組合せ的に表現可能であり、安定グロテンディーク多項式と関連づけられるか？
• RQ4 普遍関数は、$Sp(\infty)$ および $SO(\infty)$ の $K$-ホモロジーにおける既知のシューベルト基底要素へどのように特殊化されるか？
• RQ5 モレフの双対シュール関数の普遍的拡張は何か？ その評価および消滅性質は何か？

主な発見

• 普遍階乗シュール $P,Q$-関数 $P^\mathbb{L}_\lambda$ および $Q^\mathbb{L}_\lambda$ は、普遍的形式的群法則を用いて、$\mathbb{L}[[{\bf b}]][[x_1,\ldots,x_n]]$ 内の対称形式的級数として適切に定義される。
• これらの関数は、それぞれ $\mathbb{L}$-超対称級数空間 $\Gamma^\mathbb{L}({\bf x}_n)$ および $\Gamma^\mathbb{L}_+({\bf x}_n)$ に属し、$t \mapsto \overline{t}$ に関して安定性を保証する。
• 双対普遍関数 $\widehat{p}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ および $\widehat{q}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ は、生成関数および差分作用素を用いて定義される。
• 一重の部分 partition に対して、予想された組合せ的公式 $gp_k({\bf y}) = \widehat{p}^\mathbb{L}_k({\bf y})|_{\beta=-1}$ が成立することが証明された。
• フック和の公式 $gp_k({\bf y}) = \sum_{a=1}^k g_{a1^{k-a}}({\bf y})$ が確立され、$gp_k$ が安定グロテンディーク多項式と関連づけられた。
• 普遍双対シュール関数 $s^\mathbb{L}_\lambda({\bf x}||{\bf b}_\pm)$ は、消滅性質 $s^\mathbb{L}_\lambda(\overline{b}_{I-\mu}||{\bf b}_\pm) = 0$ を満たす（$\mu \not\supset \lambda$ の場合）、かつ $\lambda$ の箱の積として評価される。