Showing 1–36 of 36 results for author: Massuyeau, G

On the degree-two part of the associated graded of the lower central series of the Torelli group

Authors: Quentin Faes, Gwenael Massuyeau, Masatoshi Sato

Abstract: We consider the associated graded $\bigoplus_{k\geq 1} Γ_k \mathcal{I} / Γ_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I} = Γ_1 \mathcal{I} \supset Γ_2 \mathcal{I} \supset Γ_3 \mathcal{I} \supset \cdots$ of the Torelli group $\mathcal{I}$ of a compact oriented surface. Its degree-one part is well-understood by D. Johnson's seminal works on the abelianization of the Torelli group. The… ▽ More We consider the associated graded $\bigoplus_{k\geq 1} Γ_k \mathcal{I} / Γ_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I} = Γ_1 \mathcal{I} \supset Γ_2 \mathcal{I} \supset Γ_3 \mathcal{I} \supset \cdots$ of the Torelli group $\mathcal{I}$ of a compact oriented surface. Its degree-one part is well-understood by D. Johnson's seminal works on the abelianization of the Torelli group. The knowledge of the degree-two part $(Γ_2 \mathcal{I} / Γ_3 \mathcal{I})\otimes \mathbb{Q}$ with rational coefficients arises from works of S. Morita on the Casson invariant and R. Hain on the Malcev completion of $\mathcal{I}$. Here, we prove that the abelian group $Γ_2 \mathcal{I} / Γ_3 \mathcal{I}$ is torsion-free, and we describe it as a lattice in a rational vector space. As an application, the group $\mathcal{I}/Γ_3 \mathcal{I}$ is computed, and it is shown to embed in the group of homology cylinders modulo the surgery relation of $Y_3$-equivalence. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 28 pages

The Johnson-Morita theory for the handlebody group

Authors: Kazuo Habiro, Gwenael Massuyeau

Abstract: The Johnson-Morita theory is an algebraic approach to the map** class group of a surface, in which one considers its action on the successive nilpotent quotients of the fundamental group of the surface. In this paper, we develop an analogue of this theory for the handlebody group, i.e. the map** class group of a 3-dimensional handlebody. Thus, we obtain a filtration on the handlebody group, pr… ▽ More The Johnson-Morita theory is an algebraic approach to the map** class group of a surface, in which one considers its action on the successive nilpotent quotients of the fundamental group of the surface. In this paper, we develop an analogue of this theory for the handlebody group, i.e. the map** class group of a 3-dimensional handlebody. Thus, we obtain a filtration on the handlebody group, prove that its associated graded embeds into a Lie algebra of "special derivations", and give an explicit diagrammatic description of this graded Lie algebra in terms of "oriented trees with beads". Our new diagrammatic method reveals part of the richness of the algebraic structure of the handlebody group, which lies mainly in the subgroup generated by Dehn twists along meridians: the so-called "twist group". As an application, we obtain that each term of the associated graded of the lower central series of the twist group is infinitely generated. △ Less

Submitted 24 April, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 64 pages. In this second version, the abstract has been re-written, and some new results for the twist group have been added (Theorem 3.5, Corollary 6.1, Theorem 10.5)

Surgery equivalence relations for 3-manifolds

Authors: Gwenael Massuyeau

Abstract: By classical results of Rochlin, Thom, Wallace and Lickorish, it is well-known that any two 3-manifolds (with diffeomorphic boundaries) are related one to the other by surgery operations. Yet, by restricting the type of the surgeries, one can define several families of non-trivial equivalence relations on the sets of (diffeomorphism classes of) 3-manifolds. In this expository paper, which is based… ▽ More By classical results of Rochlin, Thom, Wallace and Lickorish, it is well-known that any two 3-manifolds (with diffeomorphic boundaries) are related one to the other by surgery operations. Yet, by restricting the type of the surgeries, one can define several families of non-trivial equivalence relations on the sets of (diffeomorphism classes of) 3-manifolds. In this expository paper, which is based on lectures given at the school ``Winter Braids XI'' (Dijon, December 2021), we explain how certain filtrations of map** class groups of surfaces enter into the definitions and the mutual comparison of these surgery equivalence relations. We also survey the ways in which concrete invariants of 3-manifolds (such as finite-type invariants) can be used to characterize such relations. △ Less

Submitted 21 July, 2023; v1 submitted 29 January, 2023; originally announced January 2023.

Comments: 46 pages. Final version, with minor changes with respect to the previous version

Journal ref: Winter Braids Lecture Notes, Tome 8 (2021), Exposé no. 1, 41 pages

On the non-triviality of the torsion subgroup of the abelianized Johnson kernel

Authors: Quentin Faes, Gwenael Massuyeau

Abstract: The Johnson kernel is the subgroup of the map** class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves. The rational abelianization of the Johnson kernel has been computed by Dimca, Hain and Papadima, and a more explicit form was subsequently provided by Morita, Sakasai and Suzuki. Based on these results, Nozaki, Sato and Suzuki used the t… ▽ More The Johnson kernel is the subgroup of the map** class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves. The rational abelianization of the Johnson kernel has been computed by Dimca, Hain and Papadima, and a more explicit form was subsequently provided by Morita, Sakasai and Suzuki. Based on these results, Nozaki, Sato and Suzuki used the theory of finite-type invariants of 3-manifolds to prove that the torsion subgroup of the abelianized Johnson kernel is non-trivial. In this paper, we give a purely 2-dimensional proof of the non-triviality of this torsion subgroup and provide a lower bound for its cardinality. Our main tool is the action of the map** class group on the Malcev Lie algebra of the fundamental group of the surface. Using the same infinitesimal techniques, we also provide an alternative diagrammatic description of the rational abelianized Johnson kernel, and we include in the results the case of an oriented surface with one boundary component. △ Less

Submitted 6 February, 2024; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 31 pages. Some more typos corrected in this final version

MSC Class: 57K20; 20F38; 20F34 (Primary) 20F12; 20F14; 57K16 (Secondary)

