On the failure of spectral synthesis for compact semisimple Lie groups

Let G be a compact connected semisimple Lie group with Lie algebra $\text{g}$. We show that the conjugacy class of a regular element of G is not a set of synthesis for the Fourier algebra of G. Similarly, the Ad(G)-orbit of a regular element of $\text{g}$ is not a set of synthesis for the algebra of Fourier transforms on $\text{g}$. In proving this latter result we demonstrate a regularity property of Ad-invariant Fourier transforms, analogous to the differentiability of radial Fourier transforms.     

Smoothness and absolute convergence of Fourier series in compact totally disconnected groups

In this paper we study in the context of compact totally disconnected groups the relationship between the smoothness of a function and its membership in the Fourier algebra $\text{G}$G. Specifically, we define a notion of smoothness which is natural for totally disconnected groups. This in turn leads to the notions of Lipshitz condition and bounded variation. We then give a condition on α which if satisfied implies Lip_α(G) ? $\text{R}$(G). On certain groups this condition becomes: $\text{α >}\text{1}\text{2}$ (Bernstein's theorem). We then give a similar condition on α which if satisfied implies that Lip_α(G) ∈ BV(G) ? $\text{R}$(G). On certain groups this condition becomes: α > 0 (Zygmund's theorem). Moreover we show that $\text{α >}\text{1}\text{2}$ is best possible by showing that $\text{Lip}{}_{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(G)}$ ? $\text{R}$(G).     

The fixed-point algebra of tensor-product actions of finite Abelian groups on UHF-algebras

Let G be a finite Abelian group acting by tensor-product automorphisms on a UHF-C¹-algebra $\text{D}$. Extending a result of A. Kishimoto it is shown that the number of extremal traces on the fixed-point algebra $\text{D}$^G equals the cardinality of the subgroup K of automorphisms in G which are weakly inner in the trace representation of $\text{D}$.     

Sur les semi-caracteres des groupes de Lie resolubles connexes

Let G be a connected solvable Lie group, π a normal factor representation of G and ψ a nonzero trace on the factor generated by G. We denote by $\text{D}$(G) the space of C^∞ functions on G which are compactly supported. We show that there exists an element u of the enveloping algebra U$\text{G}$_$\text{c}$ of the complexification of the Lie algebra of G for which the linear form $\text{? ψ(π(u 1 ?))}$ on $\text{D}$(G) is a nonzero semiinvariant distribution on G. The proof uses results about characters for connected solvable Lie groups and results about the space of primitive ideals of the enveloping algebra U$\text{G}$_$\text{c}$.     

Neighbourhoods of transitive graphs and GRR's

Let X be a vertex-transitive graph with complement $\text{X}$. We show that if both N, the neighbourhood of a vertex in X, and $\text{N}$, the neighbourhood of a vertex in $\text{X}$, are disconnected, then either X is isomorphic to K₃ × K₃ or both N and $\text{N}$ contain isolated vertices. We characterize the graphs which satisfy this last condition and show in consequence that they admit automorphisms of the form (12)(34). It follows that if X is a GRR for some graph G then at least one of N and $\text{N}$ is connected. (X is said to be a graphical regular representation, or GRR, for G if its automorphism group is isomorphic to G and acts regularly on its vertices.) Using this result we determine those groups generated by their involutions which do not have a GRR. The largest such group has order 18. As a corollary we conclude that all non-abelian simple groups have GRR's.     

On the left regular representation of a separable locally compact group

For an arbitrary separable locally compact group G we exhibit a canonical Borel subset $\text{G}\text{?}{}_{\mathrm{\Delta }}$ of the quasi-dual $\text{G}\text{?}\text{of}\text{G}$ (with the Mackey Borel structure), such that $\text{G}\text{?}{}_{\mathrm{\Delta }}$ is a standard Borel space in the induced Borel structure, and such that the canonical measure for the left regular representation λ_Gof G is concentrated on $\text{G}\text{?}{}_{\mathrm{\Delta }}$. On the basis of this we discuss the (non-unimodular) “Plancherel theorem.”     

On the rational spectra of graphs with abelian singer groups

Let G be a finite abelian group. We investigate those graphs $\text{G}$ admitting G as a sharply 1-transitive automorphism group and all of whose eigenvalues are rational. The study is made via the rational algebra $\text{P}$(G) of rational matrices with rational eigenvalues commuting with the regular matrix representation of G. In comparing the spectra obtainable for graphs in $\text{P}$(G) for various G's, we relate subschemes of a related association scheme, subalgebras of $\text{P}$(G), and the lattice of subgroups of G. One conclusion is that if the order of G is fifth-power-free, any graph with rational eigenvalues admitting G has a cospectral mate admitting the abelian group of the same order with prime-order elementary divisors.     

