Showing 1–26 of 26 results for author: Kuno, Y

A note on Penner's cocycle on the fatgraph complex

Authors: Yusuke Kuno, Kae Takezawa

Abstract: We study a 1-cocycle on the fatgraph complex of a punctured surface introduced by Penner. We present an explicit cobounding cochain for this cocycle, whose formula involves a summation over trivalent vertices of a trivalent fatgraph spine. In a similar fashion, we express the symplectic form of the underlying surface of a given fatgraph spine. We study a 1-cocycle on the fatgraph complex of a punctured surface introduced by Penner. We present an explicit cobounding cochain for this cocycle, whose formula involves a summation over trivalent vertices of a trivalent fatgraph spine. In a similar fashion, we express the symplectic form of the underlying surface of a given fatgraph spine. △ Less

Submitted 31 May, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 12 pages, 8 figures

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

The Meyer function on the handlebody group

Authors: Yusuke Kuno, Masatoshi Sato

Abstract: We give an explicit formula for the signature of handlebody bundles over the circle in terms of the homological monodromy. This gives a cobounding function of Meyer's signature cocycle on the map** class group of a $3$-dimensional handlebody, i.e., the handlebody group. As an application, we give a topological interpretation for the generator of the first cohomology group of the hyperelliptic ha… ▽ More We give an explicit formula for the signature of handlebody bundles over the circle in terms of the homological monodromy. This gives a cobounding function of Meyer's signature cocycle on the map** class group of a $3$-dimensional handlebody, i.e., the handlebody group. As an application, we give a topological interpretation for the generator of the first cohomology group of the hyperelliptic handlebody group. △ Less

Submitted 23 September, 2020; v1 submitted 30 March, 2019; originally announced April 2019.

Comments: 14 pages, 1 figure

MSC Class: 20F38; 55R10; 57N13; 57R20

Journal ref: Turkish Journal of Mathematics 44 (2020), 1520-1533

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

Goldman-Turaev formality implies Kashiwara-Vergne

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: Let $Σ$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bialgebra $\mathfrak{g}(Σ)$ and its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$.… ▽ More Let $Σ$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bialgebra $\mathfrak{g}(Σ)$ and its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$. In this paper, we prove the converse: if $F$ induces an isomorphism $\mathfrak{g}(Σ) \cong {\rm gr} \, \mathfrak{g}(Σ)$, then it satisfies the Kashiwara-Vergne equations up to conjugation. As an application of our results, we compute the degree one non-commutative Poisson cohomology of the Kirillov-Kostant-Souriau double bracket. The main technical tool used in the paper is a novel characterization of conjugacy classes in the free Lie algebra in terms of cyclic words. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 26 pages

A comparison of classes in the Johnson cokernels of the map** class groups of surfaces

Authors: Naoya Enomoto, Yusuke Kuno, Takao Satoh

Abstract: In [ES2], the first and the third authors introduced new classes in the Johnson cokernels of the map** class groups of surfaces by a representation theoretic approach based on some previous results for the Johnson cokernels of the automorphism groups of free groups. On the other hand, in [KK1], Kawazumi and the second author introduced another type of classes by a topological consideration of se… ▽ More In [ES2], the first and the third authors introduced new classes in the Johnson cokernels of the map** class groups of surfaces by a representation theoretic approach based on some previous results for the Johnson cokernels of the automorphism groups of free groups. On the other hand, in [KK1], Kawazumi and the second author introduced another type of classes by a topological consideration of self-intersections of curves on a surface. In this paper, we show that the classes found in [KK1] are contained in the classes found in [ES2] in a stable range. Furthermore, we prove that the anti-Morita obstructions $[1^{4m+1}]$ for $m \ge 1$ obtained in [ES2] and a hook-type component $[3,1^5]$ detected in [EE] appear in their gap. △ Less

Submitted 11 January, 2020; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 14 pages

MSC Class: 57N05; 20F34; 32G15; 17B10; 20F28

Journal ref: Topology and its Applications, Vol. 271, 107052 (2020)