A splicing formula for the LMO invariant

Authors: Gwenael Massuyeau, Delphine Moussard

Abstract: We prove a "splicing formula" for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology $3$-spheres, our formula expresses the LMO invariant of $M$ in terms of the Kontsevich-LMO invariant… ▽ More We prove a "splicing formula" for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology $3$-spheres, our formula expresses the LMO invariant of $M$ in terms of the Kontsevich-LMO invariants of $(M_1,K_1)$ and $(M_2,K_2)$. The proof uses the techniques that Bar-Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujita's formula for the Casson-Walker invariant and we observe that the second term of the Ohtsuki series is not additive under "standard" splicing. The splicing formula also works when each $M_i$ comes with a link $L_i$ in addition to the knot $K_i$, hence we get a "satellite formula" for the Kontsevich-LMO invariant. △ Less

Submitted 15 August, 2020; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: 25 pages

MSC Class: 57M27

Journal ref: Canad. J. Math. 73:6 (2021) 1743-1770

Generalized Dehn twists in low-dimensional topology

Authors: Yusuke Kuno, Gwenael Massuyeau, Shunsuke Tsuji

Abstract: The generalized Dehn twist along a closed curve in an oriented surface is an algebraic construction which involves intersections of loops in the surface. It is defined as an automorphism of the Malcev completion of the fundamental group of the surface. As the name suggests, for the case where the curve has no self-intersection, it is induced from the usual Dehn twist along the curve. In this expos… ▽ More The generalized Dehn twist along a closed curve in an oriented surface is an algebraic construction which involves intersections of loops in the surface. It is defined as an automorphism of the Malcev completion of the fundamental group of the surface. As the name suggests, for the case where the curve has no self-intersection, it is induced from the usual Dehn twist along the curve. In this expository article, after explaining their definition, we review several results about generalized Dehn twists such as their realizability as diffeomorphisms of the surface, their diagrammatic description in terms of decorated trees and the Hopf-algebraic framework underlying their construction. Going to the dimension three, we also overview the relation between generalized Dehn twists and $3$-dimensional homology cobordisms, and we survey the variants of generalized Dehn twists for skein algebras of the surface. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Comments: 36 pages

MSC Class: 57M27; 20F34; 20F14

Journal ref: Topology and Geometry: A Collection of Essays Dedicated to Vladimir G. Turaev, 357-398. Ed. A. Papadopoulos, Eur. Math. Soc., Berlin, 2021

Generalized Dehn twists on surfaces and homology cylinders

Authors: Yusuke Kuno, Gwenael Massuyeau

Abstract: Let $Σ$ be a compact oriented surface. The Dehn twist along every simple closed curve $γ\subset Σ$ induces an automorphism of the fundamental group $π$ of $Σ$. There are two possible ways to generalize such automorphisms if the curve $γ$ is allowed to have self-intersections. One way is to consider the `generalized Dehn twist' along $γ$: an automorphism of the Malcev completion of $π$ whose defini… ▽ More Let $Σ$ be a compact oriented surface. The Dehn twist along every simple closed curve $γ\subset Σ$ induces an automorphism of the fundamental group $π$ of $Σ$. There are two possible ways to generalize such automorphisms if the curve $γ$ is allowed to have self-intersections. One way is to consider the `generalized Dehn twist' along $γ$: an automorphism of the Malcev completion of $π$ whose definition involves intersection operations and only depends on the homotopy class $[γ]\in π$ of $γ$. Another way is to choose in the usual cylinder $U:=Σ\times [-1,+1]$ a knot $L$ projecting onto $γ$, to perform a surgery along $L$ so as to get a homology cylinder $U_L$, and let $U_L$ act on every nilpotent quotient $π/Γ_{j} π$ of $π$ (where $Γ_jπ$ denotes the subgroup of $π$ generated by commutators of length $j$). In this paper, assuming that $[γ]$ is in $Γ_k π$ for some $k\geq 2$, we prove that (whatever the choice of $L$ is) the automorphism of $π/Γ_{2k+1} π$ induced by $U_L$ agrees with the generalized Dehn twist along $γ$ and we explicitly compute this automorphism in terms of $[γ]$ modulo ${Γ_{k+2}}π$. As applications, we obtain new formulas for certain evaluations of the Johnson homomorphisms showing, in particular, how to realize any element of their targets by some explicit homology cylinders and/or generalized Dehn twists. △ Less

Submitted 15 June, 2020; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: 45 pages; minor modifications with respect to the first version

MSC Class: 57M27; 57N10; 20F34; 20F28; 20F14; 20F38

Journal ref: Algebr. Geom. Topol. 21 (2021) 697-754

Generalized Johnson homomorphisms for extended N-series

Authors: Kazuo Habiro, Gwenael Massuyeau

Abstract: The Johnson filtration of the map** class group of a compact, oriented surface is the descending series consisting of the kernels of the actions on the nilpotent quotients of the fundamental group of the surface. Each term of the Johnson filtration admits a Johnson homomorphism, whose kernel is the next term in the filtration. In this paper, we consider a general situation where a group acts on… ▽ More The Johnson filtration of the map** class group of a compact, oriented surface is the descending series consisting of the kernels of the actions on the nilpotent quotients of the fundamental group of the surface. Each term of the Johnson filtration admits a Johnson homomorphism, whose kernel is the next term in the filtration. In this paper, we consider a general situation where a group acts on a group with a filtration called an "extended N-series". We develop a theory of Johnson homomorphisms in this general setting, including many known variants of the original Johnson homomorphisms as well as several new variants. △ Less

Submitted 26 September, 2017; v1 submitted 24 July, 2017; originally announced July 2017.

Comments: 41 pages; some references and examples have been added

MSC Class: 20F28; 20F14; 20F34; 20F38; 20F40; 57N05

Journal ref: J. Algebra 510 (2018) 205-258

The Kontsevich integral for bottom tangles in handlebodies

Authors: Kazuo Habiro, Gwenael Massuyeau

