Lie group representations and harmonic polynomials of a matrix variable

This chapter studies, in the setting of vector spaces over a field, the basics concerning multilinear functions, tensor products, spaces of linear functions, and algebras related to tensor products. Sections 1–5 concern special properties of bilinear forms, all vector spaces being assumed to be finite-dimensional. Section 1 associates a matrix to each bilinear form in the presence of an ordered basis, and the section shows the effect on the matrix of changing the ordered basis. It then addresses the extent to which the notion of “orthogonal complement” in the theory of inner-product spaces applies to nondegenerate bilinear forms. Sections 2–3 treat symmetric and alternating bilinear forms, producing bases for which the matrix of such a form is particularly simple. Section 4 treats a related subject, Hermitian forms when the field is the complex numbers. Section 5 discusses the groups that leave some particular bilinear and Hermitian forms invariant. Section 6 introduces the tensor product of two vector spaces, working with it in a way that does not depend on a choice of basis. The tensor product has a universal mapping property—that bilinear functions on the product of the two vector spaces extend uniquely to linear functions on the tensor product. The tensor product turns out to be a vector space whose dual is the vector space of all bilinear forms. One particular application is that tensor products provide a basis-independent way of extending scalars for a vector space from a field to a larger field. The section includes a number of results about the vector space of linear mappings from one vector space to another that go hand in hand with results about tensor products. These have convenient formulations in the language of category theory as “natural isomorphisms.” Section 7 begins with the tensor product of three and then $n$ vector spaces, carefully considering the universal mapping property and the question of associativity. The section defines an algebra over a field as a vector space with a bilinear multiplication, not necessarily associative. If $E$ is a vector space, the tensor algebra $T(E)$ of $E$ is the direct sum over $n\geq0$ of the $n$-fold tensor product of $E$ with itself. This is an associative algebra with a universal mapping property relative to any linear mapping of $E$ into an associative algebra $A$ with identity: the linear map extends to an algebra homomorphism of $T(E)$ into $A$ carrying 1 into 1. Sections 8–9 define the symmetric and exterior algebras of a vector space $E$. The symmetric algebra $S(E)$ is a quotient of $T(E)$ with the following universal mapping property: any linear mapping of $E$ into a commutative associative algebra $A$ with identity extends to an algebra homomorphism of $S(E)$ into $A$ carrying 1 into 1. The symmetric algebra is commutative. Similarly the exterior algebra $\bigwedge(E)$ is a quotient of $T(E)$ with this universal mapping property: any linear mapping $l$ of $E$ into an associative algebra $A$ with identity such that $l(v)^2=0$ for all $v\in E$ extends to an algebra homomorphism of $\bigwedge(E)$ into $A$ carrying 1 into 1. The problems at the end of the chapter introduce some other algebras that are of importance in applications, and the problems relate some of these algebras to tensor, symmetric, and exterior algebras. Among the objects studied are Lie algebras, universal enveloping algebras, Clifford algebras, Weyl algebras, Jordan algebras, and the division algebra of octonions.

Abstract

In many physical applications the equations describing a system are invariant under some transformation group. When bifurcation problems arise in such a situation, the group invariance may lead to multiplicities of the branch point. The main goal of the present paper is to demonstrate in a precise way the application of group representation theory to bifurcation theory. Group representation theory is a linear one, while bifurcation theory deals with the branch points of nonlinear unctional equations. Nevertheless, the theory of group representations applies to those nonlinear problems in a natural and elegant manner. The link between the two disciplines lies in the tensor character of the bifurcation equations on the one hand, and the theory of tensor products of group representations on the other.

We study the complex-time Segal-Bargmann transform Bs,τKN on a compact type Lie group KN, where KN is one of the following classical matrix Lie groups: the special orthogonal group SO(N,R), the special unitary group SU(N), or the compact symplectic group Sp(N). Our work complements and extends the results of Driver, Hall, and Kemp on the Segal-Bargman transform for the unitary group U(N). We provide an effective method of computing the action of the Segal-Bargmann transform on trace polynomials, which comprise a subspace of smooth functions on KN extending the polynomial functional calculus. Using these results, we show that as N→∞, the finite-dimensional transform Bs,τKN has a meaningful limit Gs,τ which can be identified as an operator on the space of complex Laurent polynomials.

