Showing 1–17 of 17 results for author: Menichi, L

The bv algebra in string topology of classifying spaces

Authors: Katsuhiko Kuribayashi, Luc Menichi

Abstract: For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over… ▽ More For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over $\mathbb{F}\_2$, such isomorphism of Batalin-Vilkovisky algebrasdoes not hold when $G=SO(3)$ or $G=G\_2$. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Rational homotopy -- Sullivan models

Authors: Luc Menichi

Abstract: This chapter is a short introduction to Sullivan models. In particular, we find the Sullivan model of a free loop space and use it to prove the Vigué-Poirrier-Sullivan theorem on the Betti numbers of a free loop space. This chapter is a short introduction to Sullivan models. In particular, we find the Sullivan model of a free loop space and use it to prove the Vigué-Poirrier-Sullivan theorem on the Betti numbers of a free loop space. △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: 27 pages. A chapter in the book "Free loop space in geometry and Topology" to appear in IRMA Lect. Math. Theor. Phys., EMS Publishing House

String Topology, Euler Class and TNCZ free loop fibrations

Authors: Luc Menichi

Abstract: Let $M$ be a connected, closed oriented manifold. Let $ω\in H^m(M)$ be its orientation class. Let $χ(M)$ be its Euler characteristic. Consider the free loop fibration $ΩM\buildrel{i}\over\hookrightarrow LM\buildrel{ev}\over\twoheadrightarrow M$. For any class $a\in H^*(LM)$ of positive degree, we prove that the cup product $χ(M)a\cup ev^*(ω)$ is null. In particular, if… ▽ More Let $M$ be a connected, closed oriented manifold. Let $ω\in H^m(M)$ be its orientation class. Let $χ(M)$ be its Euler characteristic. Consider the free loop fibration $ΩM\buildrel{i}\over\hookrightarrow LM\buildrel{ev}\over\twoheadrightarrow M$. For any class $a\in H^*(LM)$ of positive degree, we prove that the cup product $χ(M)a\cup ev^*(ω)$ is null. In particular, if $i^*:H^*(LM;\mathbb{F}_p)\twoheadrightarrow H^*(ΩM;\mathbb{F}_p)$ is onto then $χ(M)$ is divisible by $p$ (or $M$ is a point). △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: 36 pages

Behavior of the Eilenberg-Moore spectral sequence in derived string topology

Authors: Katsuhiko Kuribayashi, Luc Menichi, Takahito Naito

Abstract: The purpose of this paper is to give applications of the Eilenberg-Moore type spectral sequence converging to the relative loop homology algebra of a Gorenstein space, which is introduced in the previous paper due to the authors. Moreover, it is proved that the spectral sequence is functorial on the category of simply-connected Poincaré duality spaces over a space. The purpose of this paper is to give applications of the Eilenberg-Moore type spectral sequence converging to the relative loop homology algebra of a Gorenstein space, which is introduced in the previous paper due to the authors. Moreover, it is proved that the spectral sequence is functorial on the category of simply-connected Poincaré duality spaces over a space. △ Less

Submitted 25 April, 2013; originally announced April 2013.

Comments: 20 pages, this is one of two preprints divided from "Derived string topology and the Eilenberg-Moore spectral sequence" arXiv:1211.6833 by the same authors, the proof of Theorem 3.2 is revised

Derived string topology and the Eilenberg-Moore spectral sequence

Authors: Katsuhiko Kuribayashi, Luc Menichi, Takahito Naito

Abstract: Let $M$ be any simply-connected Gorenstein space over any field. Félix and Thomas have extended to simply-connected Gorenstein spaces, the loop (co)products of Chas and Sullivan on the homology of the free loop space $H_*(LM)$. We describe these loop (co)products in terms of the torsion and extension functors by developing string topology in appropriate derived categories. As a consequence, we sho… ▽ More Let $M$ be any simply-connected Gorenstein space over any field. Félix and Thomas have extended to simply-connected Gorenstein spaces, the loop (co)products of Chas and Sullivan on the homology of the free loop space $H_*(LM)$. We describe these loop (co)products in terms of the torsion and extension functors by developing string topology in appropriate derived categories. As a consequence, we show that the Eilenberg-Moore spectral sequence converging to the loop homology of a Gorenstein space admits a multiplication and a comultiplication with shifted degree which are compatible with the loop product and the loop coproduct of its target, respectively. We also define a generalized cup product on the Hochschild cohomology $HH^*(A,A^\vee)$ of a commutative Gorenstein algebra $A$ and show that over $\mathbb{Q}$, $HH^*(A_{PL}(M),A_{PL}(M)^\vee)$ is isomorphic as algebras to $H_*(LM)$. Thus, when $M$ is a Poincaré duality space, we recover the isomorphism of algebras $\mathbb{H}_*(LM;\mathbb{Q})^\cong HH^*(A_{PL}(M),A_{PL}(M))$ of Félix and Thomas. △ Less

