Showing 1–29 of 29 results for author: Kawazumi, N

Stable twisted cohomology of the map** class groups in the exterior powers of the unit tangent bundle homology

Authors: Nariya Kawazumi, Arthur Soulié

Abstract: We study the stable cohomology groups of the map** class groups of surfaces with twisted coefficients given by the $d^{th}$ exterior powers of the first rational homology of the unit tangent bundles of the surfaces $\tilde{H}_{\mathbb{Q}}$. These coefficients are outside of the traditional framework of cohomological stability. They form a module… ▽ More We study the stable cohomology groups of the map** class groups of surfaces with twisted coefficients given by the $d^{th}$ exterior powers of the first rational homology of the unit tangent bundles of the surfaces $\tilde{H}_{\mathbb{Q}}$. These coefficients are outside of the traditional framework of cohomological stability. They form a module $H_{\mathrm{st}}^{*}(Λ^{d}\tilde{H}_{\mathbb{Q}})$ over the stable cohomology algebra of the map** class groups with trivial coefficients denoted by $\mathrm{Sym}_{\mathbb{Q}}(\mathcal{E})$. If $d\neq 2$, the $\mathrm{Tor}$-group in each degree of $H_{\mathrm{st}}^{*}(Λ^{d}\tilde{H}_{\mathbb{Q}})$ does not vanish, and we compute all these $\mathrm{Tor}$-groups explicitly for $d \leq 5$. In particular, for each $d\neq 2$, the module $H_{\mathrm{st}}^{*}(Λ^{d}\tilde{H}_{\mathbb{Q}})$ is not free over $\mathrm{Sym}_{\mathbb{Q}}(\mathcal{E})$, while it is free for $d=2$.For comparison, we also compute the stable cohomology group with coefficients in the $d^{th}$ exterior powers of the first rational cohomology of the unit tangent bundle of the surface, which fit into the classical framework of cohomological stability. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Stable twisted cohomology of the map** class groups in the unit tangent bundle homology

Authors: Nariya Kawazumi, Arthur Soulié

Abstract: We compute the stable cohomology groups of the map** class groups of compact orientable surfaces with one boundary, with twisted coefficients given by the homology of the unit tangent bundle of the surface. This stable twisted cohomology is not free as a module over the stable cohomology algebra with constant coefficients. In fact, it is out of the scope of the traditional framework for twisted… ▽ More We compute the stable cohomology groups of the map** class groups of compact orientable surfaces with one boundary, with twisted coefficients given by the homology of the unit tangent bundle of the surface. This stable twisted cohomology is not free as a module over the stable cohomology algebra with constant coefficients. In fact, it is out of the scope of the traditional framework for twisted cohomological stability, since these twisted coefficients define a covariant functor over the classical category associated to map** class groups to study homological stability, rather than a contravariant one. For comparison, we also compute the stable cohomology group with coefficients in the first cohomology of the unit tangent bundle of the surface, which fits into the traditional framework. △ Less

Submitted 24 November, 2022; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 15 pages. Minor edits and corrections

MSC Class: 20J06; 55R20; 55S05 (Primary); 13C12; 16W50; 55U20; 57R20 (Secondary)

A twisted invariant of a compact Riemann surface

Authors: Nariya Kawazumi

Abstract: We introduce a twisted version of the Kawazumi-Zhang invariant $a_g(C) = \varphi(C)$ of a compact Riemann surface $C$ of genus $g \geq 1$, and discuss how it is related to the first Mumford-Morita-Milller class $e_1 = κ_1$ on the moduli space of compact Riemann surfaces and the original Kawazumi-Zhang invariant. We introduce a twisted version of the Kawazumi-Zhang invariant $a_g(C) = \varphi(C)$ of a compact Riemann surface $C$ of genus $g \geq 1$, and discuss how it is related to the first Mumford-Morita-Milller class $e_1 = κ_1$ on the moduli space of compact Riemann surfaces and the original Kawazumi-Zhang invariant. △ Less

Submitted 10 October, 2022; v1 submitted 2 October, 2022; originally announced October 2022.

On the wheeled PROP of stable cohomology of Aut(F_n) with bivariant coefficients

Authors: Nariya Kawazumi, Christine Vespa

