Analysis of restrictions of unitary representations of a nilpotent Lie group

Let G be a connected simply connected nilpotent Lie group, K an analytic subgroup of G and π an irreducible unitary representation of G. Let DπK(G) be the algebra of differential operators keeping invariant the space of C^∞ vectors of π and commuting with the action of K on that space. In this paper, we assume that the restriction of π to K has finite multiplicities and we show that DπK(G) is isomorphic to a subalgebra of the field of rational K-invariant functions on the co-adjoint orbit Ω(π) associated to π, and for some particular cases, that DπK(G) is even isomorphic to the algebra of polynomial K-invariant functions on Ω(π). We prove also the Frobenius reciprocity for some restricted classes of nilpotent Lie groups, especially in the cases where K is normal or abelian.     

Convergence of Semigroups of Complex Measures on a Lie Group

A theorem of Siebert in its essential part asserts that if μ _n (t) are semigroups of probability measures on a Lie group G, and P _n are the corresponding generating functionals, then $$\bigl \langle \mu_n(t),f \bigr \rangle \ \xrightarrow[n]{}\ \bigl \langle \mu_0(t),f \bigr \rangle , \quad f\in C_b(G), \ t>0,$$ implies $$\langle \pi_{P_n}u,v\rangle \ \xrightarrow[n]{}\ \langle \pi_{P_0}u,v\rangle ,\quad u\in C^{\infty}(E,\pi), \ v\in E,$$ for every unitary representation π of G on a Hilbert space E, where C ^∞(E,π) denotes the space of smooth vectors for π. The aim of this note is to give a simple proof of the theorem and propose some improvements, the most important being the extension of the theorem to semigroups of complex measures. In particular, we completely avoid employing unitary representations by showing simply that under the same hypothesis $$\langle P_n,f\rangle \ \xrightarrow[n]{}\ \langle P_0,f\rangle ,$$ for bounded twice differentiable functions f. As a corollary, the above thesis of Siebert is extended to bounded strongly continuous representations of G on Banach spaces.     

Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

Unitary groups of nondegenerate Hermitian forms and the homotopy groups of pseudospheres

The Witt Extension Theorem states that the unitary group of a finite-dimensional vector space V equipped with a nondegenerate hermitian form acts transitively on the pseudosphere induced by the form. We provide a new, constructive proof of this result for finite-dimensional vector spaces V over R, C, or H. This constructive proof is then used to prove a similar result for the unitary group of a finitely generated free right module over an abelian AW^∗-algebra. The topology of these unitary groups is examined and as an application we determine the homotopy groups π₁ and π₂ of the induced real, complex, and quaternionic pseudospheres.     

γ-Bounded representations of amenable groups

Let G be an amenable group, let X be a Banach space and let π:G→B(X) be a bounded representation. We show that if the set is γ-bounded then π extends to a bounded homomorphism w:C^∗(G)→B(X) on the group C^∗-algebra of G. Moreover w is necessarily γ-bounded. This extends to the Banach space setting a theorem of Day and Dixmier saying that any bounded representation of an amenable group on Hilbert space is unitarizable. We obtain additional results and complements when G=Z, R or T, and/or when X has property (α).     

Acyclic 5-choosability of planar graphs without 4-cycles

A proper vertex coloring of a graph G=(V,E) is acyclic if G contains no bicolored cycle. A graph G is acyclically L-list colorable if for a given list assignment L={L(v):v∈V}, there exists a proper acyclic coloring π of G such that π(v)∈L(v) for all v∈V. If G is acyclically L-list colorable for any list assignment with |L(v)|≥k for all v∈V, then G is acyclically k-choosable. In this paper we prove that every planar graph without 4-cycles and without two 3-cycles at distance less than 3 is acyclically 5-choosable. This improves a result in [M. Montassier, P. Ochem, A. Raspaud, On the acyclic choosability of graphs, J. Graph Theory 51 (2006) 281-300], which says that planar graphs of girth at least 5 are acyclically 5-choosable.     

