On the construction of minimal skew products

It is shown that under fairly general conditions on a compact metric spaceY there are minimal homeomorphisms onZ×Y of the form(z,y)→(σz, h _z (y)) where (Z, σ) is a arbitrary metric minimal flow andz→h _z is a continuous map fromZ to the space of homeomorphisms ofY. Similar results are obtained for strict ergodicity, topolotical weak mixing and some relativized concepts.     

Expansive self-homeomorphisms on G-spaces

Beginning with examples, the notion ofG-expansiveness over a metric spaceX on which a topological groupG acts is introduced. Some conditions are determined under which expansiveness onX impliesG-expansiveness. A characterization of aG-expansive homeomorphism is obtained which in turn gives a sufficient condition for the homeomorphic extension of aG-expansive homeomorphism to beG-expansive. At the end, some results are stated in the form of concluding remarks.     

Obstruction to Positive Curvature on Homogeneous Bundles

Examples of almost-positively and quasi-positively curved spaces of the form M = H\((G, h) × F) were discovered recently [J. Differential Geom. 65:273–287, 2003; Invent. Math. 148:117–141, 2002]. Here h is a left-invariant metric on a compact Lie group G, F is a compact Riemannian manifold on which the subgroup acts isometrically on the left, and M is the orbit space of the diagonal left action of H on (G, h) × F with the induced Riemannian submersion metric. We prove that no new examples of strictly positive sectional curvature exist in this class of metrics. This result generalizes the case F = {point} proven by Geroch [Proc. Amer. Math. Soc. 66(2):321–326, 1977].Supported in part by NSF grant DMS–0303326.     

A general Choquet–Deny theorem for nilpotent groups

Let G be a locally compact second countable nilpotent group. Let μ be a probability measure on the Borel sets of G. We prove that any bounded continuous function h on G solution of the convolution equation

verifies h(gx)=h(g) for all (g,x)G×suppμ.     

Proprietes generiques de processus croises

LetS _φ be the skew product transformation(x, g)↦(Sx, gφ(x)) defined on Ω×G, where Ω is a compact metric space,G a compact metric group with its Haar measureh. IfS is a μ-continuous transformation where μ is a Borel measure on Ω, ergodic with respect toS, we study the setE ₀ of μ-continuous applications φ:Ω→G such that μ⩀h is ergodic (with respect toS _φ). For example,E ₀ is residual in the group of μ-continuous applications from Ω toG with the uniform convergence topology. We also study the weakly mixing case. Some arithmetic applications are given.     

Invariant Metrics on G-Spaces

Let X be a G-space such that the orbit space X/G is metrizable. Suppose a family of slices is given at each point of X. We study a construction which associates, under some conditions on the family of slices, with any metric on X/G an invariant metric on X. We show also that a family of slices with the required properties exists for any action of a countable group on a locally compact and locally connected metric space.     

Minimal extensions of graphs to absolute retracts

A graph H is an absolute retract if for every isometric embedding h of, into a graph G an edge-preserving map g from G to H exists such that g · h is the identity map on H. A vertex v is embeddable in a graph G if G ? v is a retract of G. An absolute retract is uniquely determined by its set of embeddable vertices. We may regard this set as a metric space. We also prove that a graph (finite metric space with integral distance) can be isometrically embedded into only one smallest absolute retract (injective hull). All graphs in this paper are finite, connected, and without multiple edges.     

Spectral isolation of naturally reductive metrics on simple Lie groups

We show that within the class of left-invariant naturally reductive metrics M_Nat(G){\mathcal{M}_{{\rm Nat}}(G)} on a compact simple Lie group G, every metric is spectrally isolated. We also observe that any collection of isospectral compact symmetric spaces is finite; this follows from a somewhat stronger statement involving only a finite part of the spectrum.     

