Finitely generated submodules of differentiable functions II

Let [$\text{E}$(Ω)]^p be the Cartesian product of the space of real-valued infinitely differentiable functions on a connected open set Ω in $\text{R}$ⁿ with itself p-times. The finitely generated submodules of [$\text{E}$(Ω)]^p are of the form im(F) where F: [$\text{E}$(Ω)]^q → [$\text{E}$(Ω)]^p is a p × q matrix of infinitely differentiable functions on Ω. Let $\text{r =}\text{max}\text{{}\text{rank}\text{(F(x)): x ? Ω}}$. The main results of the present paper are that for Ω ? $\text{R}$ⁿ, if the finitely generated submodule im(F) is closed in [$\text{E}$(Ω)]^p, then for every x?ω with rank(F(x)) < r there exists an r × r sub-matrix A of F such that x is a zero of finite order of det(A), and for Ω ? $\text{R}$¹ the converse also holds.     

On the decomposition of the tensor algebra of the classical Lie algebras

Let $\text{g}$_n be the Lie algebra gl_n(C), let S($\text{g}$_n) be the symmetric algebra of $\text{g}$_n, and let T($\text{g}$_n) be the tensor algebra of $\text{g}$_n. In a recent paper, R. K. Gupta studied certain sequences of representations R_∞ = (R_n)^∞_{n = 1}, where R_n is a representation of $\text{g}$_n. These sequences have the property that every irreducible representation occurring in S($\text{g}$_n) is in exactly one of these sequences. Fixing f, she considers s(R_∞, f) which is the limit on n of the multiplicity of R_n in S^f($\text{g}$_n), the fth-graded piece of S($\text{g}$_n). She and R. P. Stanley independently showed that the limit s(R_∞, f) exists and is given by an amazingly elegant formula. They call s(R_∞, f) the stable multiplicity of R_n in S^f($\text{g}$_n). In this paper, an entirely different approach is used to extend the above result in several directions. Appropriately defined sequences R_∞ for all of the classical Lie algebras $\text{g}$_n are studied, and a simple formula for the stable multiplicity m(R)_∞, ψ, f, $\text{g}$_∞) of R_n in the ψ-isotypic component of T^f($\text{g}$_n), where ψ is any irreducible character of the symmetric group tS_f, is obtained. As in the work of Gupta and Stanley, the expressions for m(R)_∞, ψ, f, $\text{g}$_∞) are amazingly simple. Special cases include the stable decomposition of the tensor algebra, the symmetric algebra and the exterior algebra of $\text{g}$_n. As a byproduct of our proof, a “stable” decomposition of every isotypic component of T($\text{g}$_n) is obtained. This combinatorial decomposition is in some sense a generalization of Kostant's decomposition of S($\text{g}$_n) into direct sum of the harmonics and the ideal generated by the invariants of positive degree. To be precise, for f <n the combinatorial decomposition of T^f($\text{g}$_n) projects onto Kostant's decomposition of S^f($\text{g}$_n).     

A characterization of certain weak1-closed subalgebras of L∞

Let $\text{R}$ denote the real line and L^∞(R), the class of all Borel measurable L^∞-functions of $\text{R}$. Let S ≠ {0} or φ, be a linear subspace of L^∞(R) which is (i) translation invariant, (ii) weak¹-closed, (iii) self-adjoint, i.e., f?S implies f?S, and (iv) an algebra. Then either (a) S = all constant functions in L^∞; or (b) S = L^∞; or (c) there is a unique c > 0 such that S consists of all L^∞-functions which are periodic of period c.Extension of the above characterization of periodic subalgebras of L^∞ to LCA groups are presented. Also it is shown that the above characterization is in various ways best possible.     

On the approximation of measurable linear functionals

Every Gaussian Radon measure (nonsymmetric) has the Riesz property. On R^∞, a shift μ₀ 1 σ_b of the law μ₀ of the Bernoulli sequence has the Riesz property iff $\text{b ? l}{}^2\text{or}\text{b ?}\text{R}{}_0{}^{\mathrm{\infty }}$.     

Interpolating sequences and the Shilov boundary of H∞(Δ)

Let H^∞(Δ) denote the Banach algebra of bounded analytic functions on the open unit disc, let $\text{M}$ denote its maximal ideal space, and let ? denote its Shilov boundary. D. J. Newman has shown that a homomorphism ? in $\text{M}$ will be in ? if and only if ? is unimodular on all Blaschke products. We answer a question of K. Hoffman by showing that ? will be in ? if and only if ? is unimodular on every Blaschke product whose zero set is an interpolating sequence. Our method is based on a construction due to L. Carleson, originally developed for the proof of the Corona theorem.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