Smooth invariant manifolds in Banach spaces with nonuniform exponential dichotomy

We establish the existence of smooth stable manifolds for semiflows defined by ordinary differential equations v^′=A(t)v+f(t,v) in Banach spaces, assuming that the linear equation v^′=A(t)v admits a nonuniform exponential dichotomy. Our proof of the Ck smoothness of the manifolds uses a single fixed point problem in the unit ball of the space of Ck functions with α-Hölder continuous kth derivative. This is a closed subset of the space of continuous functions with the supremum norm, by an apparently not so well-known lemma of Henry (see Proposition 3). The estimates showing that the functions maintain the original bounds when transformed under the fixed-point operator are obtained through a careful application of the Faà di Bruno formula for the higher derivatives of the compositions (see (31) and (35)). As a consequence, we obtain in a direct manner not only the exponential decay of solutions along the stable manifolds but also of their derivatives up to order k when the vector field is of class Ck.     

Bipartite graphs are not universal fixers

For any permutation π of the vertex set of a graph G, the graph πG is obtained from two copies G^′ and G^″ of G by joining u∈V(G^′) and v∈V(G^″) if and only if v=π(u). Denote the domination number of G by γ(G). For all permutations π of V(G), γ(G)≤γ(πG)≤2γ(G). If γ(πG)=γ(G) for all π, then G is called a universal fixer. We prove that graphs without 5-cycles are not universal fixers, from which it follows that bipartite graphs are not universal fixers.     

Regular graphs are not universal fixers

For any permutation π of the vertex set of a graph G, the graph πG is obtained from two copies G^′ and G^″ of G by joining u∈V(G^′) and v∈V(G^″) if and only if v=π(u). Denote the domination number of G by γ(G). For all permutations π of V(G), γ(G)≤γ(πG)≤2γ(G). If γ(πG)=γ(G) for all π, then G is called a universal fixer. We prove that regular graphs and graphs with γ=4 are not universal fixers.     

An irreducible smooth non-admissible representation

It is shown for the group of k-rational points of an affine algebraic group G with k a finite extension of Q_p that the topological irreducibility of unitary representations of G does not have to be equivalent to the algebraic irreducibility of the representation on the smooth vectors. We give for a specific G an example of an irreducible smooth representation, which is not admissible.     

Smooth center manifolds for nonuniformly partially hyperbolic trajectories

We establish the existence of unique smooth center manifolds for ordinary differential equations v^′=A(t)v+f(t,v) in Banach spaces, assuming that v^′=A(t)v admits a nonuniform exponential trichotomy. This allows us to show the existence of unique smooth center manifolds for the nonuniformly partially hyperbolic trajectories. In addition, we prove that the center manifolds are as regular as the vector field. Our proof of the Ck smoothness of the manifolds uses a single fixed point problem in an appropriate complete metric space. To the best of our knowledge we establish in this paper the first smooth center manifold theorem in the nonuniform setting.     

Geometric representation theory for unitary groups of operator algebras

Geometric realizations for the restrictions of GNS representations to unitary groups of C^∗-algebras are constructed. These geometric realizations use an appropriate concept of reproducing kernels on vector bundles. To build such realizations in spaces of holomorphic sections, a class of complex coadjoint orbits of the corresponding real Banach-Lie groups is described and some homogeneous holomorphic Hermitian vector bundles that are naturally associated with the coadjoint orbits are constructed.     

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.     

Separation of unitary representations of connected Lie groups by their moment sets

We show that every unitary representation π of a connected Lie group G is characterized up to quasi-equivalence by its complete moment set.Moreover, irreducible unitary representations π of G are characterized by their moment sets.     

Acyclic 6-choosability of planar graphs without adjacent short cycles

