Searcharxiv⌕ Search

arXiv subjects

Peter W. Michor

Publications and source records attributed to Peter W. Michor.

At least 109 records · Page 6Linked to original sources
arXiv1995

Connections on central bimodules

We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a noncommutative generalization of linear connections. We also discuss the different noncommutative versions of differential forms based on derivations. Then we investigate reality conditions and a noncommutative generalization of pseudo-riemannian structures.

q-alg↗
arXiv1994

The Frölicher-Nijenhuis bracket for derivation based non commutative differential forms

In commutative differential geometry the Frölicher-Nijenhuis bracket computes all kinds of curvatures and obstructions to integrability. In \cit!{3} the Frölicher-Nijenhuis bracket was developped for universal differential forms of non-commutative algebras, and several applications were given. In this paper this bracket and the Frölicher-Nijenhuis calculus will be developped for several kinds of differential graded algebras based on derivations, which were indroduced by \cit!{6}.

dg-ga↗
arXiv1994

Basic differential forms for actions of Lie groups

A section of a Riemannian $G$-manifold $M$ is a closed submanifold $Σ$ which meets each orbit orthogonally. It is shown that the algebra of $G$-invariant differential forms on $M$ which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on $Σ$ which are invariant with respect to the generalized Weyl group of this orbit, under some condition.

dg-ga↗
arXiv1993

Poisson structures on the cotangent bundle of a Lie group or a principal bundle and their reductions

On a cotangent bundle $T\sp*G$ of a Lie group $G$ one can describe the standard Liouville form $θ$ and the symplectic form $d θ$ in terms of the right Maurer Cartan form and the left moment mapping (of the right action of $G$ on itself), and also in terms of the left Maurer-Cartan form and the right moment mapping, and also the Poisson structure can be written in related quantities. This leads to a wide class of exact symplectic stuctures on $T\sp*G$ and to Poisson structures by replacing the canonical momenta of the right or left actions of $G$ on itself by arbitrary ones, followed by reduction (to $G$ cross a Weyl-chamber, e.g.). This method also works on principal bundles.

math.SG↗
arXiv1993

Differential geometry of $\frak g$-manifolds

An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $ζ:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad topology. Nevertheless for a $\frak g$-manifold with equidimensional orbits we treat such notions as connection, curvature, covariant differentiation, Bianchi identity, parallel transport, basic differential forms, basic cohomology, and characteristic classes, which generalize the corresponding notions for principal $G$-bundles. As one of the applications, we derive a sufficient condition for the projection $M\to M/\frak g$ to be a bundle associated to a principal bundle.

math.DG↗
arXiv1992

A quantum-group-like structure on noncommutative 2-tori

In this paper we show that in the case of noncommutative two-tori one gets in a natural way simple structures which have analogous formal properties as Hopf algebra structures but with a deformed multiplication on the tensor product.

math.QA↗
arXiv1992

Radon transform and curvature

We interpret the setting for a Radon transform as a submanifold of the space of generalized functions, and compute its extrinsic curvature: it is the Hessian composed with the Radon transform.

math.DG↗
arXiv1992

Characteristic classes for $G$-structures

Let $G\subset GL(V)$ be a linear Lie group with Lie algebra $\frak g$ and let $A(\frak g)^G$ be the subalgebra of $G$-invariant elements of the associative supercommutative algebra $A(\frak g)= S(\frak g^*)\otimes \La(V^*)$. To any $G$-structure $π:P\to M$ with a connection $ω$ we associate a homomorphism $μ_ω:A(\frak g)^G\to Ω(M)$. The differential forms $μ_ω(f)$ for $f\in A(\frak g)^G$ which are associated to the $G$-structure $π$ can be used to construct Lagrangians. If $ω$ has no torsion the differential forms $μ_ω(f)$ are closed and define characteristic classes of a $G$-structure. The induced homomorphism $μ'_ω:A(\g)^G\to H^*(M)$ does not depend on the choice of the torsionfree connection $ω$ and it is the natural generalization of the Chern Weil homomorphism.

math.DG↗
arXiv1992

Towards the Chern-Weil homomormism in non-commutative differential geometry

In this short review article we sketch some developments which should ultimately lead to the analogy of the Chern-Weil homomorphism for principal bundles in the realm of non-commutative differential geometry. Principal bundles there should have Hopf algebras as structure `cogroups'. Since the usual machinery of Lie algebras, connection forms, etc\., just is not available in this setting, we base our approach on the Frölicher--Nijenhuis bracket.

math.QA↗
arXiv1992

The Frölicher-Nijenhuis bracket in non-commutative differential geometry

We carry over to a quite general noncommutative setting some of the basic tools of differential geometry, using from the very beginning the setting of convenient vector spaces developed by Froelicher and Kriegl, which allows to carry all of multilinear algebra into this kind of functional analysis with suitably completed tensor products. In the first section we give a short description of the setting of convenient spaces elaborating those aspects which are needed later. Then we repeat the usual construction of noncommutative differential forms for convenient algebras. Next they show that the bimodule $Ω\sb n (A)$ of universal non-commutative $n$-forms represents the functor of the normalized Hochschild $n$-cocycles. In the third section we introduce the noncommutative version of the Froelicher-Nijenhuis bracket by investigating all bounded graded derivations of the algebra of differential forms. This bracket is then used to formulate the concept of integrability and involutiveness for distributions and to indicate a route towards a theorem of Frobenius. This is then used to discuss bundles and connections in the noncommutative setting and to go some steps towards a noncommutative Chern-Weil homomorphism. In the final section we give a brief description of the noncommutative version of the Schouten-Nijenhuis bracket and describe Poisson structures.

math.QA↗
arXiv1992

More smoothly real compact spaces

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on algebras of smooth functions. In \cite{AdR} it was shown that any separable Banach space is smoothly real compact. Here we generalize this result to a huge class of locally convex spaces including arbitrary products of separable Fréchet spaces.

math.FA↗
arXiv1992

Knit products of graded Lie algebras and groups

If a graded Lie algebra is the direct sum of two graded sub Lie algebras, its bracket can be written in a form that mimics a "double sided semidirect product". It is called the {\it knit product} of the two subalgebras then. The integrated version of this is called a {\it knit product} of groups --- it coincides with the {\it Zappa-Szép product}. The behavior of homomorphisms with respect to knit products is investigated.

math.GR↗
arXiv1992

Commutators of flows and fields

The well known formula $[X,Y]=\tfrac12\tfrac{\partial^2}{\partial t^2}|_0 (\Fl^Y_{-t}ø\Fl^X_{-t}ø\Fl^Y_tø\Fl^X_t)$ for vector fields $X$, $Y$ is generalized to arbitrary bracket expressions and arbitrary curves of local diffeomorphisms.

math.DG↗
arXiv1992

All unitary representations admit moment mappings

This is a review of [Michor, Peter W.: The moment mapping for a unitary representation, Ann. Global Anal. Geometry, 8, No 3(1990), 299--313] including a careful description of calculus in infinite dimensions. 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.

math.RT↗