Abstract: We show that the stable cohomology of automorphism groups of free groups with coefficients obtained by applying Hom(-,-) to tensor powers of the abelianization, is equipped with the structure of a wheeled PROP H. We define another wheeled PROP E by Ext-groups in the category of functors from the category of finitely generated free groups to k-modules. The main result of this paper is the construct… ▽ More We show that the stable cohomology of automorphism groups of free groups with coefficients obtained by applying Hom(-,-) to tensor powers of the abelianization, is equipped with the structure of a wheeled PROP H. We define another wheeled PROP E by Ext-groups in the category of functors from the category of finitely generated free groups to k-modules. The main result of this paper is the construction of a morphism of wheeled PROPs $φ: E \to H$ such that $φ(E)$ is the wheeled PROP generated by the cohomology class h_1 constructed by the first author. △ Less

Submitted 30 May, 2021; originally announced May 2021.

Comments: 28 pages

Journal ref: Algebr. Geom. Topol. 23 (2023) 3089-3128

Some algebraic aspects of the Turaev cobracket

Authors: Nariya Kawazumi

Abstract: 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 and F. Naef, we review some algebraic aspects of the cobracket and its framed v… ▽ More 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 and F. Naef, we review some algebraic aspects of the cobracket and its framed variants including their formal description, an application to the map** class group of the surface and a relation to the (higher genus) Kashiwara-Vergne problem. In addition, we review a homological description of the cobracket after R. Hain. △ Less

Submitted 28 April, 2021; v1 submitted 14 April, 2019; originally announced April 2019.

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

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)

The map** class group orbits in the framings of compact surfaces

Authors: Nariya Kawazumi

Abstract: We compute the map** class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments on the Arf invariant, while we need an extra invariant for the genus $1$ case. In addition, we discuss how this invariant behaves in the relative case, which Ran… ▽ More We compute the map** class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments on the Arf invariant, while we need an extra invariant for the genus $1$ case. In addition, we discuss how this invariant behaves in the relative case, which Randal-Williams studied for $g > 1$. △ Less

Submitted 29 March, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 17 pages

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 tensorial description of the Turaev cobracket on genus 0 compact surfaces

Authors: Nariya Kawazumi

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

Submitted 20 June, 2016; v1 submitted 10 June, 2015; originally announced June 2015.

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

A regular homotopy version of the Goldman-Turaev Lie bialgebra, the Enomoto-Satoh traces and the divergence cocycle in the Kashiwara-Vergne problem

Authors: Nariya Kawazumi

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

Submitted 31 May, 2014; originally announced June 2014.

Comments: An announcement on the author's research in progress. Submitted to Sūrikaisekikenkyūsho Kōkyūroku (RIMS, Kyoto University, Japan)

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

Surface topology and involutive bimodules

Authors: Nariya Kawazumi

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

Submitted 7 January, 2013; originally announced January 2013.

Comments: 19 pages

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

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 Lie algebra of rooted planar trees

Authors: Tomohiko Ishida, Nariya Kawazumi

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

Submitted 20 September, 2011; v1 submitted 24 May, 2011; originally announced May 2011.

Comments: 14 pages

MSC Class: 18D50 (Primary); 57R32 (Secondary)

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

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

Johnson's homomorphisms and the Arakelov-Green function

Authors: Nariya Kawazumi

Abstract: Let $π: {\mathbb C}_g \to {\mathbb M}_g$ be the universal family of compact Riemann surfaces of genus $g \geq 1$. We introduce a real-valued function on the moduli space ${\mathbb M}_g$ and compute the first and the second variations of the function. As a consequence we relate the Chern form of the relative tangent bundle $T_{{\mathbb C}_g/{\mathbb M}_g}$ induced by the Arakelov-Green function w… ▽ More Let $π: {\mathbb C}_g \to {\mathbb M}_g$ be the universal family of compact Riemann surfaces of genus $g \geq 1$. We introduce a real-valued function on the moduli space ${\mathbb M}_g$ and compute the first and the second variations of the function. As a consequence we relate the Chern form of the relative tangent bundle $T_{{\mathbb C}_g/{\mathbb M}_g}$ induced by the Arakelov-Green function with differential forms on ${\mathbb C}_g$ induced by a flat connection whose holonomy gives Johnson's homomorphisms on the map** class group. △ Less