Submitted 25 April, 2013; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 40 pages, this version is one of two preprints divided from the first version, an appendix on shriek maps is revised

Connes-Moscovici characteristic map is a Lie algebra morphism

Authors: Luc Menichi

Abstract: Let $H$ be a Hopf algebra with a modular pair in involution $(\Character,1)$. Let $A$ be a (module) algebra over $H$ equipped with a non-degenerated $\Character$-invariant $1$-trace $τ$. We show that Connes-Moscovici characteristic map $\varphi_τ:HC^*_{(\Character,1)}(H)\rightarrow HC^*_λ(A)$ is a morphism of graded Lie algebras. We also have a morphism $Φ$ of Batalin-Vilkovisky algebras from the… ▽ More Let $H$ be a Hopf algebra with a modular pair in involution $(\Character,1)$. Let $A$ be a (module) algebra over $H$ equipped with a non-degenerated $\Character$-invariant $1$-trace $τ$. We show that Connes-Moscovici characteristic map $\varphi_τ:HC^*_{(\Character,1)}(H)\rightarrow HC^*_λ(A)$ is a morphism of graded Lie algebras. We also have a morphism $Φ$ of Batalin-Vilkovisky algebras from the cotorsion product of $H$, $\text{Cotor}_H^*({\Bbbk},{\Bbbk})$, to the Hochschild cohomology of $A$, $HH^*(A,A)$. Let $K$ be both a Hopf algebra and a symmetric Frobenius algebra. Suppose that the square of its antipode is an inner automorphism by a group-like element. Then this morphism of Batalin-Vilkovisky algebras $Φ:\text{Cotor}_{K^\vee}^*(\mathbb{F},\mathbb{F})\cong \text{Ext}_{K}(\mathbb{F},\mathbb{F}) \hookrightarrow HH^*(K,K)$ is injective. △ Less

Submitted 17 June, 2010; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: submitted version. Corollary 28 and Section 9 has been added. Section 9 computes the Batalin-Vilkovisky algebra on the rational cotor of an universal envelopping algebra of a lie algebra

A Batalin-Vilkovisky algebra morphism from double loop spaces to free loops

Authors: Luc Menichi

Abstract: Let $M$ be a compact oriented $d$-dimensional smooth manifold and $X$ a topological space. Chas and Sullivan \cite{Chas-Sullivan:stringtop} have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM):=H_{*+d}(LM)$. Getzler \cite{Getzler:BVAlg} has defined a structure of Batalin-Vilkovisky algebra on the homology of the pointed double loop space of $X$, $H_*(Ω^2 X)$. Let $G$ be a to… ▽ More Let $M$ be a compact oriented $d$-dimensional smooth manifold and $X$ a topological space. Chas and Sullivan \cite{Chas-Sullivan:stringtop} have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM):=H_{*+d}(LM)$. Getzler \cite{Getzler:BVAlg} has defined a structure of Batalin-Vilkovisky algebra on the homology of the pointed double loop space of $X$, $H_*(Ω^2 X)$. Let $G$ be a topological monoid with a homotopy inverse. Suppose that $G$ acts on $M$. We define a structure of Batalin-Vilkovisky algebra on $H_*(Ω^2BG)\otimes\mathbb{H}_*(M)$ extending the Batalin-Vilkovisky algebra of Getzler on $H_*(Ω^2BG)$. We prove that the morphism of graded algebras $$H_*(Ω^2BG)\otimes\mathbb{H}_*(M)\to\mathbb{H}_*(LM)$$ defined by Felix and Thomas \cite{Felix-Thomas:monsefls}, is in fact a morphism of Batalin-Vilkovisky algebras. In particular, if $G=M$ is a connected compact Lie group, we compute the Batalin-Vilkovisky algebra $\mathbb{H}_*(LG;\mathbb{Q})$. △ Less

Submitted 17 June, 2010; v1 submitted 13 August, 2009; originally announced August 2009.

