Showing 1–28 of 28 results for author: Matsuzaki, K

Weil-Petersson curves and Dirichlet finite harmonic functions on Riemann surfaces

Authors: Katsuhiko Matsuzaki

Abstract: On two subsurfaces of a Riemann surface divided by a $p$-Weil-Petersson curve $γ$, we consider the spaces of harmonic functions whose $p$-Dirichlet integrals are finite in the complementary domains of $γ$. By requiring the coincidence of boundary values on $γ$, we establish a correspondence between the harmonic functions in these Banach spaces. We analyze the operator arising from this corresponde… ▽ More On two subsurfaces of a Riemann surface divided by a $p$-Weil-Petersson curve $γ$, we consider the spaces of harmonic functions whose $p$-Dirichlet integrals are finite in the complementary domains of $γ$. By requiring the coincidence of boundary values on $γ$, we establish a correspondence between the harmonic functions in these Banach spaces. We analyze the operator arising from this correspondence via the composition operator acting on the Banach space of $p$-Besov functions on the unit circle. △ Less

Submitted 4 March, 2025; originally announced March 2025.

The complex structure of the Teichmüller space of circle diffeomorphisms in the Zygmund smooth class II

Authors: Katsuhiko Matsuzaki

Abstract: In our previous paper with the same title, we established the complex Banach manifold structure for the Teichmüller space of circle diffeomorphisms whose derivatives belong to the Zygmund class. This was achieved by demonstrating that the Schwarzian derivative map is a holomorphic split submersion. We also obtained analogous results for the pre-Schwarzian derivative map. In this second part of t… ▽ More In our previous paper with the same title, we established the complex Banach manifold structure for the Teichmüller space of circle diffeomorphisms whose derivatives belong to the Zygmund class. This was achieved by demonstrating that the Schwarzian derivative map is a holomorphic split submersion. We also obtained analogous results for the pre-Schwarzian derivative map. In this second part of the study, we investigate the structure of the image of the pre-Schwarzian derivative map, viewing it as a fiber space over the Bers embedding of the Teichmüller space, and prove that it forms a real-analytic disk-bundle. Furthermore, we consider the little Zygmund class and establish corresponding results for the closed Teichmüller subspace consisting of mappings in this class. Finally, we construct the quotient space of this subspace in analogy with the asymptotic Teichmüller space and prove that the quotient Bers embedding and pre-Bers embedding are well-defined and injective, thereby endowing it with a complex structure modeled on a quotient Banach space. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Simultaneous uniformization of chord-arc curves and BMO Teichmüller space

Authors: Katsuhiko Matsuzaki

Abstract: By using a method of simultaneous uniformization, we parametrize the space of chord-arc curves within the product of BMO Teichmüller spaces. This method provides a biholomorphic correspondence between such embeddings $γ$ onto chord-arc curves $Γ$ and $\log γ'$ in the Banach space of BMO functions. In our previous work, through this correspondence $Λ$, we have clarified the arguments of Teichmüller… ▽ More By using a method of simultaneous uniformization, we parametrize the space of chord-arc curves within the product of BMO Teichmüller spaces. This method provides a biholomorphic correspondence between such embeddings $γ$ onto chord-arc curves $Γ$ and $\log γ'$ in the Banach space of BMO functions. In our previous work, through this correspondence $Λ$, we have clarified the arguments of Teichmüller space theory for chord-arc curves, solved the problem of the discontinuity of the Riemann mapping parametrization of chord-arc curves, and simplified the proof for a real-analytic diffeomorphism onto the space of reparametrizations by strongly quasisymmetric homeomorphisms. In this paper, we first review these results by renewing the arguments in an effort to minimize reliance on other results. Then, we present a new application of simultaneous uniformization to the Cauchy transform of BMO functions on a chord-arc curve. We show that the Cauchy transform can be described by the derivative of the biholomorphic map $Λ$ and hence depends holomorphically on the variation of chord-arc curves. Finally, we organize and demonstrate the corresponding results for the VMO Teichmüller space. △ Less

Submitted 9 October, 2024; originally announced October 2024.

Analytic Besov functions, pre-Schwarzian derivatives, and integrable Teichmüller spaces

Authors: Katsuhiko Matsuzaki, Huaying Wei

