scholarly journals FROM LIE ALGEBRAS TO LIE GROUPS WITHIN SYNTHETIC DIFFERENTIAL GEOMETRY: WEIL SPROUTS OF LIE'S THIRD FUNDAMENTAL THEOREM

2014 ◽  
Vol 2 (2) ◽  
Author(s):  
HIROKAZU NISHIMURA
1995 ◽  
Vol 2 (4) ◽  
pp. 425-444
Author(s):  
Jean Marion ◽  
Thierry Robart

Abstract We consider a wide class of unital involutive topological algebras provided with a C*-norm and which are inverse limits of sequences of unital involutive Banach algebras; these algebras are taking a prominent position in noncommutative differential geometry, where they are often called unital smooth algebras. In this paper we prove that the group of invertible elements of such a unital solution smooth algebra and the subgroup of its unitary elements are regular analytic Fréchet–Lie groups of Campbell–Baker–Hausdorff type and fulfill a nice infinite-dimensional version of Lie's second fundamental theorem.


1966 ◽  
Vol 72 (3) ◽  
pp. 522-526 ◽  
Author(s):  
K. R. Parthasarathy ◽  
R. Ranga Rao ◽  
V. S. Varadarajan

2018 ◽  
Vol 83 (04) ◽  
pp. 1667-1679
Author(s):  
MATÍAS MENNI

AbstractLet ${\cal E}$ be a topos, ${\rm{Dec}}\left( {\cal E} \right) \to {\cal E}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg \,\,\neg }} \to {\cal E}$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity ${\cal E} \to {\cal S}$ for the two subcategories of ${\cal E}$ above, making them Adjointly Opposite. Typical examples of such ${\cal E}$ include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.


2018 ◽  
Vol 18 (3) ◽  
pp. 337-344 ◽  
Author(s):  
Ju Tan ◽  
Shaoqiang Deng

AbstractIn this paper, we consider a special class of solvable Lie groups such that for any x, y in their Lie algebras, [x, y] is a linear combination of x and y. We investigate the harmonicity properties of invariant vector fields of this kind of Lorentzian Lie groups. It is shown that any invariant unit time-like vector field is spatially harmonic. Moreover, we determine all vector fields which are critical points of the energy functional restricted to the space of smooth vector fields.


Sign in / Sign up

Export Citation Format

Share Document