BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Gwenael Massuyeau

Gwenael Massuyeau contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.ATmath.QAmath.GRmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2018arXiv

Morita's trace maps on the group of homology cobordisms

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 mapping 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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 mapping 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 mapping class group action.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Fox pairings and generalized Dehn twists

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

From mapping class groups to monoids of homology cobordisms: a survey

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 mapping class group of S embeds by the mapping 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 mapping class group. We are mainly interested in the cases where the boundary of S is empty or connected.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quasi-Poisson structures on representation spaces of surfaces

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,*).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Canonical extensions of Morita homomorphisms to the Ptolemy groupoid

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Symplectic Jacobi diagrams and the Lie algebra of homology cylinders

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 mapping 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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

A functorial LMO invariant for Lagrangian cobordisms

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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access