arXiv research

The paper extends LDDMM framework to include Lie group actions in large deformation shape registration.

These lecture notes explain the geometry and discuss some of the analytical questions underlying image registration within the framework of large deformation diffeomorphic metric mapping (LDDMM) used in computational anatomy.

The geometric approach to diffeomorphic image registration known as "large deformation by diffeomorphic metric mapping" (LDDMM) is based on a left action of diffeomorphisms on images, and a right-invariant metric on a diffeomorphism group, usually defined using a reproducing kernel. We explore the use of left-invariant…

We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is that for $s > \dim M/2 + 1$, the group $\mathcal D^s(M)$ is geodesically and me…

We consider the results of combining two approaches developed for the design of Riemannian metrics on curves and surfaces, namely parametrization-invariant metrics of the Sobolev type on spaces of immersions, and metrics derived through Riemannian submersions from right-invariant Sobolev metrics on groups of diffeomorp…

The paper explores metrics and models for analyzing biological shapes.

Registration, which aims to find an optimal one-to-one correspondence between different data, is an important problem in various fields. This problem is especially challenging when large deformations occur. In this paper, we present a novel algorithm to obtain diffeomorphic image or surface registrations with large def…

Deformation quantization yields a new moment map on symplectic diffeomorphisms.

Gradient flow on diffeomorphisms for image registration, with well-posedness proven.

Let f:Σ_1 --> Σ_2 be an area preserving diffeomorphism between compact Riemann surfaces of constant curvature. The graph of f can be viewed as a Lagrangian submanifold in Σ_1\times Σ_2. This article discusses a canonical way to deform f along area preserving diffeomorphisms. This deformation process is realized through…

We present a method for metric optimization in the Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, by treating the induced Riemannian metric on the space of diffeomorphisms as a kernel in a machine learning context. For simplicity, we choose the kernel Fischer Linear Discriminant Analysis (KLDA) as th…

New method uses image registration to recover complex signals from amplitude data.

Geometric study of cuspidal $S_1$ singularities using diffeomorphisms and isometries.

We propose a method to predict the subject-specific longitudinal progression of brain structures extracted from baseline MRI, and evaluate its performance on Alzheimer's disease data. The disease progression is modeled as a trajectory on a group of diffeomorphisms in the context of large deformation diffeomorphic metri…

Deform moment map on symplectic connections using star product algebras.

Extended orbit model theory for shape analysis using graded group action framework.

We study gluings of asymptotically cylindrical special Lagrangian submanifolds in asymptotically cylindrical Calabi--Yau manifolds. We prove both that there is a well-defined gluing map, and, after reviewing the deformation theory for special Lagrangians, prove that this gluing map defines a local diffeomorphism from m…

Let $M$ be a compact surface and $P$ be either $\mathbb{R}$ or $S^1$. For a smooth map $f:M\to P$ and a closed subset $V\subset M$, denote by $\mathcal{S}(f,V)$ the group of diffeomorphisms $h$ of $M$ preserving $f$, i.e. satisfying the relation $f\circ h = f$, and fixed on $V$. Let also $\mathcal{S}'(f,V)$ be its subg…

We prove a Kuranishi-type theorem for deformations of complex structures on ALE Kähler surfaces. This is used to prove that for any scalar-flat Kähler ALE surface, all small deformations of complex structure also admit scalar-flat Kähler ALE metrics. A local moduli space of scalar-flat Kähler ALE metrics is then constr…

A neural network method tackles high-dimensional diffeomorphic mapping problems.

The paper explores eigenfunctions of spherical conical metrics using harmonic maps to spheres.

An Engel structure is a maximally non-integrable field of two-planes tangent to a four-manifold. Any two such structures are locally diffeomorphic. We investigate the space of global deformations of canonical Engel structures arising out of contact three-manifolds. The main tool is Cartan's method of prolongation and d…

Study of metrics on spheres and their complex structure properties.

A necessary and sufficient algebraic condition for a diffeomorphism over a surface embedded in the 3-sphere to be induced by a regular homotopic deformation is discussed, and a formula for the number of signed pass moves needed for this regular homotopy is given.

Study shows surfaces with similar length spectra are smoothly deformable.

