On the Construction of Geometric Integrators in the RKMK Class

We consider the construction of geometric integrators in the class of RKMK methods. Any differential equation in the form of an infinitesimal generator on a homogeneous space is shown to be locally equivalent to a differential equation on the Lie algebra corresponding to the Lie group acting on the homogeneous space. This way we obtain a distinction between the coordinate-free phrasing of the differential equation and the local coordinates used. In this paper we study methods based on arbitrary local coordinates on the Lie group manifold. By choosing the coordinates to be canonical coordinates of the first kind we obtain the original method of Munthe-Kaas [16]. Methods similar to the RKMK method are developed based on the different coordinatizations of the Lie group manifold, given by the Cayley transform, diagonal Padé approximants of the exponential map, canonical coordinates of the second kind, etc. Some numerical experiments are also given.     

Jones-Witten Invariants for Nonsimply Connected Lie Groups and the Geometry of the Weyl Alcove

The quotient process of Müger and Bruguières is used to construct modular categories and TQFTs out of closed subsets of the Weyl alcove of a simple Lie algebra. In particular it is determined at which levels closed subsets associated to nonsimply connected groups lead to TQFTs. Many of these TQFTs are shown to decompose into a tensor product of TQFTs coming from smaller subsets. The “prime” subsets among these are classified, and apart from some giving TQFTs depending on homology as described by Murakami, Ohtsuki and Okada, they are shown to be in one-to-one correspondence with the TQFTs predicted by Dijkgraaf and Witten to be associated to Chern-Simons theory with a nonsimply connected Lie group. Thus in particular a rigorous construction of the Dijkgraaf-Witten TQFTs is given. As a byproduct, a purely quantum groups proof of the modularity of the full Weyl alcove for arbitrary quantum groups at arbitrary levels is given.     

Generalized tangent representations for groups and symmetric spaces of matrices

Any two representations of dimensions n resp. r of a given group G allow the construction of a third representation φ in the space of rectangular n × r matrices K^n,r over the same ground field K. The φ-semidirect product of K^n,r and G then has (n + r) dimensional representation. The inhomogenizations of G and in case of matrix Lie groups G the tangent groups are special cases of this construction. The contragredient as well as the Lie algebraical versions of these results are included. In the final section the construction is generalized to symmetric spaces and their local algebraical structures, the Lie triples, by defining semidirect products resp. semidirect sums with respect to a representation     

A Canonical Connection for Lie Group Actions

The aim of this paper is to generalize the construction of an Ambrose-Singer connection for Riemannian homogeneous manifolds to the case of cohomogeneity one Riemannian manifolds. Necessary and sufficient conditions are given on a Riemannian manifold (M,g) in order that there exists a Lie group of isometries acting on M with principal orbits of codimension one.     

A Lie grading which is not a semigroup grading

This note is devoted to the construction of a graded Lie algebra, whose grading is not given by a semigroup; thus providing a counterexample to an assertion by Patera and Zassenhaus.     

The moment mapping for unitary representations

For any unitary representation of an arbitrary Lie group I construct a moment mapping from the space of smooth vectors of the representation into the dual of the Lie algebra. This moment mapping is equivariant and smooth. For the space of analytic vectors the same construction is possible and leads to a real analytic moment mapping.     

Differential Relations and Recurrence Formulas for Representations of Lie Groups

General recurrence formulas for matrix elements of representations of Lie groups on enveloping algebras are given. In particular, we show the connection with the exponential of the adjoint representation which is an important feature of the construction. The methods are applicable for groups of arbitrary dimension and have been implemented using MAPLE. A three-step nilpotent group and SU(3) provide examples of the theory.     

时滞Lagrange系统的Lie对称性与守恒量研究

研究了位形间中含单时滞参数的非保守力学系统的Lie对称性和守恒量。首先,利用含时滞的动力学Hamilton原理,建立了含时滞的非保守系统的分段Lagrange运动方程;其次,利用微分方程容许Lie群理论,得到系统的Lie对称确定方程;然后,根据对称性与守恒量之间的关系,通过构造结构方程,得到含时滞的非保守系统的Lie定理;最后,给出了两个具体的算例说明了方法的应用。结果表明:时滞参数的存在使非保守系统的Lagrange方程呈现分段特性,相应的Lie对称性确定方程的个数应是自由度数目的2倍,这对生成元函数提出了更高的限制,同时,守恒量呈现依赖速度项的分段表达。     

