[論文レビュー] Algebraic topology of the Lagrange inversion

Victor M. Buchstaber, Veselov, Alexander P.|arXiv (Cornell University)|Jan 11, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

トポロジックな観点からラグランジュ反転公式をチェーン数と複素コボルドゥムで解釈し、コボルドゥムに基づく導出を行い、Lagrange/M 乗算反転多項式を CP^n と theta 不分 divisors の特性数へ関連付ける。

ABSTRACT

The Lagrange inversion formula for power series is one of the classical formulas from analysis and combinatorics. A nice geometric interpretation of this formula in terms of the Stasheff polytopes was discovered by Loday. We show that it also admits a natural topological interpretation in terms of the Chern numbers of the complex projective space. The proof is based on our earlier work on the Chern-Dold character in complex cobordism theory and leads to a new derivation of the Lagrange inversion formula. We provide a similar interpretation of the multiplicative inversion formulas in terms of Chern numbers of the smooth theta divisors. We discuss also the general related problem when all Chern numbers of an algebraic variety are divisible by its Euler characteristic.

研究の動機と目的

• ラグランジュ反転問題を動機づけ、古典的定式化を回顧する。
• ラグランジュ反転係数が特性数としてのトポロジー的解釈を持つことを示す。
• これらの係数をコボルドゥム類と theta 不分 divisors を用いた Chern-Dold 変換を介して関連付ける。
• 拓扑データから L_n および M_n 多項式を導出し、それらの組合せ的解釈を説明する。
• チェル数のオイラー特性による剰余性の/divisibility を議論し、関連する反転現象へ拡張する。

提案手法

• 複素コボルドゥムにおける Chern-Dold 変換を用いてコボルドゥム類を theta 不分 divisors によって表現する。
• 分割原理を適用して普遍的モノミアル特性クラスを導出し、それをラグランジュ反転の f(x) と related 付ける。
• 標準的な CP^n 切断束の恒等式 τ_CP^n ⊕ 1 ≅ η^{n+1} を用いて法ベクターのモノミアルチェルン数を計算する。
• C^ν(CP^n,t) = [x^n](x/f(x))^{n+1} を f(x)=x+ x^2 t1 + x^3 t2 + ... として得られ、ラグランジュ反転公式と一致する。
• 乗法的不分割多項式 M_n を得て、theta 不分 divisor によるコボルドゥムと C^τ(Θ^n,t) を結びつける。]
• research_questions:["Lagrange inversion coefficients b_n を複雑多様体の特性数として解釈するにはどうすればよいか。","CP^n のモノミアルチェルン数と L_n 多項式の間の正確な生成関数関係は何か。","乗法的反転係数を Chern-Dold 変換と theta 不分 divisors を介してトポロジー的に表現できるか。","Euler 特性によるチェル数の divisibility 性質はこのトポロジカル枠組みでどのように現れるか。","反転公式（L_n, M_n）と組合せ多面体構造（アソシエドラ、パーミュトドラ）とのより広い関連は何か。

実験結果

主な発見

• 法ベクターのモノミアルチェルン数の生成関数は C^ν(CP^n,t) = (n+1) L_n(t1,...,tn) を満たす。
• CP^n の法ベクターのトップチェルン数は c_n(νCP^n) = (-1)^n (n+1) C_n = (-1)^n binom(2n,n)。
• コボルドゥム類 [CP^n] は (n+1) L_n(τ1,...,τn) で書け、τ_k = [Θ^k]/(k+1)!、ラグランジュ多項式と theta 不分 divisors の関連を示す。
• theta 不分 divisors の接線束モノミアルチェルン数は C^τ(Θ^n,t) = (n+1)! M_n(t1,...,tn) を満たし、M_n は乗法的反転多項式である。
• Θ^n の法ベクターのモノミアルチェルン数は C^ν(Θ^n,t) = (n+1)! t_n を与え、明確な乗法的反転解釈を与える。
• これらの成果は L_n および M_n を幾何学的・コボルドゥム的データへ結びつけ、アソシエドラやパーミュトドラの面での組合せ的解釈を明示する。