Periods of parallel exterior forms define natural coordinates on the deformation space of complete affine structures on the two-torus. These coordinates define a differentiable structure on this deformation space, under which it is diffeomorphic to $R^2$. The action of the mapping class group of $T^2$ is equivalent in …

The class of non-rigid registration methods proposed in the framework of PDE-constrained Large Deformation Diffeomorphic Metric Mapping is a particularly interesting family of physically meaningful diffeomorphic registration methods. PDE-constrained LDDMM methods are formulated as constrained variational problems, wher…

For a closed symplectic manifold $(M,ω)$ with compatible Riemannian metric $g$ we study the Sobolev $H^1$ geometry of the group of all $H^s$ diffeomorphisms on $M$ which preserve the symplectic structure. We show that, for sufficiently large $s$, the $H^1$ metric admits globally defined geodesics and the corresponding …

New method for partial matching of shapes with Varifolds.

Paper shows how scattering maps of Schrödinger equations relate to metrics.

The paper examines conditions for Kähler-Einstein metrics on deformations of Fano manifolds.

We develop the foundations of the deformation theory of compact complete affine space forms and affine crystallographic groups. Using methods from the theory of linear algebraic groups we show that these deformation spaces inherit an algebraic structure from the space of crystallographic homomorphisms. We also study th…

We present a new approach for matching regular surfaces in a Riemannian setting. We use a Sobolev type metric on deformation vector fields which form the tangent bundle to the space of surfaces. In this article we compare our approach with the diffeomorphic matching framework. In the latter approach a deformation is pr…

Study on new metrics on para-Kähler-Norden manifolds with conformal deformation.

In this article, using combinatorial techniques of mapping class groups, we show that a Stein fillable integral homology $3$-sphere supported by an open book decomposition with page a $4$-holed sphere admits a unique Stein filling up to diffeomorphism. Furthermore, according to a property of deforming symplectic fillin…

We present a way of constructing and deforming diffeomorphisms of manifolds endowed with a Lie group action. This is applied to the study of exotic diffeomorphisms and involutions of spheres and to the equivariant homotopy of Lie groups.

Smale proved that the orientation-preserving diffeomorphism group of S^2 has a continuous strong deformation retraction to SO(3). In this paper, we construct such a strong deformation retraction which is diffeologically smooth.

We prove that the Riemannian exponential map of the right-invariant $L^2$ metric on the group of volume-preserving diffeomorphisms of a two-dimensional manifold with a nonempty boundary is a nonlinear Fredholm map of index zero.

New exotic 4D spaces with nontrivial mappings.

Study geometric properties of S1 singularities and their deformations.

Using a flow first introduced by J.P. Anderson, we obtain some existence theorems for harmonic maps from a noncompact complete Riemannian manifold into a complete Riemannian manifold. In particular, we prove as a corollary a recent result of Hardt and Wolf stating that any quasisymmetric map of the sphere that is suffi…

A map between twistor spaces is defined based on metrics, showing holomorphicity under specific conditions.

A metric with positive sectional curvature on the Gromoll-Meyer exotic 7-sphere is constructed explicitly. The proof relies on a 2-parameter family of left invariant metrics on Sp(2) and a one-parameter family of conformal deformations via an isoparametric function F on it. One byproduct is a metric with positive secti…

Compact metric f-K-contact manifolds constructed via specific transformations.

Let $f$ be a Morse function on a smooth compact surface $M$ and $\mathcal{S}'(f)$ be a group of $f$-preserving diffeomorphisms of $M$ which are isotopic to the identity map. Let also $G(f)$ be a group of automorphisms of the graph of $f$ induced by elements from $\mathcal{S}'(f)$, and $Δ'$ be a subgroup of $\mathcal{S…

We formulate a correspondence between affine and projective special Kähler manifolds of the same dimension. As an application, we show that, under this correspondence, the affine special Kähler manifolds in the image of the rigid r-map are mapped to one-parameter deformations of projective special Kähler manifolds in t…

On a 4-dimensional compact symplectic manifold, we consider a smooth family of compatible almost-complex structures such that at time zero the induced metric is Hermite-Einstein almost-Kähler metric with zero or negative Hermitian scalar curvature. We prove, under certain hypothesis, the existence of a smooth family of…

Study on isometric submanifolds with preserved Gauss map metrics.