Algebras and differential equations with additive symmetry

The set of all m-ary algebra structures on a given vector space affords, by the change of basis action, a representation of the general linear group. The invariants of a given subgroup are identified with those algebras admitting that subgroup as algebra automorphisms. Any finite dimensional representation of the additive group as automorphisms is obtained as the exponential of a nilpotent derivation. The latter can be embedded in the Lie algebra sl(2) so that the maximal vectors in an irreducible decomposition of the set of algebras as an sl(2) module are the invariants of the given action of the additive group. Dimension formulas and explicit bases are computed for the space of algebras with certain additive group actions. Employing the equivalence of the categories of m-ary algebras and systems of autonomous mth order homogeneous differential equations, the algebraic results are connected to the construction of first integrals and semi-invariants.     

Powerfully nilpotent groups of maximal powerful class

In this paper we continue the study of powerfully nilpotent groups started in Traustason and Williams (J Algebra 522:80–100, 2019). These are powerful p-groups possessing a central series of a special kind. To each such group one can attach a powerful class that leads naturally to the notion of a powerful coclass and classification in terms of an ancestry tree. The focus here is on powerfully nilpotent groups of maximal powerful class but these can be seen as the analogs of groups of maximal class in the class of all finite p-groups. We show that for any given positive integer r and prime $$p>r$$, there exists a powerfully nilpotent group of maximal powerful class and we analyse the structure of these groups. The construction uses the Lazard correspondence and thus we construct first a powerfully nilpotent Lie ring of maximal powerful class and then lift this to a corresponding group of maximal powerful class. We also develop the theory of powerfully nilpotent Lie rings that is analogous to the theory of powerfully nilpotent groups.     

The normal sub-Riemannian geodesic flow on E(2) generated by a left-invariant metric and a right-invariant distribution

We consider a sub-Riemannian problem on the three-dimensional solvable Lie group E(2) endowed with a left-invariant metric and a right-invariant distribution. The problem is based on construction of a Hamilton structure for the given metric by the Pontryagin maximum principle.     

Decompositions of analytic 1-manifolds

In an author’s previous work, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or an interval. In this paper, we show that each free analytic 1-submanifold is discretely generated by the symmetry group, i.e., naturally decomposes into countably many symmetry free segments that are mutually and uniquely related by the Lie group action. This is shown under the same assumptions that were used in the author’s previous work to prove analogous decomposition results for analytic immersive curves. Together with the results obtained there, this completely classifies 1-dimensional analytic objects (analytic curves and analytic 1-submanifolds) w.r.t. their symmetry under a given regular and separately analytic Lie group action.     

On the volume of orbifold quotients of symmetric spaces

Key to H. C. Wang's quantitative study of Zassenhaus neighbourhoods of non-compact semisimple Lie groups are two constants that depend on the root system of the corresponding Lie algebra. This article extends the list of values for Wang's constants to the exceptional Lie groups and also removes their dependence on dimension. The first application is an improved upper sectional curvature bound for a canonical left-invariant metric on a semisimple Lie group. The second application is an explicit uniform positive lower bound for arbitrary orbifold quotients of a given irreducible symmetric space of non-compact type.     

Computation of local symmetries of second-order ordinary differential equations by the Cartan equivalence method

The Cartan equivalence method is used to find out if a given equation has a nontrivial Lie group of point symmetries. In particular, we compute invariants that permit one to recognize equations with a three-dimensional symmetry group. An effective method to transform the Lie system (the system of partial differential equations to be satisfied by the infinitesimal point symmetries) into a formally integrable form is given. For equations with a three-dimensional symmetry group, the formally integrable form of the Lie system is found explicitly. Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 75–91, July, 1996.     

Descent constructions for central extensions of infinite dimensional Lie algebras

We use Galois descent to construct central extensions of twisted forms of split simple Lie algebras over rings. These types of algebras arise naturally in the construction of Extended Affine Lie Algebras. The construction also gives information about the structure of the group of automorphisms of such algebras. A. Pianzola is supported by the NSERC Discovery Grant Program. The author also wishes to thank the Instituto Argentino de Matemática for their hospitality. D. Prelat is supported by a Research Grant from Universidad CAECE.