Comments: 25 pages. Introduction rewritten. Example 35 has been added as application of Theorem 34. Final version. To appear in Trans. Amer. Math. Soc

MSC Class: 55P35; 55P62

Van Den Bergh isomorphisms in String Topology

Authors: Luc Menichi

Abstract: Let $M$ be a path-connected closed oriented $d$-dimensional smooth manifold and let ${\Bbbk}$ be a principal ideal domain. By Chas and Sullivan, the shifted free loop space homology of $M$, $H_{*+d}(LM)$ is a Batalin-Vilkovisky algebra. Let $G$ be a topological group such that $M$ is a classifying space of $G$. Denote by $S_*(G)$ the (normalized) singular chains on $G$. Suppose that $G$ is discr… ▽ More Let $M$ be a path-connected closed oriented $d$-dimensional smooth manifold and let ${\Bbbk}$ be a principal ideal domain. By Chas and Sullivan, the shifted free loop space homology of $M$, $H_{*+d}(LM)$ is a Batalin-Vilkovisky algebra. Let $G$ be a topological group such that $M$ is a classifying space of $G$. Denote by $S_*(G)$ the (normalized) singular chains on $G$. Suppose that $G$ is discrete or path-connected. We show that there is a Van Den Bergh type isomorphism $$ HH^{-p}(S_*(G),S_*(G))\cong HH_{p+d}(S_*(G),S_*(G)). $$ Therefore, the Gerstenhaber algebra $HH^{*}(S_*(G),S_*(G))$ is a Batalin-Vilkovisky algebra and we have a linear isomorphism $$HH^{*}(S_*(G),S_*(G))\cong H_{*+d}(LM).$$ This linear isomorphism is expected to be an isomorphism of Batalin-Vilkovisky algebras. We also give a new characterization of Batalin-Vilkovisky algebra in term of derived bracket. △ Less

Submitted 10 February, 2010; v1 submitted 13 July, 2009; originally announced July 2009.

Comments: Final version. To appear in J. Noncommut. Geom. A few typos corrected including a sign in the main theorem

String topology of classifying spaces

Authors: David Chataur, Luc Menichi

Abstract: Let $G$ be a finite group or a compact connected Lie group and let $BG$ be its classifying space. Let $\mathcal{L}BG:=map(S^1,BG)$ be the free loop space of $BG$ i.e. the space of continuous maps from the circle $S^1$ to $BG$. The purpose of this paper is to study the singular homology $H_*(\mathcal LBG)$ of this loop space. We prove that when taken with coefficients in a field the homology of… ▽ More Let $G$ be a finite group or a compact connected Lie group and let $BG$ be its classifying space. Let $\mathcal{L}BG:=map(S^1,BG)$ be the free loop space of $BG$ i.e. the space of continuous maps from the circle $S^1$ to $BG$. The purpose of this paper is to study the singular homology $H_*(\mathcal LBG)$ of this loop space. We prove that when taken with coefficients in a field the homology of $\mathcal LBG$ is a homological conformal field theory. As a byproduct of our main theorem, we get a Batalin-Vilkovisky algebra structure on the cohomology $H^*(\mathcal LBG)$. We also prove an algebraic version of this result by showing that the Hochschild cohomology $HH^*(S_* (G),S_*(G))$ of the singular chains of $G$ is a Batalin-Vilkovisky algebra. △ Less

Submitted 1 June, 2009; v1 submitted 30 December, 2007; originally announced January 2008.

Comments: 53 pages. Section 3 on Props and fields theories rewritten. Section 4 expanded in new sections 4, 5, 6 and 7, to fix orientation problems, finite groups case detailed in section 7. Appendix on signs added. The rest of the sections almost unchanged. Some slight improvements on some results. For example, the BV-algebra is valid over any principal ideal domain

MSC Class: 18D50; 55N91; 55P35; 55P48; 55R12; 55R35; 55R40; 57R56; 58D29; 81T40; 81T45

Batalin-Vilkovisky algebra structures on Hochschild Cohomology

Authors: Luc Menichi

Abstract: Let $M$ be any compact simply-connected $d$-dimensional smooth manifold and let $\mathbb{F}$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $HH^*(S^*(M);S^*(M))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjecturated to exist and is expected to be isomorphic to the Batalin-Vilkovisky… ▽ More Let $M$ be any compact simply-connected $d$-dimensional smooth manifold and let $\mathbb{F}$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $HH^*(S^*(M);S^*(M))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjecturated to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}(LM)$ introduced by Chas and Sullivan. We also show that the negative cyclic cohomology $HC^*_-(S^*(M))$ has a Lie bracket. Such Lie bracket is expected to coincide with the Chas-Sullivan string bracket on the equivariant homology $H_*^{S^1}(LM)$. △ Less