Abstract: Using an extension of the Kontsevich integral to tangles in handlebodies similar to a construction given by Andersen, Mattes and Reshetikhin, we construct a functor $Z:\mathcal{B}\to \widehat{\mathbb{A}}$, where $\mathcal{B}$ is the category of bottom tangles in handlebodies and $\widehat{\mathbb{A}}$ is the degree-completion of the category $\mathbb{A}$ of Jacobi diagrams in handlebodies. As a sy… ▽ More Using an extension of the Kontsevich integral to tangles in handlebodies similar to a construction given by Andersen, Mattes and Reshetikhin, we construct a functor $Z:\mathcal{B}\to \widehat{\mathbb{A}}$, where $\mathcal{B}$ is the category of bottom tangles in handlebodies and $\widehat{\mathbb{A}}$ is the degree-completion of the category $\mathbb{A}$ of Jacobi diagrams in handlebodies. As a symmetric monoidal linear category, $\mathbb{A}$ is the linear PROP governing "Casimir Hopf algebras", which are cocommutative Hopf algebras equipped with a primitive invariant symmetric 2-tensor. The functor $Z$ induces a canonical isomorphism $\hbox{gr}\mathcal{B} \cong \mathbb{A}$, where $\hbox{gr}\mathcal{B}$ is the associated graded of the Vassiliev-Goussarov filtration on $\mathcal{B}$. To each Drinfeld associator $\varphi$ we associate a ribbon quasi-Hopf algebra $H_\varphi$ in $\hbox{gr}\mathcal{B}$, and we prove that the braided Hopf algebra resulting from $H_\varphi$ by "transmutation" is precisely the image by $Z$ of a canonical Hopf algebra in the braided category $\mathcal{B}$. Finally, we explain how $Z$ refines the LMO functor, which is a TQFT-like functor extending the Le-Murakami-Ohtsuki invariant. △ Less

Submitted 11 October, 2020; v1 submitted 2 February, 2017; originally announced February 2017.

Comments: 84 pages; only minor changes in this final version

MSC Class: 57M27; 18D10; 19D23; 17B37

Journal ref: Quantum Topol. 12:4 (2021) 593-703

Morita's trace maps on the group of homology cobordisms

Authors: Gwenael Massuyeau, Takuya Sakasai

Abstract: Morita introduced in 2008 a 1-cocycle on the group of homology cobordisms of surfaces with values in an infinite-dimensional vector space. His 1-cocycle contains all the "traces" of Johnson homomorphisms which he introduced fifteen years earlier in his study of the map** class group. In this paper, we propose a new version of Morita's 1-cocycle based on a simple and explicit construction. Our 1-… ▽ More Morita introduced in 2008 a 1-cocycle on the group of homology cobordisms of surfaces with values in an infinite-dimensional vector space. His 1-cocycle contains all the "traces" of Johnson homomorphisms which he introduced fifteen years earlier in his study of the map** class group. In this paper, we propose a new version of Morita's 1-cocycle based on a simple and explicit construction. Our 1-cocycle is proved to satisfy several fundamental properties, including a connection with the Magnus representation and the LMO homomorphism. As an application, we show that the rational abelianization of the group of homology cobordisms is non-trivial. Besides, we apply some of our algebraic methods to compare two natural filtrations on the automorphism group of a finitely-generated free group. △ Less

Submitted 18 September, 2018; v1 submitted 27 June, 2016; originally announced June 2016.

Comments: 35 pages; minor changes

MSC Class: 20F38; 20F14; 20F28; 20F34; 57M05; 57M27; 57N10; 57N70

Journal ref: J. Topol. Anal. 12:3 (2020) 775-818

A functorial extension of the Magnus representation to the category of three-dimensional cobordisms

Authors: Vincent Florens, Gwenael Massuyeau, Juan Serrano de Rodrigo

Abstract: Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of their fundamental group in $G$. Under some mild conditions on $R$, we construct a monoidal functor from $\mathbf{\mathsf{Cob}}_G$ to the category… ▽ More Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of their fundamental group in $G$. Under some mild conditions on $R$, we construct a monoidal functor from $\mathbf{\mathsf{Cob}}_G$ to the category $\mathbf{\mathsf{pLagr}}_R$ consisting of "pointed Lagrangian relations" between skew-Hermitian $R$-modules. We call it the "Magnus functor" since it contains the Magnus representation of map** class groups as a special case. Our construction is inspired from the work of Cimasoni and Turaev on the extension of the Burau representation of braid groups to the category of tangles. It can also be regarded as a $G$-equivariant version of a TQFT-like functor that has been described by Donaldson. The study and computation of the Magnus functor is carried out using classical techniques of low-dimensional topology. When $G$ is a free abelian group and $R = Z[G]$ is the group ring of $G$, we relate the Magnus functor to the "Alexander functor" (which has been introduced in a prior work using Alexander-type invariants), and we deduce a factorization formula for the latter. △ Less

Submitted 24 July, 2017; v1 submitted 23 April, 2016; originally announced April 2016.

Comments: 36 pages; very minor changes

MSC Class: 57M27; 57M10

Journal ref: Fund. Math. 240 (2018) 221-263

Formal descriptions of Turaev's loop operations

Authors: Gwenael Massuyeau