Submitted 28 January, 2008; originally announced January 2008.

MSC Class: 57R20 (Primary); 14H15; 32G15 (Secondary)

Canonical 2-forms on the moduli space of Riemann surfaces

Authors: Nariya Kawazumi

Abstract: As was shown by Harer the second homology of ${\mathbb M}_g$, the moduli space of compact Riemann surfaces of genus $g$, is of rank 1, provided $g \geq 3$. This means a nontrivial second de Rham cohomology class on ${\mathbb M}_g$ is unique up to constant factor. But several canonical 2-forms on the moduli space have been constructed in various geometric contexts, and differ from each other. In… ▽ More As was shown by Harer the second homology of ${\mathbb M}_g$, the moduli space of compact Riemann surfaces of genus $g$, is of rank 1, provided $g \geq 3$. This means a nontrivial second de Rham cohomology class on ${\mathbb M}_g$ is unique up to constant factor. But several canonical 2-forms on the moduli space have been constructed in various geometric contexts, and differ from each other. In this article we review some of constructions in order to provide materials for future research on "secondary geometry" of the moduli space ${\mathbb M}_g$. △ Less

Submitted 9 October, 2007; v1 submitted 31 August, 2007; originally announced August 2007.

MSC Class: 57R20; 14H15; 32G15

Canonical lifts of the Johnson homomorphisms to the Torelli groupoid

Authors: Alex James Bene, Nariya Kawazumi, R. C. Penner

Abstract: We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial formula for tensor representatives of these lifts. In particular, we give an e… ▽ More We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial formula for tensor representatives of these lifts. In particular, we give an explicit 1-cocycle in the dual fatgraph complex which lifts $τ_2$ and thus answer affirmatively a question of Morita-Penner. To illustrate our techniques for calculating higher Johnson homomorphisms in general, we give explicit examples calculating $τ_m$, for $m\leq 3$. △ Less

Submitted 19 July, 2007; originally announced July 2007.

Comments: 38 pages, 6 figures

MSC Class: 32G15; 57M99; 14H10; 57N05; 20F99

Integral Riemann-Roch formulae for cyclic subgroups of map** class groups

Authors: Toshiyuki Akita, Nariya Kawazumi

Abstract: The first author conjectured certain relations for Morita-Mumford classes and Newton classes in the integral cohomology of map** class groups (integral Riemann-Roch formulae). In this paper, the conjecture is verified for cyclic subgroups of map** class groups. The first author conjectured certain relations for Morita-Mumford classes and Newton classes in the integral cohomology of map** class groups (integral Riemann-Roch formulae). In this paper, the conjecture is verified for cyclic subgroups of map** class groups. △ Less

Submitted 14 December, 2006; originally announced December 2006.

Comments: 11 pages

MSC Class: 55R40 (Primary) 14H37; 57R20; 57M60 (Secondary)

Twisted Morita-Mumford classes on braid groups

Authors: Nariya Kawazumi

Abstract: Evaluating the twisted Morita-Mumford classes bar(h)_p on the Artin braid group B_n, we give the stable algebraic independence of the bar(h)_p's on the automorphism group of the free group, Aut(F_n). This is sharper than the results we obtained by restricting them to the map** class group. Evaluating the twisted Morita-Mumford classes bar(h)_p on the Artin braid group B_n, we give the stable algebraic independence of the bar(h)_p's on the automorphism group of the free group, Aut(F_n). This is sharper than the results we obtained by restricting them to the map** class group. △ Less

Submitted 6 April, 2009; v1 submitted 5 June, 2006; originally announced June 2006.

Comments: This is the version published by Geometry & Topology Monographs on 25 February 2008

MSC Class: 20F36; 14H15; 20F28; 20J06; 32G15; 57M50; 57R20

Journal ref: Geom. Topol. Monogr. 13 (2008) 293-306

Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces

Authors: Nariya Kawazumi

