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

数学、とくに代数学の分野において、ヒルベルト–ポワンカレ級数 (Hilbert–Poincaré series)（と呼ばれることもある）は、次数付き代数的構造の文脈に次元の概念を適応したものである（構造全体はしばしば無限次元である）。ダヴィット・ヒルベルト (David Hilbert) とアンリ・ポアンカレ (Henri Poincaré) にちなんで名づけられている。ヒルベルト–ポワンカレ級数は、一つのパラメータ（ とする）の形式的冪級数であり、 の係数が 次斉次元全体のなす部分構造の次元（あるいは階数）で与えられる。ヒルベルト–ポワンカレ級数は、ヒルベルト多項式が存在するときこれと密接に関係する。しかしながら、ヒルベルト–ポワンカレ級数はすべての次数において階数を記述する一方、ヒルベルト多項式は有限個を除くすべての次数でしか記述せず、したがって与えてくれる情報が少ない。とくに、ヒルベルト–ポワンカレ級数は、ヒルベルト多項式が存在するときでさえ後者から導くことができない。良い場合には、ヒルベルト–ポワンカレ級数は変数 の有理関数として表せる。
定義.
 を体とし、 を で次数付けられた 上のベクトル空間とし、次数 のベクトルからなる各部分空間 は有限次元であるとする。このとき のヒルベルト–ポワンカレ級数は、形式的冪級数
である。同様に、任意の可換環 上の で次数付けられた加群であって、各次数 の斉次元からなる各部分加群が有限階数の自由加群であるものに対して定義することができる。つまり、次元を階数で置き換えるだけで十分である。ヒルベルト–ポワンカレ級数を考えている次数付きベクトル空間や加群は、しばしば付加的な構造、たとえば環の構造、をもっているが、ヒルベルト–ポワンカレ級数は乗法や他の構造とは独立である。
例： 変数が の 次単項式は（例えば帰納法で）formula_2 個あるので、負の二項係数から のヒルベルト–ポワンカレ級数は であることが直ちに従う。
ヒルベルト–セールの定理.
 をアルティン環（例えば体）として、 を 上の有限生成次数付き加群で、 とする。このとき のポワンカレ級数は、 で割られる整係数の多項式である。今日の標準的な証明は、 に関する帰納法である。ヒルベルトのもともとの証明は（ の射影分解）を利用しており、これはよりホモロジー的な情報を与える。
 についての帰納法による証明を与える。 のとき、 は長さ有限だから、 が十分大きければ である。次に、定理は に対して正しいとし、 と書いて、次数付き加群の完全列（次数ごとに完全）
を考える。長さは加法的だから、ポワンカレ級数もまた加法的である。したがって
が成り立つ。formula_5 と書くことができる。 は によって殺されるから、それを 上の次数付き加群と見ることができる。同じことは に対しても正しい。よって定理が帰納法の仮定から従う。
チェイン複体.
次数付きベクトル空間の例はベクトル空間のチェイン複体あるいはコチェイン複体 と関連がある。後者は
の形をとる。この複体に対する次数付きベクトル空間 のヒルベルト–ポワンカレ級数（しばしばポワンカレ多項式と呼ばれる）は
である。コホモロジーのヒルベルト–ポワンカレ多項式は、コホモロジー空間を として、
である。この2つの間の有名な関係は、非負係数の多項式 が存在して、 となるということである。