Abstract: Using intersection and self-intersection of loops, Turaev introduced in the seventies two fundamental operations on the algebra $\mathbb{Q}[π]$ of the fundamental group $π$ of a surface with boundary. The first operation is binary and measures the intersection of two oriented based curves on the surface, while the second operation is unary and computes the self-intersection of an oriented based cu… ▽ More Using intersection and self-intersection of loops, Turaev introduced in the seventies two fundamental operations on the algebra $\mathbb{Q}[π]$ of the fundamental group $π$ of a surface with boundary. The first operation is binary and measures the intersection of two oriented based curves on the surface, while the second operation is unary and computes the self-intersection of an oriented based curve. It is already known that Turaev's intersection pairing has an algebraic description when the group algebra $\mathbb{Q}[π]$ is completed with respect to powers of its augmentation ideal and is appropriately identified to the degree-completion of the tensor algebra $T(H)$ of $H:=H_1(π;\mathbb{Q})$. In this paper, we obtain a similar algebraic description for Turaev's self-intersection map in the case of a disk with $p$ punctures. Here we consider the identification between the completions of $\mathbb{Q}[π]$ and $T(H)$ that arises from a Drinfeld associator by embedding $π$ into the pure braid group on $(p+1)$ strands; our algebraic description involves a formal power series which is explicitly determined by the associator. The proof is based on some three-dimensional formulas for Turaev's loop operations, which involve $2$-strand pure braids and are shown for any surface with boundary. △ Less

Submitted 21 August, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 51 pages. Section 8.6 has been expanded; the proof of Lemma A.1 has been corrected/simplified following the suggestion of a referee

MSC Class: 57N05; 57M05; 57M27; 20F36; 17B37

Journal ref: Quantum Topol. 9 (2018) 39-117

Brackets in representation algebras of Hopf algebras

Authors: Gwenael Massuyeau, Vladimir Turaev

Abstract: For any graded bialgebras $A$ and $B$, we define a commutative graded algebra $A_B$ representing the functor of $B$-representations of $A$. When $A$ is a cocommutative graded Hopf algebra and $B$ is a commutative ungraded Hopf algebra, we introduce a method deriving a Gerstenhaber bracket in $A_B$ from a Fox pairing in $A$ and a balanced biderivation in $B$. Our construction is inspired by Van den… ▽ More For any graded bialgebras $A$ and $B$, we define a commutative graded algebra $A_B$ representing the functor of $B$-representations of $A$. When $A$ is a cocommutative graded Hopf algebra and $B$ is a commutative ungraded Hopf algebra, we introduce a method deriving a Gerstenhaber bracket in $A_B$ from a Fox pairing in $A$ and a balanced biderivation in $B$. Our construction is inspired by Van den Bergh's non-commutative Poisson geometry, and may be viewed as an algebraic generalization of the Atiyah--Bott--Goldman Poisson structures on moduli spaces of representations of surface groups. △ Less

Submitted 11 June, 2018; v1 submitted 30 August, 2015; originally announced August 2015.

Comments: 57 pages. Very minor changes in this last version

MSC Class: 17B63; 16T05

Journal ref: J. Noncomm. Geom. 12:2 (2018) 577-636

A functorial extension of the abelian Reidemeister torsions of three-manifolds

Authors: Vincent Florens, Gwenael Massuyeau

Abstract: Let $\mathbb{F}$ be a field and let $G\subset \mathbb{F}\setminus \{0\}$ be a multiplicative subgroup. We consider the category $\mathcal{Cob}_G$ of $3$-dimensional cobordisms equipped with a representation of their fundamental group in $G$, and the category ${Vect}_{\mathbb{F},\pm G}$ of $\mathbb{F}$-linear maps defined up to multiplication by an element of $\pm G$. Using the elementary theory of… ▽ More Let $\mathbb{F}$ be a field and let $G\subset \mathbb{F}\setminus \{0\}$ be a multiplicative subgroup. We consider the category $\mathcal{Cob}_G$ of $3$-dimensional cobordisms equipped with a representation of their fundamental group in $G$, and the category ${Vect}_{\mathbb{F},\pm G}$ of $\mathbb{F}$-linear maps defined up to multiplication by an element of $\pm G$. Using the elementary theory of Reidemeister torsions, we construct a "Reidemeister functor" from $Cob_G$ to ${Vect}_{\mathbb{F},\pm G}$. In particular, when the group $G$ is free abelian and $\mathbb{F}$ is the field of fractions of the group ring $\mathbb{Z}[G]$, we obtain a functorial formulation of an Alexander-type invariant introduced by Lescop for $3$-manifolds with boundary; when $G$ is trivial, the Reidemeister functor specializes to the TQFT developed by Frohman and Nicas to enclose the Alexander polynomial of knots. The study of the Reidemeister functor is carried out for any multiplicative subgroup $G\subset \mathbb{F}\setminus \{0\}$. We obtain a duality result and we show that the resulting projective representation of the monoid of homology cobordisms is equivalent to the Magnus representation combined with the relative Reidemeister torsion. △ Less

Submitted 24 October, 2014; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 36 pages. Some changes in Section 4.1 & Section 5.1, and other minor modifications

MSC Class: 57M27; 57Q10

Journal ref: Enseign. Math. 61:1/2 (2015) 161-210

Splitting formulas for the LMO invariant of rational homology three-spheres

Authors: Gwenael Massuyeau

Abstract: For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some "splitting formulas" which relate the variations of KKT unde… ▽ More For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some "splitting formulas" which relate the variations of KKT under replacement of embedded rational homology handlebodies by others in a "Lagrangian-preserving" way. We show that the LMO invariant satisfies exactly the same relations. The proof is based on the LMO functor, which is a generalization of the LMO invariant to the category of 3-dimensional cobordisms, and we generalize Lescop's splitting formulas to this setting. △ Less

Submitted 16 April, 2014; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: 25 pages. Version 3: a few minor modifications

MSC Class: 57M27

Journal ref: Algebr. Geom. Topol. 14 (2014) 3553-3588

Brackets in the Pontryagin algebras of manifolds

Authors: Gwenael Massuyeau, Vladimir Turaev