The Goldman-Turaev Lie bialgebra and the Kashiwara-Vergne problem in higher genera

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: 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) Turaev cobracket. We address the following Goldman-Turaev (GT) formality proble… ▽ More 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) Turaev cobracket. We address the following Goldman-Turaev (GT) formality problem: construct a Lie bialgebra homomorphism $θ$ from $\mathfrak{g}(Σ)$ to its associated graded ${\rm gr}\, \mathfrak{g}(Σ)$ such that ${\rm gr} \, θ= {\rm id}$. In order to solve it, we define a family of higher genus Kashiwara-Vergne (KV) problems for an element $F\in {\rm Aut}(L)$, where $L$ is a free Lie algebra. In the case of $g=0$ and $n=2$, it is the classical KV problem from Lie theory. For $g>0$, these KV problems are new. We show that an element $F$ induces a GT formality map if and only if it is a solution of the KV problem. A crucial step in solving the higher genus KV problem is to construct solutions for the case of $g=1$ and $n=1$ in terms of certain elliptic associators following Enriquez. By solving the KV problem, we establish the GT formality for every $g$ and $n$, with the exception of some framings for $g=1$ in which case the GT formality actually does not hold. Furthermore, we introduce pro-unipotent groups ${\rm KV}$ and ${\rm KRV}$ which act on the space of solutions of the KV problem freely and transitively. There are injective maps ${\rm GT}_1\to {\rm KV}, {\rm GRT}_1\to {\rm KRV}$ from Grothendieck-Teichmüller groups. As an application, we show that the Johnson obstruction given by the Turaev cobracket coincides with the one given by the Enomoto-Satoh trace. As part of our study, we prove a uniqueness theorem for non-commutative divergence cocycles on the group algebra of a free group which is of independent value. △ Less

Submitted 23 October, 2023; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 155 pages, 16 figures. The major updates from v2 include adding a number of new results and details of all background materials

The Goldman-Turaev Lie bialgebra in genus zero and the Kashiwara-Vergne problem

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: 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 bialgebra is defined by the Goldman bracket $\{ -,- \}$ and Turaev cobracket… ▽ More 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 bialgebra is defined by the Goldman bracket $\{ -,- \}$ and Turaev cobracket $δ$ on the $\mathbb{K}$-span of homotopy classes of free loops on $Σ$. Applying an expansion $θ: \mathbb{K}π\to \mathbb{K}\langle x_1, \dots, x_n \rangle$ yields an algebraic description of the operations $\{ -,- \}$ and $δ$ in terms of non-commutative variables $x_1, \dots, x_n$. If $Σ$ is a surface of genus $g=0$ the lowest degree parts $\{ -,- \}_{-1}$ and $δ_{-1}$ are canonically defined (and independent of $θ$). They define a Lie bialgebra structure on the space of cyclic words which was introduced and studied by T. Schedler. It was conjectured by the second and the third authors that one can define an expansion $θ$ such that $\{ -,- \}=\{ -,- \}_{-1}$ and $δ=δ_{-1}$. The main result of this paper states that for surfaces of genus zero constructing such an expansion is essentially equivalent to the KV problem. G. Massuyeau constructed such expansions using the Kontsevich integral. In order to prove this result, we show that the Turaev cobracket $δ$ can be constructed in terms of the double bracket (upgrading the Goldman bracket) and the non-commutative divergence cocycle which plays the central role in the KV theory. Among other things, this observation gives a new topological interpretation of the KV problem and allows to extend it to surfaces with arbitrary number of boundary components (and of arbitrary genus, see [C. R. Acad. Sci. Paris, Ser. I 355 (2017), 123--127]). △ Less

Submitted 16 May, 2018; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: 49 pages, 4 figures

Journal ref: Advances in Mathematics, 326, 1-53 (2018)

Kauffman-Jones polynomial of a curve on a surface

Authors: Shinji Fukuhara, Yusuke Kuno

