arXiv research

String topology coproduct and Turaev cobracket computed for surfaces.

Reformulates divergence map for Turaev cobracket in non-commutative geometry.

The Turaev cobracket, a loop operation introduced by V. Turaev, which measures self-intersection of a loop on a surface, is a modification of a path operation introduced earlier by Turaev himself, as well as a counterpart of the Goldman bracket. In this survey based on the author's joint works with A. Alekseev, Y. Kuno…

We give a tensorial description of the Turaev cobracket on any genus 0 compact surface through the standard group-like expansion, where the Bernoulli numbers appear.

Goldman and Turaev constructed a Lie bialgebra structure on the free $\mathbb{Z}$-module generated by free homotopy classes of loops on a surface. Turaev conjectured that his cobracket $Δ(α)$ is zero if and only if $α$ is a power of a simple class. Chas constructed examples that show Turaev's conjecture is, unfortunate…

In a previous paper, we defined an operation $μ$ that generalizes Turaev's cobracket for loops on a surface. We showed that, in contrast to the cobracket, this operation gives a formula for the minimum number of self-intersections of a loop in a given free homotopy class. In this paper we consider the corresponding que…

The vector space $\V$ generated by the conjugacy classes in the fundamental group of an orientable surface has a natural Lie cobracket $\mapδ{\V}{\V\times \V}$. For negatively curved surfaces, $δ$ can be computed from a geodesic representative as a sum over transversal self-intersection points. In particular $δ$ is zer…

New method for calculating loop operations on surfaces.

In this paper we show that, after completing in the $I$-adic topology, the Turaev cobracket on the vector space freely generated by the closed geodesics on a smooth, complex algebraic curve $X$ with an algebraic framing is a morphism of mixed Hodge structure. We combine this with results of a previous paper (arXiv:1710…

New combinatorial approach to Goldman-Turaev Lie bialgebra using cyclic word partitions.

Let $S$ be a closed connected oriented surface of genus $g>0$. We study a Poisson subalgebra $W_1(g)$ of $C^{\infty}(\mathrm{Hom}(π_1(S), \mathrm{GL}(1, \mathbb{R}))/\mathrm{GL}(1, \mathbb{R}))$, the smooth functions on the moduli space of flat $\mathrm{GL}(1, \mathbb{R})$-bundles over $S$. There is a surjective Lie al…

Introduces a new triple coproduct for knots on surfaces, preserving local crossing patterns.

We study Poisson symmetric spaces of group type with Cartan subalgebra "adapted" to the Lie cobracket.

Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6)(1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of loops on an orientable surface. Chas (Combinatorial Lie bialgebras of curves on surfaces, Topology 43 (2004) 543), b…

By introducing a refinement of the Goldman-Turaev Lie bialgebra, we interpret the divergence cocycle in the Kashiwara-Vergne problem and the Enomoto-Satoh obstructions for the surjectivity of the Johnson homomorphisms as some part of a regular homotopy version of the Turaev cobracket.

We relate the author's Lie cobracket in the module additively generated by loops on a surface with the Connes-Kreimer Lie bracket in the module additively generated by trees. To this end we introduce a pre-Lie coalgebra and a (commutative) Hopf algebra of pointed loops on a surface. In the last version I added sections…

In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we s…

We analyze a functor from cyclic operads to chain complexes first considered by Getzler and Kapranov and also Markl. This functor is a generalization of the graph homology considered by Kontsevich, which was defined for the three operads Comm, Assoc, and Lie. More specifically we show that these chain complexes have a …

A flat virtual link is a finite collection of oriented closed curves $\mathfrak L$ on an oriented surface $M$ considered up to virtual homotopy, i.e., a composition of elementary stabilizations, destabilizations, and homotopies. Specializing to a pair of curves $(L_1,L_2)$, we show that the minimal number of intersecti…

In this paper we show that, after completion in the I-adic topology, the Goldman bracket on the space spanned by homotopy classes of loops on a smooth, complex algebraic curve is a morphism of mixed Hodge structure. We prove similar statements for the natural action (defined by Kawazumi and Kuno) of the loops in X on p…

We define a (co-)Poisson (co)algebra of curves on a bordered surface. A bordered surface is a surface whose boundary have marked points. Curves on the bordered surface are oriented loops and oriented arcs whose endpoints in the set of marked points. We define a (co-)Poisson (co)bracket on the symmetric algebra of a quo…

In this paper, we describe a surprising link between the theory of the Goldman-Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara-Vergne (KV) problem in Lie theory. Let $Σ$ be an oriented 2-dimensional manifold with non-empty boundary and $\mathbb{K}$ a field of characteristic zero. The Goldman-Turaev Lie…

The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give…

For a compact oriented surface $Σ$ of genus $g$ with $n+1$ boundary components, the space $\mathfrak{g}(Σ)$ spanned by free homotopy classes of loops in $Σ$ carries the structure of a Lie bialgebra equipped with a natural decreasing filtration, whose structure morphisms are called the Goldman bracket and the (framed) T…

Goldman and Turaev found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinator…

Proof of injection from double shuffle to Kashiwara-Vergne Lie algebra.

Functorial approach connects operads to Lie bialgebras.

Given two free homotopy classes $α_1, α_2$ of loops on an oriented surface, it is natural to ask how to compute the minimum number of intersection points $m(α_1, α_2)$ of loops in these two classes. We show that for $α_1\neqα_2$ the number of terms in the Andersen-Mattes-Reshetikhin Poisson bracket of $α_1$ and $α_2$ i…

For an oriented 2-dimensional manifold $Σ$ of genus $g$ with $n$ boundary components the space $\mathbb{C}π_1(Σ)/[\mathbb{C}π_1(Σ), \mathbb{C}π_1(Σ)]$ carries the Goldman-Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded (under the natural filtratio…