Abstract: Let ${\mathbb M}_{g, 1}$, $g \geq 1$, be the moduli space of triples $(C, P_0, v)$ of genus $g$, where $C$ is a compact Riemann surface of genus $g$, $P_0 \in C$, and $v \in T_{P_0}C\setminus\{0\}$. Using Chen's iterated integrals we introduce a higher analogue of the period matrix for a triple $(C, P_0, v)$, {\it the harmonic Magnus expansion}. It induces a flat connection on a vector bundle ov… ▽ More Let ${\mathbb M}_{g, 1}$, $g \geq 1$, be the moduli space of triples $(C, P_0, v)$ of genus $g$, where $C$ is a compact Riemann surface of genus $g$, $P_0 \in C$, and $v \in T_{P_0}C\setminus\{0\}$. Using Chen's iterated integrals we introduce a higher analogue of the period matrix for a triple $(C, P_0, v)$, {\it the harmonic Magnus expansion}. It induces a flat connection on a vector bundle over the space ${\mathbb M}_{g, 1}$, whose holonomy gives all the higher Johnson homomorphisms of the map** class group. The connection form, which is computed as an explicit quadratic differential, induces "canonical" differential forms representing (twisted) Morita-Mumford classes and their higher relators on ${\mathbb M}_{g, 1}$. In particular, we construct a family of twisted differential forms on ${\mathbb M}_{g, 1}$ representing the $(0, p+2)$-twisted Morita-Mumford class $m_{0, p+2}$ combinatorially parametrized by the Stasheff associahedron $K_{p+1}$. △ Less

Submitted 14 February, 2008; v1 submitted 7 March, 2006; originally announced March 2006.

Comments: 38 pages

MSC Class: 14H15 (Primary); 20F28; 20J05; 32G15; 57M20; 57R50 (Secondary)

An application of the second Riemann continuation theorem to cohomology of the Lie algebra of vector fields on the complex line

Authors: Nariya Kawazumi

Abstract: We study cohomology groups of the Lie algebra of vector fields on the complex line, $W_1$, with values in the tensor fields in several variables. From a generalization by Scheja of the second Riemann (Hartogs) continuation theorem, we deduce a cohomology exact sequence of the subalgebra of $W_1$ consisting of vectors having a zero at the origin. As applications, we compute the cohomology algebra… ▽ More We study cohomology groups of the Lie algebra of vector fields on the complex line, $W_1$, with values in the tensor fields in several variables. From a generalization by Scheja of the second Riemann (Hartogs) continuation theorem, we deduce a cohomology exact sequence of the subalgebra of $W_1$ consisting of vectors having a zero at the origin. As applications, we compute the cohomology algebra of $W_1$ with values in the functions on $\Bbb C^n$ explicitly, and establish a certain vanishing theorem for the cohomology of $W_1$ with values in the quadratic differentials in several variables, which is closely related to the moduli space of Riemann surfaces. △ Less

Submitted 21 August, 2005; originally announced August 2005.

Comments: 17 pages

MSC Class: 58H10; 14H15; 17B56; 17B68; 32G15; 57R32

Cohomological Aspects of Magnus Expansions

Authors: Nariya Kawazumi

Abstract: We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the automorphism group of a free group $\operatorname{Aut}(F_{n})$. The extended ones are {\it not} homomorphisms, but satisfy an infinite sequence of coboundary relati… ▽ More We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the automorphism group of a free group $\operatorname{Aut}(F_{n})$. The extended ones are {\it not} homomorphisms, but satisfy an infinite sequence of coboundary relations, so that we call them {\it the Johnson maps}. In this paper we confine ourselves to studying the first and the second relations, which have cohomological consequences about the group $\operatorname{Aut}(F_{n})$ and the map** class groups for surfaces. The first one means that the first Johnson map is a twisted 1-cocycle of the group $\operatorname{Aut}(F_{n})$. Its cohomology class coincides with ``the unique elementary particle" of all the Morita-Mumford classes on the map** class group for a surface [Ka1] [KM1]. The second one restricted to the map** class group is equal to a fundamental relation among twisted Morita-Mumford classes proposed by Garoufalidis and Nakamura [GN] and established by Morita and the author [KM2]. This means we give a simple and coherent proof of the fundamental relation. The first Johnson map gives the abelianization of the induced automorphism group $IA_n$ of a free group in an explicit way. △ Less

Submitted 7 September, 2006; v1 submitted 24 May, 2005; originally announced May 2005.

Comments: Introduction and \S7 are revised

MSC Class: 20J05; 14H10; 20E05; 20F28; 57R20