Reconstruction of a factor from measures on Takesaki's unitary equivalence relation

Let $\text{Ol}$?L^∞(S, μ) be a maximal abelian subalgebra of the factor $\text{F}$ on separable Hilbert space with modular involution J. ($\text{Ol}$∪ J$\text{Ol}$J)″ is represented naturally as L^∞(S × S, λ). If Takesaki's unitary equivalence relation $\text{R}$ ? S × S is not λ-null, it is a measure groupoid. If it is conull, and ($\text{Ol}$∪ J$\text{Ol}$J)″ is maximal abelian, $\text{F}$ and $\text{Ol}$ are reconstructed by the σ-left regular representation procedure. Examples show that these hypotheses are not always satisfied. An application shows that the L^∞ spectrum of a properly infinite ergodic transformation is null with respect to the L² spectrum.     

Large time behavior of the Lp norm of Schrödinger semigroups

LetV ? 0, V?C₀^∞(R^v) with v ? 3 be such that $\text{H = ?}\text{1}\text{2}\text{Δ + V ? 0}$ but for any $\text{ε > 0, ?}\text{1}\text{2}\text{Δ + (1 + ε)V}$ is not positive. We determine the exact rate of divergence of the norm of e^?tH as a map from L^∞ to L^∞. A number of related problems are discussed.     

The automorphisms of convolution algebras of C∞ functions

We find the automorphisms and the spectra of several different topological convolution algebras of C^∞-functions on the real line. Starting with the convolution algebra of compactly supported C^∞-functions, equipped with the usual LF-topology, we define a corresponding convolution algebra of C^∞-functions of arbitrarily fast exponential decay at ∞; and convolution algebras of a given finite degree r of exponential decay at ∞. These algebras may be described topologically as “hyper Schwartz spaces.” With a natural Frechet topology, which we define, they get a structure as locally m-convex algebras. The continuous automorphisms and spectra of these algebras are described completely. We show that the algebra of C^∞-functions of infinitly fast exponential decay at ∞, $\text{H J}$, on the one hand, and the algebra of C^∞-functions of only a finite degree $\text{e}{}^{\mathrm{?r¦x¦}}$ decay at ∞, $\text{J}$_r⁰, on the other hand, have quite different automorphisms, although $\text{H J}$ = ∩_r$\text{J}$_r⁰. As an application, we show that the conformal group is canonically represented as the full group of automorphisms of $\text{J}$_r⁰, and that this representation does not extend to a representation on the Banach algebra L¹($\text{R}$).     

Sur l'η-expansion infinieOn infinite η-expansion

We give two characterizations of the ordering on Böhm trees induced by the D_∞ model, one of which formalizes a continuity property of infinite η-expansion: $\text{A}\text{?}{}_{\mathrm{\infty }}\text{B}$ if for any finite approximant A of $\text{A}$ there exists a finite approximant B of $\text{B}$ such that A is a sub-tree of B, modulo finitely many η-equalities and finitely many infinite η-expansions of variables. To cite this article: P.-L. Curien, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 77–82     

A remark to the preceding paper by Chernoff

It is shown that the method of Chernoff developed in the preceding paper can be modified to prove the essential self-adjointness on C₀^∞(R^m) of all positive powers of the Schrödinger operator T = ? Δ + q if q real and in C^∞(R^m) and if $\text{T ? ?a ? b ¦ x ¦}{}^2\text{on}\text{C}{}_0{}^{\mathrm{\infty }}\text{(R}{}^{\mathrm{m}}\text{)}$.     

Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

Compact Sobolev imbeddings on finite measure spaces

We provide conditions on a finite measure μ on $\text{R}$ⁿ which insure that the imbeddings W^{k, p}($\text{R}$ⁿdμ)?L^p($\text{R}$ⁿdμ) are compact, where 1 ? p < ∞ and k is a positive integer. The conditions involve uniform decay of the measure μ for large ¦x¦ and are satisfied, for example, by $\text{dμ = e}{}^{\mathrm{?¦x¦\alpha }}\text{dx,}\text{where}\text{α > 1}$.     

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.     

Sur un théorème de Kronecker concernant les variétés algébriques

A classical result of Kronecker, stated at the end of the Section 10 of Kronecker (J. Reine Angew. Math. 92 (1882) 1–123), is that any radical of a finitely generated ideal in a polynomial ring of n variables is the radical of an ideal generated by n+1 elements. We give a constructive and elementary proof of a generalisation presented in (Michigan Math. J. 31 (1984) (2) 167–180): in a ring of Krull dimension $\text{?}\text{n}$ a radical of a finitely generated ideal is the radical of an ideal generated by n+1 elements. To cite this article: T. Coquand, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Does Huygens' principle hold for small perturbations of the wave equation?