A multiplication of distributions

If Ω denotes an open subset of $\text{R}$ⁿ (n = 1, 2,…), we define an algebra $\text{g}$ (Ω) which contains the space $\text{D}$′(Ω) of all distributions on Ω and such that $\text{C}{}^{\mathrm{\infty }}\text{(Ω)}$ is a subalgebra of $\text{G}$ (Ω). The elements of $\text{G}$ (Ω) may be considered as “generalized functions” on Ω and they admit partial derivatives at any order that generalize exactly the derivation of distributions. The multiplication in $\text{G}$(Ω) gives therefore a natural meaning to any product of distributions, and we explain how these results agree with remarks of Schwartz on difficulties concerning a multiplication of distributions. More generally if q = 1, 2,…, and $\text{?∈O}{}_{\mathrm{M}}\text{(}\text{R}{}^{\mathrm{2q}}\text{)}$—a classical Schwartz notation—for any G₁,…,G_q∈G(σ), we define naturally an element $\text{?G}{}_1\text{,…,G}{}_{\mathrm{q}}\text{∈G(σ)}$. These results are applied to some differential equations and extended to the vector valued case, which allows the multiplication of vector valued distributions of physics.     

Abelian extensions of topological vector groups

The possibility of endowing an Abelian topological group G with the structure of a topological vector space when a subgroup F of G and the quotient group $\text{G}\text{F}$ are topological vector groups is investigated. It is shown that, if F is a real Fréchet group and $\text{G}\text{F}$ a complete metrizable real vector group, then G is a complete metrizable real vector group. This result is of particular interest if $\text{G}\text{F}$ is finite dimensional or if F is one dimensional and $\text{G}\text{F}$ a separable Hilbert group.     

Approximate and complete controllability of nonlinear systems to a convex target set

The research deals with complete and approximate controllability of the system $\text{(1)}\text{dx}\text{dy}\text{= f(t, x, u)}$, without control restraints to an arbitrary convex target set. First, some characterizations of complete controllability, to the target of (1) and a special case of (1) namely $\text{x}\text{?}\text{= A(t)x + k(t, u)}{}^7$ are given. As a consequence complete controllability is equivalent to null-controllability. Next certain equations are formulated. These are in the same spirit as J. P. Dauer's “A Controllability Technique for Nonlinear Systems” (J. Math. Anal. Appl. oo (1972), 442–451) and are utilized in the main contribution of the paper: Under certain convexity assumption, bounded perturbations of systems which are completely controllable to a fixed target G are completely controllable to G. Without the convexity assumption, but with perturbations satisfying a Lipschitz condition, approximate controllability to G of a perturbed system is equivalent to complete controllability to G of the unperturbed equation.     

Comparability graphs and intersection graphs

A function diagram (f-diagram) D consists of the family of curves {$\text{1}\text{?}$ñ} obtained from n continuous functions $\text{f}{}_{\mathrm{i}}\text{:[0,1]→}\text{R}\text{(1?i?n)}$. We call the intersection graph of D a function graph (f-graph). It is shown that a graph G is an f-graph if and only if its complement ? is a comparability graph. An f-diagram generalizes the notion of a permulation diagram where the f_i are linear functions. It is also shown that G is the intersection graph of the concatenation of ?k permutation diagrams if and only if the partial order dimension of $\text{G}\text{?}\text{is ?k+1}$. Computational complexity results are obtained for recognizing such graphs.     

Invariant convex cones and causality in semisimple Lie algebras and groups

The convex cones in a simple Lie algebra $\text{G}$ invariant under the adjoint group G of $\text{G}$ are studied. Using a earlier abstract classification of such cones, we find explicit algebraic presentations of such cones in all the classical hermitian symmetric Lie algebras. (Nontrivial such cones exist only in these cases.) The G-orbits in such cones are listed. The notion of a temporal action of a Lie group with an invariant causal orientation upon a causally oriented manifold is defined. The canonical actions of such classical groups G as above on the S?hilov boundaries of the associated (tube-type) hermitian symmetric spaces are shown to be temporal actions. Corollaries are (1) the existence of nontrivial (Lie) semigroups S in the infinite-sheeted coverings $\text{G}\text{?}$ of G, which are invariant under conjugation by $\text{G}\text{?}$ and satisfy S ∩ S^?1 = {e}, and (2) the global causality (i.e. no “closed time-like curves”) of such covering groups $\text{G}\text{?}$.     

Propriétés de l'intégrale de Cauchy Harish-Chandra pour certaines paires duales d'algèbres de LieProperties of the Cauchy Harish-Chandra integral for some dual pairs of Lie algebras

