An effective algorithm for the cohomology ring of symplectic reductions

Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of is generated by a small number of classes satisfying very explicit restriction properties. Our main tool is the equivariant Kirwan map, a natural map from the G-equivariant cohomology of M to the G/T-equivariant cohomology of the symplectic reduction of M by T . We show this map is surjective. This is an equivariant version of the well-known result that the (nonequivariant) Kirwan map is surjective. We also compute the kernel of the equivariant Kirwan map, generalizing the result due to Tolman and Weitsman [TW] in the case T = G and allowing us to apply their methods inductively. This result is new even in the case that dim T = 1. We close with a worked example: the cohomology ring of the product of two , quotiented by the diagonal 2-torus action. Submitted: September 2001, Revised: December 2001, Revised: February 2002.     

The biinvariant diagonal class for Hamiltonian torus actions

Suppose that an algebraic torus G acts algebraically on a projective manifold X with generically trivial stabilizers. Then the Zariski closure of the set of pairs {(x,y)∈X×X|y=gx for some g∈G} defines a nonzero equivariant cohomology class . We give an analogue of this construction in the case where X is a compact symplectic manifold endowed with a Hamiltonian action of a torus, whose complexification plays the role of G. We also prove that the Kirwan map sends the class [ΔG] to the class of the diagonal in each symplectic quotient. This allows to define a canonical right inverse of the Kirwan map.     

Weakly compact subsets ofL 1(μ,X) andbvca(Σ,X)

In this paper we study the weakly compact subset ofL ₁(μ,X) and bvca(Σ,X), supposing that proper subsets ofX andX ^* have the Radom-Nikodym property.     

A splitting theorem for holomorphic Banach bundles

This paper is motivated by Grothendieck’s splitting theorem. In the 1960s, Gohberg generalized this to a class of Banach bundles. We consider a compact complex manifold X and a holomorphic Banach bundle E → X that is a compact perturbation of a trivial bundle in a sense recently introduced by Lempert. We prove that E splits into the sum of a finite rank bundle and a trivial bundle, provided .     

Morse and semistable stratifications of K?hler spacesby \Bbb C*{\Bbb C}^{\ast}-actions

We prove that the Morse decomposition in the sense of Kirwan and semistable decomposition in the sense of GIT of a \Bbb C^*{\Bbb C}^{\ast} -K?hler manifold coincide if the moment map is proper and if the fixed points set X^{\Bbb C*}X^{{\Bbb C}^{\ast}} has a finite number of connected components. For general K?hler space with holomorphic action of a complex reductive group G, if every component of the moment map is proper, the two decompositions also coincide if each semistable piece is Zariski open in its topological closure and the moment map square is minimal degenerate Morse function in the sense of Kirwan.     

Spaces of Densely Continuous Forms, USCO and Minimal USCO Maps

Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D _k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D _k (X,Y) is metrizable iff D _k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D _k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.     

Homotopy Properties of the Space If(X) of Idempotent Probability Measures

A subspace I_f(X) of the space of idempotent probability measures on a given compact space X is constructed. It is proved that if the initial compact space X is contractible, then I_f(X) is a contractible compact space as well. It is shown that the shapes of the compact spaces X and I_f(X) are equal. It is also proved that, given a compact space X, the compact space I_f(X) is an absolute neighborhood retract if and only if so is X.

     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

Open-Invariant Measures and the Covering Number of Sets

A result of J. Mycielski says that on every metric space (X, ?) with a non-empty compact thick set C ? X there exists a regular open-invariant Borel measure μ with μ(C) = 1. μ is called open-invariant if μ(A) = μ(B) for open isometric sets A, B ? X. We relate this result to the notion of a Hewitt-Stromberg measure and give a new independent existence proof for such an open-invariant measure μ on a compact metric space (X, ?). This proof works by induction, the well-known metric outer measure construction of Caratheodory-Hausdorff and a new property of the covering number N(X, q) of X.     

Quotient spaces determined by algebras of continuous functions

We prove that if X is a locally compact σ-compact space, then on its quotient, γ(X) say, determined by the algebra of all real valued bounded continuous functions on X, the quotient topology and the completely regular topology defined by this algebra are equal. It follows from this that if X is second countable locally compact, then γ(X) is second countable locally compact Hausdorff if and only if it is first countable. The interest in these results originated in [1] and [7] where the primitive ideal space of a C*-algebra was considered.     

Proper uniform algebras are flat

In this brief note, we see that if A is a proper uniform algebra on a compact Hausdorff space X, then A is flat.      

Locally Compact Path Spaces

It is shown that the space X^[0,1], of continuous maps [0,1]X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. For a T₁-space X, it follows that X^[0,1] is locally compact if and only if X is locally compact and totally path-disconnected. Mathematics Subject Classifications (2000) 54C35, 54E45, 55P35, 18B30, 18D15.     

On minimal,strongly proximal actions of locally compact groups