Abstract: We introduce a Kauffman-Jones type polynomial $\mathcal{L}_γ(A)$ for a curve $γ$ on an oriented surface, whose endpoints are on the boundary of the surface. The polynomial $\mathcal{L}_γ(A)$ is a Laurent polynomial in one variable $A$ and is an invariant of the homotopy class of $γ$. As an application, we obtain an estimate in terms of the span of $\mathcal{L}_γ(A)$ for the minimum self-intersecti… ▽ More We introduce a Kauffman-Jones type polynomial $\mathcal{L}_γ(A)$ for a curve $γ$ on an oriented surface, whose endpoints are on the boundary of the surface. The polynomial $\mathcal{L}_γ(A)$ is a Laurent polynomial in one variable $A$ and is an invariant of the homotopy class of $γ$. As an application, we obtain an estimate in terms of the span of $\mathcal{L}_γ(A)$ for the minimum self-intersection number of a curve within its homotopy class. We then give a chord diagrammatic description of $\mathcal{L}_γ(A)$ and show some computational results on the span of $\mathcal{L}_γ(A)$. △ Less

Submitted 29 January, 2017; originally announced January 2017.

Comments: 14 pages, 16 figures

MSC Class: 57M25; 57N05

Higher genus Kashiwara-Vergne problems and the Goldman-Turaev Lie bialgebra

Authors: Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, Florian Naef

Abstract: 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 o… ▽ More 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. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Comments: 6 pages, 2 figures

A homology valued invariant for trivalent fatgraph spines

Authors: Yusuke Kuno

Abstract: We introduce an invariant for trivalent fatgraph spines of a once bordered surface, which takes values in the first homology of the surface. This invariant is the secondary object coming from two 1-cocycles on the dual fatgraph complex, one introduced by Morita and Penner in 2008, and the other by Penner, Turaev, and the author in 2013. We present an explicit formula for this invariant and investi… ▽ More We introduce an invariant for trivalent fatgraph spines of a once bordered surface, which takes values in the first homology of the surface. This invariant is the secondary object coming from two 1-cocycles on the dual fatgraph complex, one introduced by Morita and Penner in 2008, and the other by Penner, Turaev, and the author in 2013. We present an explicit formula for this invariant and investigate its properties. We also show that the mod 2 reduction of the invariant is the difference of naturally defined two spin structures on the surface. △ Less

Submitted 3 November, 2015; originally announced November 2015.

Comments: 26 pages, 13 figures

MSC Class: 20F34; 32G15; 57N05

Journal ref: Algebr. Geom. Topol. 17 (2017) 1785-1811

Generalized Kronecker formula for Bernoulli numbers and self-intersections of curves on a surface

Authors: Shinji Fukuhara, Nariya Kawazumi, Yusuke Kuno

Abstract: 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… ▽ More 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. △ Less

Submitted 18 May, 2015; originally announced May 2015.

Comments: 9 pages, 1 figure

MSC Class: 11B68; 57N05; 57M99

The Goldman-Turaev Lie bialgebra and the Johnson homomorphisms

Authors: Nariya Kawazumi, Yusuke Kuno

Abstract: We survey a geometric approach to the Johnson homomorphisms using the Goldman-Turaev Lie bialgebra. We survey a geometric approach to the Johnson homomorphisms using the Goldman-Turaev Lie bialgebra. △ Less

Submitted 6 April, 2013; originally announced April 2013.

Comments: 74 pages, 11 figures, submitted to "Handbook of Teichmu"ller theory" (editor: A. Papadopoulos)

MSC Class: 20F34; 32G15; 57N05

Generators of the homological Goldman Lie algebra

Authors: Nariya Kawazumi, Yusuke Kuno, Kazuki Toda

Abstract: 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 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. △ Less

Submitted 19 July, 2012; originally announced July 2012.

Comments: 7 pages

MSC Class: 57N05; 17B65

Meyer functions and the signatures of fibered 4-manifolds

Authors: Yusuke Kuno

Abstract: We give a survey on Meyer functions, with emphasis on their application to the signatures of fibered 4-manifolds. We give a survey on Meyer functions, with emphasis on their application to the signatures of fibered 4-manifolds. △ Less

Submitted 7 April, 2012; originally announced April 2012.

Comments: 22 pages. Submitted to "Handbook of Teichmu"ller theory" (editor: A. Papadopoulos)

MSC Class: 14D05; 20F34; 32G15; 57N13

Marked fatgraph complexes and surface automorphisms

