The moduli of flat PU(p,p)-structures with large Toledo invariants

For a compact Riemann surface X of genus is the moduli space of flat -connections on X. There are two invariants, the Chern class c and the Toledo invariant associated with each element in the moduli. The Toledo invariant is bounded in the range . This paper shows that the component, associated with a fixed (resp. ) and a fixed Chern class c, is connected (The restriction on implies p=q).     

Point simpliciality in Choquet theory on nonmetrizable compact spaces

Let H be a function space on a compact space K. The set of simpliciality of H is the set of all points of K for which there exists a unique maximal representing measure. Properties of this set were studied by M. Ba?ák in the paper Point simpliciality in Choquet representation theory, Illinois J. Math. 53 (2009) 289–302, mainly for K metrizable. We study properties of the set of simpliciality for K nonmetrizable.     

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.     

Homogenous projective factors for actions of semi-simple Lie groups

We analyze the structure of a continuous (or Borel) action of a connected semi-simple Lie group G with finite center and real rank at least 2 on a compact metric (or Borel) space X, using the existence of a stationary measure as the basic tool. The main result has the following corollary: Let P be a minimal parabolic subgroup of G, and K a maximal compact subgroup. Let λ be a P-invariant probability measure on X, and assume the P-action on (X,λ) is mixing. Then either λ is invariant under G, or there exists a proper parabolic subgroup Q⊂G, and a measurable G-equivariant factor map ϕ:(X,ν)→(G/Q,m), where ν=∫ _K kλdk and m is the K-invariant measure on G/Q. Furthermore, The extension has relatively G-invariant measure, namely (X,ν) is induced from a (mixing) probability measure preserving action of Q. Oblatum 14-X-1997 & 18-XI-1998 / Published online: 20 August 1999     

The Torelli theorem for the moduli spaces of connections on a Riemann surface

Let (X,x₀) be any one-pointed compact connected Riemann surface of genus g, with g≥3. Fix two mutually coprime integers r>1 and d. Let M_X denote the moduli space parametrizing all logarithmic -connections, singular over x₀, on vector bundles over X of degree d. We prove that the isomorphism class of the variety M_X determines the Riemann surface X uniquely up to an isomorphism, although the biholomorphism class of M_X is known to be independent of the complex structure of X. The isomorphism class of the variety M_X is independent of the point x₀∈X. A similar result is proved for the moduli space parametrizing logarithmic -connections, singular over x₀, on vector bundles over X of degree d. The assumption r>1 is necessary for the moduli space of logarithmic -connections to determine the isomorphism class of X uniquely.     

Equivariant cohomology of real flag manifolds

Let P=G/K be a semisimple non-compact Riemannian symmetric space, where G=I₀(P) and K=Gp is the stabilizer of p∈P. Let X be an orbit of the (isotropy) representation of K on Tp(P) (X is called a real flag manifold). Let K₀⊂K be the stabilizer of a maximal flat, totally geodesic submanifold of P which contains p. We show that if all the simple root multiplicities of G/K are at least 2 then K₀ is connected and the action of K₀ on X is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning H^∗(X). In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.     

On homogeneous connections with exotic holonomy