We consider a symplectic group Sp and an reductive and irreductible dual pair (G,G′) in Sp in the sense of R. Howe. Let $\text{g}$ (resp. $\text{g}\text{′}$) be the Lie algebra of G (resp. G′). T. Przebinda has defined a map $\text{Chc}$, called the Cauchy Harish-Chandra integral from the space of smooth compactly supported functions of $\text{g}$ to the space of functions defined on the open set $\text{g}{}^{\mathrm{<mtext>\prime </mtext><mspace\; sp="0.2"\; width="2px"\; linebreak="nobreak"\; is="true"></mspace><mtext>reg</mtext>}}$ of semisimple regular elements of $\text{g}\text{′}$. We prove that these functions are invariant integrals if G and G′ are linear groups and they behave locally like invariant integrals if G and G′ are unitary groups of same rank. In this last case, we obtain the jump relations up to a multiplicative constant which only depends on the dual pair. To cite this article: F. Bernon, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 945–948.     

The family of D-weights for a two-rooted graph

Let Π(G) be the set of paths of a particular class Π from the initial to the terminal root of a two-rooted (possibly directed) graph G. We consider the family of $\text{D}$-weights defined by

where Π_x(G) is the family of subsets of Π(G) which cover x(G), the vertex set or the edge (arc) set of G.A number of the common properties and interrelations of these weights are discussed. Some of the weights have been considered previously, [1, 2], in the context of percolation theory but here only combinatorial arguments are used.     

Projective unitary positive-energy representations of diff (S1)

Let $\text{D}$ be the group of orientation-preserving diffeomorphisms of the circle S¹. Then $\text{D}$ is Fréchet Lie group with Lie algebra (δ_∞)_R the smooth real vector fields on S¹. Let δ_R be the subalgebra of real vector fields with finite Fourier series. It is proved that every infinitesimally unitary projective positive-energy representation of δ_R integrates to a continuous projective unitary representation of $\text{D}$. This result was conjectured by V. Kac.     

Some pathologies in the Mackey analysis for a certain nonseparable group

Suppose G is a separable locally compact group and N is a closed normal subgroup. If the dual N? is smooth and the orbit space $\text{N}\text{?}\text{G}$ is smooth for the natural action of G on $\text{N}\text{?}\text{(L}{}^{\mathrm{x}}\text{(n) = L(xnx}{}^{\mathrm{?1}}\text{))}$, the method of G. W. Mackey (Acta Math.99 (1958), 265–311) gives a fairly simple procedure for constructing the dual ?. In this paper we examine an example which shows that the nonseparable case is much more complicated. In the example, N is abelian, $\text{N}\text{?}\text{G}$ is finite and even when the stabilizer is N there are many irreducible representations of G associated with the same orbit.     

On a theorem of Osborne and Warner. Multiplicities in the cuspidal spectrum

Osborne and Warner have given a formula for the multiplicity of an integrable discrete series representation in $\text{L}{}^2\text{(}\text{G}\text{Γ}\text{)}$ when G is real rank one semi-simple Lie group and Γ is a discrete subgroup of co-finite volume. We simplify and evaluate this formula to show that for most G (as above) the multiplicity is the formal degree of the representation times the volume of $\text{G}\text{Γ}$. When it is not we give a simple interpretation of the difference.     

On separating systems of graphs

Given a finite loopless graph G (resp. digraph D), let σ(G), ?(G) and ψ(D) denote the minimal cardinalities of a completely separating system of G, a separating system of G and a separating system of D, respectively. The main results of this paper are:

$\text{δ(G) =}\text{min}\text{m}{}^{\mathrm{m}}{}_{\mathrm{?m/2?}}\text{?γ(G)}\text{and}\text{?(G) = ?}\text{log}{}_2\text{γ(G)?}\text{where}\text{γ(G)}$

denotes the chromatic number of G. (ii) All the problems of determining σ(G), ?(G) and ψ(D) are NP-complete.     

Applications of the Connes spectrum to C1-dynamical systems,II

We show that for a C¹-dynamical system (A, G, α) with G discrete (abelian) the Connes spectrum Γ(α) is equal to $\text{G}\text{?}$ if and only if every nonzero closed ideal in G × _αA has a nonzero intersection with A. Denote by G_J the closed subgroup of G that leaves fixed the primitive ideal J of A. We show for a general group G that if all isotropy groups G_J are discrete, then GX_αA is simple if and only if A is G-simple and $\text{Γ(}\text{α}\text{) =}\text{G}\text{?}$. This result is applicable not only when G is discrete but also when G?$\text{R}$ or G?$\text{T}$ provided that A is not primitive. Specializing to single automorphisms (i.e., G=$\text{Z}$) we show that if (the transposed of) α acts freely on a dense set of points in $\text{A}\text{?}$, then Λ(α)=$\text{T}$. The converse is only proved when A is of type I.