Authors: Yusuke Kuno, R. C. Penner, Vladimir Turaev

Abstract: Combinatorial aspects of the Torelli-Johnson-Morita theory of surface automorphisms are extended to certain subgroups of the map** class groups. These subgroups are defined relative to a specified homomorphism from the fundamental group of the surface onto an arbitrary group $K$. For $K$ abelian, there is a combinatorial theory akin to the classical case, for example, providing an explicit cocyc… ▽ More Combinatorial aspects of the Torelli-Johnson-Morita theory of surface automorphisms are extended to certain subgroups of the map** class groups. These subgroups are defined relative to a specified homomorphism from the fundamental group of the surface onto an arbitrary group $K$. For $K$ abelian, there is a combinatorial theory akin to the classical case, for example, providing an explicit cocycle representing the first Johnson homomophism with target $Λ^3 K$. Furthermore, the Earle class with coefficients in $K$ is represented by an explicit cocyle. △ Less

Submitted 18 January, 2012; originally announced January 2012.

Intersections of curves on surfaces and their applications to map** class groups

Authors: Nariya Kawazumi, Yusuke Kuno

Abstract: 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 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. △ Less

Submitted 27 February, 2013; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: 40 pages, 13 figures

MSC Class: 57N05; 20F34; 32G15

Groupoid-theoretical methods in the map** class groups of surfaces

Authors: Nariya Kawazumi, Yusuke Kuno

Abstract: We provide some language for algebraic study of the map** 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 quoti… ▽ More We provide some language for algebraic study of the map** 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. △ Less

Submitted 21 October, 2012; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: 43 pages, 7 figures

MSC Class: 57N05; 20F34; 32G15

The generalized Dehn twist along a figure eight

Authors: Yusuke Kuno

Abstract: For any unoriented loop on a compact connected oriented surface with one boundary component, the generalized Dehn twist along the loop is defined as an automorphism of the completed group ring of the fundamental group of the surface. If the loop is simple, this is the usual right handed Dehn twist, in particular realized as a map** class of the surface. We investigate the case when the loop has… ▽ More For any unoriented loop on a compact connected oriented surface with one boundary component, the generalized Dehn twist along the loop is defined as an automorphism of the completed group ring of the fundamental group of the surface. If the loop is simple, this is the usual right handed Dehn twist, in particular realized as a map** class of the surface. We investigate the case when the loop has a single transverse double point, and show that in this case the generalized Dehn twist is not realized as a map** class. △ Less

Submitted 3 May, 2011; v1 submitted 11 April, 2011; originally announced April 2011.

Comments: 22 pages, 6 figures, 2 tables; minor corrections and modifications have been done in v2

MSC Class: 57N05; 20F34

The center of the Goldman Lie algebra of a surface of infinite genus

Authors: Nariya Kawazumi, Yusuke Kuno

Abstract: 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 o… ▽ More 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. △ Less

Submitted 2 May, 2012; v1 submitted 25 September, 2010; originally announced September 2010.

Comments: 24 pages, 14 figures. From the previous version, the title of the paper has been changed. Some references are updated

MSC Class: 57R19; 55P50

A combinatorial construction of symplectic expansions

Authors: Yusuke Kuno

Abstract: The notion of a symplectic expansion directly relates the topology of a surface to formal symplectic geometry. We give a method to construct a symplectic expansion by solving a recurrence formula given in terms of the Baker-Campbell-Hausdorff series. The notion of a symplectic expansion directly relates the topology of a surface to formal symplectic geometry. We give a method to construct a symplectic expansion by solving a recurrence formula given in terms of the Baker-Campbell-Hausdorff series. △ Less

Submitted 3 May, 2011; v1 submitted 12 September, 2010; originally announced September 2010.

Comments: 8 pages, 1 figure; corrections and modifications have been done in v2

MSC Class: 57N05; 20F34

Journal ref: Proc. Amer. Math. Soc. 140, pp.1075-1083 (2012)

The logarithms of Dehn twists

Authors: Nariya Kawazumi, Yusuke Kuno

Abstract: 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, a… ▽ More 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. △ Less

Submitted 30 August, 2010; originally announced August 2010.