Abstract: Given a smooth oriented manifold $M$ with non-empty boundary, we study the Pontryagin algebra $A=H_\ast(Ω)$ where $ Ω$ is the space of loops in $M$ based at a distinguished point of $ \partial M$. Using the ideas of string topology of Chas-Sullivan, we define a linear map $\{\{-,-\}\}: A \otimes A \to A\otimes A$ which is a double bracket in the sense of Van den Bergh satisfying a version of the J… ▽ More Given a smooth oriented manifold $M$ with non-empty boundary, we study the Pontryagin algebra $A=H_\ast(Ω)$ where $ Ω$ is the space of loops in $M$ based at a distinguished point of $ \partial M$. Using the ideas of string topology of Chas-Sullivan, we define a linear map $\{\{-,-\}\}: A \otimes A \to A\otimes A$ which is a double bracket in the sense of Van den Bergh satisfying a version of the Jacobi identity. For $\dim(M)\geq 3$, the double bracket $\{\{-,-\}\}$ induces Gerstenhaber brackets in the representation algebras associated with $A$. This extends our previous work on the case $\dim(M)=2$ where $A= H_0(Ω)$ is the group algebra of the fundamental group $π_1(M)$ and the double bracket $\{\{-,-\}\}$ induces the standard Poisson brackets on the moduli spaces of representations of $π_1(M)$. △ Less

Submitted 19 December, 2017; v1 submitted 23 August, 2013; originally announced August 2013.

Comments: 114 pages. Reorganization of the paper, and some minor modifications in the text

MSC Class: 17B63; 55N33; 55P50; 57R19

Journal ref: Mém. Soc. Math. France 154 (2017)

Quasi-Poisson structures on representation spaces of surfaces

Authors: Gwenael Massuyeau, Vladimir Turaev

Abstract: Given an oriented surface S with base point * on the boundary, we introduce for all N>0, a canonical quasi-Poisson bracket on the space of N-dimensional linear representations of π_1(S,*). Our bracket extends the well-known Poisson bracket on GL_N-invariant functions on this space. Our main tool is a natural structure of a quasi-Poisson double algebra (in the sense of M. Van den Bergh) on the grou… ▽ More Given an oriented surface S with base point * on the boundary, we introduce for all N>0, a canonical quasi-Poisson bracket on the space of N-dimensional linear representations of π_1(S,*). Our bracket extends the well-known Poisson bracket on GL_N-invariant functions on this space. Our main tool is a natural structure of a quasi-Poisson double algebra (in the sense of M. Van den Bergh) on the group algebra of π_1(S,*). △ Less

Submitted 31 August, 2012; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: 43 pages. Minor modifications

MSC Class: 16W25; 17B63; 53D17; 57M05

Journal ref: Int. Math. Res. Not. 2014:1 (2014) 1-64

Fox pairings and generalized Dehn twists

Authors: Gwenael Massuyeau, Vladimir Turaev

Abstract: We introduce a notion of a Fox pairing in a group algebra and use Fox pairings to define automorphisms of the Malcev completions of groups. These automorphisms generalize to the algebraic setting the action of the Dehn twists in the group algebras of the fundamental groups of surfaces. This work is inspired by the Kawazumi-Kuno generalization of the Dehn twists to non-simple closed curves on surfa… ▽ More We introduce a notion of a Fox pairing in a group algebra and use Fox pairings to define automorphisms of the Malcev completions of groups. These automorphisms generalize to the algebraic setting the action of the Dehn twists in the group algebras of the fundamental groups of surfaces. This work is inspired by the Kawazumi-Kuno generalization of the Dehn twists to non-simple closed curves on surfaces. △ Less

Submitted 15 June, 2012; v1 submitted 24 September, 2011; originally announced September 2011.

Comments: 39 pages, 3 figures. One reference added, one lemma added and some minor modifications

MSC Class: 57M05; 57N05; 20F28; 20F34; 20F38

Journal ref: Ann. Inst. Fourier 63:6 (2013) 2403-2456

Equivalence relations for homology cylinders and the core of the Casson invariant

Authors: Gwenael Massuyeau, Jean-Baptiste Meilhan

Abstract: Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the map** cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central ser… ▽ More Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the map** cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central series of the Torelli group of S. The J_k-equivalence relation on IC is defined in a similar way using the k-th term of the Johnson filtration. In this paper, we characterize the Y_3-equivalence with three classical invariants: (1) the action on the third nilpotent quotient of the fundamental group of R, (2) the quadratic part of the relative Alexander polynomial, and (3) a by-product of the Casson invariant. Similarly, we show that the J_3-equivalence is classified by (1) and (2). We also prove that the core of the Casson invariant (originally defined by Morita on the second term of the Johnson filtration of I) has a unique extension (to the corresponding submonoid of IC) that is preserved by Y_3-equivalence and the map** class group action. △ Less

Submitted 29 February, 2012; v1 submitted 14 April, 2011; originally announced April 2011.

Comments: 63 pages. One reference added and some minor modifications in this final version

MSC Class: 57M27; 57N10; 20F38

Journal ref: Trans. Amer. Math. Soc. 365:10 (2013) 5431-5502

Canonical extensions of Morita homomorphisms to the Ptolemy groupoid

Authors: Gwenael Massuyeau

Abstract: Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free abelian groups. The constructions are based on the 3-dimensional interpretation of the Ptolemy groupoid, and a chain map introduced by Suslin and Wodzicki to relate t… ▽ More Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free abelian groups. The constructions are based on the 3-dimensional interpretation of the Ptolemy groupoid, and a chain map introduced by Suslin and Wodzicki to relate the homology of a nilpotent group to the homology of its Malcev Lie algebra. △ Less

Submitted 27 June, 2011; v1 submitted 4 June, 2010; originally announced June 2010.

Comments: 30 pages. Minor modifications in this third version

MSC Class: 57N05; 57N10; 20F34; 20F38; 20F40; 20J06; 20L05

Journal ref: Geom. Dedicata 158:1 (2012) 365-395

An introduction to the abelian Reidemeister torsion of three-dimensional manifolds

Authors: Gwenael Massuyeau

Abstract: These notes accompany some lectures given at the autumn school "Tresses in Pau" in October 2009. The abelian Reidemeister torsion for 3-manifolds, and its refinements by Turaev, are introduced. Some applications, including relations between the Reidemeister torsion and other classical invariants, are surveyed. These notes accompany some lectures given at the autumn school "Tresses in Pau" in October 2009. The abelian Reidemeister torsion for 3-manifolds, and its refinements by Turaev, are introduced. Some applications, including relations between the Reidemeister torsion and other classical invariants, are surveyed. △ Less

