BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Peter W. Michor contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider the operator $\mathcal R$, which sends a function on $\mathbb R^{2n}$ to its integrals over all affine Lagrangian subspaces in $\mathbb R^{2n}$. We discuss properties of the operator $\mathcal R$ and of the representation of the affine symplectic group in the space of functions on $\mathbb R^{2n}$.
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.
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$.
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.
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.
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.
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.
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.
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.
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.
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.
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)$.
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$.
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.
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.