This paper presents theoretical analysis and software implementation for real harmonics analysis on the special orthogonal group. Noncommutative harmonic analysis for complex-valued functions on the special orthogonal group has been studied extensively. However, it is customary to treat real harmonic analysis as a special case of complex harmonic analysis, and there have been limited results developed specifically for real-valued functions. Here, we develop a set of explicit formulas for real-valued irreducible unitary representations on the special orthogonal group, and provide several operational properties, such as derivatives, sampling, and Clebsch-Gordon coefficients. Furthermore, we implement both of complex and real harmonics analysis on the special orthogonal group into an open source software package that utilizes parallel processing through the OpenMP library. The efficacy of the presented results are illustrated by benchmark studies and an application to spherical shape matching.

Increasingly, machines are interacting with people through human action recognition from video streams. Video data can naturally be represented as a third-order data tensor. Although many tensor-based approaches have been proposed for action recognition, the geometry of the tensor space is seldom regarded as an important aspect. In this paper, we stress that a data tensor is related to a tangent bundle on a special manifold. Using a manifold charting, we can extract discriminating information between actions. Data tensors are first factorized using high-order singular value decomposition, where each factor is projected onto a tangent space and the intrinsic distance is computed from a tangent bundle for action classification. We examine a standard manifold charting and some alternative chartings on special manifolds, particularly, the special orthogonal group, Stiefel manifolds, and Grassmann manifolds. Because the proposed paradigm frames the classification scheme as a nearest neighbor based on the intrinsic distance, prior training is unnecessary. We evaluate our method on three public action databases including the Cambridge gesture, the UMD Keck body gesture, and the UCF sport datasets. The empirical results reveal that our method is highly competitive with the current state-of-the-art methods, robust to small alignment errors, and yet simpler.

This paper introduces a general theory of extended Hamiltonian (second-order) learning on Riemannian manifolds, as an instance of learning by constrained criterion optimization. The dynamical learning equations are derived within the general framework of extended-Hamiltonian stationary-action principle and are expressed in a coordinate-free fashion. A theoretical analysis is carried out in order to compare the features of the dynamical learning theory with the features exhibited by the gradient-based ones. In particular, gradient-based learning is shown to be an instance of dynamical learning, and the classical gradient-based learning modified by a "momentum" term is shown to resemble discrete-time dynamical learning. Moreover, the convergence features of gradient-based and dynamical learning are compared on a theoretical basis. This paper discusses cases of learning by dynamical systems on manifolds of interest in the scientific literature, namely, the Stiefel manifold, the special orthogonal group, the Grassmann manifold, the group of symmetric positive definite matrices, the generalized flag manifold, and the real symplectic group of matrices.

Weights for symmetric and general linear groups

Suppose a locally compact group G acts on a separable metrizable space M, preserving a finite measure #. Then there is an associated unitary representation of G on LZ(M,/~)o, the square integrable functions orthogonal to the constants. This representation will in general be far from irreducible, and in fact, when G is not compact need not have any irreducible subrepresentations. Thus, in the decomposition of LZ(G)o into irreducible constituents, one not only requires a direct integral rather than a direct sum, but the associated spectral measure on the unitary dual G (say for type I groups) will, except in special circumstances, have no atoms. The point of this paper is to give natural and general conditions, mostly involving just rq(M), under which there will be an infinite atomic spectrum. (I.e., the spectral measure has infinitely many atoms.) The basic example of actions in which the spectrum is purely atomic, i.e., when the representation is a direct sum of irreducible representations, is the case of M = G/F, where F c G is a cocompact discrete subgroup. In this case, assuming 9 G to be simply connected, we have 7tl(M ) = F. The first results of this paper show that when G is a simple Lie group with R-rank(G)=> 2, we can deduce that any action of G on a compact manifold M with fundamental group isomorphic to such a F, and satisfying a natural hypothesis of either a geometric or ergodic theoretic nature, must also have an infinite atomic spectrum. In fact, under certain natural hypotheses the same is true as long as there is a surjection of hi(M) onto F. To formulate this more precisely, let F c Ad(G) be a cocompact lattice, and let Pr be the unitary representation of Ad(G) on L2(Ad(G)/F)o . We recall that an action of a group on a manifold (or more generally on a standard space in the sense of [4]) is called engaging if there is no loss of ergodicity in passing to finite covers. (See I'4] for discussion.)

