Showing 1–31 of 31 results for author: Maruyama, S

Flux homomorphism and bilinear form constructed from Shelukhin's quasimorphism

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symp… ▽ More Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symplectic mapping class group action, and $\mathfrak{b}$ yields a constraint on the fluxes of commuting two elements in the group of symplectomorphisms on $(M,ω)$. These results might be seen as an analog of Rousseau's result for an open connected symplectic manifold, where he recovered the symplectic pairing from the Calabi homomorphism. Furthermore, $\mathfrak{b}$ controls the extendability of Shelukhin's quasimorphisms, as well as the triviality of a characteristic class of Reznikov. To construct $\mathfrak{b}$, we build general machinery for a group $G$ of producing a real-valued $\mathbb{Z}$-bilinear form $\mathfrak{b}_μ$ from a $G$-invariant quasimorphism $μ$ on the commutator subgroup of $G$. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 39 pages, 2 figures

MSC Class: 53D05; 53D22 (Primary) 20J05; 37E35; 55R40; 20F65 (Secondary)

Non-extendablity of Shelukhin's quasimorphism and non-triviality of Reznikov's class

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove… ▽ More Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove the non-vanishing of Reznikov's characteristic class for the above symplectic manifolds. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 28 pages, 2 figures

Quasimorphisms on the group of density preserving diffeomorphisms of the Möbius band

Authors: KyeongRo Kim, Shuhei Maruyama

Abstract: The existence of quasimorphisms on groups of homeomorphisms of manifolds has been extensively studied under various regularity conditions, such as smooth, volume-preserving, and symplectic. However, in this context, nothing is known about groups of `area'-preserving diffeomorphisms on non-orientable manifolds. In this paper, we initiate the study of groups of density-preserving diffeomorphisms o… ▽ More The existence of quasimorphisms on groups of homeomorphisms of manifolds has been extensively studied under various regularity conditions, such as smooth, volume-preserving, and symplectic. However, in this context, nothing is known about groups of `area'-preserving diffeomorphisms on non-orientable manifolds. In this paper, we initiate the study of groups of density-preserving diffeomorphisms on non-orientable manifolds. Here, the density is a natural concept that generalizes volume without concerning orientability. We show that the group of density-preserving diffeomorphisms on the Möbius band admits countably many unbounded quasimorphisms which are linearly independent. Along the proof, we show that groups of density preserving diffeomorphisms on compact, connected, non-orientable surfaces with non-empty boundary are weakly contractible. △ Less

Submitted 14 April, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Isolated circular orders on free products of cyclic groups

Authors: Chihaya Jibiki, Shuhei Maruyama

