A tensorial description of the Turaev cobracket on genus 0 compact surfaces
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.
Discover
Research tools
Network
Opportunities
Account
Source author record
Nariya Kawazumi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
We define a family ${\rm KV}^{(g,n)}$ of Kashiwara-Vergne problems associated with compact connected oriented 2-manifolds of genus $g$ with $n+1$ boundary components. The problem ${\rm KV}^{(0,3)}$ is the classical Kashiwara-Vergne problem from Lie theory. We show the existence of solutions of ${\rm KV}^{(g,n)}$ for arbitrary $g$ and $n$. The key point is the solution of ${\rm KV}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman-Turaev Lie bialgebra $\mathfrak{g}^{(g, n+1)}$. In more detail, we show that every solution of ${\rm KV}^{(g,n)}$ induces a Lie bialgebra isomorphism between $\mathfrak{g}^{(g, n+1)}$ and its associated graded ${\rm gr} \, \mathfrak{g}^{(g, n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. This paper is a summary of our results. Details and proofs will appear elsewhere.
We present a new explicit formula for the $m$-th Bernoulli number $B_m$, which involves two integer parameters $a$ and $n$ with $0\le a\le m\le n$. If we set $a=0$ and $n=m$, then the formula reduces to the celebrated Kronecker formula for $B_m$. We give two proofs of our formula. One is analytic and uses a certain function in two variables. The other is algebraic and is motivated by a topological consideration of self-intersections of curves on an oriented surface.
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 introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.
We remark some basic facts on homological aspects of involutive Lie bialgebras and their involutive bimodules, and present some problems on surface topology related to these facts.
We survey a geometric approach to the Johnson homomorphisms using the Goldman-Turaev Lie bialgebra.
We determine the minimal number of generators of the homological Goldman Lie algebra of a surface consisting of elements of the first homology group of the surface.
We provide some language for algebraic study of the mapping class groups for surfaces with non-connected boundary. As applications, we generalize our previous results on Dehn twists to any compact connected oriented surfaces with non-empty boundary. Moreover we embed the `smallest' Torelli group in the sense of Putman into a pro-nilpotent group coming from the Goldman Lie algebra. The graded quotients of the embedding equal the Johnson homomorphisms of all degrees if the boundary is connected.
Let $Σ_{\infty, 1}$ be the inductive limit of compact oriented surfaces with one boundary component. We prove the center of the Goldman Lie algebra of the surface $Σ_{\infty,1}$ is spanned by the constant loop. A similar statement for a closed oriented surface was conjectured by Chas and Sullivan, and proved by Etingof. Our result is deduced from a computation of the center of the Lie algebra of oriented chord diagrams.
We study a natural Lie algebra structure on the free vector space generated by all rooted planar trees as the associated Lie algebra of the nonsymmetric operad (non-$Σ$ operad, preoperad) of rooted planar trees. We determine whether the Lie algebra and some related Lie algebras are finitely generated or not, and prove that a natural surjection called the augmentation homomorphism onto the Lie algebra of polynomial vector fields on the line has no splitting preserving the units.
By introducing an invariant of loops on a compact oriented surface with one boundary component, we give an explicit formula for the action of Dehn twists on the completed group ring of the fundamental group of the surface. This invariant can be considered as ``the logarithms" of Dehn twists. The formula generalizes the classical formula describing the action on the first homology of the surface, and Morita's explicit computations of the extended first and the second Johnson homomorphisms. For the proof we use a homological interpretation of the Goldman Lie algebra in the framework of Kontsevich's formal symplectic geometry. As an application, we prove the action of the Dehn twist of a simple closed curve on the $k$-th nilpotent quotient of the fundamental group of the surface depends only on the conjugacy class of the curve in the $k$-th quotient.