Source author record

Peter W. Michor

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DG math.FA math.AP math.CA math.RT math.QA math.SG math.SP math-ph math.AG math.GR math.MG math.MP math.NA math.RA

Catalog footprint

Research overview

49works

15topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Manifolds of mappings and shapes

This is an overview article. In his Habilitationsvortrag, Riemann described infinite dimensional manifolds parameterizing functions and shapes of solids. This is taken as an excuse to describe convenient calculus in infinite dimensions which allows for short and transparent proofs of the main facts of the theory of manifolds of smooth mappings. Smooth manifolds of immersions, diffeomorphisms, and shapes, and weak Riemannian metrics on them are treated, culminating in the surprising fact, that geodesic distance can vanish completely for them.

preprint2015arXiv

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$ , admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$ , the category of $\mathcal C$ -mappings is cartesian closed in the sense that $\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $\mathcal C$ -diffeomorphisms is a regular $\mathcal C$ -Lie group if $\mathcal C \supseteq C^ω$ , but not better.

preprint2015arXiv

The exponential law for spaces of test functions and diffeomorphism groups

We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$ (globally $p$ -integrable derivatives), $\mathcal S$ (Schwartz space), $\mathcal D$ (compact sport, $\mathcal B^{[M]}$ (globally Denjoy_Carleman), $W^{[M],p}$ (Sobolev_Denjoy_Carleman), $\mathcal S_{[L]}^{[M]}$ (Gelfand_Shilov), and $\mathcal D^{[M]}$ . Here $E, F, G$ are convenient vector spaces (finite dimensional in the cases of $W^{\infty,p}$ , $\mathcal D$ , $W^{[M],p}$ , and $\mathcal D^{[M]})$ , and $M=(M_k)$ is a weakly log-convex weight sequence of moderate growth. As application we give a new simple proof of the fact that the groups of diffeomorphisms $\operatorname{Diff} \mathcal B$ , $\operatorname{Diff} W^{\infty,p}$ , $\operatorname{Diff} \mathcal S$ , and $\operatorname{Diff}\mathcal D$ are $C^\infty$ Lie groups, and $\operatorname{Diff} \mathcal B^{\{M\}}$ , $\operatorname{Diff}W^{\{M\},p}$ , $\operatorname{Diff} \mathcal S_{\{L\}}^{\{M\}}$ , and $\operatorname{Diff}\mathcal D^{[M]}$ , for non-quasianalytic $M$ , are $C^{\{M\}}$ Lie groups, where $\operatorname{Diff}\mathcal A = \{\operatorname{Id} +f : f \in \mathcal A(\mathbb R^n,\mathbb R^n), \inf_{x \in \mathbb R^n} \det(\mathbb I_n+ df(x))>0\}$ . We also discuss stability under composition.

preprint2014arXiv

An exotic zoo of diffeomorphism groups on $\mathbb R^n$

Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$ , ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$ , ${\operatorname{Diff}}{\mathcal{S}}{}_{[L]}^{[M]}(\mathbb{R}^n)$ , and ${\operatorname{Diff}}\mathcal{D}^{[M]}(\mathbb{R}^n)$ of $C^{[M]}$ -diffeomorphisms on $\mathbb{R}^n$ which differ from the identity by a mapping in $\mathcal{B}^{[M]}$ (global Denjoy--Carleman), $W^{[M],p}$ (Sobolev-Denjoy-Carleman), ${\mathcal{S}}{}_{[L]}^{[M]}$ (Gelfand--Shilov), or $\mathcal{D}^{[M]}$ (Denjoy-Carleman with compact support) are $C^{[M]}$ -regular Lie groups. As an application we use the $R$ -transform to show that the Hunter-Saxton PDE on the real line is well-posed in any of the classes $W^{[M],1}$ , ${\mathcal{S}}{}_{[L]}^{[M]}$ , and $\mathcal{D}^{[M]}$ . Here we find some surprising groups with continuous left translations and $C^{[M]}$ right translations (called half-Lie groups), which, however, also admit $R$ -transforms.

preprint2014arXiv

Constructing reparametrization invariant metrics on spaces of plane curves

Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics of order one on the space $\text{Imm}(S^1,\mathbb R^2)$ of parametrized plane curves and the quotient space $\text{Imm}(S^1,\mathbb R^2)/\text{Diff}(S^1)$ of unparametrized curves. For the space of open parametrized curves we find an explicit formula for the geodesic distance and show that the sectional curvatures vanish on the space of parametrized and are non-negative on the space of unparametrized open curves. For the metric, which is induced by the "R-transform", we provide a numerical algorithm that computes geodesics between unparameterised, closed curves, making use of a constrained formulation that is implemented numerically using the RATTLE algorithm. We illustrate the algorithm with some numerical tests that demonstrate it's efficiency and robustness.

preprint2014arXiv

Geodesic Completeness for Sobolev Metrics on the Space of Immersed Plane Curves

We study properties of Sobolev-type metrics on the space of immersed plane curves. We show that the geodesic equation for Sobolev-type metrics with constant coefficients of order 2 and higher is globally well-posed for smooth initial data as well as initial data in certain Sobolev spaces. Thus the space of closed plane curves equipped with such a metric is geodesically complete. We find lower bounds for the geodesic distance in terms of curvature and its derivatives.

preprint2014arXiv

The homogeneous Sobolev metric of order one on diffeomorphism groups on the real line

In this article we study Sobolev metrics of order one on diffeomorphism groups on the real line. We prove that the space $\operatorname{Diff}_{1}(\mathbb R)$ equipped with the homogenous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat $L^2$ -metric. Here $\operatorname{Diff}_{1}(\mathbb R)$ denotes the extension of the group of all either compactly supported, rapidly decreasing or $H^\infty$ -diffeomorphisms, that allows for a shift towards infinity. In particular this result provides an analytic solution formula for the corresponding geodesic equation, the non-periodic Hunter-Saxton equation. In addition we show that one can obtain a similar result for the two-component Hunter-Saxton equation and discuss the case of the non-homogenous Sobolev one metric which is related to the Camassa-Holm equation.

preprint2013arXiv

$R$ -transforms for Sobolev $H^2$ -metrics on spaces of plane curves

We consider spaces of smooth immersed plane curves (modulo translations and/or rotations), equipped with reparameterization invariant weak Riemannian metrics involving second derivatives. This includes the full $H^2$ -metric without zero order terms. We find isometries (called $R$ -transforms) from some of these spaces into function spaces with simpler weak Riemannian metrics, and we use this to give explicit formulas for geodesics, geodesic distances, and sectional curvatures. We also show how to utilise the isometries to compute geodesics numerically.

preprint2013arXiv

A zoo of diffeomorphism groups on $\mathbb R^n$

We consider the groups $\operatorname{Diff}_{\mathcal B}(\mathbb R^n)$ , $\operatorname{Diff}_{H^\infty}(\mathbb R^n)$ , and $\operatorname{Diff}_{\mathcal S}(\mathbb R^n)$ of smooth diffeomorphisms on $\mathbb R^n$ which differ from the identity by a function which is in either $\mathcal B$ (bounded in all derivatives), $H^\infty = \bigcap_{k\ge 0}H^k$ , or $\mathcal S$ (rapidly decreasing). We show that all these groups are smooth regular Lie groups.

preprint2013arXiv

Almost local metrics on shape space of hypersurfaces in n-space

This paper extends parts of the results from [P.W.Michor and D. Mumford, \emph{Appl. Comput. Harmon. Anal.,} 23 (2007), pp. 74--113] for plane curves to the case of hypersurfaces in $\mathbb R^n$ . Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary like the sphere or the torus. Then shape space is either the manifold of submanifolds of $\mathbb R^n$ of type $M$ , or the orbifold of immersions from $M$ to $\mathbb R^n$ modulo the group of diffeomorphisms of $M$ . We investigate almost local Riemannian metrics on shape space. These are induced by metrics of the following form on the space of immersions: $$ G_f(h,k) = \int_{M} Φ(\on{Vol}(f),\operatorname{Tr}(L))\g(h, k) \operatorname{vol}(f^*\g),$$ where $\g$ is the Euclidean metric on $\mathbb R^n$ , $f^*\g$ is the induced metric on $M$ , $h,k\in C^\infty(M,\mathbb R^n)$ are tangent vectors at $f$ to the space of embeddings or immersions, where $Φ:\mathbb R^2\to \mathbb R_{>0}$ is a suitable smooth function, $\operatorname{Vol}(f) = \int_M\operatorname{vol}(f^*\g)$ is the total hypersurface volume of $f(M)$ , and the trace $\operatorname{Tr}(L)$ of the Weingarten mapping is the mean curvature. For these metrics we compute the geodesic equations both on the space of immersions and on shape space, the conserved momenta arising from the obvious symmetries, and the sectional curvature. For special choices of $Φ$ we give complete formulas for the sectional curvature. Numerical experiments illustrate the behavior of these metrics.

preprint2013arXiv

On Euler's equation and `EPDiff'

We study a family of approximations to Euler's equation depending on two parameters $\varepsilon,η\ge 0$ . When $\varepsilon=η=0$ we have Euler's equation and when both are positive we have instances of the class of integro-differential equations called EPDiff in imaging science. These are all geodesic equations on either the full diffeomorphism group $\operatorname{Diff}_{H^\infty}(\mathbb R^n)$ or, if $\varepsilon = 0$ , its volume preserving subgroup. They are defined by the right invariant metric induced by the norm on vector fields given by $\|v\|_{\varepsilon,η} = \int_{\mathbb R^n} <L_{\varepsilon,η} v, v> dx$ where $L_{\varepsilon,η} = (I-\tfrac{η^2}{p} \triangle)^p \circ (I-\tfrac1{\varepsilon^2} \nabla \circ ÷)$ . All geodesic equations are locally well-posed, and the $L_{\varepsilon,η}$ -equation admits solutions for all time if $η>0$ and $p\ge (n+3)/2$ . We tie together solutions of all these equations by estimates which, however, are only local in time. This approach leads to a new notion of momentum which is transported by the flow and serves as a generalization of vorticity. We also discuss how delta distribution momenta lead to "vortex-solitons", also called "landmarks" in imaging science, and to new numeric approximations to fluids.

preprint2013arXiv

Overview of the Geometries of Shape Spaces and Diffeomorphism Groups

This article provides an overview of various notions of shape spaces, including the space of parametrized and unparametrized curves, the space of immersions, the diffeomorphism group and the space of Riemannian metrics. We discuss the Riemannian metrics that can be defined thereon, and what is known about the properties of these metrics. We put particular emphasis on the induced geodesic distance, the geodesic equation and its well-posedness, geodesic and metric completeness and properties of the curvature.

preprint2013arXiv

Sobolev Metrics on Diffeomorphism Groups and the Derived Geometry of Spaces of Submanifolds

Given a finite dimensional manifold $N$ , the group $\operatorname{Diff}_{\mathcal S}(N)$ of diffeomorphism of $N$ which fall suitably rapidly to the identity, acts on the manifold $B(M,N)$ of submanifolds on $N$ of diffeomorphism type $M$ where $M$ is a compact manifold with $\dim M<\dim N$ . For a right invariant weak Riemannian metric on $\operatorname{Diff}_{\mathcal S}(N)$ induced by a quite general operator $L:\frak X_{\mathcal S}(N)\to Γ(T^*N\otimes\operatorname{vol}(N))$ , we consider the induced weak Riemannian metric on $B(M,N)$ and we compute its geodesics and sectional curvature. For that we derive a covariant formula for curvature in finite and infinite dimensions, we show how it makes O'Neill's formula very transparent, and we use it finally to compute sectional curvature on $B(M,N)$ .

preprint2012arXiv

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

We study Sobolev-type metrics of fractional order $s\geq0$ on the group $\Diff_c(M)$ of compactly supported diffeomorphisms of a manifold $M$ . We show that for the important special case $M=S^1$ the geodesic distance on $\Diff_c(S^1)$ vanishes if and only if $s\leq\frac12$ . For other manifolds we obtain a partial characterization: the geodesic distance on $\Diff_c(M)$ vanishes for $M=\R\times N, s<\frac12$ and for $M=S^1\times N, s\leq\frac12$ , with $N$ being a compact Riemannian manifold. On the other hand the geodesic distance on $\Diff_c(M)$ is positive for $\dim(M)=1, s>\frac12$ and $\dim(M)\geq2, s\geq1$ . For $M=\R^n$ we discuss the geodesic equations for these metrics. For $n=1$ we obtain some well known PDEs of hydrodynamics: Burgers' equation for $s=0$ , the modified Constantin-Lax-Majda equation for $s=\frac 12$ and the Camassa-Holm equation for $s=1$ .

preprint2012arXiv

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group. II

The geodesic distance vanishes on the group of compactly supported diffeomorphisms of a Riemannian manifold $M$ of bounded geometry, for the right invariant weak Riemannian metric which is induced by the Sobolev metric $H^s$ of order $0\le s<\tfrac12$ on the Lie algebra $\mathfrak X_c(M)$ of vector fields with compact support.

preprint2012arXiv

Sobolev Metrics on Shape Space, II: Weighted Sobolev Metrics and Almost Local Metrics

In continuation of [3] we discuss metrics of the form $$ G^P_f(h,k)=\int_M \sum_{i=0}^pΦ_i(\Vol(f)) \g((P_i)_fh,k) \vol(f^*\g) $$ on the space of immersions $\Imm(M,N)$ and on shape space $B_i(M,N)=\Imm(M,N)/\on{Diff}(M)$. Here $(N,\g)$ is a complete Riemannian manifold, $M$ is a compact manifold, $f:M\to N$ is an immersion, $h$ and $k$ are tangent vectors to $f$ in the space of immersions, $f^*\g$ is the induced Riemannian metric on $M$ , $\vol(f^*\g)$ is the induced volume density on $M$ , $\Vol(f)=\int_M\vol(f^*\g)$, $Φ_i$ are positive real-valued functions, and $(P_i)_f$ are operators like some power of the Laplacian $Δ^{f^*\g}$. We derive the geodesic equations for these metrics and show that they are sometimes well-posed with the geodesic exponential mapping a local diffeomorphism. The new aspect here are the weights $\Ph_i(\Vol(f))$ which we use to construct scale invariant metrics and order 0 metrics with positive geodesic distance. We treat several concrete special cases in detail.

preprint2012arXiv

Sobolev metrics on the manifold of all Riemannian metrics

On the manifold $\Met(M)$ of all Riemannian metrics on a compact manifold $M$ one can consider the natural $L^2$ -metric as described first by \cite{Ebin70}. In this paper we consider variants of this metric which in general are of higher order. We derive the geodesic equations, we show that they are well-posed under some conditions and induce a locally diffeomorphic geodesic exponential mapping. We give a condition when Ricci flow is a gradient flow for one of these metrics.

preprint2011arXiv

A generalization of Puiseux's theorem and lifting curves over invariants

Let $ρ: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$ . We show that, for any generic smooth (resp. $C^M$ ) curve $c : \mathbb R \to V // G$ in the categorical quotient $V // G$ (viewed as affine variety in some $\mathbb C^n$ ) and for any $t_0 \in \mathbb R$ , there exists a positive integer $N$ such that $t \mapsto c(t_0 \pm (t-t_0)^N)$ allows a smooth (resp. $mathbb C^M$ ) lift to the representation space near $t_0$ . ( $C^M$ denotes the Denjoy--Carleman class associated with $M=(M_k)$ , which is always assumed to be logarithmically convex and derivation closed). As an application we prove that any generic smooth curve in $V // G$ admits locally absolutely continuous (not better!) lifts. Assume that $G$ is finite. We characterize curves admitting differentiable lifts. We show that any germ of a $C^\infty$ curve which represents a lift of a germ of a quasianalytic $C^M$ curve in $V // G$ is actually $C^M$ . There are applications to polar representations.

preprint2011arXiv

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables.

preprint2011arXiv

Curvature weighted metrics on shape space of hypersurfaces in $n$ -space

Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary. In this work, shape space is the orbifold of unparametrized immersions from $M$ to $\mathbb R^n$ . The results of \cite{Michor118}, where mean curvature weighted metrics were studied, suggest incorporating Gauß curvature weights in the definition of the metric. This leads us to study metrics on shape space that are induced by metrics on the space of immersions of the form $$ G_f(h,k) = \int_{M} Φ. \bar g(h, k) \vol(f^*\bar{g}).$$ Here $f \in \Imm(M,\R^n)$ is an immersion of $M$ into $\R^n$ and $h,k\in C^\infty(M,\mathbb R^n)$ are tangent vectors at $f$ . $\bar g$ is the standard metric on $\mathbb R^n$ , $f^*\bar g$ is the induced metric on $M$ , $\vol(f^*\bar g)$ is the induced volume density and $Φ$ is a suitable smooth function depending on the mean curvature and Gauß curvature. For these metrics we compute the geodesic equations both on the space of immersions and on shape space and the conserved momenta arising from the obvious symmetries. Numerical experiments illustrate the behavior of these metrics.

preprint2011arXiv

Sectional Curvature in terms of the Cometric, with Applications to the Riemannian Manifolds of Landmarks

This paper deals with the computation of sectional curvature for the manifolds of $N$ landmarks (or feature points) in D dimensions, endowed with the Riemannian metric induced by the group action of diffeomorphisms. The inverse of the metric tensor for these manifolds (i.e. the cometric), when written in coordinates, is such that each of its elements depends on at most 2D of the ND coordinates. This makes the matrices of partial derivatives of the cometric very sparse in nature, thus suggesting solving the highly non-trivial problem of developing a formula that expresses sectional curvature in terms of the cometric and its first and second partial derivatives (we call this Mario's formula). We apply such formula to the manifolds of landmarks and in particular we fully explore the case of geodesics on which only two points have non-zero momenta and compute the sectional curvatures of 2-planes spanned by the tangents to such geodesics. The latter example gives insight to the geometry of the full manifolds of landmarks.

preprint2011arXiv

Sobolev metrics on shape space of surfaces

Let $M$ and $N$ be connected manifolds without boundary with $\dim(M) < \dim(N)$ , and let $M$ compact. Then shape space in this work is either the manifold of submanifolds of $N$ that are diffeomorphic to $M$ , or the orbifold of unparametrized immersions of $M$ in $N$ . We investigate the Sobolev Riemannian metrics on shape space: These are induced by metrics of the following form on the space of immersions: $$ G^P_f(h,k) = \int_{M} \g(P^f h, k)\, \vol(f^*\g)$$ where $\g$ is some fixed metric on $N$ , $f^*\g$ is the induced metric on $M$ , $h,k \in Γ(f^*TN)$ are tangent vectors at $f$ to the space of embeddings or immersions, and $P^f$ is a positive, selfadjoint, bijective scalar pseudo differential operator of order $2p$ depending smoothly on $f$ . We consider later specifically the operator $P^f=1 + AΔ^p$ , where $Δ$ is the Bochner-Laplacian on $M$ induced by the metric $f^*\bar g$ . For these metrics we compute the geodesic equations both on the space of immersions and on shape space, and also the conserved momenta arising from the obvious symmetries. We also show that the geodesic equation is well-posed on spaces of immersions, and also on diffeomorphism groups. We give examples of numerical solutions.

preprint2011arXiv

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$ -intersection (see 1.6), we prove the following: The category of $C^Q$ -mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^Q$ -diffeomorphisms is a regular $C^Q$ -Lie group but not better.

preprint2011arXiv

Vanishing geodesic distance for the Riemannian metric with geodesic equation the KdV-equation

The Virasoro-Bott group endowed with the right-invariant $L^2$ -metric (which is a weak Riemannian metric) has the KdV-equation as geodesic equation. We prove that this metric space has vanishing geodesic distance.

preprint2009arXiv

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$ -mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or non-quasianalytic Denjoy-Carleman class, $C^\infty$ , or a Hölder continuity class $C^{0,\al}$. The parameter domain $T$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We prove and review results on $C^M$ -dependence on $t$ of the eigenvalues and eigenvectors of $A(t)$ .

preprint2009arXiv

Many parameter Hoelder perturbation of unbounded operators

If $u\mapsto A(u)$ is a $C^{0,α}$ -mapping, for $0< α\le 1$ , having as values unbounded self-adjoint operators with compact resolvents and common domain of definition, parametrized by $u$ in an (even infinite dimensional) space, then any continuous (in $u$ ) arrangement of the eigenvalues of $A(u)$ is indeed $C^{0,α}$ in $u$ .

preprint2009arXiv

Rolling of Coxeter polyhedra along mirrors

The topic of the paper are developments of $n$ -dimensional Coxeter polyhedra. We show that the surface of such polyhedron admits a canonical cutting such that each piece can be covered by a Coxeter $(n-1)$ -dimensional domain.

preprint2005arXiv

Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms

The $L^2$ -metric or Fubini-Study metric on the non-linear Grassmannian of all submanifolds of type $M$ in a Riemannian manifold $(N,g)$ induces geodesic distance 0. We discuss another metric which involves the mean curvature and shows that its geodesic distance is a good topological metric. The vanishing phenomenon for the geodesic distance holds also for all diffeomorphism groups for the $L^2$ -metric.

preprint1999arXiv

A Note on n-ary Poisson Brackets

A class of n-ary Poisson structures of constant rank is indicated. Then, one proves that the ternary Poisson brackets are exactly those which are defined by a decomposable 3-vector field. The key point is the proof of a lemma which tells that an n-vector $(n\geq3)$ is decomposable iff all its contractions with up to n-2 covectors are decomposable.

preprint1996arXiv

The Jacobi flow

The geodesic flow on the tangent bundle is the flow of a certain vector field which is called the spray $S:TM\to TTM$ . The flow lines of the vector field $\ka_{TM}øTS:TTM\to TTTM$ project to the Jacobi fields on $TM$ . This could be called the Jacobi flow.

preprint1995arXiv

Basic differential forms for actions of Lie groups II.

The assumption in the main result of [Peter W. Michor: Basic Differential Forms for Actions of Lie Groups, Proc. AMS 124, 5 (1996) 1633-1642] is removed. Thus: A section of a Riemannian $G$ -manifold $M$ is a closed submanifold $\Si$ 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 $\Si$ which are invariant with respect to the generalized Weyl group of $\Si$, without any further condition.

preprint1993arXiv

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.

preprint1993arXiv

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.

preprint1992arXiv

A cohomology for vector valued differential forms

A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Frölicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is functorial under local diffeomorphisms. This cohomology is determined as the direct product of the de Rham cohomology space and the graded Lie algebra of "traceless" vector valued differential forms, equipped with a new natural differential concomitant as graded Lie bracket. We find two graded Lie algebra structures on the space of differential forms. Some consequences and related results are also discussed.

preprint1992arXiv

A convenient setting for real analytic mappings

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real analytic diffeomorphisms of a compact real analytic manifold is a real analytic Lie group.

preprint1992arXiv

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.

preprint1992arXiv

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.

preprint1992arXiv

Aspects of the theory of infinite dimensional manifolds

The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$ , $SO(n)$ and some of their homogeneus spaces is treated.

preprint1992arXiv

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.

preprint1992arXiv

Graded derivations of the algebra of differential forms associated with a connection

In the main part of this paper a connection is just a fiber projection onto a (not necessarily integrable) distribution or sub vector bundle of the tangent bundle. Here curvature is computed via the Froelicher-Nijenhuis bracket, and it is complemented by cocurvature and the Bianchi identity still holds. In this situation we determine the graded Lie algebra of all graded derivations over the horizontal projection of a connection and we determine their commutation relations. Finally, for a principal connection on a principal bundle and the induced connection on an associated bundle we show how one may pass from one to the other. The final results relate derivations on vector bundle valued forms and derivations over the horizontal projection of the algebra of forms on the principal bundle with values in the standard vector space.

preprint1992arXiv

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.

preprint1992arXiv

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.

preprint1992arXiv

Pseudoriemannian metrics on spaces of bilinear structures

The space of all non degenerate bilinear structures on a manifold $M$ carries a one parameter family of pseudo Riemannian metrics. We determine the geodesic equation, covariant derivative, curvature, and we solve the geodesic equation explicitly. Each space of pseudo Riemannian metrics with fixed signature is a geodesically closed submanifold. The space of non degenerate 2-forms is also a geodesically closed submanifold. Then we show that, if we fix a distribution on $M$ , the space of all Riemannia metrics splits as the product of three spaces which are everywhere mutually orthogonal, for the usual metric. We investigate this situation in detail.

preprint1992arXiv

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.

preprint1992arXiv

The action of the diffeomorphism group on the space of immersions

We study the action of the diffeomorphism group $\Diff(M)$ on the space of proper immersions $\Imm_{\text{prop}}(M,N)$ by composition from the right. We show that smooth transversal slices exist through each orbit, that the quotient space is Hausdorff and is stratified into smooth manifolds, one for each conjugacy class of isotropy groups.

preprint1992arXiv

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.

preprint1992arXiv

The moment mapping for a unitary representation

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.

preprint1992arXiv

The relation between systems and associated bundles

It is shown that a strong system of vector fields on a fiber bundle in the sense of [Modugno, M. Systems of connections and invariant lagrangians. In: Differential geometric methods in theoretical physics, Proc. 15th Int. Conf., DGM, Clausthal/FRG 1986, 518-534 World Scientific Publishing Co. (1987)] is induced from a principal fiber bundle if and only if each vertical vector field of the system is complete.

preprint1992arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Peter W. Michor

Research overview

Is this your work?

49 publications

Manifolds of mappings and shapes

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

The exponential law for spaces of test functions and diffeomorphism groups

An exotic zoo of diffeomorphism groups on Rn\mathbb R^nRn

Constructing reparametrization invariant metrics on spaces of plane curves

Geodesic Completeness for Sobolev Metrics on the Space of Immersed Plane Curves

The homogeneous Sobolev metric of order one on diffeomorphism groups on the real line

RRR-transforms for Sobolev H2H^2H2-metrics on spaces of plane curves

A zoo of diffeomorphism groups on Rn\mathbb R^nRn

Almost local metrics on shape space of hypersurfaces in n-space

On Euler's equation and `EPDiff'

Overview of the Geometries of Shape Spaces and Diffeomorphism Groups

Sobolev Metrics on Diffeomorphism Groups and the Derived Geometry of Spaces of Submanifolds

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group. II

Sobolev Metrics on Shape Space, II: Weighted Sobolev Metrics and Almost Local Metrics

Sobolev metrics on the manifold of all Riemannian metrics

A generalization of Puiseux's theorem and lifting curves over invariants

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Curvature weighted metrics on shape space of hypersurfaces in nnn-space

Sectional Curvature in terms of the Cometric, with Applications to the Riemannian Manifolds of Landmarks

Sobolev metrics on shape space of surfaces

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

Vanishing geodesic distance for the Riemannian metric with geodesic equation the KdV-equation

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Many parameter Hoelder perturbation of unbounded operators

Rolling of Coxeter polyhedra along mirrors

Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms

A Note on n-ary Poisson Brackets

The Jacobi flow

Basic differential forms for actions of Lie groups II.

Differential geometry of g\frak gg-manifolds

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

A cohomology for vector valued differential forms

A convenient setting for real analytic mappings

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

All unitary representations admit moment mappings

Aspects of the theory of infinite dimensional manifolds

Characteristic classes for GGG-structures

Graded derivations of the algebra of differential forms associated with a connection

Knit products of graded Lie algebras and groups

More smoothly real compact spaces

Pseudoriemannian metrics on spaces of bilinear structures

Radon transform and curvature

The action of the diffeomorphism group on the space of immersions

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

The moment mapping for a unitary representation

The relation between systems and associated bundles

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

See the researcher in context

Building this map preview

An exotic zoo of diffeomorphism groups on $\mathbb R^n$

$R$ -transforms for Sobolev $H^2$ -metrics on spaces of plane curves

A zoo of diffeomorphism groups on $\mathbb R^n$

Curvature weighted metrics on shape space of hypersurfaces in $n$ -space

Differential geometry of $\frak g$ -manifolds

Characteristic classes for $G$ -structures