Abstract: We consider the embedding of integrable Teichmüller spaces $T_p$ into analytic Besov spaces by using pre-Schwarzian derivatives. Unlike the case of the Bers embedding by Schwarzian derivatives, there is a big difference between the cases $p>1$ and $p=1$. In this paper, we focus on the case $p=1$ and generalize the previous results obtained for $p>1$. This gives a unified approach to the complex an… ▽ More We consider the embedding of integrable Teichmüller spaces $T_p$ into analytic Besov spaces by using pre-Schwarzian derivatives. Unlike the case of the Bers embedding by Schwarzian derivatives, there is a big difference between the cases $p>1$ and $p=1$. In this paper, we focus on the case $p=1$ and generalize the previous results obtained for $p>1$. This gives a unified approach to the complex analytic theory of integrable Teichmüller spaces $T_p$ for all $p \geq 1$. △ Less

Submitted 10 June, 2025; v1 submitted 19 June, 2024; originally announced June 2024.

The complex structure of the Teichmüller space of circle diffeomorphisms in the Zygmund smooth class

Authors: Katsuhiko Matsuzaki

Abstract: We provide the complex Banach manifold structure for the Teichmüller space of circle diffeomorphisms whose derivatives are in the Zygmund class. This is done by showing that the Schwarzian derivative map is a holomorphic split submersion. We provide the complex Banach manifold structure for the Teichmüller space of circle diffeomorphisms whose derivatives are in the Zygmund class. This is done by showing that the Schwarzian derivative map is a holomorphic split submersion. △ Less

Submitted 12 February, 2025; v1 submitted 26 November, 2023; originally announced November 2023.

Comments: A part of the previous version of this submission is separated into Part II of the same title

Journal ref: J. Math. Anal. Appl. (2024)

Bi-Lipschitz quasiconformal extensions

Authors: Katsuhiko Matsuzaki

Abstract: We survey several methods of extending quasisymmetric homeomorphisms of the real line to bi-Lipschitz diffeomorphisms of the upper half-plane with respect to the hyperbolic metric. We survey several methods of extending quasisymmetric homeomorphisms of the real line to bi-Lipschitz diffeomorphisms of the upper half-plane with respect to the hyperbolic metric. △ Less

Submitted 10 June, 2024; v1 submitted 17 February, 2023; originally announced February 2023.

Comments: To appear in Proceedings of CCGA2022 and KSCV14

The $p$-integrable Teichmüller space for $p \geqslant 1$

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We verify that the $p$-integrable Teichmüller space $T_p$ admits the canonical complex Banach manifold structure for any $p \geq 1$. Moreover, we characterize a quasisymmetric homeomorphism corresponding to an element of $T_p$ in terms of the $p$-Besov space for any $p>1$. We verify that the $p$-integrable Teichmüller space $T_p$ admits the canonical complex Banach manifold structure for any $p \geq 1$. Moreover, we characterize a quasisymmetric homeomorphism corresponding to an element of $T_p$ in terms of the $p$-Besov space for any $p>1$. △ Less

Submitted 26 November, 2023; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: Modifications to the published article are made on this follow-up version. (Lemma 3.2 and Theorem 4.1 are improved.)

Journal ref: Proceedings of the Japan Academy Series A: Mathematical Sciences 99 (2023), 37-42

Strongly symmetric homeomorphisms on the real line with uniform continuity

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We investigate strongly symmetric homeomorphisms of the real line which appear in harmonic analysis aspects of quasiconformal Teichmüller theory. An element in this class can be characterized by a property that it can be extended quasiconformally to the upper half-plane so that its complex dilatation induces a vanishing Carleson measure. However, differently from the case on the unit circle, stron… ▽ More We investigate strongly symmetric homeomorphisms of the real line which appear in harmonic analysis aspects of quasiconformal Teichmüller theory. An element in this class can be characterized by a property that it can be extended quasiconformally to the upper half-plane so that its complex dilatation induces a vanishing Carleson measure. However, differently from the case on the unit circle, strongly symmetric homeomorphisms on the real line are not preserved under either the composition or the inversion. In this paper, we present the difference and the relation between these two cases. In particular, we show that if uniform continuity is assumed for strongly symmetric homeomorphisms of the real line, then they are preserved by those operations. We also show that the barycentric extension of uniformly continuous one induces a vanishing Carleson measure and so do the composition and the inverse of those quasiconformal homeomorphisms of the upper half-plane. △ Less