Abstract: In this paper, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb{Z}_{m_1} \ast \cdots \ast \mathbb{Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not the automorphic images of the others. By using these isolated circular orders, we also construct countably many isolated left orders on a certain central… ▽ More In this paper, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb{Z}_{m_1} \ast \cdots \ast \mathbb{Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not the automorphic images of the others. By using these isolated circular orders, we also construct countably many isolated left orders on a certain central $\mathbb{Z}$-extension of $G$, which are not the automorphic images of the others. △ Less

Submitted 22 October, 2024; originally announced October 2024.

MSC Class: 06F15 (Primary) 20F60; 37E10; 22F50 (Secondary)

SL(2,Z)-matrixizations of generalized Markov numbers

Authors: Yasuaki Gyoda, Shuhei Maruyama, Yusuke Sato

Abstract: For $k\geq 0$, a $k$-generalized Markov number is an integer which appears in some positive integer solution to the $k$-generalized Markov equation $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. In this paper, we discuss a combinatorial structure of generalized Markov numbers. To investigate this structure in detail, we use two families of matrices: the $k$-generalized Cohn matrices and the… ▽ More For $k\geq 0$, a $k$-generalized Markov number is an integer which appears in some positive integer solution to the $k$-generalized Markov equation $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. In this paper, we discuss a combinatorial structure of generalized Markov numbers. To investigate this structure in detail, we use two families of matrices: the $k$-generalized Cohn matrices and the $k$-Markov-monodromy matrices, which are elements of $SL(2, \mathbb{Z})$ whose $(1,2)$-entries are $k$-generalized Markov numbers. We show that these two families of matrices recover the tree structure of the positive integer solutions to the generalized Markov equation, and we give geometric interpretations and a combinatorial interpretation of $k$-generalized Markov numbers. As an application, we provide a computation algorithm of classical Markov number from a one-dimensional dynamical viewpoint. Moreover, we clarify a relation between $k$-generalized Markov numbers and toric surface singularities via continued fractions. △ Less

Submitted 6 March, 2025; v1 submitted 11 July, 2024; originally announced July 2024.

Comments: 76 pages, 28 figures, minor corrections

MSC Class: 11D25; 11A55; 05C70; 14M25; 14B05

Invariant quasimorphisms and generalized mixed Bavard duality

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the settin… ▽ More This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the setting of a pair of a group and its normal subgroup, and obtained the mixed Bavard duality. The first half of the present article is devoted to an introduction to these three Bavard dualities. In the latter half, we present a new strengthening, the generalized mixed Bavard duality, and provide a self-contained proof of it. This third strengthening recovers all of the Bavard dualities treated in the first half; thus, we supply complete proofs of these four Bavard dualities in a unified manner. In addition, we state several results on the space $\mathrm{W}(G,N)$ of non-extendable quasimorphisms, which is related to the comparison problem between scl and mixed scl via the mixed Bavard duality. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 57 pages, 11 figures

McDuff's secondary class and the Euler class of foliated sphere bundles

Authors: Shuhei Maruyama

Abstract: Tsuboi proved that the Calabi invariant of the closed disk transgresses to the Euler class of foliated circle bundles and suggested looking for its higher-dimensional analog. In this paper, we construct a cohomology class of the group of volume-preserving diffeomorphisms of a real-cohomologically acyclic manifold with sphere boundary, which is closely related to McDuff's secondary class, and prove… ▽ More Tsuboi proved that the Calabi invariant of the closed disk transgresses to the Euler class of foliated circle bundles and suggested looking for its higher-dimensional analog. In this paper, we construct a cohomology class of the group of volume-preserving diffeomorphisms of a real-cohomologically acyclic manifold with sphere boundary, which is closely related to McDuff's secondary class, and prove that this cohomology class transgresses to the Euler class of foliated sphere bundles. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Comments: 14 pages, no figures

Uniqueness theorem of generalized Markov numbers that are prime powers

Authors: Yasuaki Gyoda, Shuhei Maruyama

Abstract: In this paper, we study positive integer solutions to a generalized form of the Markov equation, given as $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. This equation extends the classical Markov equation $x^2 + y^2 + z^2 = 3xyz$. We generalize the concept of Cohn triples for the classical Markov equation to the generalized Markov equations. Using this, we provide a generalization of the uniqu… ▽ More In this paper, we study positive integer solutions to a generalized form of the Markov equation, given as $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. This equation extends the classical Markov equation $x^2 + y^2 + z^2 = 3xyz$. We generalize the concept of Cohn triples for the classical Markov equation to the generalized Markov equations. Using this, we provide a generalization of the uniqueness theorem of Markov numbers that are prime powers. △ Less

Submitted 11 July, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 20 pages except Appendix A (List of $k$-generalized Markov primes), minor change in definition of some terms, minor corrections

MSC Class: 11D25; 11J60

Coarse group theoretic study on stable mixed commutator length

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to… ▽ More Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to $\mathbb{R}_{\geq 0}$, but as a bi-invariant metric function $d^+_{scl_{G,N}}$ from $[G,N]\times [G,N]$ to $\mathbb{R}_{\geq 0}$. Our main focus is coarse group theoretic structures of $([G,N],d^+_{scl_{G,N}})$. Our preliminary result (the absolute version) connects, via the Bavard duality, $([G,N],d^+_{scl_{G,N}})$ and the quotient vector space of the space of $G$-invariant quasimorphisms on $N$ over one of such homomorphisms. In particular, we prove that the dimension of this vector space equals the asymptotic dimension of $([G,N],d^+_{scl_{G,N}})$. Our main result is the comparative version: we connect the coarse kernel, formulated by Leitner and Vigolo, of the coarse homomorphism $ι_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$; $y\mapsto y$, and a certain quotient vector space $W(G,N)$ of the space of invariant quasimorphisms. Assume that $N=[G,G]$ and that $W(G,N)$ is finite dimensional with dimension $\ell$. Then we prove that the coarse kernel of $ι_{G,N}$ is isomorphic to $\mathbb{Z}^{\ell}$ as a coarse group. In contrast to the absolute version, the space $W(G,N)$ is finite dimensional in many cases, including all $(G,N)$ with finitely generated $G$ and nilpotent $G/N$. As an application of our result, given a group homomorphism $\varphi\colon G\to H$ between finitely generated groups, we define an $\mathbb{R}$-linear map `inside' the groups, which is dual to the naturally defined $\mathbb{R}$-linear map from $W(H,[H,H])$ to $W(G,[G,G])$ induced by $\varphi$. △ Less

Submitted 3 April, 2025; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 72 pages, no figure. (v4): corrections of Proposition 2.5 (2) and Example 11.4: additional assumptions were needed there; Minor revision (v3): Definition 3.8 and Remark 3.18 added; Minor revision (v2): some symbols changed

MSC Class: primary 20F69; secondary 51F30; 20F65; 20F12

Invariable generation of certain groups of piecewise projective homeomorphisms of the real line

Authors: Shuhei Maruyama

Abstract: We show that the following groups are invariably generated; the group of piecewise projective homeomorphisms of the real line, the group of piecewise $\mathrm{PSL}(2,\mathbb{Z})$ homeomorphisms of the real line, Monod's group $H(\mathbb{Z})$, the group of piecewise $\mathrm{PSL}(2,\mathbb{Q})$ homeomorphisms of the real line with rational breakpoints. We also show that the Higman--Thompson group… ▽ More We show that the following groups are invariably generated; the group of piecewise projective homeomorphisms of the real line, the group of piecewise $\mathrm{PSL}(2,\mathbb{Z})$ homeomorphisms of the real line, Monod's group $H(\mathbb{Z})$, the group of piecewise $\mathrm{PSL}(2,\mathbb{Q})$ homeomorphisms of the real line with rational breakpoints. We also show that the Higman--Thompson group $F_n$ for every $n \in \mathbb{Z}_{\geq 3}$ and the golden ratio Thompson group $F_τ$ are invariably generated. △ Less

Submitted 21 December, 2023; v1 submitted 21 February, 2023; originally announced February 2023.

Comments: 18 pages, no figures

A crossed homomorphism for groups acting on the circle

Authors: Shuhei Maruyama

Abstract: We construct a crossed homomorphism by using a group action on the circle and the Poincaré translation number. We relate it to the Euler class of the action in terms of the Hochschild--Serre spectral sequence. As an application, we answer a question of Calegari and Chen, which is on an explicit form of a certain crossed homomorphism on the mapping class group of the sphere minus a Cantor set. We construct a crossed homomorphism by using a group action on the circle and the Poincaré translation number. We relate it to the Euler class of the action in terms of the Hochschild--Serre spectral sequence. As an application, we answer a question of Calegari and Chen, which is on an explicit form of a certain crossed homomorphism on the mapping class group of the sphere minus a Cantor set. △ Less

Submitted 16 March, 2023; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 10 pages, no figures; title and main theorem changed

Survey on invariant quasimorphisms and stable mixed commutator length

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of… ▽ More A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\mathrm{scl}_{G,N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$. In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms. △ Less

Submitted 28 January, 2024; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 37 pages, 2 figure; major revision, to appear in Topology Proceedings

MSC Class: Primary 20F65; Secondary 20J06; 70H15; 20E36; 20F12

Invariant quasimorphisms for groups acting on the circle and non-equivalence of SCL

Authors: Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length $\mathrm{scl}_G$ and the stable mixed commutator length… ▽ More We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length $\mathrm{scl}_G$ and the stable mixed commutator length $\mathrm{scl}_{G,N}$ are not bi-Lipschitzly equivalent for the surface group $G=π_1(Σ_{\ell})$ of genus at least $2$ and its commutator subgroup $N = [π_1(Σ_{\ell}), π_1(Σ_{\ell})]$. We also show the non-equivalence for a pair $(G,N)$ such that $G$ is the fundamental group of a $3$-dimensional closed hyperbolic mapping torus. These pairs serve as the first family of examples of such $(G,N)$ in which $G$ is finitely generated. △ Less

Submitted 7 February, 2023; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 25 pages, no figure. Major revision: title, introduction, and the main theorem are changed

Mixed commutator lengths, wreath products and general ranks

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when a… ▽ More In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when an abelian group $Γ$ is not locally cyclic, the ordinary commutator length $\mathrm{cl}_G$ does not coincide with $\mathrm{cl}_{G,N}$ on $[G,N]$ for the above pair. On the other hand, we prove that if $Γ$ is locally cyclic, then for every pair $(G,N)$ such that $1\to N\to G\to Γ\to 1$ is exact, $\mathrm{cl}_{G}$ and $\mathrm{cl}_{G,N}$ coincide on $[G,N]$. We also study the case of permutational wreath products when the group $Γ$ belongs to a certain class related to surface groups. △ Less

Submitted 11 January, 2023; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: 33 pages, no figure, Proposition 4.4 in the previous version was false, and we replaced it with a weaker version. To appear in Kodai Mathematical Journal

Translation numbers for bundle automorphisms and a cocycle on a group of homeomorphisms

Authors: Shuhei Maruyama

Abstract: We introduce and study translation numbers for automorphisms of principal $\mathbb{Z}$-bundles and flat principal $\mathbb{R}$-bundles. We use them to show a vanishing result of a characteristic class of foliated bundles and to detect undistortion elements in the group of bundle automorphisms. We introduce and study translation numbers for automorphisms of principal $\mathbb{Z}$-bundles and flat principal $\mathbb{R}$-bundles. We use them to show a vanishing result of a characteristic class of foliated bundles and to detect undistortion elements in the group of bundle automorphisms. △ Less

Submitted 17 January, 2023; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: 15 pages, no figure

The space of non-extendable quasimorphisms

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a fr… ▽ More For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a free group, and certain normal subgroups of Gromov-hyperbolic groups. Furthermore, we employ this space to prove that the stable commutator length is equivalent to the stable mixed commutator length for certain pairs of a group and its normal subgroup. △ Less

Submitted 16 August, 2023; v1 submitted 18 July, 2021; originally announced July 2021.

Comments: 60 pages, 1 figure. Minor revision, errors corrected and explanations brushed up

MSC Class: 20J06; 20J05; 20F65; 57M07

Journal ref: Algebr. Geom. Topol. 25 (2025) 1169-1226

On boundedness of characteristic class via quasi-morphism

Authors: Morimichi Kawasaki, Shuhei Maruyama

Abstract: In this paper, we characterize the second bounded characteristic classes of foliated bundles in terms of the non-descendible quasi-morphisms on the universal covering of the structure group. As its application, we study the boundedness of obstruction classes for (contact) Hamiltonian fibrations and show the non-existence of foliated structures on some Hamiltonian fibrations. Moreover, for any clos… ▽ More In this paper, we characterize the second bounded characteristic classes of foliated bundles in terms of the non-descendible quasi-morphisms on the universal covering of the structure group. As its application, we study the boundedness of obstruction classes for (contact) Hamiltonian fibrations and show the non-existence of foliated structures on some Hamiltonian fibrations. Moreover, for any closed symplectic manifold, we show the non-triviality of the second bounded cohomology group of the Hamiltonian diffeomorphism group. △ Less

Submitted 15 March, 2022; v1 submitted 19 December, 2020; originally announced December 2020.

Comments: 21 pages, no figures. Major revision : Corollary 2.2 added

Group cocycles on the volume-preserving diffeomorphism group

Authors: Shuhei Maruyama

Abstract: We construct two kinds of group cocycles on the volume-preserving diffeomorphism group. We show that, for the volume-preserving diffeomorphism group of the sphere, one of the cocycles gives the Euler class of flat sphere bundles. We construct two kinds of group cocycles on the volume-preserving diffeomorphism group. We show that, for the volume-preserving diffeomorphism group of the sphere, one of the cocycles gives the Euler class of flat sphere bundles. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 6 pages

The Dixmier-Douady class and an abelian extension of the homeomorphism group

Authors: Shuhei Maruyama

Abstract: Let $X$ be a connected topological space and $c \in \mathrm{H}^2(X;\mathbb{Z})$ a non-zero cohomology class. A $\mathrm{Homeo}(X,c)$-bundle is a fiber bundle with fiber $X$ whose structure group reduces to the group $\mathrm{Homeo}(X,c)$ of $c$-preserving homeomorphisms of $X$. If $\mathrm{H}^1(X;\mathbb{Z}) = 0$, then a characteristic class for $\mathrm{Homeo}(X,c)$-bundles called the Dixmier-Dou… ▽ More Let $X$ be a connected topological space and $c \in \mathrm{H}^2(X;\mathbb{Z})$ a non-zero cohomology class. A $\mathrm{Homeo}(X,c)$-bundle is a fiber bundle with fiber $X$ whose structure group reduces to the group $\mathrm{Homeo}(X,c)$ of $c$-preserving homeomorphisms of $X$. If $\mathrm{H}^1(X;\mathbb{Z}) = 0$, then a characteristic class for $\mathrm{Homeo}(X,c)$-bundles called the Dixmier-Douady class is defined via the Serre spectral sequence. We show a relation between the universal Dixmier-Douady class for foliated $\mathrm{Homeo}(X,c)$-bundles and the gauge group extension of $\mathrm{Homeo}(X,c)$. Moreover, under some assumptions, we construct a central $S^1$-extension and a group two-cocycle on $\mathrm{Homeo}(X,c)$ corresponding to the Dixmier-Douady class. △ Less

Submitted 17 January, 2023; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: 17 pages

The Dixmier-Douady class, the action homomorphism, and group cocycles on the symplectomorphism group

Authors: Shuhei Maruyama

Abstract: Let $X$ be a one-connected and integral symplectic manifold. In this paper, we construct and study a two-cocycle and three-cocycle on the symplectomorphism group of $X$. In particular, by using these cocycles, we clarify the relationship between Weinstein's action homomorphism and the universal Dixmier-Douady class of flat symplectic fibrations. Let $X$ be a one-connected and integral symplectic manifold. In this paper, we construct and study a two-cocycle and three-cocycle on the symplectomorphism group of $X$. In particular, by using these cocycles, we clarify the relationship between Weinstein's action homomorphism and the universal Dixmier-Douady class of flat symplectic fibrations. △ Less

Submitted 17 October, 2021; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: Major revision : title changed, 19 pages, no figures

Extensions of quasi-morphisms to the symplectomorphism group of the disk

Authors: Shuhei Maruyama

Abstract: On the group $\rm{Symp}(D, \partial D)$ of symplectomorphisms of the disk which are the identity near the boundary, there are homogeneous quasi-morphisms called the Ruelle invariant and Gambaudo-Ghys quasi-morphisms. In this paper, we show that the above homogeneous quasi-morphisms extend to homogeneous quasi-morphisms on the whole group $\rm{Symp}(D)$ of symplectomorphisms of the disk. As a corol… ▽ More On the group $\rm{Symp}(D, \partial D)$ of symplectomorphisms of the disk which are the identity near the boundary, there are homogeneous quasi-morphisms called the Ruelle invariant and Gambaudo-Ghys quasi-morphisms. In this paper, we show that the above homogeneous quasi-morphisms extend to homogeneous quasi-morphisms on the whole group $\rm{Symp}(D)$ of symplectomorphisms of the disk. As a corollary, we show that the second bounded cohomology $H_b^2(\rm{Symp}(D))$ is infinite-dimensional. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 7 pages

A note on stable commutator length in braided Ptolemy-Thompson groups

Authors: Shuhei Maruyama

Abstract: In this note, we show that the sets of all stable commutator lengths in the braided Ptolemy-Thompson groups are equal to non-negative rational numbers. In this note, we show that the sets of all stable commutator lengths in the braided Ptolemy-Thompson groups are equal to non-negative rational numbers. △ Less

Submitted 28 February, 2020; originally announced February 2020.

Comments: 5 pages

The translation number and quasi-morphisms on groups of symplectomorphisms of the disk

Authors: Shuhei Maruyama

Abstract: On groups of symplectomorphisms of the disk, we construct two homogeneous quasi-morphisms which relate to the Calabi invariant and the flux homomorphism respectively. We also show the relation between the quasi-morphisms and the translation number introduced by Poincaré. On groups of symplectomorphisms of the disk, we construct two homogeneous quasi-morphisms which relate to the Calabi invariant and the flux homomorphism respectively. We also show the relation between the quasi-morphisms and the translation number introduced by Poincaré. △ Less

Submitted 15 April, 2021; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: 9 pages, to appear in Ann. Inst. Fourier (Grenoble)

The flux homomorphism and central extensions of diffeomorphism groups

Authors: Shuhei Maruyama

Abstract: Let $D$ be a 2-dimensional closed unit disk and $\rm{Symp}(D,0)_{\rm{rel}}$ the group of symplectomorphisms preserving the origin and the boundary $\partial D$ pointwise. We consider the $\mathbb{R}$-valued flux homomorphism on $\rm{Symp}(D,0)_{\rm{rel}}$ and define the central $\mathbb{R}$-extension called the $\mathbb{R}$-valued flux extension. We determine the Euler class of this extension and… ▽ More Let $D$ be a 2-dimensional closed unit disk and $\rm{Symp}(D,0)_{\rm{rel}}$ the group of symplectomorphisms preserving the origin and the boundary $\partial D$ pointwise. We consider the $\mathbb{R}$-valued flux homomorphism on $\rm{Symp}(D,0)_{\rm{rel}}$ and define the central $\mathbb{R}$-extension called the $\mathbb{R}$-valued flux extension. We determine the Euler class of this extension and investigate the relation between the extension, the group $2$-cocycle defined by Ismagilov, Losik, and Michor, and the Calabi invariant of $D$. △ Less

Submitted 19 July, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: 9 pages

Stochastic $R$ matrix for $U_q(A^{(1)}_n)$

Authors: Atsuo Kuniba, Vladimir V. Mangazeev, Shouya Maruyama, Masato Okado

Abstract: We show that the quantum $R$ matrix for symmetric tensor representations of $U_q(A^{(1)}_n)$ satisfies the sum rule required for its stochastic interpretation under a suitable gauge. Its matrix elements at a special point of the spectral parameter are found to factorize into the form that naturally extends Povolotsky's local transition rate in the $q$-Hahn process for $n=1$. Based on these results… ▽ More We show that the quantum $R$ matrix for symmetric tensor representations of $U_q(A^{(1)}_n)$ satisfies the sum rule required for its stochastic interpretation under a suitable gauge. Its matrix elements at a special point of the spectral parameter are found to factorize into the form that naturally extends Povolotsky's local transition rate in the $q$-Hahn process for $n=1$. Based on these results we formulate new discrete and continuous time integrable Markov processes on a one-dimensional chain in terms of $n$ species of particles obeying asymmetric stochastic dynamics. Bethe ansatz eigenvalues of the Markov matrices are also given. △ Less

Submitted 21 June, 2016; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: 21 pages. Remark 9 added, Typos in Appendix A fixed

MSC Class: 81R50; 60C99

Journal ref: Nucl. Phys. B913 (2016) 248--277

Multispecies totally asymmetric zero range process: II. Hat relation and tetrahedron equation

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We consider a three-dimensional (3D) lattice model associated with the intertwiner of the quantized coordinate ring $A_q(sl_3)$, and introduce a family of layer to layer transfer matrices on $m\times n$ square lattice. By using the tetrahedron equation we derive their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they lead to a new proof of the steady… ▽ More We consider a three-dimensional (3D) lattice model associated with the intertwiner of the quantized coordinate ring $A_q(sl_3)$, and introduce a family of layer to layer transfer matrices on $m\times n$ square lattice. By using the tetrahedron equation we derive their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they lead to a new proof of the steady state probability of the $n$-species totally asymmetric zero range process obtained recently by the authors, revealing the 3D integrability in the matrix product construction. △ Less

Submitted 11 October, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: 15 pages, minor corrections

MSC Class: 81R50; 60C99

Journal ref: Journal of Integrable Systems 2016 1 (1): xyw008

Inhomogeneous generalization of multispecies totally asymmetric zero range process

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: The $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic chain studied recently by the authors is a continuous time Markov process where arbitrary number of particles can occupy the same sites and hop to the adjacent sites only in one direction with a priority constraint according to their species. In this paper we introduce an $n$-parameter generalization of t… ▽ More The $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic chain studied recently by the authors is a continuous time Markov process where arbitrary number of particles can occupy the same sites and hop to the adjacent sites only in one direction with a priority constraint according to their species. In this paper we introduce an $n$-parameter generalization of the $n$-TAZRP having inhomogeneous transition rate. The steady state probability is obtained in a matrix product form and also by an algorithm related to combinatorial $R$. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Comments: 15 pages

MSC Class: 81R50; 60C99

Journal ref: J. Stat. Phys. (2016) 952--968

Multispecies totally asymmetric zero range process: I. Multiline process and combinatorial $R$

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We introduce an $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic lattice with $L$ sites. It is a continuous time Markov process in which $n$ species of particles hop to the adjacent site only in one direction under the condition that smaller species ones have the priority to do so. Also introduced is an $n$-line process, a companion stochastic system having… ▽ More We introduce an $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic lattice with $L$ sites. It is a continuous time Markov process in which $n$ species of particles hop to the adjacent site only in one direction under the condition that smaller species ones have the priority to do so. Also introduced is an $n$-line process, a companion stochastic system having the uniform steady state from which the $n$-TAZRP is derived as the image by a certain projection $π$. We construct the $π$ by a combinatorial $R$ of the quantum affine algebra $U_q(\hat{sl}_L)$ and establish a matrix product formula of the steady state probability of the $n$-TAZRP in terms of corner transfer matrices of a $q=0$-oscillator valued vertex model. These results parallel the recent reformulation of the $n$-species totally asymmetric simple exclusion process ($n$-TASEP) by the authors, demonstrating that $n$-TAZRP and $n$-TASEP are the canonical sister models associated with the symmetric and the antisymmetric tensor representations of $U_q(\hat{sl}_L)$ at $q=0$, respectively. △ Less

Submitted 11 October, 2016; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 25 pages. Minor corrections in Example 5.9

MSC Class: 81R50; 60C99

Journal ref: Journal of Integrable Systems. 2016 1 (1): xyw002

Multispecies TASEP and the tetrahedron equation

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We introduce a family of layer to layer transfer matrices in a three-dimensional (3D) lattice model which can be viewed as partition functions of the $q$-oscillator valued six-vertex model on $m \times n$ square lattice. By invoking the tetrahedron equation we establish their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they ultimately yield a new pr… ▽ More We introduce a family of layer to layer transfer matrices in a three-dimensional (3D) lattice model which can be viewed as partition functions of the $q$-oscillator valued six-vertex model on $m \times n$ square lattice. By invoking the tetrahedron equation we establish their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they ultimately yield a new proof of the steady state formula for the $n$-species totally asymmetric simple exclusion process (TASEP) obtained recently by the authors, revealing the 3D integrability in the matrix product construction. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 18 pages

MSC Class: 81R50; 60C99

Journal ref: J. Phys. A: Math. Theor. 49 (2016) 114001 (22p)

Multispecies TASEP and combinatorial $R$

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We identify the algorithm for constructing steady states of the $n$-species totally asymmetric simple exclusion process (TASEP) on $L$ site periodic chain by Ferrari and Martin with a composition of combinatorial $R$ for the quantum affine algebra $U_q(\widehat{sl}_L)$ in crystal base theory. Based on this connection and the factorized form of the $R$ matrix derived recently from the tetrahedron e… ▽ More We identify the algorithm for constructing steady states of the $n$-species totally asymmetric simple exclusion process (TASEP) on $L$ site periodic chain by Ferrari and Martin with a composition of combinatorial $R$ for the quantum affine algebra $U_q(\widehat{sl}_L)$ in crystal base theory. Based on this connection and the factorized form of the $R$ matrix derived recently from the tetrahedron equation, we establish a new matrix product formula for the steady state of the TASEP which is expressed in terms of corner transfer matrices of the $q$-oscillator valued five-vertex model at $q=0$. △ Less

Submitted 2 August, 2015; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: 16 pages, minor corrections

MSC Class: 81R50; 60C99

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 34FT02 (19pp)

A polynomial formula for the solution of 3D reflection equation

Authors: Atsuo Kuniba, Shouya Maruyama

Abstract: We introduce a family of polynomials in $q^2$ and four variables associated with the quantized algebra of functions $A_q(C_2)$. A new formula is presented for the recent solution of the 3D reflection equation in terms of these polynomials specialized to the eigenvalues of the $q$-oscillator operators. We introduce a family of polynomials in $q^2$ and four variables associated with the quantized algebra of functions $A_q(C_2)$. A new formula is presented for the recent solution of the 3D reflection equation in terms of these polynomials specialized to the eigenvalues of the $q$-oscillator operators. △ Less

Submitted 26 February, 2019; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: 14 pages. A minor correction in C_{ij} in section 2.1

MSC Class: 81R50; 17B37

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 135204