A quasiconformal analog of Carathéodory’s criterion for the Möbius property of mappings

In 1937, Carathéodory proved that every injective mapping f: G → f(G) ? $\bar C$ of a domain G ? $\bar C$ , taking circles to circles, is Möbius. The present article shows that if each injective mapping takes circles onto k-quasicircles then it is K-quasiconformal with $K \leqslant k + \sqrt {k^2 - 1} $ .     

The Möbius midpoint condition as a test for quasiconformality and the quasimöbius property

The Möbius midpoint condition, introduced by Goldberg in 1974 as a criterion for the quasisymmetry of a mapping of the line onto itself and considered by Aseev and Kuzin in 1998 in the same role for the topological embeddings of the line into ? ⁿ , yields no information on the quasiconformality or quasisymmetry of a topological embedding of ? ^k into ? ⁿ for 1 < k ≤ n. In this article we introduce a Möbius-invariant modification of the midpoint condition, which we call the “Möbius midpoint condition” MMC(f) ≤ H < 1. We prove that if this condition is fulfilled then every homeomorphism of domains in \(\overline {\mathbb{R}^n }\) is K(H)-quasiconformal, while a topological embedding of the sphere \(\overline {\mathbb{R}^k }\) into \(\overline {\mathbb{R}^n }\) (for 1 ≤ k ≤ n) is ω _H-quasimöbius. The quasiconformality coefficient of K(H) and the distortion function ω _H depend only on H and are expressed by explicit formulas showing that K(H) → 1 and ω _H → id as H → 1/2. Since MMC(f) = 1/2 is equivalent to the Möbius property of f, the resulting formulas yield the closeness of the mapping to a Möbius mapping for H near 1/2.     

Möbius bilipschitz homogeneous arcs on the plane

A möbius bilipschitz mapping is an η-quasimöbius mapping with the linear distortion function η(t) = Kt. We show that if an open Jordan arc γ ? C with distinct endpoints a and b is homogeneous with respect to the family F_K of möbius bilipschitz automorphisms of the sphere C with K specified then γ has bounded turning RT(γ) in the sense of Rickman and, consequently, γ is a quasiconformal image of a rectilinear segment. The homogeneity of γ with respect to F_K means that for all x, y ∈ γ {a, b} there exists f ∈ F_K with f(γ) = γ and f(x) = y. In order to estimate RT(γ) from above, we introduce the condition BR(δ) of bounded rotation of γ, and then the explicit bound depends only on K and δ.     

Apollonian isometries of planar domains are Möbius mappings

The Apollonian metric is a generalization of the hyperbolic metric, defined in a much larger class of open sets. Beardon introduced the metric in 1998, and asked whether its isometries are just the Möbius mappings. In this article we show that this is the case in all open subsets of the plane with at least three boundary points.     

Projective plane and Möbius band obstructions

LetS be a compact surface with possibly non-empty boundary S and letG be a graph. LetK be a subgraph ofG embedded inS such that SK. Anembedding extension ofK toG is an embedding ofG inS which coincides onK with the given embedding ofK. Minimal obstructions for the existence of embedding extensions are classified in cases whenS is the projective plane or the Möbius band (for several canonical choices ofK). Linear time algorithms are presented that either find an embedding extension, or return a nice obstruction for the existence of extensions.Supported in part by the Ministry of Science and Technology of Slovenia, Research Project P1-0210-101-94.     

On the Möbius Function of a Pointed Graded Lattice

In this paper, we compute the Möbius function of pointed integer partition and pointed ordered set partition using topological and analytic methods. We show that the associated order complex is a wedge of spheres and compute the associated reduced homology group for each subposet. In addition, we compute the Möbius function of pointed graded lattice and use our method to compute the Möbius function of pointed direct sum decomposition of vector spaces.     

Some inequalities for the Poincaré metric of plane domains

In this paper, the Poincaré (or hyperbolic) metric and the associated distance are investigated for a plane domain based on the detailed properties of those for the particular domain In particular, another proof of a recent result of Gardiner and Lakic [7] is given with explicit constant. This and some other constants in this paper involve particular values of complete elliptic integrals and related special functions. A concrete estimate for the hyperbolic distance near a boundary point is also given, from which refinements of Littlewood’s theorem are derived.This research was carried out during the first-named author’s visit to the University of Helsinki under the exchange programme of scientists between the Academy of Finland and the JSPS.     

