Invariant Rigid Geometric Structures and Smooth Projective Factors

We consider actions of non-compact simple Lie groups preserving an analytic rigid geometric structure of algebraic type on a compact manifold. The structure is not assumed to be unimodular, so an invariant measure may not exist. Ergodic stationary measures always exist, and when such a measure has full support, we show the following:

Weyl’s Theorem for Algebraically Quasi-class A Operators

If T or T* is an algebraically quasi-class A operator acting on an infinite dimensional separable Hilbert space then we prove that Weyl’s theorem holds for f(T) for every f ∈ H(σ(T)), where H(σ(T)) denotes the set of all analytic functions in an open neighborhood of σ(T). Moreover, if T* is algebraically quasi-class A then a-Weyl’s theorem holds for f(T). Also, if T or T* is an algebraically quasi-class A operator then we establish that the spectral mapping theorems for the Weyl spectrum and the essential approximate point spectrum of T for every f ∈ H(σ(T)), respectively. This research was supported by the Kyung Hee University Research Fund in 2007 (KHU- 20071605).     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

Weyl’s theorem for algebraically wF(p, r, q) operators with p, r?>?0 and q?≥?1

If T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1 acting in an infinite-dimensional separable Hilbert space, then we prove that Weyl’s theorem holds for f(T) for any f ∈ Hol(σ(T)), where Hol(σ(T)) is the set of all analytic functions in an open neighborhood of σ(T). Moreover, if T* is a wF(p, r, q) operator with p, r > 0 and q ≥ 1, then the a-Weyl’s theorem holds for f(T). In addition, if T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1, then we establish the spectral mapping theorems for the Weyl spectrum and for the essential approximate point spectrum of T for any f ∈ Hol(σ(T)), respectively. Finally, we examine the stability of Weyl’s theorem and the a-Weyl’s theorem under commutative perturbations by finite-rank operators.     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

Classical theorems of probability on Gelfand pairs—Khinchin’s theorems and Cramér’s theorem

We prove Khinchin’s Theorems for Gelfand pairs (G, K) satisfying a condition (*): (a)G is connected; (b)G is almost connected and Ad (G/M) is almost algebraic for some compact normal subgroupM; (c)G admits a compact open normal subgroup; (d) (G,K) is symmetric andG is 2-root compact; (e)G is a Zariski-connectedp-adic algebraic group; (f) compact extension of unipotent algebraic groups; (g) compact extension of connected nilpotent groups. In fact, condition (*) turns out to be necessary and sufficient forK-biinvariant measures on aforementioned Gelfand pairs to be Hungarian. We also prove that Cramér’s theorem does not hold for a class of Gaussians on compact Gelfand pairs. This author was supported by the European Commission (TMR 1998–2001 Network Harmonic Analysis).     

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

Espaces de Banach representables

We study the Banach spaces which are isomorphic to a subspace ofl ^∞(N) which is analytic inR ^N. We prove structure theorems which show that some pathological situations cannot take place in this class. We show that a non-metrizable separable compact of Rosenthal has a continuous image which is not a compact of Rosenthal.      

Maximality of analytic operator algebras

LetM be a σ-finite von Neumann algebra andα be an action ofR onM. LetH ^∞(α) be the associated analytic subalgebra; i.e.H ^∞(α)={X ∈M: sp_∞(X) [0, ∞]}. We prove that every σ-weakly closed subalgebra ofM that containsH ^∞(α) isH ^∞(γ) for some actionγ ofR onM. Also we show that (assumingZ(M)∩M ^α = Ci)H ^∞(α) is a maximal σ-weakly closed subalgebra ofM if and only if eitherH ^∞(α)={A ∈M: (I−F)xF=0} for some projectionF ∈M, or sp(α)=Γ(α).     

On a graph property generalizing planarity and flatness

We introduce a topological graph parameter σ(G), defined for any graph G. This parameter characterizes subgraphs of paths, outerplanar graphs, planar graphs, and graphs that have a flat embedding as those graphs G with σ(G)≤1,2,3, and 4, respectively. Among several other theorems, we show that if H is a minor of G, then σ(H)≤σ(G), that σ(K _n )=n−1, and that if H is the suspension of G, then σ(H)=σ(G)+1. Furthermore, we show that μ(G)≤σ(G) + 2 for each graph G. Here μ(G) is the graph parameter introduced by Colin de Verdière in [2].     

