Continuous symmetry reduction and return maps for high-dimensional flows

We present two continuous symmetry reduction methods for reducing high-dimensional dissipative flows to local return maps. In the Hilbert polynomial basis approach, the equivariant dynamics is rewritten in terms of invariant coordinates. In the method of moving frames (or method of slices) the state space is sliced locally in such a way that each group orbit of symmetry-equivalent points is represented by a single point. In either approach, numerical computations can be performed in the original state space representation, and the solutions are then projected onto the symmetry-reduced state space. The two methods are illustrated by reduction of the complex Lorenz system, a five-dimensional dissipative flow with rotational symmetry. While the Hilbert polynomial basis approach appears unfeasible for high-dimensional flows, symmetry reduction by the method of moving frames offers hope.     

Classification of Invariant Star Products up to Equivariant Morita Equivalence on Symplectic Manifolds

In this paper we investigate equivariant Morita theory for algebras with momentum maps and compute the equivariant Picard groupoid in terms of the Picard groupoid explicitly. We consider three types of Morita theory: ring-theoretic equivalence, *-equivalence, and strong equivalence. Then we apply these general considerations to star product algebras over symplectic manifolds with a Lie algebra symmetry. We obtain the full classification up to equivariant Morita equivalence.     

微扰Kepler系统轨道微分方程的近似Lie对称性与近似不变量

把极角θ视为独立变量,得到Kepler系统的轨道微分方程.首先讨论Kepler系统轨道微分方程的Lie对称性和不变量,微扰Kepler系统轨道微分方程的精确Lie对称性和精确不变量,其次讨论微扰Kepler系统轨道微分方程的近似Lie对称性和近似不变量,并得到了微扰Kepler系统的9个一阶近似Lie对称性和6个一阶近似不变量,其中1个实为精确不变量,而其余5个分别等于微扰系数ε乘以Kepler系统相应的5个不变量。     

An Alternative Algorithm for the Symmetry Classification of Ordinary Differential Equations

This is the first paper on symmetry classification for ordinary differential equations (ODEs) based on Wu’s method. We carry out symmetry classification of two ODEs, named the generalizations of the Kummer-Schwarz equations which involving arbitrary function. First, Lie algorithm is used to give the determining equations of symmetry for the given equations, which involving arbitrary functions. Next, differential form Wu’s method is used to decompose determining equations into a union of a series of zero sets of differential characteristic sets, which are easy to be solved relatively. Each branch of the decomposition yields a class of symmetries and associated parameters. The algorithm makes the classification become direct and systematic. Yuri Dimitrov Bozhkov, and Pammela Ramos da Conceição have used the Lie algorithm to give the symmetry classifications of the equations talked in this paper in 2020. From this paper, we can find that the differential form Wu’s method for symmetry classification of ODEs with arbitrary function (parameter) is effective, and is an alternative method.     

Lie symmetry and conserved quantity of a system of first-order differential equations

This paper focuses on studying the Lie symmetry and a conserved quantity of a system of first-order differential equations. The determining equations of the Lie symmetry for a system of first-order differential equations, from which a kind of conserved quantity is deduced, are presented. And their general conclusion is applied to a Hamilton system, a Birkhoff system and a generalized Hamilton system. Two examples are given to illustrate the application of the results.     

Geometry of Vlasov kinetic moments: A bosonic Fock space for the symmetric Schouten bracket

The dynamics of Vlasov kinetic moments is shown to be Lie-Poisson on the dual Lie algebra of symmetric contravariant tensor fields. The corresponding Lie bracket is identified with the symmetric Schouten bracket and the moment Lie algebra is related with a bundle of bosonic Fock spaces, where creation and annihilation operators are used to construct the cold plasma closure. Kinetic moments are also shown to define a momentum map, which is infinitesimally equivariant. This momentum map is the dual of a Lie algebra homomorphism, defined through the Schouten bracket. Finally the moment Lie-Poisson bracket is extended to anisotropic interactions.     

Quantization of the Lie Bialgebra of String Topology

Let M be a smooth, simply-connected, closed oriented manifold, and LM the free loop space of M. Using a Poincaré duality model for M, we show that the reduced equivariant homology of LM has the structure of a Lie bialgebra, and we construct a Hopf algebra which quantizes the Lie bialgebra.     

Equivariant Comparison of Quantum Homogeneous Spaces

We consider the quantum homogeneous spaces of the q-deformation of simply connected simple compact Lie groups and their Poisson–Lie quantum subgroups. We prove the deformation invariance in the equivariant KK-theory with respect to the translation action by maximal tori. This extends a result of Neshveyev and Tuset to the equivariant setting. As applications, we prove the ring isomorphism of the K-homology of G _q with respect to the coproduct of C(G _q ), and an analogue of the Borsuk–Ulam theorem for quantum spheres.     

Invariance Properties of the Entropy Production,and the Entropic Pairing of Inertial Frames of Reference by Shear-Flow Systems