Submitted 21 July, 2022; originally announced July 2022.

Chordal Loewner chains and Teichmüller spaces on the half-plane

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We consider a univalent analytic function $f$ on the half-plane satisfying the condition that the supremum norm of its (pre-)Schwarzian derivative vanishes on the boundary. Under certain extra assumptions on $f$, we show that there exists a chordal Loewner chain initiated from $f$ until some finite time, and this Loewner chain defines a quasiconformal extension of $f$ over the boundary such that i… ▽ More We consider a univalent analytic function $f$ on the half-plane satisfying the condition that the supremum norm of its (pre-)Schwarzian derivative vanishes on the boundary. Under certain extra assumptions on $f$, we show that there exists a chordal Loewner chain initiated from $f$ until some finite time, and this Loewner chain defines a quasiconformal extension of $f$ over the boundary such that its complex dilatation is given explicitly in terms of the (pre-)Schwarzian derivative in some neighborhood of the boundary. This can be regarded as the half-plane version of the corresponding result developed on the disk by Becker and also the generalization of the Ahlfors-Weill formula. As an application of this quasiconformal extension, we complete the characterization of an element of the VMO-Teichmüller space on the half-plane using the vanishing Carleson measure condition induced by the (pre-)Schwarzian derivative. △ Less

Submitted 6 July, 2022; originally announced July 2022.

The VMO-Teichmüller space and the variant of Beurling-Ahlfors extension by heat kernel

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We give a real-analytic section for the Teichmüller projection onto the VMO-Teichmüller space by using the variant of Beurling-Ahlfors extension by heat kernel introduced by Fefferman, Kenig and Pipher in 1991. Based on this result, we prove that the VMO-Teichmüller space can be endowed with a real Banach manifold structure that is real-analytically equivalent to its complex Banach manifold struct… ▽ More We give a real-analytic section for the Teichmüller projection onto the VMO-Teichmüller space by using the variant of Beurling-Ahlfors extension by heat kernel introduced by Fefferman, Kenig and Pipher in 1991. Based on this result, we prove that the VMO-Teichmüller space can be endowed with a real Banach manifold structure that is real-analytically equivalent to its complex Banach manifold structure. We also obtain that the VMO-Teichmüller space admits a real-analytic contraction mapping. △ Less

Submitted 16 December, 2021; originally announced December 2021.

BMO embeddings, chord-arc curves, and Riemann mapping parametrization

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We consider the space of chord-arc curves on the plane passing through the infinity with their parametrization $γ$ on the real line, and embed this space into the product of the BMO Teichmüller spaces. The fundamental theorem we prove about this representation is that $\log γ'$ also gives a biholomorphic homeomorphism into the complex Banach space of BMO functions. Using these two equivalent compl… ▽ More We consider the space of chord-arc curves on the plane passing through the infinity with their parametrization $γ$ on the real line, and embed this space into the product of the BMO Teichmüller spaces. The fundamental theorem we prove about this representation is that $\log γ'$ also gives a biholomorphic homeomorphism into the complex Banach space of BMO functions. Using these two equivalent complex structures, we develop a clear exposition on the analytic dependence of involved mappings between certain subspaces. Especially, we examine the parametrization of a chord-arc curve by using the Riemann mapping and its dependence on the arc-length parametrization. As a consequence, we can solve a conjecture of Katznelson, Nag, and Sullivan in 1990 by showing that this dependence is not continuous. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Parametrization of the $p$-Weil-Petersson curves: holomorphic dependence

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: Similarly to the Bers simultaneous uniformization, the product of the $p$-Weil-Petersson Teichmüller spaces for $p \geq 1$ provides the coordinates for the space of $p$-Weil-Petersson embeddings $γ$ of the real line $\mathbb R$ into the complex plane $\mathbb C$. We prove the biholomorphic correspondence from this space to the $p$-Besov space of $u=\log γ'$ on $\mathbb R$ for $p>1$. From this fund… ▽ More Similarly to the Bers simultaneous uniformization, the product of the $p$-Weil-Petersson Teichmüller spaces for $p \geq 1$ provides the coordinates for the space of $p$-Weil-Petersson embeddings $γ$ of the real line $\mathbb R$ into the complex plane $\mathbb C$. We prove the biholomorphic correspondence from this space to the $p$-Besov space of $u=\log γ'$ on $\mathbb R$ for $p>1$. From this fundamental result, several consequences follow immediately which clarify the analytic structures concerning parameter spaces of $p$-Weil-Petersson curves. In particular, it follows that the correspondence of the Riemann mapping parameters to the arc-length parameters keeping the images of curves is a homeomorphism with bi-real-analytic dependence of change of parameters. This is a counterpart to a classical theorem of Coifman and Meyer for chord-arc curves. △ Less

