GEOMETRY OF UNIVERSAL GRASSMANN MANIFOLD FROM ALGEBRAIC POINT OF VIEW

1989 ◽  
Vol 01 (01) ◽  
pp. 1-46 ◽  
Author(s):  
KANEHISA TAKASAKI

An algebraic formulation of the geometry of the universal Grassmann manifold is presented along the line sketched by Sato and Sato [32]. General issues underlying the notion of infinite-dimensional manifolds are also discussed. A particular choice of affine coordinates on Grassmann manifolds, for both the finite- and infinite-dimensional case, turns out to be very useful for the understanding of geometric structures therein. The so-called “Kac-Peterson cocycle”, which is physically a kind of “commutator anomaly”, then arises as a cocycle of a Lie algebra of infinitesimal transformations on the universal Grassmann manifold. The action of group elements for that Lie algebra is also discussed. These ideas are extended to a multi-component theory. A simple application to a non-linear realization of current and Virasoro algebras is presented for illustration.

2011 ◽  
Vol 2011 ◽  
pp. 1-35 ◽  
Author(s):  
V. Tryhuk ◽  
V. Chrastinová ◽  
O. Dlouhý

A Lie group acting on finite-dimensional space is generated by its infinitesimal transformations and conversely, any Lie algebra of vector fields in finite dimension generates a Lie group (the first fundamental theorem). This classical result is adjusted for the infinite-dimensional case. We prove that the (local,C∞smooth) action of a Lie group on infinite-dimensional space (a manifold modelled onℝ∞) may be regarded as a limit of finite-dimensional approximations and the corresponding Lie algebra of vector fields may be characterized by certain finiteness requirements. The result is applied to the theory of generalized (or higher-order) infinitesimal symmetries of differential equations.


2018 ◽  
Vol 2020 (11) ◽  
pp. 3494-3520 ◽  
Author(s):  
Joseph Bernstein ◽  
Nigel Higson ◽  
Eyal Subag

Abstract We examine from an algebraic point of view some families of unitary group representations that arise in mathematical physics and are associated to contraction families of Lie groups. The contraction families of groups relate different real forms of a reductive group and are continuously parametrized, but the unitary representations are defined over a parameter subspace that includes both discrete and continuous parts. Both finite- and infinite-dimensional representations can occur, even within the same family. We shall study the simplest nontrivial examples and use the concepts of algebraic families of Harish-Chandra pairs and Harish-Chandra modules, introduced in a previous paper, together with the Jantzen filtration, to construct these families of unitary representations algebraically.


2006 ◽  
Vol 03 (05n06) ◽  
pp. 975-993
Author(s):  
N. BOKAN ◽  
Z. RAKIĆ

A complete decomposition of the space [Formula: see text] of the curvature tensors over tensor product of vector spaces into simple modules under the action of the group G = GL(p, ℝ) ⊗ GL(q, ℝ) is given. We use these results to study geometry of manifolds with Grassmann structure and Grassmann manifolds endowed with a connection whose torsion is not zero. We show that Oscr M a manifold is an example of a manifold with Grassmann structure. Owing to this fact, we consider results of Miron, Atanasiu, Anastasiei, Čomić and others from representation theory point of view and connect them with some results of Alekseevsky, Cortes, and Devchand, as well as of Machida and Sato, and others. New examples of connections with torsion defined on four-dimensional Grassmann manifold are given. Symmetries of curvatures for half-flat connections are also investigated. We use algebraic results to reveal obstructions to the existence of corresponding connections.


Author(s):  
Ommolbanin Behzad ◽  
André Contiero ◽  
Letterio Gatto ◽  
Renato Vidal Martins

AbstractAn explicit description of the ring of the rational polynomials in r indeterminates as a representation of the Lie algebra of the endomorphisms of the k-th exterior power of a countably infinite-dimensional vector space is given. Our description is based on results by Laksov and Throup concerning the symmetric structure of the exterior power of a polynomial ring. Our results are based on approximate versions of the vertex operators occurring in the celebrated bosonic vertex representation, due to Date, Jimbo, Kashiwara and Miwa, of the Lie algebra of all matrices of infinite size, whose entries are all zero but finitely many.


Author(s):  
C. J. Atkin

In a long sequence of notes in the Comptes Rendus and elsewhere, and in the papers [1], [2], [3], [6], [7], Lichnerowicz and his collaborators have studied the ‘classical infinite-dimensional Lie algebras’, their derivations, automorphisms, co-homology, and other properties. The most familiar of these algebras is the Lie algebra of C∞ vector fields on a C∞ manifold. Another is the Lie algebra of ‘Poisson brackets’, that is, of C∞ functions on a C∞ symplectic manifold, with the Poisson bracket as composition; some questions concerning this algebra are of considerable interest in the theory of quantization – see, for instance, [2] and [3].


2006 ◽  
Vol 17 (04) ◽  
pp. 797-813 ◽  
Author(s):  
ROBI MALIK ◽  
DAVID STREADER ◽  
STEVE REEVES

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called the conflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems.


2019 ◽  
Vol 27 (3) ◽  
pp. 317-340 ◽  
Author(s):  
Max Kontak ◽  
Volker Michel

Abstract In this work, we present the so-called Regularized Weak Functional Matching Pursuit (RWFMP) algorithm, which is a weak greedy algorithm for linear ill-posed inverse problems. In comparison to the Regularized Functional Matching Pursuit (RFMP), on which it is based, the RWFMP possesses an improved theoretical analysis including the guaranteed existence of the iterates, the convergence of the algorithm for inverse problems in infinite-dimensional Hilbert spaces, and a convergence rate, which is also valid for the particular case of the RFMP. Another improvement is the cancellation of the previously required and difficult to verify semi-frame condition. Furthermore, we provide an a-priori parameter choice rule for the RWFMP, which yields a convergent regularization. Finally, we will give a numerical example, which shows that the “weak” approach is also beneficial from the computational point of view. By applying an improved search strategy in the algorithm, which is motivated by the weak approach, we can save up to 90  of computation time in comparison to the RFMP, whereas the accuracy of the solution does not change as much.


Author(s):  
Virdiansyah Permana ◽  
Rahmat Shoureshi

This study presents a new approach to determine the controllability and observability of a large scale nonlinear dynamic thermal system using graph-theory. The novelty of this method is in adapting graph theory for nonlinear class and establishing a graphic condition that describes the necessary and sufficient terms for a nonlinear class system to be controllable and observable, which equivalents to the analytical method of Lie algebra rank condition. The directed graph (digraph) is utilized to model the system, and the rule of its adaptation in nonlinear class is defined. Subsequently, necessary and sufficient terms to achieve controllability and observability condition are investigated through the structural property of a digraph called connectability. It will be shown that the connectability condition between input and states, as well as output and states of a nonlinear system are equivalent to Lie-algebra rank condition (LARC). This approach has been proven to be easier from a computational point of view and is thus found to be useful when dealing with a large system.


Sign in / Sign up

Export Citation Format

Share Document