自由ループ空間の有理(実)係数コホモロジー環の代数構造について

自由环空间中有理（实）系数上同调环的代数结构

• 批准号: 06740087
• 负责人: 栗林 勝彦
• 金额: $ 0.58万
• 依托单位: Gunma National College of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06740087/
• 关键词: 自由ループ空間; コホモロジー; ホッホシルトホモロジー

1次元球面S^1から単連結空間Xへの連続写像全体からなる空間をΛXとする.本研究の目的の1つは、Xのコホモロジー環がGCI-代数であるとき、ΛXの有理係数コホモロジー環H^*(ΛX;Q)の代数構造を決定することであった.(ただし、ここでいうGCI-代数とはQ[x_1,.,x_n]/(p_1,.,p_n)という形の環でp_iがQ[x_1,.,x_n]/(p_1,.,p_<i-1>)の零因子であるものをいう.)H^*(ΛX;Q)に収束するEilenberg-Mooreスペクトル系列のE_2-項を決定する際に利用されるH^*(X;Q)のKoszul複体とSullivanの極小モデルとを比較することによりH^*(ΛX;Q)の代数構造を決定するための“うまい"チェイン複体を構成することができた.結局それはGCI-代数ΓのHochschildホモロジー環を計算するためのチェイン複体にもなり、H^*(ΛX;Q)の計算は全く代数的なHochschildホモロジーHH_*(Γ)の計算に移行する.結果としてp_i≠p_j(i≠j)という仮定の下H^*(ΛX;Q)(【similar or equal】HH_*(Γ))の代数構造を完全に決定することができた.簡単にいえば、Γ^^〜=Γ【cross product】Λ(x^-_1,..,x^-_n)とするときHH_*(Γ)はΣ^n_<i=1>(∂ρk)/(∂x_i)x^^-_i.という元のΓ^^〜における零化idealを用いて表示できることになる.第2の目的は、写像φ_n:LM→LM;φ_n(γ)(e^<iθ>)=γ(e^<inθ>)により誘導されるコホモロジー間の巾写像φ^*_nを考えるとき、この写像の固有ベクトル空間への分解(HH_*(Γ)のホッジ分解)における各因子の次元を調べることであった.これに関しては、HH_*(Γ)の計算に用いたチェイン複体とSullivanの極小モデルとの対比を明らかにすることにより、ホッジ分解HH_*(Γ)=【symmetry】p【greater than or equal】0HH^<(p)>_*においてHH^<(p)>_i≠0となるiのうちで最大である値j(p)を決定することができている.またdimHH^<(p)>_<j(p)>=1という結果も得ている.さらに上の結果をまとめたプレプリントでは、ΛXのmod pコホモロジー環はpがH^i(X;Z/P)≠0となるiの最大値より大きいならば有理係数の場合と同様に決定できることも示している.

1-dimensional sphere S^1 The purpose of this study is to determine the algebraic structure of a ring H^*(Δ X;Q) with rational coefficients. (, GCI-algebra Q[x_1,., x_n]/(p_1,., p_n) p_i Q[x_1,., x_n]/(p_1,., p_<i-1>) and zero divisor.) H^*(X;Q) is used to determine the E_2-term of the Eilenberg-Moore series of H^*(X;Q) in order to determine the algebraic structure of H ^*(X;Q). The result is that the calculation of Hochschild loop of GCI-algebra is the transition of calculation of Hochschild loop of GCI-algebra, H^*(Δ X;Q) is the transition of calculation of Hochschild loop of GCI-algebra, HH_*(Gamma) is the transition of calculation of Hochschild loop of GCI-algebra. The algebraic construction of H^*(Δ X;Q)([similar or equal] HH_*(τ)) is completely determined. In a simple sentence,, Gamma ^^~= Gamma [cross product] Λ(x^-_1,.., x^-_n) HH_*($&gt;) Σ^n_&lt;i=1&gt;(ρk)/(x_i)x^^-_i. The second objective is to write an image φ_n:LM→LM;φ_n(γ)(e ^&lt;iθ&gt;)=γ(e^&lt;inθ&gt;). HH_*($&gt;)=[symmetry] p [greater than or equal] 0HH^&lt;(p)&gt;_* HH ^&lt;(p)&gt;_i≠0 i j(p)=[symmetry] p [greater than or equal] DimHH^&lt;(p)&gt;_&lt;j(p)&gt;=1 The result of the above is that the mod p of X is equal to H^i(X;Z/P)≠0 and the maximum value of i is equal to the rational coefficient.