Submitted 28 November, 2022; v1 submitted 27 November, 2021; originally announced November 2021.

The $p$-Weil-Petersson Teichmüller space and the quasiconformal extension of curves

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We consider the correspondence between the space of $p$-Weil-Petersson curves $γ$ on the plane and the $p$-Besov space of $u=\log γ'$ on the real line for $p >1$. We prove that the variant of the Beurling-Ahlfors extension defined by using the heat kernel yields a holomorphic map for $u$ on a domain of the $p$-Besov space to the space of $p$-integrable Beltrami coefficients. This in particular giv… ▽ More We consider the correspondence between the space of $p$-Weil-Petersson curves $γ$ on the plane and the $p$-Besov space of $u=\log γ'$ on the real line for $p >1$. We prove that the variant of the Beurling-Ahlfors extension defined by using the heat kernel yields a holomorphic map for $u$ on a domain of the $p$-Besov space to the space of $p$-integrable Beltrami coefficients. This in particular gives a global real-analytic section for the Teichmüller projection from the space of $p$-integrable Beltrami coefficients to the $p$-Weil-Petersson Teichmüller space. △ Less

Submitted 18 May, 2022; v1 submitted 27 November, 2021; originally announced November 2021.

Comments: To appear in Journal of Geometric Analysis

Beurling-Ahlfors extension by heat kernel, ${\rm A}_\infty$-weights for VMO, and vanishing Carleson measures

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We investigate a variant of the Beurling-Ahlfors extension of quasisymmetric homeomorphisms of the real line that is given by the convolution of the heat kernel, and prove that the complex dilatation of such a quasiconformal extension of a strongly symmetric homeomorphism (i.e. its derivative is an ${\rm A}_\infty$-weight whose logarithm is in VMO) induces a vanishing Carleson measure on the upper… ▽ More We investigate a variant of the Beurling-Ahlfors extension of quasisymmetric homeomorphisms of the real line that is given by the convolution of the heat kernel, and prove that the complex dilatation of such a quasiconformal extension of a strongly symmetric homeomorphism (i.e. its derivative is an ${\rm A}_\infty$-weight whose logarithm is in VMO) induces a vanishing Carleson measure on the upper half-plane. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Teichmüller spaces of piecewise symmetric homeomorphisms on the unit circle

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We interpolate a new family of Teichmüller spaces $T_{\sharp}^X$ between the universal Teichmüller space $T$ and its little subspace $T_0$, which we call the Teichmüller space of piecewise symmetric homeomorphisms. This is defined by prescribing a subset $X$ of the unit circle. The inclusion relation of $X$ induces a natural inclusion of $T_{\sharp}^X$, and an approximation of $T$ is given by an i… ▽ More We interpolate a new family of Teichmüller spaces $T_{\sharp}^X$ between the universal Teichmüller space $T$ and its little subspace $T_0$, which we call the Teichmüller space of piecewise symmetric homeomorphisms. This is defined by prescribing a subset $X$ of the unit circle. The inclusion relation of $X$ induces a natural inclusion of $T_{\sharp}^X$, and an approximation of $T$ is given by an increasing sequence of $T_{\sharp}^X$. In this paper, we discuss the fundamental properties of $T_{\sharp}^X$ from the viewpoint of the quasiconformal theory of Teichmüller spaces. We also consider the quotient space of $T$ by $T_{\sharp}^X$ as an analog of the asymptotic Teichmüller space. △ Less

Submitted 21 August, 2019; originally announced August 2019.

Comments: arXiv admin note: text overlap with arXiv:1908.06618

Journal ref: Pacific J. Math. 314 (2021) 495-514