In Proc. Symp. Pure Math. 53 (1991), 33–88, Bryant gave examples of torsion free connections on four-manifolds whose holonomy is exotic, i.e. is not contained on Berger's classical list of irreducible holonomy representations. The holonomy in Bryant's examples is the irreducible four-dimensional representation of S1(2, #x211D;) (G1(2, #x211D;) resp.) and these connections are called H ₃-connections (G ₃-connections resp.).In this paper, we give a complete classification of homogeneous G ₃-connections. The moduli space of these connections is four-dimensional, and the generic homogeneous G ₃-connection is shown to be locally equivalent to a left-invariant connection on U(2). Thus, we prove the existence of compact manifolds with G ₃-connections. This contrasts a result in by Schwachhöfer (Trans. Amer. Math. Soc. 345 (1994), 293–321) which states that there are no compact manifolds with an H ₃-connection.     

On a Class of Hungarian Semigroups and the Factorization Theorem of Khinchin

Let G be a connected reductive Lie group and K be a maximal compact subgroup of G. We prove that the semigroup of all K-biinvariant probability measures on G is a strongly stable Hungarian semigroup. Combining with the result [see Rusza and Szekely⁽⁹⁾], we get that the factorization theorem of Khinchin holds for the aforementioned semigroup. We also prove that certain subsemigroups of K-biinvariant measures on G are Hungarian semigroups when G is a connected Lie group such that Ad G is almost algebraic and K is a maximal compact subgroup of G. We also prove a p-adic analogue of these results.     

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.     

Equivariant Lefschetz maps for simplicial complexes and smooth manifolds

Let X be a locally compact space with a continuous proper action of a locally compact group G. Assuming that X satisfies a certain kind of duality in equivariant bivariant Kasparov theory, we can enrich the classical construction of Lefschetz numbers for self-maps to an equivariant K-homology class. We compute the Lefschetz invariants for self-maps of finite-dimensional simplicial complexes and smooth manifolds. The resulting invariants are independent of the extra structure used to compute them. Since smooth manifolds can be triangulated, we get two formulas for the same Lefschetz invariant in this case. The resulting identity is closely related to the equivariant Lefschetz Fixed Point Theorem of Lück and Rosenberg.     

Ergodic actions of mapping class groups on moduli spaces of representations of non-orientable surfaces

Let M be a non-orientable surface with Euler characteristic χ(M) ≤ −2. We consider the moduli space of flat SU(2)-connections, or equivalently the space of conjugacy classes of representations

The Levi problem on strongly pseudoconvex G-bundles

Let G be a unimodular Lie group, X a compact manifold with boundary, and M the total space of a principal bundle G → M → X so that M is also a strongly pseudoconvex complex manifold. In this study, we show that if G acts by holomorphic transformations satisfying a local property, then the space of square-integrable holomorphic functions on M is infinite-dimensional.     

Patterson-Sullivan Theory in Higher Rank Symmetric Spaces

Let X = G/K be a Riemannian symmetric space of noncompact type and a discrete “generic” subgroup of G with critical exponent . Denote by the set of regular elements of the geometric boundary of X. We show that the support of all -invariant conformal densities of dimension on (e.g. Patterson-Sullivan densities) lie in a same and single regular G-orbit on . This provides information on the large-scale growth of -orbits in X. If in addition we assume to be of divergence type, then there is a unique density of the previous type. Furthermore, we explicitly determine and this G-orbit for lattices, and show that they are of divergence type. Submitted: November 1997, revised: January 1999.     

Harmonic functions on topological groups and symmetric spaces

Let G be a metric group, not necessarily locally compact, acting on a metric space X, for instance, a right coset space of G. We introduce and develop a basic structure theory for harmonic functions on X which is applicable to infinite dimensional Riemannian symmetric spaces.     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

The Priestley Separation Axiom for Scattered Spaces

Let R be a quasi-order on a compact Hausdorff topological space X. We prove that if X is scattered, then R satisfies the Priestley separation axiom if and only if R is closed in the product space X×X. Furthermore, if X is not scattered, then we show that there is a quasi-order on X that is closed in X×X but does not satisfy the Priestley separation axiom. As a result, we obtain a new characterization of scattered compact Hausdorff spaces.     

The principle of symmetric criticality for non-differentiable mappings

Let X be a Banach space on which a symmetry group G linearly acts and let J be a G-invariant functional defined on X. In 1979, R. Palais (Comm. Math. Phys. 69 (1979) 19) gave some sufficient conditions to guarantee the so-called “Principle of Symmetric Criticality”: every critical point of J restricted on the subspace of G-symmetric points becomes also a critical point of J on the whole space X. This principle is generalized to the case where J is not differentiable within the setting which does not require the full variational structure under the hypothesis that the action of G is isometry or G is compact.     

On holomorphic principal bundles over a compact Riemann surface admitting a flat connection

Let G be a connected reductive linear algebraic group over , and X a compact connected Riemann surface. Let be a Levi factor of some parabolic subgroup of G, with its maximal abelian quotient. We prove that a holomorphic G-bundle over X admits a flat connection if and only if for every such L and every reduction of the structure group of to L, the -bundle obtained by extending the structure group of is topologically trivial. For , this is a well-known result of A. Weil. Received: 1 December 2000 / Revised version: 2 April 2001 / Published online: 24 September 2001     

Equilibrium states for factor maps between subshifts

Let π:X→Y be a factor map, where (X,σX) and (Y,σY) are subshifts over finite alphabets. Assume that X satisfies weak specification. Let a=(a₁,a₂)∈R² with a₁>0 and a₂?0. Let f be a continuous function on X with sufficient regularity (Hölder continuity, for instance). We show that there is a unique shift invariant measure μ on X that maximizes . In particular, taking f≡0 we see that there is a unique invariant measure μ on X that maximizes the weighted entropy a₁hμ(σX)+a₂hμ°π−1(σY), which answers an open question raised by Gatzouras and Peres (1996) in [15]. An extension is given to high dimensional cases. As an application, we show that for each compact invariant set K on the k-torus under a diagonal endomorphism, if the symbolic coding of K satisfies weak specification, then there is a unique invariant measure μ supported on K so that dimHμ=dimHK.