Submitted 26 November, 2007; v1 submitted 13 November, 2007; originally announced November 2007.

Comments: minor corrections, essentially typos

Batalin-Vilkovisky algebras and the J-homomorphism

Authors: Gerald Gaudens, Luc Menichi

Abstract: Let X be a topological space. The homology of the iterated loop space $H_*Ω^n X$ is an algebra over the homology of the framed n-disks operad $H_*f\mathcal{D}_n$ \cite{Getzler:BVAlg,Salvatore-Wahl:FrameddoBVa}. We determine completely this $H_*f\mathcal{D}_n$-algebra structure on $H_*(Ω^n X;\mathbb{Q})$. We show that the action of $H_*(SO(n))$ on the iterated loop space $H_*Ω^n X$ is related t… ▽ More Let X be a topological space. The homology of the iterated loop space $H_*Ω^n X$ is an algebra over the homology of the framed n-disks operad $H_*f\mathcal{D}_n$ \cite{Getzler:BVAlg,Salvatore-Wahl:FrameddoBVa}. We determine completely this $H_*f\mathcal{D}_n$-algebra structure on $H_*(Ω^n X;\mathbb{Q})$. We show that the action of $H_*(SO(n))$ on the iterated loop space $H_*Ω^n X$ is related to the J-homomorphism and that the BV-operator vanishes on spherical classes only in characteristic other than 2. △ Less

Submitted 20 July, 2007; originally announced July 2007.

Comments: 12 pages

String topology for spheres

Authors: Luc Menichi, Gerald Gaudens

Abstract: Let $M$ be a compact oriented $d$-dimensional smooth manifold. Chas and Sullivan have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM)$. Extending work of Cohen, Jones and Yan, we compute this Batalin-Vilkovisky algebra structure when $M$ is a sphere $S^d$, $d\geq 1$. In particular, we show that $\mathbb{H}_*(LS^2;\mathbb{F}_2)$ and the Hochschild cohomology… ▽ More Let $M$ be a compact oriented $d$-dimensional smooth manifold. Chas and Sullivan have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM)$. Extending work of Cohen, Jones and Yan, we compute this Batalin-Vilkovisky algebra structure when $M$ is a sphere $S^d$, $d\geq 1$. In particular, we show that $\mathbb{H}_*(LS^2;\mathbb{F}_2)$ and the Hochschild cohomology $HH^{*}(H^*(S^2);H^*(S^2))$ are surprisingly not isomorphic as Batalin-Vilkovisky algebras, although we prove that, as expected, the underlying Gerstenhaber algebras are isomorphic. The proof requires the knowledge of the Batalin-Vilkovisky algebra $H_*(Ω^2 S^3;\mathbb{F}_2)$ that we compute in the Appendix. △ Less

Submitted 13 November, 2007; v1 submitted 11 September, 2006; originally announced September 2006.

Comments: 22 pages. Minor corrections. An appendix by Gerald Gaudens and Luc Menichi has been added. Final version. To appear in Comment. Math. Helv

Batalin-Vilkovisky algebras and cyclic cohomology of Hopf algebras

Authors: Luc Menichi

Abstract: We show that the Connes-Moscovici cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a "cyclic operad with multiplication" is a cocyclic module whose cohomology is a Batalin-Vilkovisky algebra and whose cyclic cohomology is a graded Lie algebra of degree -2. This explain why the Hochschild cohomology algebra of a symmetric a… ▽ More We show that the Connes-Moscovici cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a "cyclic operad with multiplication" is a cocyclic module whose cohomology is a Batalin-Vilkovisky algebra and whose cyclic cohomology is a graded Lie algebra of degree -2. This explain why the Hochschild cohomology algebra of a symmetric algebra is a Batalin-Vilkovisky algebra. △ Less

Submitted 17 November, 2003; originally announced November 2003.

Comments: 19 pages

MSC Class: 16W30; 19D55; 16E40; 18D50

Duality in Gerstenhaber algebras

Authors: Yves Félix, Luc Menichi, Jean-Claude Thomas