Teichmüller spaces of generalized symmetric homeomorphisms

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We introduce the concept of a new kind of symmetric homeomorphisms on the unit circle, which is derived from the generalization of symmetric homeomorphisms on the real line. By the investigation of the barycentric extension for this class of circle homeomorphisms and the biholomorphic automorphisms induced by trivial Beltrami coefficients, we endow a complex Banach manifold structure on the space… ▽ More We introduce the concept of a new kind of symmetric homeomorphisms on the unit circle, which is derived from the generalization of symmetric homeomorphisms on the real line. By the investigation of the barycentric extension for this class of circle homeomorphisms and the biholomorphic automorphisms induced by trivial Beltrami coefficients, we endow a complex Banach manifold structure on the space of those generalized symmetric homeomorphisms. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Symmetric and strongly symmetric homeomorphisms on the real line with non-symmetric inversion

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: We show an example of a symmetric homeomorphism $h$ of the real line $\mathbb{R}$ onto itself such that $h^{-1}$ is not symmetric. This implies that the set of all symmetric self-homeomorphisms of $\mathbb{R}$ does not constitute a group under the composition. We also deal with strongly symmetric self-homeomorphisms of $\mathbb{R}$ along the same line. These results reveal the difference of the se… ▽ More We show an example of a symmetric homeomorphism $h$ of the real line $\mathbb{R}$ onto itself such that $h^{-1}$ is not symmetric. This implies that the set of all symmetric self-homeomorphisms of $\mathbb{R}$ does not constitute a group under the composition. We also deal with strongly symmetric self-homeomorphisms of $\mathbb{R}$ along the same line. These results reveal the difference of the sets of such self-homeomorphisms of the real line from those of the unit circle. △ Less

Submitted 14 October, 2019; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: Title is changed and Section 5 is added (v2)

BMO Teichmüller spaces and their quotients with complex and metric structures

Authors: Huaying Wei, Katsuhiko Matsuzaki

Abstract: The paper presents some recent results on the BMO Teichmüller space, its subspaces and quotient spaces. We first consider the chord-arc curve subspace and prove that every element of the BMO Teichmüller space is represented by its finite composition. Moreover, we show that these BMO Teichmüller spaces have affine foliated structures induced by the VMO Teichmüller space. By which, their quotient sp… ▽ More The paper presents some recent results on the BMO Teichmüller space, its subspaces and quotient spaces. We first consider the chord-arc curve subspace and prove that every element of the BMO Teichmüller space is represented by its finite composition. Moreover, we show that these BMO Teichmüller spaces have affine foliated structures induced by the VMO Teichmüller space. By which, their quotient spaces have natural complex structures modeled on the quotient Banach space. Then, a complete translation-invariant metric is introduced on the BMO Teichmüller space and is shown to be a continuous Finsler metric in a special case. △ Less

Submitted 21 November, 2018; originally announced November 2018.

On horospheric limit sets of Kleinian groups

Authors: Kurt Falk, Katsuhiko Matsuzaki

Abstract: In this paper we partially answer a question of P. Tukia about the size of the difference between the big horospheric limit set and the horospheric limit set of a Kleinian group. We mainly investigate the case of normal subgroups of Kleinian groups of divergence type and show that this difference is of zero conformal measure by using another result obtained here: the Myrberg limit set of a non-ele… ▽ More In this paper we partially answer a question of P. Tukia about the size of the difference between the big horospheric limit set and the horospheric limit set of a Kleinian group. We mainly investigate the case of normal subgroups of Kleinian groups of divergence type and show that this difference is of zero conformal measure by using another result obtained here: the Myrberg limit set of a non-elementary Kleinian group is contained in the horospheric limit set of any non-trivial normal subgroup. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 16 pages, 2 figures

MSC Class: Primary 30F40; Secondary 37F35

Weighted cogrowth formula for free groups

Authors: Johannes Jaerisch, Katsuhiko Matsuzaki

Abstract: We investigate the relationship between geometric, analytic and probabilistic indices for quotients of the Cayley graph of the free group ${\rm Cay}(F_n)$ endowed with variable edge lengths, by an arbitrary subgroup $G$ of $F_n$. Our main result, which generalizes Grigorchuk's cogrowth formula to variable edge lengths, provides a formula relating the bottom of the spectrum of weighted Laplacian on… ▽ More We investigate the relationship between geometric, analytic and probabilistic indices for quotients of the Cayley graph of the free group ${\rm Cay}(F_n)$ endowed with variable edge lengths, by an arbitrary subgroup $G$ of $F_n$. Our main result, which generalizes Grigorchuk's cogrowth formula to variable edge lengths, provides a formula relating the bottom of the spectrum of weighted Laplacian on $G \backslash {\rm Cay}(F_n)$ to the Poincaré exponent of $G$. Our main tool is the Patterson-Sullivan theory for Cayley graphs with variable edge lengths. △ Less