The perturbed wave equation □u + q(x)u = 0 in $\text{R}$³ × $\text{R}$ with C∞ ($\text{R}$³) compactly supported initial data at t = 0 is considered. It is proven that the Huygens' principle does not hold for this equation if the potential is (essentially) non-negative, well-behaved at infinity and small in a suitable sense. The treatment is elementary and based on energy estimates and the positivity of the Riemann function for the wave equation in three space dimensions. The result still holds if the solution u is “small” over some space-time propagation cone. In the ease in which q has compact support, stronger results of this type for the above equation are obtained.     

A duality principle for lattices and categories of modules

Let R be a ring with 1, R^op the opposite ring, and R-Mod the category of left unitary R-modules and R-linear maps. A characterization of well-powered abelian categories $\text{A}$ such that there exists an exact embedding functor $\text{A}$→R-Mod is given. Using this characterization and abelian category duality, the following duality principles can be established.Theorem. There exists an exact embedding functor $\text{A}$→R-Mod if and only if there exists an exact embedding functor $\text{A}$^op→R^op-Mod.Corollary. If R-Mod has a specified diagram-chasing property, then R^op-Mod has the dual property.A lattice L is representable by R-modules if it is embeddable in the lattice of submodules of some unitary left R-module; $\text{L}$(R) denotes the quasivariety of all lattices representable by R-modules.Theorem. A lattice L is representable by R-modules if and only if its order dual L¹ is representable by R^op-modules. That is, $\text{L}\text{(}\text{R}{}^{\mathrm{op}}\text{)={L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}}$.If $\text{R}$ is a commutative ring with 1 and a specified diagram-chasing result is satisfied in R-Mod, then the dual result is also satisfied in R-Mod. Furthermore, $\text{L}\text{(}\text{R}\text{)}$ is self-dual: $\text{L}\text{(}\text{R}\text{)= {L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}.}$     

Spectral theory of commuting self-adjoint partial differential operators

Let Ω denote a connected and open subset of $\text{R}$ⁿ. The existence of n commuting self-adjoint operators H₁,…, H_n on $\text{L}{}^2\text{(Ω)}$ such that each H_j is an extension of $\text{−}\text{i∂}\text{∂x}{}_{\mathrm{j}}$ (acting on $\text{C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(Ω))}$ is shown to be equivalent to the existence of a measure μ on $\text{R}$ⁿ such that f → $\text{}\text{̂}$tf (the Fourier transform of f) is unitary from $\text{L}{}^2\text{(Ω)}$ onto Ω. It is shown that the support of μ can be chosen as a subgroup of $\text{R}$ⁿ iff H₁,…, H_n can be chosen such that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$. This happens iff Ω (after correction by a null set) forms a system of representatives for the quotient of $\text{R}$ⁿ by some subgroup, i.e., iff Ω is essentially a fundamental domain.     

Regularity properties of Schrödinger and Dirichlet semigroups

First we compute Brownian motion expectations of some Kac's functionals. This allows a complete study of the semigroups generated by the formal differential operator $\text{H = ?}\text{1}\text{2}\text{Δ + V}$ on the various Lebesgue's spaces L^q=L^q$\text{R}$ⁿ, dx, whenever the negative part of V is in L^∞ + L^p for some $\text{p >}\text{max}\text{{1,}\text{n}\text{2}\text{}}$. Our approach is probabilistic and some of the proofs are surprisingly elementary. The negative infinitesimal generators of our semigroups are shown to be reasonable self-adjoint extensions of H. Under mild assumptions on V, H is unitary equivalent to the Dirichlet operator, say D, associated to its groundstate measure. We study regularity of the semigroups generated by D. We concentrate on hyper and supercontractivity and we give, using probabilistic techniques, new examples of potential functions V which give rise to hyper and supercontractive Dirichlet semigroups.     

On derivative-dependent infinitesimal deformations of differentiable maps

We study, by means of flows in jet bundles, infinitesimal deformations of germs of $\text{b}$^∞ maps $\text{?:R}{}^{\mathrm{n}}\text{→R}{}^{\mathrm{m}}$ that depend on a finite number of derivatives of these maps. We show that for m = 1 such deformations cannot essentially depend on derivatives higher than the first and that the deformations generalize the notion of an infinitesimal contact transformation. Analogous results hold for m > 1. Some applications to differential equations are given.