A proper vertex coloring of a graph G is acyclic if G contains no bicolored cycles.Given a list assignment L={L(v)|v∈V}of G,we say that G is acyclically L-colorable if there exists a proper acyclic coloringπof G such thatπ(v)∈L(v)for all v∈V.If G is acyclically L-colorable for any list assignment L with|L(v)|k for all v∈V(G),then G is acyclically k-choosable.In this paper,we prove that every planar graph G is acyclically 6-choosable if G does not contain 4-cycles adjacent to i-cycles for each i∈{3,4,5,6}.This improves the result by Wang and Chen(2009).     

On unitary deformations of smooth modular representations

Let G be a lo/cally ? _p -analytic group and K a finite extension of ? _p with residue field k. Adapting a strategy of B. Mazur (cf. [Maz89]) we use deformation theory to study the possible liftings of a given smooth G-representation ρ over k to unitary G-Banach space representations over K. The main result proves the existence of a universal deformation space in case ρ admits only scalar endomorphisms. As an application we let G = GL₂(? _p ) and compute the fibers of the reduction map in principal series representations.     

Acyclic 4-choosability of planar graphs

A proper vertex coloring of a graph G=(V,E) is acyclic if G contains no bicolored cycle. Given a list assignment L={L(v)∣v∈V} of G, we say G is acyclically L-list colorable if there exists a proper acyclic coloring π of G such that π(v)∈L(v) for all v∈V. If G is acyclically L-list colorable for any list assignment with |L(v)|≥k for all v∈V, then G is acyclically k-choosable. In this paper we prove that planar graphs without 4, 7, and 8-cycles are acyclically 4-choosable.     

Sparse connectivity certificates via MA orderings in graphs

For an undirected multigraph G=(V,E), let α be a positive integer weight function on V. For a positive integer k, G is called (k,α)-connected if any two vertices u,v∈V remain connected after removal of any pair (Z,E^′) of a vertex subset Z⊆V-{u,v} and an edge subset E^′⊆E such that ∑_v∈Zα(v)+|E^′|<k. The (k,α)-connectivity is an extension of several common generalizations of edge-connectivity and vertex-connectivity. Given a (k,α)-connected graph G, we show that a (k,α)-connected spanning subgraph of G with O(k|V|) edges can be found in linear time by using MA orderings. We also show that properties on removal cycles and preservation of minimum cuts can be extended in the (k,α)-connectivity.     

On covariant functions and distributions under the action of a compact group

Let G be a compact subgroup of GLn(R) acting linearly on a finite dimensional complex vector space E. B. Malgrange has shown that the space C^∞G(Rn,E) of C^∞ and G-covariant functions is a finite module over the ring C^∞G(Rn) of C^∞ and G-invariant functions. First, we generalize this result for the Schwartz space SG(Rn,E) of G-covariant functions. Secondly, we prove that any G-covariant distribution can be decomposed into a sum of G-invariant distributions multiplied with a fixed family of G-covariant polynomials. This gives a generalization of an Oksak result proved in [4].     

Weyl quantization for semidirect products

Let G be the semidirect product V?K where K is a connected semisimple non-compact Lie group acting linearily on a finite-dimensional real vector space V. Let O be a coadjoint orbit of G associated by the Kirillov-Kostant method of orbits with a unitary irreducible representation π of G. We consider the case when the corresponding little group K₀ is a maximal compact subgroup of K. We realize the representation π on a Hilbert space of functions on Rn where n=dim(K)−dim(K₀). By dequantizing π we then construct a symplectomorphism between the orbit O and the product R2n×O^′ where O^′ is a little group coadjoint orbit. This allows us to obtain a Weyl correspondence on O which is adapted to the representation π in the sense of [B. Cahen, Quantification d'une orbite massive d'un groupe de Poincaré généralisé, C. R. Acad. Sci. Paris Série I 325 (1997) 803-806]. In particular we recover well-known results for the Poincaré group.