Submitted 12 October, 2010; v1 submitted 12 March, 2010; originally announced March 2010.

Comments: 53 pages. Notes of a small course given at the autumn school "Tresses in Pau" (October 2009). Minor modifications in this second version

MSC Class: 57M27; 57N10; 57M05; 57M10

Journal ref: Ann. Math. Blaise Pascal 18:1 (2011) 61-140

From map** class groups to monoids of homology cobordisms: a survey

Authors: Kazuo Habiro, Gwenael Massuyeau

Abstract: Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form a monoid, into which the map** class group of S embeds by the map** cylinder construction. In this paper, we survey recent works on the structure of the mon… ▽ More Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form a monoid, into which the map** class group of S embeds by the map** cylinder construction. In this paper, we survey recent works on the structure of the monoid of homology cobordisms, and we outline their relations with the study of the map** class group. We are mainly interested in the cases where the boundary of S is empty or connected. △ Less

Submitted 8 February, 2012; v1 submitted 12 March, 2010; originally announced March 2010.

Comments: 54 pages. Minor modifications. To appear in the "Handbook of Teichmüller theory, volume III" (editor: A. Papadopoulos)

MSC Class: 57M27; 57N10; 57N70; 57R56; 20F14; 20F34; 20F38; 20F40

Journal ref: IRMA Lect. Math. Theor. Phys., 17 (2012) 465-529

Infinitesimal Morita homomorphisms and the tree-level of the LMO invariant

Authors: Gwenael Massuyeau

Abstract: Let S be a compact connected oriented surface with one boundary component, and let P be the fundamental group of S. The Johnson filtration is a decreasing sequence of subgroups of the Torelli group of S, whose k-th term consists of the self-homeomorphisms of S that act trivially at the level of the k-th nilpotent quotient of P. Morita defined a homomorphism from the k-th term of the Johnson filtra… ▽ More Let S be a compact connected oriented surface with one boundary component, and let P be the fundamental group of S. The Johnson filtration is a decreasing sequence of subgroups of the Torelli group of S, whose k-th term consists of the self-homeomorphisms of S that act trivially at the level of the k-th nilpotent quotient of P. Morita defined a homomorphism from the k-th term of the Johnson filtration to the third homology group of the k-th nilpotent quotient of P. In this paper, we replace groups by their Malcev Lie algebras and we study the "infinitesimal" version of the k-th Morita homomorphism, which is shown to correspond to the original version by a canonical isomorphism. We provide a diagrammatic description of the k-th infinitesimal Morita homomorphism and, given an expansion of the free group P that is "symplectic" in some sense, we show how to compute it from Kawazumi's "total Johnson map". Besides, we give a topological interpretation of the full tree-reduction of the LMO homomorphism, which is a diagrammatic representation of the Torelli group derived from the Le-Murakami-Ohtsuki invariant of 3-manifolds. More precisely, a symplectic expansion of P is constructed from the LMO invariant, and it is shown that the tree-level of the LMO homomorphism is equivalent to the total Johnson map induced by this specific expansion. It follows that the k-th infinitesimal Morita homomorphism coincides with the degree [k,2k[ part of the tree-reduction of the LMO homomorphism. Our results also apply to the monoid of homology cylinders over S. △ Less

Submitted 13 December, 2011; v1 submitted 26 September, 2008; originally announced September 2008.

Comments: 46 pages, some figures. Minor modifications in this fourth version

MSC Class: 57M27; 57R19; 57R50; 20F28; 20F38; 20F40

Journal ref: Bull. Soc. Math. France 140:1 (2012), 101-161

Symplectic Jacobi diagrams and the Lie algebra of homology cylinders

Authors: Kazuo Habiro, Gwenael Massuyeau

Abstract: Let S be a compact connected oriented surface, whose boundary is connected or empty. A homology cylinder over the surface S is a cobordism between S and itself, homologically equivalent to the cylinder over S. The Y-filtration on the monoid of homology cylinders over S is defined by clasper surgery. Using a functorial extension of the Le-Murakami-Ohtsuki invariant, we show that the graded Lie al… ▽ More Let S be a compact connected oriented surface, whose boundary is connected or empty. A homology cylinder over the surface S is a cobordism between S and itself, homologically equivalent to the cylinder over S. The Y-filtration on the monoid of homology cylinders over S is defined by clasper surgery. Using a functorial extension of the Le-Murakami-Ohtsuki invariant, we show that the graded Lie algebra associated to the Y-filtration is isomorphic to the Lie algebra of ``symplectic Jacobi diagrams.'' This Lie algebra consists of the primitive elements of a certain Hopf algebra whose multiplication is a diagrammatic analogue of the Moyal-Weyl product. The map** cylinder construction embeds the Torelli group into the monoid of homology cylinders, sending the lower central series to the Y-filtration. We give a combinatorial description of the graded Lie algebra map induced by this embedding, by connecting Hain's infinitesimal presentation of the Torelli group to the Lie algebra of symplectic Jacobi diagrams. This Lie algebra map is shown to be injective in degree two, and the question of the injectivity in higher degrees is discussed. △ Less

Submitted 6 July, 2009; v1 submitted 1 December, 2007; originally announced December 2007.

Comments: 42 pages, with some figures. Minor changes with respect to the first version

MSC Class: 57M27; 57R50; 20F12; 20F38; 20F40

Journal ref: J. Topology 2:3 (2009) 527-569

Lefschetz fibrations, intersection numbers, and representations of the framed braid group

Authors: Gwenael Massuyeau, Alexandru Oancea, Dietmar A. Salamon

