ヒルベルト–ポワンカレ級数

テンプレート:Unreferenced 数学、とくに代数学の分野において、ヒルベルト–ポワンカレ級数 (Hilbert–Poincaré series)（テンプレート:仮リンクと呼ばれることもある）は、次数付き代数的構造の文脈に次元の概念を適応したものである（構造全体はしばしば無限次元である）。ダヴィット・ヒルベルト (David Hilbert) とアンリ・ポアンカレ (Henri Poincaré) にちなんで名づけられている。ヒルベルト–ポワンカレ級数は、一つのパラメータ（テンプレート:Mvar とする）の形式的冪級数であり、テンプレート:Mvar の係数が テンプレート:Mvar 次斉次元全体のなす部分構造の次元（あるいは階数）で与えられる。ヒルベルト–ポワンカレ級数は、ヒルベルト多項式が存在するときこれと密接に関係する。しかしながら、ヒルベルト–ポワンカレ級数はすべての次数において階数を記述する一方、ヒルベルト多項式は有限個を除くすべての次数でしか記述せず、したがって与えてくれる情報が少ない。とくに、ヒルベルト–ポワンカレ級数は、ヒルベルト多項式が存在するときでさえ後者から導くことができない。良い場合には、ヒルベルト–ポワンカレ級数は変数 テンプレート:Mvar の有理関数として表せる。

定義

テンプレート:Mvar を体とし、テンプレート:Math を テンプレート:Mathbf で[[次数付きベクトル空間|次数付けられたテンプレート:Mvar 上のベクトル空間]]とし、次数 テンプレート:Mvar のベクトルからなる各部分空間 テンプレート:Mvar は有限次元であるとする。このとき テンプレート:Mvar のヒルベルト–ポワンカレ級数は、形式的冪級数

$\sum _{i\in 𝐍}{\dim }_K(V_i)t^i$

である。同様に、任意の可換環 テンプレート:Mvar 上の テンプレート:Mathbf で次数付けられた加群であって、各次数 テンプレート:Mvar の斉次元からなる各部分加群が有限階数の自由加群であるものに対して定義することができる。つまり、次元を階数で置き換えるだけで十分である。ヒルベルト–ポワンカレ級数を考えている次数付きベクトル空間や加群は、しばしば付加的な構造、たとえば環の構造、をもっているが、ヒルベルト–ポワンカレ級数は乗法や他の構造とは独立である。

例： 変数が テンプレート:Math の テンプレート:Mvar 次単項式は（例えば帰納法で）$(\genfrac{}{}{0ex}{}{n+k}{n})$ 個あるので、負の二項係数からテンプレート:Math のヒルベルト–ポワンカレ級数は テンプレート:Math であることが直ちに従う。

ヒルベルト–セールの定理

テンプレート:Mvar をアルティン環（例えば体）として、テンプレート:Mvar を テンプレート:Math 上の有限生成次数付き加群で、 テンプレート:Math とする。このとき テンプレート:Mvar のポワンカレ級数は、テンプレート:Math で割られる整係数の多項式である。今日の標準的な証明は、テンプレート:Mvar に関する帰納法である。ヒルベルトのもともとの証明はテンプレート:仮リンク（テンプレート:Mvar の射影分解）を利用しており、これはよりホモロジー的な情報を与える。

テンプレート:Mvar についての帰納法による証明を与える。テンプレート:Math のとき、テンプレート:Mvar は長さ有限だから、テンプレート:Mvar が十分大きければ テンプレート:Math である。次に、定理は テンプレート:Math に対して正しいとし、テンプレート:Math と書いて、次数付き加群の完全列（次数ごとに完全）

$0\to K(-d_n)\to M(-d_n)\stackrel{x_n}{\to }M\to C\to 0$

を考える。長さは加法的だから、ポワンカレ級数もまた加法的である。したがって

$P(M,t)=-P(K(-d_n),t)+P(M(-d_n),t)-P(C,t)$

が成り立つ。$P(M(-d_n),t)=t^{d_n}P(M,t)$ と書くことができる。テンプレート:Mvar は テンプレート:Mvar によって殺されるから、それを テンプレート:Math 上の次数付き加群と見ることができる。同じことは テンプレート:Mvar に対しても正しい。よって定理が帰納法の仮定から従う。

チェイン複体

次数付きベクトル空間の例はベクトル空間のチェイン複体あるいはコチェイン複体 テンプレート:Mvar と関連がある。後者は

$0\to C^0\stackrel{d_0}{⟶}{C}^1\stackrel{d_1}{⟶}{C}^2\stackrel{d_2}{⟶}\cdots \stackrel{d_{n-1}}{⟶}{C}^n\to 0$

の形をとる。この複体に対する次数付きベクトル空間 テンプレート:Math のヒルベルト–ポワンカレ級数（しばしばポワンカレ多項式と呼ばれる）は

$P_C(t)=\sum _{j=0}^n\dim (C^j)t^j$

である。コホモロジーのヒルベルト–ポワンカレ多項式は、コホモロジー空間を テンプレート:Math として、

$P_H(t)=\sum _{j=0}^n\dim (H^j)t^j$

である。この2つの間の有名な関係は、非負係数の多項式 テンプレート:Math が存在して、テンプレート:Math となるということである。