Stable systolic category of manifolds and the cup-length

It follows from a theorem of Gromov that the stable systolic category cat_stsys M{\rm cat}_{\rm stsys} M of a closed manifold M is bounded from below by cl_\mathbbQ M{\rm cl}_{\mathbb{Q}} M, the rational cup-length of M [Ka07]. We study the inequality in the opposite direction. In particular, combining our results with Gromov’s theorem, we prove the equality cat_stsys M = cl_\mathbbQ M{\rm cat}_{\rm stsys} M = {\rm cl}_{\mathbb{Q}} M for simply connected manifolds of dimension ≤ 7.     

Foliations with leaves of nonpositive curvature

We answer a question of Gromov ([G2]) in the codimension 1 case: ifF is a codimension 1 foliation of a compact manifoldM with leaves of negative curvature, thenπ ₁(M) has exponential growth. We also prove a result analogous to Zimmer’s ([Z2]): ifF is a codimension 1 foliation on a compact manifold with leaves of nonpositive curvature, and ifπ ₁(M) has subexponential growth, then almost every leaf is flat. We give a foliated version of the Hopf theorem on surfaces without conjugate points. Partially supported by NSF Grant #DMS 9403870.     

Twisted longitudinal index theorem for foliations and wrong way functoriality

For a Lie groupoid G with a twisting σ (a PU(H)-principal bundle over G), we use the (geometric) deformation quantization techniques supplied by Connes tangent groupoids to define an analytic index morphism in twisted K-theory. In the case the twisting is trivial we recover the analytic index morphism of the groupoid.For a smooth foliated manifold with twistings on the holonomy groupoid we prove the twisted analog of the Connes–Skandalis longitudinal index theorem. When the foliation is given by fibers of a fibration, our index coincides with the one recently introduced by Mathai, Melrose, and Singer.We construct the pushforward map in twisted K-theory associated to any smooth (generalized) map f:W→M/F and a twisting σ on the holonomy groupoid M/F, next we use the longitudinal index theorem to prove the functoriality of this construction. We generalize in this way the wrong way functoriality results of Connes and Skandalis when the twisting is trivial and of Carey and Wang for manifolds.     

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

Stone-weierstrass theorems for group-valued functions

Constructive groups were introduced by Sternfeld in [6] as a class of metrizable groupsG for which a suitable version of the Stone-Weierstrass theorem on the group ofG-valued functionsC(X, G) remains valid. As a way of exploring the existence of such Stone-Weierstrass-type theorems in this context we address the question raised in [6] as to which groups are constructive and prove that a locally compact group with more than two elements is constructive if and only if it is either totally disconnected or homeomorphic to some vector group ℝ ⁿ . It may therefore be concluded that the Stone-Weierstrass theorem can be extended to some noncommutative Lie groups — exactly to those not containing any nontrivial compact subgroup. Research partially supported by Grant CTIDIB/2002/192 of theAgencia Valenciana de Ciencia y Tecnología, and Fundació Caixa-Castelló, grant P1 B2001-08.     

Weyl’s Theorem for Functions of Operators and Approximation

Let H{\mathcal{H}} be a complex separable infinite dimensional Hilbert space. In this paper, we characterize those operators T on H{\mathcal{H}} satisfying that Weyl’s theorem holds for f(T) for each function f analytic on some neighborhood of σ(T). Also, it is proved that, given an operator T on H{\mathcal{H}} and ε > 0, there exists a compact operator K with ||K|| < e{\|K\| < \varepsilon} such that Weyl’s theorem holds for T + K.     

Cohen-Host type idempotent theorems for representations on Banach spaces and applications to Figà-Talamanca-Herz algebras

Let G be a locally compact group, and let R(G) denote the ring of subsets of G generated by the left cosets of open subsets of G. The Cohen-Host idempotent theorem asserts that a set lies in R(G) if and only if its indicator function is a coefficient function of a unitary representation of G on some Hilbert space. We prove related results for representations of G on certain Banach spaces. We apply our Cohen-Host type theorems to the study of the Figà-Talamanca-Herz algebras Ap(G) with p∈(1,∞). For arbitrary G, we characterize those closed ideals of Ap(G) that have an approximate identity bounded by 1 in terms of their hulls. Furthermore, we characterize those G such that Ap(G) is 1-amenable for some—and, equivalently, for all—p∈(1,∞): these are precisely the abelian groups.