Two classes of algebras with infinite Hochschild homology
We prove without any assumption on the ground field that higher Hochschild homology groups do not vanish for two large classes of algebras whose global dimension in not finite.
math.KT↗
arXiv subjects
Micheline Vigué-Poirrier
Publications and source records attributed to Micheline Vigué-Poirrier.
Formality of function spaces
Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We assume that $X$ is formal and there exists $p$ odd such that $H^p(X,\mathbb Q) \ne 0$. We prove that if the space $\mathcal F(X,Y)$ of continuous maps from $X$ to $Y$ is formal, then $Y$ has the rational homotopy type of a product of Eilenberg Mac Lane spaces. At the opposite, we exhibit an example of a formal space $\mathcal F(S^2,Y)$ where $Y$ is not rationally equivalent to a product of Eilenberg Mac Lane spaces.
math.AT↗
Loop homology algebra of a closed manifold
The loop homology of a closed orientable manifold $M$ of dimension $d$ is the ordinary homology of the free loop space $M^{S^1}$ with degrees shifted by $d$, i.e. $\mathbb H_*(M^{S^1}) = H_{*+d}(M^{S^1})$. Chas and Sullivan have defined a loop product on $\mathbb H_*(M^{S^1})$ and an intersection morphism $I : \mathbb H_*(M^{S^1}) \to H_*(ΩM)$. The algebra $\mathbb H_*(M^{S^1})$ is commutative and $I$ is a morphism of algebras. In this paper we produce a model that computes the algebra $\mathbb H_*(M^{S^1})$ and the morphism $I$. We show that the kernel of $I$ is nilpotent and that the image is contained in the center of $H_*(ΩM)$, which is in general quite small.
math.AT↗