arXiv論文メモ
新着一覧
math.CO / math.AG / math.AT · 査読状況未確認

グラスマン多様体の幾何と準対称関数を結ぶ

A quasisymmetric analog of Grassmannian Schubert varieties

Teddy Gonzales, Tuong Le, Chayim Lowen

この論文をやさしく読む

ひとことで言うと

特定の幾何学的空間のコホモロジーやホモロジーを、準対称関数と非可換対称関数で記述する数学研究です。

何に役立つ?

代数幾何と組合せ論の対応を使い、トーリック・リチャードソン多様体の構造や多面体の性質を調べる助けになります。

この研究の面白いところ

胞体分割の基底と関数の基底の展開を対応させ、その副産物としてシャード多面体のfベクトルの対数凹性を導いています。

どこまで分かった?

BakerとRichterのH群との同型は要旨では予想であり、証明済みとは述べられていません。結果の対象は指定された多様体や多面体です。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

本研究は、グラスマン多様体内のトーリック・リチャードソン多様体のコホモロジー環が、準対称関数環を有限に切り詰めたものであることを示す。各多様体にアフィン胞体分割を与え、その胞体閉包から基本準対称関数の基底が得られることを示す。同様に、これらの多様体のホモロジーを非可換対称関数環で解釈する。そして、任意のトーラス不変部分多様体のホモロジー類をアフィン胞体分割の基底に展開した係数は、対応する一般化非可換リボン関数をリボン基底に展開した係数と一致することを示す。 すべてのトーリック・リチャードソン多様体の直極限を取ることで、弱いH群構造を備えた無限次元多様体を得る。そのコホモロジーは準対称関数のホップ代数である。これがBakerとRichterの構成した類似のH群と同型であると予想する。副産物として、シャード多面体のfベクトルが対数凹であることを導き、マトロイド基多面体に関するFerroniとSchröterの問いに対する最初の進展を得る。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-24(UTC)
最新改訂
2026-09-24 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter. As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.

著者のコメント

48 pages, 16 figures, comments are welcome

arXiv ID: 2609.30257 / 要約の誤りについて