Submitted 22 February, 2018; originally announced February 2018.

MSC Class: 20E08; 20F65 (Primary); 60J15; 60B15 (Secondary)

Injectivity of the quotient Bers embedding of Teichmüller spaces

Authors: Katsuhiko Matsuzaki

Abstract: The Bers embedding of theTeichmüller space is a homeomorphism into the Banach space of certain holomorphic automorphic forms. For a subspace of the universal Teichmüller space and its corresponding Banach subspace, we consider whether the Bers embedding can project down between their quotient spaces. If this is the case, it is called the quotient Bers embedding. Injectivity of the quotient Bers em… ▽ More The Bers embedding of theTeichmüller space is a homeomorphism into the Banach space of certain holomorphic automorphic forms. For a subspace of the universal Teichmüller space and its corresponding Banach subspace, we consider whether the Bers embedding can project down between their quotient spaces. If this is the case, it is called the quotient Bers embedding. Injectivity of the quotient Bers embedding is the main problem in this paper. Alternatively, we can describe this situation as the universal Teichmüller space having an affine foliated structure induced by this subspace. We give several examples of subspaces for which the injectivity holds true, including the Teichmüller space of circle diffeomorphisms with Hölder continuous derivative. As an application, the regularity of conjugation between representations of a Fuchsian group into the group of circle diffeomorphisms is investigated. △ Less

Submitted 1 February, 2019; v1 submitted 31 August, 2017; originally announced September 2017.

Comments: arXiv admin note: text overlap with arXiv:1607.06316

Rigidity of groups of circle diffeomorphisms and Teichmüller spaces

Authors: Katsuhiko Matsuzaki

Abstract: We consider deformations of a group of circle diffeomorphisms with Hölder continuous derivatives in the framework of quasiconformal Teichmüller theory and show certain rigidity under conjugation by symmetric homeomorphisms of the circle. As an application, we give a condition for such a diffeomorphism group to be conjugate to a Möbius group by a diffeomorphism of the same regularity. The strategy… ▽ More We consider deformations of a group of circle diffeomorphisms with Hölder continuous derivatives in the framework of quasiconformal Teichmüller theory and show certain rigidity under conjugation by symmetric homeomorphisms of the circle. As an application, we give a condition for such a diffeomorphism group to be conjugate to a Möbius group by a diffeomorphism of the same regularity. The strategy is to find a fixed point of the group which acts isometrically on the integrable Teichmüller space with the Weil-Petersson metric. △ Less

Submitted 29 March, 2020; v1 submitted 21 July, 2016; originally announced July 2016.

Continuity of the barycentric extension of circle diffeomorphisms of Hölder continuous derivatives

Authors: Katsuhiko Matsuzaki

Abstract: The barycentric extension due to Douady and Earle gives a conformally natural extension of a quasisymmetric automorphism of the circle to a quasiconformal automorphism of the unit disk. We consider such extensions for circle diffeomorphisms of Hölder continuous derivatives and show that this operation is continuous with respect to an appropriate topology for the space of the corresponding Beltrami… ▽ More The barycentric extension due to Douady and Earle gives a conformally natural extension of a quasisymmetric automorphism of the circle to a quasiconformal automorphism of the unit disk. We consider such extensions for circle diffeomorphisms of Hölder continuous derivatives and show that this operation is continuous with respect to an appropriate topology for the space of the corresponding Beltrami coefficients. △ Less

Submitted 21 July, 2016; originally announced July 2016.

Journal ref: Trans. London Math. Soc. 4 (2017), 129-147

Teichmüller space of circle diffeomorphisms with Hölder continuous derivatives

Authors: Katsuhiko Matsuzaki