This study examines the invariance properties of the thermodynamic entropy production in its global (integral), local (differential), bilinear, and macroscopic formulations, including dimensional scaling, invariance to fixed displacements, rotations or reflections of the coordinates, time antisymmetry, Galilean invariance, and Lie point symmetry. The Lie invariance is shown to be the most general, encompassing the other invariances. In a shear-flow system involving fluid flow relative to a solid boundary at steady state, the Galilean invariance property is then shown to preference a unique pair of inertial frames of reference—here termed an entropic pair—respectively moving with the solid or the mean fluid flow. This challenges the Newtonian viewpoint that all inertial frames of reference are equivalent. Furthermore, the existence of a shear flow subsystem with an entropic pair different to that of the surrounding system, or a subsystem with one or more changing entropic pair(s), requires a source of negentropy—a power source scaled by an absolute temperature—to drive the subsystem. Through the analysis of different shear flow subsystems, we present a series of governing principles to describe their entropic pairing properties and sources of negentropy. These are unaffected by Galilean transformations, and so can be understood to “lie above” the Galilean inertial framework of Newtonian mechanics. The analyses provide a new perspective into the field of entropic mechanics, the study of the relative motions of objects with friction.     

Chiral Equivariant Cohomology of a Point: A First Look

The chiral equivariant cohomology contains and generalizes the classical equivariant cohomology of a manifold M with an action of a compact Lie group G. For any simple G, there exist compact manifolds with the same classical equivariant cohomology, which can be distinguished by this invariant. When M is a point, this cohomology is an interesting conformal vertex algebra whose structure is still mysterious. In this paper, we scratch the surface of this object in the case G = SU(2).     

Superposition rules, lie theorem, and partial differential equations

A rigorous geometric proof of the Lie theorem on nonlinear superposition rules for solutions of nonautonomous ordinary differential equations is given filling in all the gaps present in the existing literature. The proof is based on an alternative but equivalent definition of a superposition rule: it is considered as a foliation with some suitable properties. The problem of uniqueness of the superposition function is solved, the key point being the codimension of the foliation constructed from the given Lie algebra of vector fields. Finally, as a more convincing argument supporting the use of this alternative definition of superposition rule, it is shown that this definition allows an immediate generalization of the Lie theorem for the case of systems of partial differential equations.     

Melting phenomenon in magneto hydro-dynamics steady flow and heat transfer over a moving surfacein the presence of thermal radiation

The Lie group method is applied to present an analysis of the magneto hydro-dynamics(MHD) steady laminar flow and the heat transfer from a warm laminar liquid flow to a melting moving surface in the presence of thermal radiation.By using the Lie group method,we have presented the transformation groups for the problem apart from the scaling group.The application of this method reduces the partial differential equations(PDEs) with their boundary conditions governing the flow and heat transfer to a system of nonlinear ordinary differential equations(ODEs) with appropriate boundary conditions.The resulting nonlinear system of ODEs is solved numerically using the implicit finite difference method(FDM).The local skin-friction coefficients and the local Nusselt numbers for different physical parameters are presented in a table.     

On the general structure of gauged Wess-Zumino-Witten terms

The problem of gauging a closed form is considered. When the target manifold is a simple Lie group G, it is seen that there is no obstruction to the gauging of a subgroup H ∋ G if we may construct from the form a cocycle for the relative Lie algebra cohomology (or for the equivariant cohomology), and an explicit general expression for these cocycles is given. The common geometrical structure of the gauged closed forms and the D'Hoker and Weinberg effective actions of WZW type, as well as the obstructions for their existence, is also exhibited and explained.     

A differential structure for quantum mechanics

A method of obtaining a non-commutative analogue of a differential structure from the action of a Lie group on a C^*-algebra is proposed. The addition of this structure to the usual structure of quantum mechanics turns out to be equivalent to the replacement of the Hilbert space by a Gelfand triple (rigged Hilbert space).     

Hojman's theorem of the third-order ordinary differential equation

This paper extends Hojman's conservation law to the third-order differential equation. A new conserved quantity is constructed based on the Lie group of transformation generators of the equations of motion. The generators contain variations of the time and generalized coordinates. Two independent non-trivial conserved quantities of the third-order ordinary differential equation are obtained. A simple example is presented to illustrate the applications of the results.     

Ramond-Ramond Fields, Fractional Branes and Orbifold Differential K-Theory

We study D-branes and Ramond-Ramond fields on global orbifolds of Type II string theory with vanishing H-flux using methods of equivariant K-theory and K-homology. We illustrate how Bredon equivariant cohomology naturally realizes stringy orbifold cohomology. We emphasize its role as the correct cohomological tool which captures known features of the low-energy effective field theory, and which provides new consistency conditions for fractional D-branes and Ramond-Ramond fields on orbifolds. We use an equivariant Chern character from equivariant K-theory to Bredon cohomology to define new Ramond-Ramond couplings of D-branes which generalize previous examples. We propose a definition for groups of differential characters associated to equivariant K-theory. We derive a Dirac quantization rule for Ramond-Ramond fluxes, and study flat Ramond-Ramond potentials on orbifolds.     

IFFT-equivariant quantizations

The existence and uniqueness of quantizations that are equivariant with respect to conformal and projective Lie algebras of vector fields were recently obtained by Duval, Lecomte and Ovsienko. In order to do so, they computed spectra of some Casimir operators. We give an explicit formula for those spectra in the general framework of I FFT-algebras classified by Kobayashi and Nagano. We also define t ree-like subsets of eigenspaces of those operators in which eigenvalues can be compared to show the existence of IFFT-equivariant quantizations. We apply our results to prove the existence and uniqueness of quantizations that are equivariant with respect to the infinitesimal action of the symplectic (resp. pseudo-orhogonal) group on the symplectic (resp. pseudo-orthogonal) Grassmann manifold.