No Arabic abstract
We develop aspects of geometric control theory on Lie groups G which may be infinite dimensional, and on smooth G-manifolds M modelled on locally convex spaces. As a tool, we discuss existence and uniqueness questions for differential equations on M given by time-dependent fundamental vector fields which are L^1 in time. We then discuss the closures of reachable sets in M for controls in the Lie algebra of G, or within a compact convex subset of the Lie algebra. Regularity properties of the Lie group G play an important role.
This paper contributes to the generalization of Rademachers differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups which are our infinite-dimensional analogues of Carnot groups. The groups in which we will mostly be interested are the ones that admit a dense increasing sequence of (finite-dimensional) Carnot subgroups. In fact, in each of these spaces we show that every Lipschitz function has a point of G^{a}teaux differentiability. We provide examples and criteria for when such Carnot subgroups exist. The proof of the main theorem follows the work of Aronszajn and Pansu.
Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions, describe the main classes of examples, and explain what the general theory tells us about these. In particular, we discuss: (1) Direct limit properties of ascending unions of Lie groups in the relevant categories; (2) Regularity in Milnors sense; (3) Homotopy groups of direct limit groups and of Lie groups containing a dense union of Lie groups; (4) Subgroups of direct limit groups; (5) Constructions of Lie group structures on ascending unions of Lie groups.
A host algebra of a (possibly infinite dimensional) Lie group $G$ is a $C^*$-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations $pi colon G to U(cH)$. In this paper we present a new approach to host algebras for infinite dimensional Lie groups which is based on smoothing operators, i.e., operators whose range is contained in the space $cH^infty$ of smooth vectors. Our first major result is a characterization of smoothing operators $A$ that in particular implies smoothness of the maps $pi^A colon G to B(cH), g mapsto pi(g)A$. The concept of a smoothing operator is particularly powerful for representations $(pi,cH)$ which are semibounded, i.e., there exists an element $x_0 ing$ for which all operators $iddpi(x)$, $x in g$, from the derived representation are uniformly bounded from above in some neighborhood of $x_0$. Our second main result asserts that this implies that $cH^infty$ coincides with the space of smooth vectors for the one-parameter group $pi_{x_0}(t) = pi(exp tx_0)$. We then show that natural types of smoothing operators can be used to obtain host algebras and that, for every metrizable Lie group, the class of semibounded representations can be covered completely by host algebras. In particular, it permits direct integral decompositions.
Let M be a smooth Fredholm manifold modeled on a separable infinite-dimensional Euclidean space E with Riemannian metric g. Given an (augmented) Fredholm filtration F of M by finite-dimensional submanifolds (M_n), we associate to the triple (M, g, F) a non-commutative direct limit C*-algebra A(M, g, F) = lim A(M_n) that can play the role of the algebra of functions vanishing at infinity on the non-locally compact space M. The C*-algebra A(E), as constructed by Higson-Kasparov-Trout for their Bott periodicity theorem for infinite dimensional Euclidean spaces, is isomorphic to our construction when M = E. If M has an oriented Spin_q-structure (1 <= q <=infty), then the K-theory of this C*-algebra is the same (with dimension shift) as the topological K-theory of M defined by Mukherjea. Furthermore, there is a Poincare duality isomorphism of this K-theory of M with the compactly supported K-homology of M, just as in the finite-dimensional spin setting.
We investigate Beurling-Fourier algebras, a weighted version of Fourier algebras, on various Lie groups focusing on their spectral analysis. We will introduce a refined general definition of weights on the dual of locally compact groups and their associated Beurling-Fourier algebras. Constructions of nontrivial weights will be presented focusing on the cases of representative examples of Lie groups, namely $SU(n)$, the Heisenberg group $mathbb{H}$, the reduced Heisenberg group $mathbb{H}_r$, the Euclidean motion group $E(2)$ and its simply connected cover $widetilde{E}(2)$. We will determine the spectrum of Beurling-Fourier algebras on each of the aforementioned groups emphasizing its connection to the complexification of underlying Lie groups. We also demonstrate polynomially growing weights does not change the spectrum and show the associated regularity of the resulting Beurling-Fourier algebras.