Comments: 59 pages, 4 figures

MSC Class: 20F28; 20J05; 32G15; 57N05; 57R19

The Meyer functions for projective varieties and their application to local signatures for fibered 4-manifolds

Authors: Yusuke Kuno

Abstract: We study a secondary invariant, called the Meyer function, on the fundamental group of the complement of the dual variety of a smooth projective variety. This invariant have played an important role when studying the local signatures of fibered 4-manifolds from topological point of view. As an application of our study, we define a local signature for generic non-hyperelliptic fibrations of genus 4… ▽ More We study a secondary invariant, called the Meyer function, on the fundamental group of the complement of the dual variety of a smooth projective variety. This invariant have played an important role when studying the local signatures of fibered 4-manifolds from topological point of view. As an application of our study, we define a local signature for generic non-hyperelliptic fibrations of genus 4 and 5 and compute some examples. △ Less

Submitted 11 April, 2011; v1 submitted 24 November, 2009; originally announced November 2009.

Comments: 40 pages, 4 figures

MSC Class: 57N13; 14D05

Journal ref: Algebr. Geom. Topol. 11 (2011) 145-195

On the global monodromy of a Lefschetz fibration arising from the Fermat surface of degree 4

Authors: Yusuke Kuno

Abstract: A complete description of the global monodromy of a Lefschetz fibration arising from the Fermat surface of degree 4 is given. As a by-product we get a positive relation among right hand Dehn twists in the map** class group of a closed orientable surface of genus 3. A complete description of the global monodromy of a Lefschetz fibration arising from the Fermat surface of degree 4 is given. As a by-product we get a positive relation among right hand Dehn twists in the map** class group of a closed orientable surface of genus 3. △ Less

Submitted 12 November, 2010; v1 submitted 20 November, 2008; originally announced November 2008.

Comments: 15 pages, 6 figures, 2 tables. The first version contained a crucial error in section 7, which leads to a wrong conclusion. To fix this error we need an additional data, that is Figure 7.2

MSC Class: 57N13; 57N05

Journal ref: Kodai Mathematical Journal, 33, Number 3, pp. 457-472, 2010

A combinatorial formula for Earle's twisted 1-cocycle on the map** class group \mathcal{M}_{g,*}

Authors: Yusuke Kuno

Abstract: We present a formula expressing Earle's twisted 1-cocycle on the map** class group of a closed oriented surface of genus >=2 relative to a fixed base point, with coefficients in the first homology group of the surface. For this purpose we compare it with Morita's twisted 1-cocycle which is combinatorial. The key is the computation of these cocycles on a particular element of the map** class… ▽ More We present a formula expressing Earle's twisted 1-cocycle on the map** class group of a closed oriented surface of genus >=2 relative to a fixed base point, with coefficients in the first homology group of the surface. For this purpose we compare it with Morita's twisted 1-cocycle which is combinatorial. The key is the computation of these cocycles on a particular element of the map** class group, which is topologically a hyperelliptic involution. △ Less

Submitted 12 December, 2008; v1 submitted 6 November, 2007; originally announced November 2007.

Comments: 10 pages; corrected typos

MSC Class: 57N05; 32G15

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 146, issue 01, pp. 109-118, 2009

The map** class group and the Meyer function for plane curves

Authors: Yusuke Kuno

Abstract: For each d>=2, the map** class group for plane curves of degree d will be defined and it is proved that there exists uniquely the Meyer function on this group. In the case of d=4, using our Meyer function, we can define the local signature for 4-dimensional fiber spaces whose general fibers are non-hyperelliptic compact Riemann surfaces of genus 3. Some computations of our local signature will… ▽ More For each d>=2, the map** class group for plane curves of degree d will be defined and it is proved that there exists uniquely the Meyer function on this group. In the case of d=4, using our Meyer function, we can define the local signature for 4-dimensional fiber spaces whose general fibers are non-hyperelliptic compact Riemann surfaces of genus 3. Some computations of our local signature will be given. △ Less

Submitted 8 October, 2008; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 24 pages, typo added

MSC Class: 57N13; 14D05

Journal ref: Mathematische Annalen 342, Number 4, pp923-949, 2008