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








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



定義


K を体とし、V = ⊕i ∈ NVi を N で次数付けられたK 上のベクトル空間とし、次数 n のベクトルからなる各部分空間 Vi は有限次元であるとする。このとき V のヒルベルト–ポワンカレ級数は、形式的冪級数


∑i∈NdimK⁡(Vi)ti{displaystyle sum _{iin mathbf {N} }dim _{K}(V_{i}),t^{i}}{displaystyle sum _{iin mathbf {N} }dim _{K}(V_{i}),t^{i}}

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


例： 変数が X0, ..., Xn の k 次単項式は（例えば帰納法で）(n+kn){displaystyle {binom {n+k}{n}}}{binom {n+k}{n}} 個あるので、負の二項係数からK[X0, X1, …, Xn] のヒルベルト–ポワンカレ級数は (1 − t)− n − 1 であることが直ちに従う。



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


A をアルティン環（例えば体）として、M を A[x0, ..., xn] 上の有限生成次数付き加群で、 deg xi = di とする。このとき M のポワンカレ級数は、Πi (1 − tdi) で割られる整係数の多項式である。今日の標準的な証明は、n に関する帰納法である。ヒルベルトのもともとの証明はヒルベルトの syzygy 定理（英語版）（M の射影分解）を利用しており、これはよりホモロジー的な情報を与える。


n についての帰納法による証明を与える。n = 0 のとき、M は長さ有限だから、k が十分大きければ Mk = 0 である。次に、定理は n − 1 に対して正しいとし、N(l)k = Nk + l と書いて、次数付き加群の完全列（次数ごとに完全）


0→K(−dn)→M(−dn)→xnM→C→0{displaystyle 0to K(-d_{n})to M(-d_{n}){overset {x_{n}}{to }}Mto Cto 0}0to K(-d_{n})to M(-d_{n}){overset {x_{n}}to }Mto Cto 0

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


P(M,t)=−P(K(−dn),t)+P(M(−dn),t)−P(C,t){displaystyle P(M,t)=-P(K(-d_{n}),t)+P(M(-d_{n}),t)-P(C,t)}P(M,t)=-P(K(-d_{n}),t)+P(M(-d_{n}),t)-P(C,t)

が成り立つ。P(M(−dn),t)=tdnP(M,t){displaystyle P(M(-d_{n}),t)=t^{d_{n}}P(M,t)}P(M(-d_{n}),t)=t^{{d_{n}}}P(M,t) と書くことができる。K は xn によって殺されるから、それを A[x0, ..., xn − 1] 上の次数付き加群と見ることができる。同じことは C に対しても正しい。よって定理が帰納法の仮定から従う。



チェイン複体


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


0→C0⟶d0C1⟶d1C2⟶d2⋯⟶dn−1Cn→0{displaystyle 0to C^{0}{stackrel {d_{0}}{longrightarrow }}C^{1}{stackrel {d_{1}}{longrightarrow }}C^{2}{stackrel {d_{2}}{longrightarrow }}cdots {stackrel {d_{n-1}}{longrightarrow }}C^{n}to 0}{displaystyle 0to C^{0}{stackrel {d_{0}}{longrightarrow }}C^{1}{stackrel {d_{1}}{longrightarrow }}C^{2}{stackrel {d_{2}}{longrightarrow }}cdots {stackrel {d_{n-1}}{longrightarrow }}C^{n}to 0}

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


PC(t)=∑j=0ndim⁡(Cj)tj{displaystyle P_{C}(t)=sum _{j=0}^{n}dim(C^{j}),t^{j}}{displaystyle P_{C}(t)=sum _{j=0}^{n}dim(C^{j}),t^{j}}

である。コホモロジーのヒルベルト–ポワンカレ多項式は、コホモロジー空間を Hj = Hj(C) として、


PH(t)=∑j=0ndim⁡(Hj)tj{displaystyle P_{H}(t)=sum _{j=0}^{n}dim(H^{j}),t^{j}}{displaystyle P_{H}(t)=sum _{j=0}^{n}dim(H^{j}),t^{j}}

である。この2つの間の有名な関係は、非負係数の多項式 Q(t) が存在して、PC(t) − PH(t) = (1 + t)Q(t) となるということである。







Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more