G‐invariant persistent homology

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self‐homeomorphisms of a topological space X. This fact restricts its use in applications. In order to obtain better lower bounds for the natural pseudo‐distance d_G associated with a group G ? Homeo(X), we need to adapt persistent homology and consider G‐invariant persistent homology. Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant under the action of G. In this paper, we formalize this idea and prove the stability of the persistent Betti number functions in G‐invariant persistent homology with respect to the natural pseudo‐distance d_G. We also show how G‐invariant persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self‐homeomorphisms of a topological space. In this paper, we will assume that the space X is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. Copyright © 2014 John Wiley & Sons, Ltd.     

Dissipation of Convolution Powers in a Metric Group

In contrast to what is known about probability measures on locally compact groups, a metric group G can support a probability measure μ which is not carried on a compact subgroup but for which there exists a compact subset C⊆G such that the sequence μ ⁿ (C) fails to converge to zero as n tends to ∞. A noncompact metric group can also support a probability measure μ such that supp μ=G and the concentration functions of μ do not converge to zero. We derive a number of conditions which guarantee that the concentration functions in a metric group G converge to zero, and obtain a sufficient and necessary condition in order that a probability measure μ on G satisfy lim  _n→∞ μ ⁿ (C)=0 for every compact subset C⊆G. Supported by an NSERC Grant.     

Homogeneous Riemannian manifolds of positive Ricci curvature

We prove that a homogeneous effective spaceM=G/H, whereG is a connected Lie group andH⊂G is a compact subgroup, admits aG-invariant Riemannian metric of positive Ricci curvature if and only if the spaceM is compact and its fundamental group π₁(M) is finite (in this case any normal metric onG/H is suitable). This is equivalent to the following conditions: the groupG is compact and the largest semisimple subgroupLG⊂G is transitive onG/H. Furthermore, ifG is nonsemisimple, then there exists aG-invariant fibration ofM over an effective homogeneous space of a compact semisimple Lie group with the torus as the fiber. Translated fromMatematicheskie Zametki, Vol. 58, No. 3, pp. 334–340, September, 1995.     

Geodesic symmetries of homogeneous Kähler Manifolds

D'Atri and Nickerson [6], [7] have given necessary conditions for the geodesic symmetries of a Riemannian manifold to preserve the volume element. We use their results to show that ifG is a compact simple Lie group,T is a maximal torus ofG, andG/T is not symmetric, then anyG-invariant Kähler metric onG/T does not have volume-preserving geodesic symmetries. From the Kähler/de Rham decomposition of a compact homogeneous Kähler manifold [8], our result extends to the invariant Kähler metrics on a quotient of a compact connected Lie group by a maximal torus. In proving these results we compute directly the Ricci tensor of anyG-invariant Kähler metric onG/T forG compact connected andT a maximal torus ofG. The result is an explicit formula giving the value of the Ricci tensor elements in terms of the root structure of the Lie algebra ofG.     

Homogeneous spaces with polar isotropy

 We consider homogeneous spaces G/K with G a simple compact Lie group, endowed with an arbitrary G-invariant Riemannian metric. We classify those spaces where the action of K on G/K is polar and show that such spaces are locally symmetric. Moreover we give a classification of pairs (G,K) with G compact semisimple such that K has polar linear isotropy representation. Received: 16 May 2002 / Revised version: 8 November 2002 Published online: 3 March 2003 Mathematics Subject Classification (2000): 53C35, 57S15     

The Riemannian Structure of John and Uniform Domains in ℝ<Superscript>n</Superscript>

Using the theory of pre-ends, we study the boundary and metric properties of John and uniform domains in the Euclidean n-space. We obtain some results on the metric Riemannian structure of these classes of domains. We prove that the family of John domains is closed under the class of homeomorphisms quasi-isometric in the intrinsic Riemannian metric and the family of uniform domains is closed under the class of bi-Lipschitz mappings.Original Russian Text Copyright © 2005 Karmazin A. P.__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 786–804, July–August, 2005.     

On Continuity and Decomposition of Positive Definite Functions