Minimal, strongly proximal actions of locally compact groups on compact spaces, also known asboundary actions, were introduced by Furstenberg in the study of Lie groups. In particular, the action of a semi-simple real Lie groupG on homogeneous spacesG/Q, whereQ ⊂G is a parabolic subgroup, are boundary actions. Countable discrete groups admit a wide variety of boundary actions. In this note we show that ifX is a compact manifold with a faithful boundary action of some locally compact groupH, then (under some mild regularity assumption) the groupH, the spaceX, and the action split into a direct product of a semi-simple Lie groupG acting onG/Q and a boundary action of a discrete countable group. The author was partially supported by NSF grants DMS-0049069, 0094245 and GIF grant G-454-213.06/95.     

Limit constructions over Riemann surfaces and their parameter spaces, and the commensurability group actions

To any compact hyperbolic Riemann surface X, we associate a new type of automorphism group — called its commensurability automorphism group, ComAut(X). The members of ComAut(X) arise from closed circuits, starting and ending at X, where the edges represent holomorphic covering maps amongst compact connected Riemann surfaces (and the vertices represent the covering surfaces). This group turns out to be the isotropy subgroup, at the point represented by X (in $ T_\infty $), for the action of the universal commensurability modular group on the universal direct limit of Teichmüller spaces, $ T_\infty $. Now, each point of $ T_\infty $ represents a complex structure on the universal hyperbolic solenoid. We notice that ComAut(X) acts by holomorphic automorphisms on that complex solenoid. Interestingly, this action turns out to be ergodic (with respect to the natural measure on the solenoid) if and only if the Fuchsian group uniformizing X is arithmetic. Furthermore, the action of the commensurability modular group, and of its isotropy subgroups, on some natural vector bundles over $ T_\infty $, are studied by us.     

Compact complex homogeneous manifolds with large automorphism groups

Let X be a compact complex homogeneous manifold and let Aut(X) be the complex Lie group of holomorphic automorphisms of X. It is well-known that the dimension of Aut(X) is bounded by an integer that depends only on n=dim X. Moreover, if X is K?hler then dimAut (X)≤n(n+2) with equality only when X is complex projective space. In this article examples of non-K?hler compact complex homogeneous manifolds X are given that demonstrate dimAut(X) can depend exponentially on n. Let X be a connected compact complex manifold of dimension n. The group of holomorphic automorphisms of X, Aut(X), is a complex Lie group [3]. For a fixed n>1, the dimension of Aut(X) can be arbitrarily large compared to n. Simple examples are provided by the Hirzebruch surfaces F _m , m∈N, for which dimAut(F _m )=m+5, see, e.g. [2, Example 2.4.2]. If X is homogeneous, that is, any point of X can be mapped to any other point of X under a holomorphic automorphism, then the dimension of the automorphism group of X is bounded by an integer that depends only on n, see [1, 2, 6]. The estimate given in [2, Theorem 3.8.2] is roughly dimAut(X)≤(n+2) ⁿ . For many classes of manifolds, however, the dimension of the automorphism group never exceeds n(n+2). For example, it follows directly from the classification given by Borel and Remmert [4], that if X is a compact homogeneous K?hler manifold, then dimAut(X)≤n(n+2) with equality only when X is complex projective space P ⁿ . It is an old question raised by Remmert, see [2, p. 99], [6], whether this same bound applies to all compact complex homogeneous manifolds. In this note we show that this is not the case by constructing non-K?hler compact complex homogeneous manifolds whose automorphism group has a dimension that depends exponentially on n. The simplest case among these examples has n=3m+1 and dimAut(X)=3m+3 ^m , so the above conjectured bound is exceeded when n≥19. These manifolds have the structure of non-trivial fiber bundles over products of flag manifolds with parallelizable fibers given as the quotient of a solvable group by a discrete subgroup. They are constructed using the original ideas of Otte [6, 7] and are surprisingly similar to examples found there. Generally, a product of manifolds does not result in an automorphism group with a large dimension relative to n. Nevertheless, products are used in an essential way in the construction given here, and it is perhaps this feature that caused such examples to be previously overlooked. Oblatum 13-X-97 & 24-X-1997     

Classification of Ideals of Homeomorphism C*-Algebras and Quasidiagonality of Their Quotient Algebras

For the homeomorphism C*-algebra A(Σ) arising from a topological dynamical system Σ=(X,σ) where σ is a homeomorphism on an arbitrary compact Hausdorff space X, we first give detailed classification of its closed ideals into four classes. In case when X is a compact metric space, we then determine the conditions when the quotient algebras of A(Σ) become quasidiagonal. The case of A(Σ) itself was treated by M. Pimsner.     

On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.

     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups.     

Universal spaces for the subdifferentials of sublinear operators with values in the spaces of continuous functions

Given a continuous sublinear operator P: V → C(X) from a Hausdorff separable locally convex space V to the Banach space C(X) of continuous functions on a compact set X we prove that the subdifferential ∂P at zero is operator-affinely homeomorphic to the compact subdifferential ∂ ^c Q, i.e., the subdifferential consisting only of compact linear operators, of some compact sublinear operator Q: ł² → C(X) from a separable Hilbert space ł², where the spaces of operators are endowed with the pointwise convergence topology. From the topological viewpoint, this means that the space L ^c (ł², C(X)) of compact linear operators with the pointwise convergence topology is universal with respect to the embedding of the subdifferentials of sublinear operators of the class under consideration.     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups. (Received 13 June 1998; in revised form 31 March 1999)