Abstract: Based on the quasiconformal theory of the universal Teichmüller space, we introduce the Teichmüller space of diffeomorphisms of the unit circle with $α$-Hölder continuous derivatives as a subspace of the universal Teichmüller space. We characterize such a diffeomorphism quantitatively in terms of the complex dilatation of its quasiconformal extension and the Schwarzian derivative given by the Bers… ▽ More Based on the quasiconformal theory of the universal Teichmüller space, we introduce the Teichmüller space of diffeomorphisms of the unit circle with $α$-Hölder continuous derivatives as a subspace of the universal Teichmüller space. We characterize such a diffeomorphism quantitatively in terms of the complex dilatation of its quasiconformal extension and the Schwarzian derivative given by the Bers embedding. Then, we provide a complex Banach manifold structure for it and prove that its topology coincides with the one induced by local $C^{1+α}$-topology at the base point. △ Less

Submitted 29 March, 2020; v1 submitted 21 July, 2016; originally announced July 2016.

Growth and cogrowth of normal subgroups of a free group

Authors: Johannes Jaerisch, Katsuhiko Matsuzaki

Abstract: We give a sufficient condition for a sequence of normal subgroups of a free group to have the property that both, their growths tend to the upper bound and their cogrowths tend to the lower bound. The condition is represented by planarity of the quotient graphs of the tree. We give a sufficient condition for a sequence of normal subgroups of a free group to have the property that both, their growths tend to the upper bound and their cogrowths tend to the lower bound. The condition is represented by planarity of the quotient graphs of the tree. △ Less

Submitted 14 December, 2015; originally announced December 2015.

MSC Class: Primary 20F69; 05C50; Secondary 20E08; 30F40

Normalizer, divergence type and Patterson measure for discrete groups of the Gromov hyperbolic space

Authors: Katsuhiko Matsuzaki, Yasuhiro Yabuki, Johannes Jaerisch

Abstract: For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $δ$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result, we have: (1) under a minor assumption, such a discrete group $G$ admits no proper conjugation, that is, if the conjugate of $G$ is contained in $G$, then it coincides… ▽ More For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $δ$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result, we have: (1) under a minor assumption, such a discrete group $G$ admits no proper conjugation, that is, if the conjugate of $G$ is contained in $G$, then it coincides with $G$; (2) the critical exponent of any non-elementary normal subgroup of $G$ is strictly greater than half of that for $G$. △ Less

Submitted 8 November, 2019; v1 submitted 9 November, 2015; originally announced November 2015.

The critical exponent, the Hausdorff dimension of the limit set and the convex core entropy of a Kleinian group

Authors: Kurt Falk, Katsuhiko Matsuzaki

Abstract: In this paper we study the relationship between three numerical invariants associated to a Kleinian group, namely the critical exponent, the Hausdorff dimension of the limit set and the convex core entropy. The Hausdorff dimension of the limit set is naturally bounded below by the critical exponent and above by the convex core entropy. We investigate when these inequalities become strict and when… ▽ More In this paper we study the relationship between three numerical invariants associated to a Kleinian group, namely the critical exponent, the Hausdorff dimension of the limit set and the convex core entropy. The Hausdorff dimension of the limit set is naturally bounded below by the critical exponent and above by the convex core entropy. We investigate when these inequalities become strict and when they are equalities. △ Less

Submitted 10 April, 2012; v1 submitted 22 June, 2011; originally announced June 2011.

Comments: Included connections to porosity and the box-counting (or Minkowski) dimension; did minor corrections

MSC Class: 30F40; 37F30

Checking atomicity of conformal ending measures for Kleinian groups

Authors: Kurt Falk, Katsuhiko Matsuzaki, Bernd O Stratmann

Abstract: In this paper we address questions of continuity and atomicity of conformal ending measures for arbitrary non-elementary Kleinian groups. We give sufficient conditions under which such ending measures are purely atomic. Moreover, we will show that if a conformal ending measure has an atom which is contained in the big horospherical limit set, then this atom has to be a parabolic fixed point. Als… ▽ More In this paper we address questions of continuity and atomicity of conformal ending measures for arbitrary non-elementary Kleinian groups. We give sufficient conditions under which such ending measures are purely atomic. Moreover, we will show that if a conformal ending measure has an atom which is contained in the big horospherical limit set, then this atom has to be a parabolic fixed point. Also, we give detailed discussions of non-trivial examples for purely atomic as well as for non-atomic conformal ending measures. △ Less

Submitted 19 March, 2009; originally announced March 2009.

Comments: 20 pages

MSC Class: 30F40; 37F99