The fundamental coupling constants of physics in connection with the dimension of the special orthogonal and unitary groups

Introduction. 1. Hilbert's fifth problem and proper actions of Lie groups S. Illman. 2. Equivariant algebraic vector bundles over representations - a survey M. Masuda. 3. G-manifolds and G-vector bundles in algebraic, semialgebraic, and definable categories T. Kawakami. 4. Geometry of Finite Topological and equivariant finite topological spaces S. Kono, F. Ushitaki. 5. On the theory of homotopy representations. A survey I. Nagasaki. 6. Manifolds as fixed point sets of smooth compact Lie group actions K. Pawalowski. 7. Surgery and homotopy theory in study of the transformation groups Y. Kitada. 8. Kervaire's obstructions of free actions of finite cyclic groups on homotopy spheres Y. Kitada. 9. The Burnside ring revisited M. Morimoto. 10. Multiplicative stabilization and transformation groups S. Kwasik, R. Schultz. 11. Symmetries on manifolds, deformations and rational homotopy: a survey M. Raussen. 12. Rigidity of codimension one locally free actions of solvable Lie groups N. Tsuchiya, A. Yamakawa. 13. Smooth actions of non-compact semi-simple Lie groups F. Uchida, K. Mukoyama. 14. Hamiltonian group actions and equivariant indices T. Takakura. 15. Controlled methods in equivariant topology, a survey E. Pedersen. Index.

Representations of Lie groups are abstractions of continuous symmetries of linear spaces.By considering their differentials (linear approximations), we obtain representations of Lie algebras.These are regarded as generalizations of the Fourier analysis and important tools not only in mathematics but also in physics.In this article, I present fundamental and important examples on representations of Lie groups and Lie algebras and present some of my latest results.

Motivated by applications in computational anatomy, we consider a second-order problem in the calculus of variations on object manifolds that are acted upon by Lie groups of smooth invertible transformations. This problem leads to solution curves known as Riemannian cubics on object manifolds that are endowed with normal metrics. The prime examples of such object manifolds are the symmetric spaces. We characterize the class of cubics on object manifolds that can be lifted horizontally to cubics on the group of transformations. Conversely, we show that certain types of non-horizontal geodesics on the group of transformations project to cubics. Finally, we apply second-order Lagrange--Poincar\'e reduction to the problem of Riemannian cubics on the group of transformations. This leads to a reduced form of the equations that reveals the obstruction for the projection of a cubic on a transformation group to again be a cubic on its object manifold.

In this paper, we propose a scheme to generate interpolating curves in Lie groups, focusing on a special orthogonal group SO(n) due to its practical importance. Our technique is based on the exponential representation of the elements of the group, which allows as to transfer the problem to the corresponding Lie algebra (n) and benefit from the linearity of this space. Due to the exponential representation, we can obtain a high degree of smoothness of an interpolating curve. The underlying problem is challenging because the standard SO(n) → (n) map is multivalued.

A vector-fiber bundle structure of the reaction path Hamiltonian, which has been introduced by Miller, Handy and Adams, is explored with respect to molecular vibrations orthogonal to the reaction path. The symmetry of the fiber bundle is characterized by the real orthogonal group O(3N- 7) for the dynamical system with N atoms. Under the action of group O(3N- 7). the kinetic energy of the reaction path Hamiltonian is left invariant. Furthermore , the invariant behaviour of the Hamiltonian vector fields is investigated.