Abstract: Let $C$ be a differential graded coalgebra, $ \barΩC$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\barΩC ; \barΩC)$. This result permits to describe a Hodge decomposition of the loop space homolog… ▽ More Let $C$ be a differential graded coalgebra, $ \barΩC$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\barΩC ; \barΩC)$. This result permits to describe a Hodge decomposition of the loop space homology of a closed oriented manifold, in the sense of Chas-Sullivan, when the field of coefficients is of characteristic zero. △ Less

Submitted 14 November, 2002; originally announced November 2002.

Comments: 21 Pages

MSC Class: 16E40; 17A30; 17B55; 81T30; 55P35

On the cohomology algebra of a fiber

Authors: Luc Menichi

Abstract: Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf algebras up to homotopy, J. Amer. Math. Soc. 2 (1989) 417--453] proved that if X is a finite r-connected CW-complex of dimension < rp+1 then the algebra of singul… ▽ More Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf algebras up to homotopy, J. Amer. Math. Soc. 2 (1989) 417--453] proved that if X is a finite r-connected CW-complex of dimension < rp+1 then the algebra of singular cochains C^*(X;F_p) can be replaced by a commutative differential graded algebra A(X) with the same cohomology. Therefore if we suppose that f:E-->B is an inclusion of finite r-connected CW-complexes of dimension < rp+1, we obtain an isomorphism of vector spaces between the algebra H^*(F;F_p) and Tor^{A(B)}(A(E),F_p) which has also a natural structure of algebra. Extending the rational case proved by Grivel-Thomas-Halperin [PP Grivel, Formes differentielles et suites spectrales, Ann. Inst. Fourier 29 (1979) 17--37] and [S Halperin, Lectures on minimal models, Soc. Math. France 9-10 (1983)] we prove that this isomorphism is in fact an isomorphism of algebras. In particular, $H^*(F;F_p) is a divided powers algebra and p-th powers vanish in the reduced cohomology \mathaccent "707E {H}^*(F;F_p). △ Less

Submitted 15 January, 2002; originally announced January 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-36.abs.html

MSC Class: 55R20; 55P62; 18G15; 57T30; 57T05

Journal ref: Algebr. Geom. Topol. 1 (2001) 719-742

P-th powers in mod p cohomology of fibers

Authors: Luc Menichi

Abstract: Let $F\hookrightarrow E\twoheadrightarrow B$ be a fibration whose base space $B$ is a finite simply-connected CW-complex of dimension $\leq p$ and whose total space $E$ is a path-connected CW-complex of dimension $\leq p-1$. If $α\in H^{+}(F;\mathbb{F}_p)$ then $α^{p}=0$. Let $F\hookrightarrow E\twoheadrightarrow B$ be a fibration whose base space $B$ is a finite simply-connected CW-complex of dimension $\leq p$ and whose total space $E$ is a path-connected CW-complex of dimension $\leq p-1$. If $α\in H^{+}(F;\mathbb{F}_p)$ then $α^{p}=0$. △ Less

Submitted 26 January, 2001; originally announced January 2001.

Comments: 5 pages

MSC Class: 57T35; 55T20; 55R20

The cohomology ring of free loop spaces

Authors: Luc Menichi

Abstract: Let X be a simply connected space and k a commutative ring. Goodwillie, Burghelea and Fiedorowiscz proved that the Hochschild cohomology of the singular chains on the pointed loop space HH^{*}S_*(ΩX) is isomorphic to the free loop space cohomology H^{*}(X^{S^{1}}). We proved that this isomorphism is compatible with both the cup product on HH^{*}S_*(ΩX) and on H^{*}(X^{S^{1}}). In particular, we… ▽ More Let X be a simply connected space and k a commutative ring. Goodwillie, Burghelea and Fiedorowiscz proved that the Hochschild cohomology of the singular chains on the pointed loop space HH^{*}S_*(ΩX) is isomorphic to the free loop space cohomology H^{*}(X^{S^{1}}). We proved that this isomorphism is compatible with both the cup product on HH^{*}S_*(ΩX) and on H^{*}(X^{S^{1}}). In particular, we explicit the algebra H^{*}(X^{S^{1}}) when X is a suspended space, a complex projective space or a finite CW-complex of dimension p such that \frac {1}{(p-1)!}\in k. △ Less

Submitted 18 September, 2000; originally announced September 2000.

Comments: 39 pages

Report number: Prepublications 103 Universite d'Angers MSC Class: 55P35 (primary); 16E40 (secondary)