Abstract: We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on… ▽ More We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on $m$ strings on a suitable space of $m\times m$ matrices. This action is determined by a family of cohomologous 1-cocycles ${\mathcal S}_c:\widetilde{\mathcal B}\to GL_m({\mathbb{Z}}[Γ])$ parametrized by distinguished configurations $c$ of embedded paths from the regular value to the critical values. In the case of the disc, we compare this family of cocycles with the Magnus cocycles given by Fox calculus and consider some abelian reductions giving rise to linear representations of braid groups. We also prove that, still in the case of the disc, the intersection numbers along straight lines, which conjecturally make sense in infinite dimensional situations, carry all the relevant information. △ Less

Submitted 5 September, 2013; v1 submitted 15 August, 2007; originally announced August 2007.

Comments: 62 pages, 7 figures; v5: minor modifications with respect to v4

MSC Class: 14D05; 20F36

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie 56(104):4 (2013) 435-486

A functorial LMO invariant for Lagrangian cobordisms

Authors: Dorin Cheptea, Kazuo Habiro, Gwenael Massuyeau

Abstract: Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the category of Lagrangian cobordisms to a certain category of Jacobi diagrams. We prove some properties of this functorial LMO invariant, including its universality… ▽ More Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the category of Lagrangian cobordisms to a certain category of Jacobi diagrams. We prove some properties of this functorial LMO invariant, including its universality among rational finite-type invariants of Lagrangian cobordisms. Finally, we apply the LMO functor to the study of homology cylinders from the point of view of their finite-type invariants. △ Less

Submitted 22 March, 2007; v1 submitted 10 January, 2007; originally announced January 2007.

Comments: 59 pages with many figures. Some minor changes in the writing, and a few precisions added

MSC Class: 57M27; 57M25

Journal ref: Geom. Topol. 12 (2008) 1091-1170

Finite-type invariants of three-manifolds and the dimension subgroup problem

Authors: Gwenael Massuyeau

Abstract: For a certain class of compact oriented 3-manifolds, M. Goussarov and K. Habiro have conjectured that the information carried by finite-type invariants should be characterized in terms of ``cut-and-paste'' operations defined by the lower central series of the Torelli group of a surface. In this paper, we observe that this is a variation of a classical problem in group theory, namely the ``dime… ▽ More For a certain class of compact oriented 3-manifolds, M. Goussarov and K. Habiro have conjectured that the information carried by finite-type invariants should be characterized in terms of ``cut-and-paste'' operations defined by the lower central series of the Torelli group of a surface. In this paper, we observe that this is a variation of a classical problem in group theory, namely the ``dimension subgroup problem.'' This viewpoint allows us to prove, by purely algebraic methods, an analogue of the Goussarov-Habiro conjecture for finite-type invariants with values in a fixed field. We deduce that their original conjecture is true at least in a weaker form. △ Less

Submitted 13 December, 2006; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: 20 pages, 7 figures. Minor changes in this final version

MSC Class: 57M27; 16S34

Journal ref: J. London Math. Soc. 75:3 (2007) 791-811

Some finiteness properties for the Reidemeister-Turaev torsion of three-manifolds

Authors: Gwenael Massuyeau

Abstract: We prove for the Reidemeister-Turaev torsion of closed oriented three-manifolds some finiteness properties in the sense of Goussarov and Habiro, that is, with respect to some cut-and-paste operations which preserve the homology type of the manifolds. In general, those properties require the manifolds to come equipped with an Euler structure and a homological parametrization. We prove for the Reidemeister-Turaev torsion of closed oriented three-manifolds some finiteness properties in the sense of Goussarov and Habiro, that is, with respect to some cut-and-paste operations which preserve the homology type of the manifolds. In general, those properties require the manifolds to come equipped with an Euler structure and a homological parametrization. △ Less

Submitted 4 March, 2009; v1 submitted 11 July, 2005; originally announced July 2005.

Comments: 36 pages, 7 figures. Minor changes in this third and final version

MSC Class: 57M27; 57R15; 57Q10

Journal ref: J. Knot Th. Ramifications 19:3 (2010) 405-447

Problems on invariants of knots and 3-manifolds

Authors: J. E. Andersen, N. Askitas, D. Bar-Natan, S. Baseilhac, R. Benedetti, S. Bigelow, M. Boileau, R. Bott, J. S. Carter, F. Deloup, N. Dunfield, R. Fenn, E. Ferrand, S. Garoufalidis, M. Goussarov, E. Guadagnini, H. Habiro, S. K. Hansen, T. Harikae, A. Haviv, M. -J. Jeong, V. Jones, R. Kashaev, Y. Kawahigashi, T. Kerler , et al. (35 additional authors not shown)

Abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: Edited by T. Ohtsuki. Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper24.abs.html

MSC Class: 20F36; 57M25; 57M27; 57R56; 13B25; 17B10; 17B37; 18D10; 20C08; 20G42; 22E99; 41A60; 46L37; 57M05; 57M50; 57N10; 57Q10; 81T18; 81T45

Journal ref: Geom. Topol. Monogr. 4 (2002) 377-572

Yang-Baxter operators arising from algebra structures and the Alexander polynomial of knots

Authors: Gwenael Massuyeau, Florin F. Nichita

Abstract: In this note, we consider the problem of constructing knot invariants from Yang-Baxter operators associated to (unitary associative) algebra structures. We first compute the enhancements of these operators. Then, we conclude that Turaev's procedure to construct knot invariants, as modified by Murakami, invariably produces from those enhanced Yang-Baxter operators the Alexander polynomial. In this note, we consider the problem of constructing knot invariants from Yang-Baxter operators associated to (unitary associative) algebra structures. We first compute the enhancements of these operators. Then, we conclude that Turaev's procedure to construct knot invariants, as modified by Murakami, invariably produces from those enhanced Yang-Baxter operators the Alexander polynomial. △ Less

Submitted 1 April, 2004; originally announced April 2004.

Comments: 9 pages

Journal ref: Comm. Algebra 33:7 (2005) 2375-2385

Cohomology rings, Rochlin function, linking pairing and the Goussarov--Habiro theory of three--manifolds

Authors: Gwenael Massuyeau