On partial sums of a spectral analogue of the Möbius function

Sankaranarayanan and Sengupta introduced the function μ ^*(n) corresponding to the Möbius function. This is defined by the coefficients of the Dirichlet series 1/L _f (s), where L _f (s) denotes the L-function attached to an even Maaß cusp form f. We will examine partial sums of μ ^*(n). The main result is $\sum_{n\leq x}\mu^{*}(n)=O(x\exp(-A\sqrt{\log x}))$ , where A is a positive constant. It seems to be the corresponding prime number theorem.     

An Explicit Derivation of the Möbius Function for Bruhat Order

We give an explicit nonrecursive complete matching for the Hasse diagram of the strong Bruhat order of any interval in any Coxeter group. This yields a new derivation of the Möbius function, recovering a classical result due to Verma.     

Some remarks on the theorem of Möbius

H.S.M. Coxeter in his book Introduction to Geometry quotes a theorem of Möbius. In the paper two counterexamples are given. A corrected version of the theorem is stated and proved.     

Möbius characterization of hemispheres

In this paper we generalize the Möbius characterization of metric spheres as obtained in Foertsch and Schroeder [4] to a corresponding Möbius characterization of metric hemispheres.     

Factorizations of Möbius Gyrogroups

In this paper we consider a M?bius gyrogroup on a real Hilbert space (of finite or infinite dimension) and we obtain its factorization by gyrosubgroups and subgroups. It is shown that there is a duality relation between the quotient spaces and the orbits obtained. As an example we will present the factorization of the M?bius gyrogroup of the unit ball in \mathbbRⁿ{\mathbb{R}}^{n} linked to the proper Lorentz group Spin⁺(1, n).     

Quasiconformal extension of quasimöbius mappings of Jordan domains

We introduce the new class of Jordan arcs (curves) of bounded rotation which includes all arcs (curves) of bounded turning. We prove that if the boundary of a Jordan domain has bounded rotation everywhere but possibly one singular point then every quasimöbius embedding of this domain extends to a quasiconformal automorphism of the entire plane.     

Metric Möbius geometry and a characterization of spheres

We obtain a Möbius characterization of the n-dimensional spheres S ⁿ endowed with the chordal metric d ₀. We show that every compact extended Ptolemy metric space with the property that every three points are contained in a circle is Möbius equivalent to (S ⁿ , d ₀) for some n ≥ 1.     

Maximizing the Möbius Function of a Poset and the Sum of the Betti Numbers of the Order Complex

Received: February 28, 1995/Revised: Revised October 30, 1998     

On Möbius form and Möbius isoparametric hypersurfaces

An umbilic-free hypersurface in the unit sphere is called MSbius isoparametric if it satisfies two conditions, namely, it has vanishing MSbius form and has constant MSbius principal curvatures. In this paper, under the condition of having constant MSbius principal curvatures, we show that the hypersurface is of vanishing MSbius form if and only if its MSbius form is parallel with respect to the Levi-Civita connection of its MSbius metric. Moreover, typical examples are constructed to show that the condition of having constant MSbius principal curvatures and that of having vanishing MSbius form are independent of each other.     

Topological classification of Möbius transformations

Linear fractional transformations on the extended complex plane are classified up to topological conjugacy. Recall that two transformations f and g are called topologically conjugate if there exists a homeomorphism h such that g = h ^?1 ? f ? h, where ? is the composition of mappings.     

The Extension of Möbius Groups

Let G be a non-elementary subgroup of SL(2,Г _n ) containing hyperbolic elements. We show that G is the extension of a subgroup of SL(2,C) if and only if that G is conjugate in SL(2,Г _n ) to a group G' with the following properties: (1) There are g ₀, h ? G', where g ₀ and h are hyperbolic, such that fix(g ₀) = {0,∞}, fix(h)∩fix(g ₀) =  and fix(h) ∩ C ≠ ; (2) tr(g) ? C for each g ? G'. As an application, we show that if G contains only hyperbolic elements and uniformly parabolic elements, then G is the extension of a subgroup of SL(2,C), which also yields the discreteness of G.