Quasisymmetric function とその一般化

Aguiar と Bergeron と Sottile の [ABS06] によると, quasisymmetric function の成す algebra は, Gessel が [Ges84] で考えたものらしい。 Hazewinkel の [Haz03] では, Stanley の [Sta84] も見るように書かれている。 Hopf algebra との関連については, Ehrenborg の [Ehr96] が最初らしい。

勉強するときは, Hazewinkel の survey [Haz03; Haz06] をまず見るのがよいと思う。Symmetric function や noncommutative symmetric function も含め, 詳しく説明されている。

Aguiar らは, symmetric function の成す Hopf algebra が, cocommutative combinatorial Hopf algebra の category の terminal object であることを示しているが, quasisymmetric function の成す Hopf algebra が combinatorial Hopf algebra の category の terminal object であることも示した。

• combinatorial Hopf algebra

Noncommutative symmetric function は, Gel\('\)fand らの [Gel+95] で導入されたものであるが, それらが成す Hopf algebra \(\mathrm {NSymm}\) は quasisymmetric function の成す Hopf algebra \(\mathrm {QSymm}\) の dual であることが知られている。

• noncommutative symmetric function

Hazewinkel [Haz03] によると, \(\mathrm {QSymm}\) と同じ Hopf algebra は, quasisymmetric function という名前が登場する以前に, Ditters [Dit72] により, \(\mathrm {NSymm}\) の dual として定義されていたらしい。

代数的トポロジーの視点からは, Symmetric function の成す Hopf algebra \(\mathrm {Symm}\) が \(\mathrm {BU}\) の homology や cohomology と同型になることの類似を考えたくなる。 これについては, Baker と Richter の答え [BR08] がある。

• \(\Omega \Sigma \CP ^{\infty }\) のコホモロジーは, quasisymmetric function の成す Hopf algebra \(\mathrm {QSymm}\) と同一視できる。
• \(\Omega \Sigma \CP ^{\infty }\) のホモロジーは, noncommutative symmetric function の成す Hopf algebra \(\mathrm {NSymm}\) と同一視できる。

包含 \(\CP ^{\infty }\hookrightarrow \mathrm {BU}\) から, loop map \[ j: \Omega \Sigma \CP ^{\infty }\hookrightarrow \mathrm {BU} \] が誘導されるが, この写像が cohomology に誘導する写像は, 包含 \(\mathrm {Symm}\hookrightarrow \mathrm {QSymm}\) と同一視できる。

この写像 \(j\) から Thom spectrum \(M(j)\) が定義されるが, \(j\) が loop map であることから, \(M(j)\) は \(A_{\infty }\)-ring spectrum になる。 Thom isomorphism により, 環としての同型 \(H_*(M(j)) \cong H_{*}(\Omega \Sigma \CP ^{\infty })\) があるので, \(\mathrm {NSymm}\) を \(H_{*}(M(j))\) と解釈することもできる。

この Thom spectrum については, Baker と Richter により [BR08] の section 7 や [BR] で調べられている。 これらは, Morava らの [MK; Morb; Mora] などで使われている。

このように, symmetric function の一般化を考えるときには, combinatorial Hopf algebra として考えるのがよい。 実際, これらを含む “一般的な symmetric function” の成す Hopf algebra も, 色々考えられている。 Duchamp, Luque, Novelli, Tollu, Toumazet の [Duc+11], Novelli と Thibon の [NT10]、 Menous と Novelli と Thibon の [MNT] などでは, 次のようなものが登場する。

• free quasisymmetric function
• word quasisymmetric function
• matrix quasisymmetric function
• set matrix quasisymmetric function

高次化についても色々考えられているようである。Hsiao と Karaali の [HK] では, 高次の quasisymmetric function に対応する multi-graded Hopf algebra が調べられている。

• level \(\ell \) symmetric function
• level \(\ell \) quasisymmetric function

Hivert と Thiéry の [HT] では, symmetric group に関連した tower of algebra を考えることにより, quasisymmetric function や noncommutative symmetric function の新しい基底が見つけられている。Tower of algebra とは, graded algebra で, 各 homogeneous component も (別の積で) それぞれ algebra になっているものである。

• tower of algebras

より一般に, tower of algebra からできる combinatorial Hopf algebra については, Bergeron と Lam と Li の [BLL08] で調べられている。

他の一般化としては, matroid に対し, 定義されるものがある。Billera と Jia と Reiner の [BJR09] である。 Luoto の [Luo] も見るとよい。

• matroid の quasisymmetric function

References

[ABS06]

Marcelo Aguiar, Nantel Bergeron, and Frank Sottile. “Combinatorial Hopf algebras and generalized Dehn-Sommerville relations”. In: Compos. Math. 142.1 (2006), pp. 1–30. arXiv: math/0310016. url: http://dx.doi.org/10.1112/S0010437X0500165X.

[BJR09]

Louis J. Billera, Ning Jia, and Victor Reiner. “A quasisymmetric function for matroids”. In: European J. Combin. 30.8 (2009), pp. 1727–1757. arXiv: math/0606646. url: http://dx.doi.org/10.1016/j.ejc.2008.12.007.

[BLL08]

Nantel Bergeron, Thomas Lam, and Huilan Li. “Combinatorial Hopf algebras and towers of algebras”. In: 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008). Discrete Math. Theor. Comput. Sci. Proc., AJ. Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2008, pp. 52–59. arXiv: 0710.3744.