Let G be a locally compact commutative group and let g and h be positive definite functions on G, which are not identically zero. We show that continuity of gh? implies the existence of a character γ of G_d (the discrete version of G) such that γg and γh are continuous. As corollary we get a special case of a result of K. de Leeuw and I. Glicksberg concerning almost continuous group representations. In the second part of the paper we prove decomposition theorems for positive definite functions defined on a neighbourhood of the zero.     

Odd‐angulated graphs and cancelling factors in box products

Under what conditions is it true that if there is a graph homomorphism G □ H → G □ T, then there is a graph homomorphism H→ T? Let G be a connected graph of odd girth 2k + 1. We say that G is (2k + 1)‐angulated if every two vertices of G are joined by a path each of whose edges lies on some (2k + 1)‐cycle. We call G strongly (2k + 1)‐angulated if every two vertices are connected by a sequence of (2k + 1)‐cycles with consecutive cycles sharing at least one edge. We prove that if G is strongly (2k + 1)‐angulated, H is any graph, S, T are graphs with odd girth at least 2k + 1, and ?: G□ H→S□T is a graph homomorphism, then either ? maps G□{h} to S□{t_h} for all h∈V(H) where t_h∈V(T) depends on h; or ? maps G□{h} to {s_h}□ T for all h∈V(H) where s_h∈V(S) depends on h. This theorem allows us to prove several sufficient conditions for a cancelation law of a graph homomorphism between two box products with a common factor. We conclude the article with some open questions. © 2008 Wiley Periodicals, Inc. J Graph Theory 58:221‐238, 2008     

The equivariant homotopy type of <Emphasis Type="Italic">G</Emphasis>-<Emphasis Type="Italic">ANR</Emphasis>’s for compact group actions

We prove that if G is a compact Hausdorff group then every G-ANR has the G-homotopy type of a G-CW complex. This is applied to extend the James–Segal G-homotopy equivalence theorem to the case of arbitrary compact group actions. The first author was supported in part by grant U42563-F from CONACYT (Mexico).     

Invariant pseudometrics on Palais proper G-spaces

Let G be a locally compact Hausdorff group. It is proved that: 1. on each Palais proper G-space X there exists a compatible family of G-invariant pseudometrics; 2.the existence of a compatible G-invariant metric on a metrizable proper G-space X is equivalent to the paracompactness of the orbit space X/G; 3. if in addition G is either almost connected or separable, and X is locally separable, then there exists a compatible G-invariant metric on X. This revised version was published online in June 2006 with corrections to the Cover Date.     

Flows, fixed points and rigidity for Kleinian groups

The main application of the techniques developed in this paper is to prove a relative version of Mostow rigidity, called pattern rigidity. For a cocompact group G, by a G-invariant pattern we mean a G-invariant collection of closed proper subsets of the boundary of hyperbolic space which is discrete in the space of compact subsets minus singletons. Such a pattern arises for example as the collection of translates of limit sets of finitely many infinite index quasiconvex subgroups of G. We prove that (in dimension at least three) for G ₁, G ₂ cocompact Kleinian groups, any quasiconformal map pairing a G ₁-invariant pattern to a G ₂-invariant pattern must be conformal. This generalizes a previous result of Schwartz who proved rigidity in the case of limit sets of cyclic subgroups, and Biswas and Mj (Pattern rigidity in hyperbolic spaces: duality and pd subgroups, arxiv:math.GT/08094449, 2008) who proved rigidity for Poincare Duality subgroups. Pattern rigidity is a consequence of the study conducted in this paper of the closed group of homeomorphisms of the boundary of real hyperbolic space generated by a cocompact Kleinian group G ₁ and a quasiconformal conjugate h ^?1 G ₂ h of a cocompact group G ₂. We show that if the conjugacy h is not conformal then this group contains a flow, i.e. a non-trivial one parameter subgroup. Mostow rigidity is an immediate consequence.