Abstract: We prove that two closed oriented 3-manifolds have isomorphic quintuplets (homology, space of spin structures, linking pairing, cohomology rings, Rochlin function) if, and only if, they belong to the same class of a certain surgery equivalence relation introduced by Goussarov and Habiro. We prove that two closed oriented 3-manifolds have isomorphic quintuplets (homology, space of spin structures, linking pairing, cohomology rings, Rochlin function) if, and only if, they belong to the same class of a certain surgery equivalence relation introduced by Goussarov and Habiro. △ Less

Submitted 18 November, 2003; v1 submitted 31 July, 2003; originally announced July 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-41.abs.html

MSC Class: 57M27; 57R15

Journal ref: Algebr. Geom. Topol. 3 (2003) 1139-1166

Reidemeister-Turaev torsion modulo one of rational homology three-spheres

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In th… ▽ More Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In this paper, using surgery presentations of the manifold M, we prove that those two quadratic functions coincide. Our proof relies on the comparison between two distinct combinatorial descriptions of Spin^c-structures on M Turaev's charges vs Chern vectors. △ Less

Submitted 14 November, 2003; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper22.abs.html

MSC Class: 57M27; 57Q10; 57R15

Journal ref: Geom. Topol. 7 (2003) 773-787

Quadratic functions on torsion groups

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: We investigate classification results for general quadratic functions on torsion abelian groups. Unlike the previously studied situations, general quadratic functions are allowed to be inhomogeneous or degenerate. We study the discriminant construction which assigns, to an integral lattice with a distinguished characteristic form, a quadratic function on a torsion group. When the associated symm… ▽ More We investigate classification results for general quadratic functions on torsion abelian groups. Unlike the previously studied situations, general quadratic functions are allowed to be inhomogeneous or degenerate. We study the discriminant construction which assigns, to an integral lattice with a distinguished characteristic form, a quadratic function on a torsion group. When the associated symmetric bilinear pairing is fixed, we construct an affine embedding of a quotient of the set of characteristic forms into the set of all quadratic functions and determine explicitly its cokernel. We determine a suitable class of torsion groups so that quadratic functions defined on them are classified by the stable class of their lift. This refines results due to A.H. Durfee, V. Nikulin, C.T.C. Wall and E. Looijenga -- J. Wahl. Finally, we show that on this class of torsion groups, two quadratic functions are isomorphic if and only if they have equal associated Gauss sums and there is an isomorphism between the associated symmetric bilinear pairings which preserves the "homogeneity defects". This generalizes a classical result due to V. Nikulin. Our results are elementary in nature and motivated by low-dimensional topology. △ Less

Submitted 15 July, 2004; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: 15 pages; a few minor modifications (improved writing, lengthened abstract)

MSC Class: 15A63; 11E81; 11E39

Journal ref: J. Pure Applied Algebra 198:1-3 (2005) 105-121

Quadratic functions and complex spin structures on three-manifolds

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: We show how the space of complex spin structures of a closed oriented three-manifold embeds naturally into a space of quadratic functions associated to its linking pairing. Besides, we extend the Goussarov-Habiro theory of finite type invariants to the realm of compact oriented three-manifolds equipped with a complex spin structure. Our main result states that two closed oriented three-manifolds… ▽ More We show how the space of complex spin structures of a closed oriented three-manifold embeds naturally into a space of quadratic functions associated to its linking pairing. Besides, we extend the Goussarov-Habiro theory of finite type invariants to the realm of compact oriented three-manifolds equipped with a complex spin structure. Our main result states that two closed oriented three-manifolds endowed with a complex spin structure are undistinguishable by complex spin invariants of degree zero if, and only if, their associated quadratic functions are isomorphic. △ Less

Submitted 15 October, 2004; v1 submitted 22 July, 2002; originally announced July 2002.

Comments: 41 pages with 10 figures; lightened version (some independent parts of the first version have been moved to other preprints, referenced as math.AC/0301040 and math.GT/0301041 on this server); examples and questions added; exposition improved

MSC Class: 57M27; 57R15

Journal ref: Topology 44:3 (2005) 509-555

Characterization of Y_2-equivalence for homology cylinders

Authors: Gwenael Massuyeau, Jean-Baptiste Meilhan

Abstract: For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian group. In this paper, when S has one or zero boundary component, we define a su… ▽ More For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian group. In this paper, when S has one or zero boundary component, we define a surgery map from a certain space of graphs to this group. This map is shown to be an isomorphism, with inverse given by some extensions of the first Johnson homomorphism and Birman-Craggs homomorphisms. △ Less

Submitted 6 January, 2003; v1 submitted 18 March, 2002; originally announced March 2002.

Comments: 29 pages with 8 figures; a few minor improvements

MSC Class: 57N10; 57M27

Journal ref: J. Knot Th. Ramifications 12:4 (2003) 493-522

Spin Borromean surgeries

Authors: Gwenael Massuyeau

Abstract: In 1986, Matveev defined the notion of Borromean surgery for closed oriented 3-manifolds and showed that the equivalence relation generated by this move is characterized by the pair (first betti number, linking form up to isomorphism). We explain how this extends for 3-manifolds with spin structure if we replace the linking form by the quadratic form defined by the spin structure. We then show… ▽ More In 1986, Matveev defined the notion of Borromean surgery for closed oriented 3-manifolds and showed that the equivalence relation generated by this move is characterized by the pair (first betti number, linking form up to isomorphism). We explain how this extends for 3-manifolds with spin structure if we replace the linking form by the quadratic form defined by the spin structure. We then show that the equivalence relation among closed spin 3-manifolds generated by spin Borromean surgeries is characterized by the triple (first betti number, linking form up to isomorphism, Rochlin invariant modulo 8). △ Less

Submitted 6 January, 2003; v1 submitted 5 April, 2001; originally announced April 2001.

Comments: 24 pages with 10 figures; corrected typos in this new version

MSC Class: 57M27; 57R15

Journal ref: Trans. Amer. Math. Soc. 355:10 (2003) 3991-4017