[BR]

Andrew Baker and Birgit Richter. Some properties of the Thom spectrum over loop suspension of complex projective space. arXiv: 1207.4947.

[BR08]

Andrew Baker and Birgit Richter. “Quasisymmetric functions from a topological point of view”. In: Math. Scand. 103.2 (2008), pp. 208–242. arXiv: math/0605743.

[Dit72]

E. J. Ditters. “Curves and formal (co)groups”. In: Invent. Math. 17 (1972), pp. 1–20. url: https://doi.org/10.1007/BF01390019.

[Duc+11]

G. H. E. Duchamp, J.-G. Luque, J.-C. Novelli, C. Tollu, and F. Toumazet. “Hopf algebras of diagrams”. In: Internat. J. Algebra Comput. 21.6 (2011), pp. 889–911. arXiv: 0710 . 5661. url: http://dx.doi.org/10.1142/S0218196711006418.

[Ehr96]

Richard Ehrenborg. “On posets and Hopf algebras”. In: Adv. Math. 119.1 (1996), pp. 1–25. url: http://dx.doi.org/10.1006/aima.1996.0026.

[Gel+95]

Israel M. Gelfand et al. “Noncommutative symmetric functions”. In: Adv. Math. 112.2 (1995), pp. 218–348. url: http://dx.doi.org/10.1006/aima.1995.1032.

[Ges84]

Ira M. Gessel. “Multipartite \(P\)-partitions and inner products of skew Schur functions”. In: Combinatorics and algebra (Boulder, Colo., 1983). Vol. 34. Contemp. Math. Providence, RI: Amer. Math. Soc., 1984, pp. 289–317.

[Haz03]

Michiel Hazewinkel. “Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions”. In: Acta Appl. Math. 75.1-3 (2003). Monodromy and differential equations (Moscow, 2001), pp. 55–83. arXiv: math / 0410468. url: http://dx.doi.org/10.1023/A:1022323609001.

[Haz06]

Michiel Hazewinkel. “Symmetric functions, noncommutative symmetric functions and quasisymmetric functions. II”. In: Noncommutative algebra and geometry. Vol. 243. Lect. Notes Pure Appl. Math. Chapman & Hall/CRC, Boca Raton, FL, 2006, pp. 126–146. arXiv: math.QA/ 0410470.

[HK]

Samuel K. Hsiao and Gizem Karaali. Multigraded combinatorial Hopf algebras and refinements of odd and even subalgebras. arXiv: 0910.5773.

[HT]

Florent Hivert and Nicolas M. Thiéry. Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras. arXiv: math/0607391.

[Luo]

Kurt W. Luoto. A matroid-friendly basis for the quasisymmetric functions. arXiv: 0704.0836.

[MK]

Jack Morava and Nitu Kitchloo. The Baker-Richter spectrum as cobordism of quasitoric manifolds. arXiv: 1201.3127.

[MNT]

Frédéric Menous, Jean-Christophe Novelli, and Jean-Yves Thibon. Mould calculus, polyhedral cones, and characters of combinatorial Hopf algebras. arXiv: 1109.1634.

[Mora]

Jack Morava. Renormalization groupoids in algebraic topology. arXiv: 2007.16155.

[Morb]

Jack Morava. Topological invariants of some chemical reaction networks. arXiv: 1910.12609.

[NT10]

Jean-Christophe Novelli and Jean-Yves Thibon. “Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions”. In: Discrete Math. 310.24 (2010), pp. 3584–3606. arXiv: 0806.3682. url: http://dx.doi.org/10.1016/j.disc.2010.09.008.

[Sta84]

Richard P. Stanley. “On the number of reduced decompositions of elements of Coxeter groups”. In: European J. Combin. 5.4 (1984), pp. 359–372.