arXiv research

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the constructio…

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.

Some groups of real analytic diffeomorphism act n-transitively for each finite n.

New framework uses elliptic operators to study projective maps.

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.

We consider a closed odd-dimensional oriented manifold $M$ together with an acyclic flat hermitean vector bundle $\cF$. We form the trivial fibre bundle with fibre $M$ over the manifold of all Riemannian metrics on $M$. It has a natural flat connection and a vertical Riemannian metric. The higher analytic torsion form …

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).

Proves surjectivity of certain smooth maps with non-properness sets.

We exploit the Cartan-Kähler theory to prove the local existence of real analytic quaternionic contact structures for any prescribed values of the respective curvature functions and their covariant derivatives at a given point on a manifold. We show that, in a certain sense, the different real analytic quaternionic con…

We compare the higher analytic torsion of Bismut and Lott of a fibre bundle p: M -> B equipped with a flat vector bundle F -> M and a fibre-wise Morse function h on M with a higher torsion T that is constructed in terms of a families Thom-Smale complex associated to h and F, thereby extending previous joint work with B…

In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or a…

The Jacobian of Douady-Earle extension equals 1 only for isometries.

The volume conjecture for surface diffeomorphisms connects volumes to polynomial evaluations.

New proof shows path-connectedness of actions on intervals and circles.

We survey the role of right-angled Artin groups in the theory of diffeomorphism groups of low dimensional manifolds. We first describe some of the subgroup structure of right-angled Artin groups. We then discuss the interplay between algebraic structure, compactness, and regularity for group actions on one--dimensional…

Analytic curves are classified w.r.t. their symmetry under a regular and separately analytic Lie group action on an analytic manifold. We show that an analytic curve is either exponential or splits into countably many analytic immersive curves, each of them discretely generated by the symmetry group (i.e., each such cu…

Using the higher analytic torsion form of Bismut and Lott we construct a characteristic class for smooth sphere bundles. We calculate this class in the case where the sphere bundle comes from a complex vector bundle. Related to these characteristic classes we define nontrivial continuous group cohomology classes of the…

For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieti…

It is the purpose of this article to establish a technical tool to study regularity of solutions to parabolic equations on manifolds. As applications of this technique, we prove that solutions to the Ricci-DeTurck flow, the surface diffusion flow and the mean curvature flow enjoy joint analyticity in time and space, an…

We prove that the geodesic equations of all Sobolev metrics of fractional order one and higher on spaces of diffeomorphisms and, more generally, immersions are locally well posed. This result builds on the recently established real analytic dependence of fractional Laplacians on the underlying Riemannian metric. It ext…

New topological Riemann-Roch theorem for circle fibrations.

Proves well-posedness of gradient solitons on bundle gerbe.

We prove each embedded, constant mean curvature (CMC) surface in Euclidean space with genus zero and finitely many coplanar ends is nondegenerate: there is no nontrivial square-integrable solution to the Jacobi equation, the linearization of the CMC condition. This implies that the moduli space of such coplanar surface…

Develops second order infinitesimal structures on Teichmüller space.

Sharp threshold found for metric uniqueness in Riemannian Calderón-type problems.

In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{ω}(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether or not the Girth Alternative holds for subgroups of $\mathrm{Diff}_{+}^{ω}(I)$. In th…

We apply the Cartan equivalence method to the study of real analytic second order ODEs under the local real analytic diffeomorphism of $\C^2$ which are area-preserving. This enables us to give a characterization of the second order ODEs which are equivalent to $y^{\prime\prime}=0$ under such transformations. Moreover w…

The strong unique continuation property for Einstein metrics can be concluded from the well-known fact that Einstein metrics are analytic in geodesic normal coordinates. Here we give a proof of the same result that given two Einstein metrics with the same Ricci curvature on a fixed manifold, if they agree to infinite o…

Develops a real-analytic embedding for diffeomorphisms of the line, linking to Fisher-Rao geometry.

It is proven that a local Lie algebra in the sense of A. A. Kirillov determines the base manifold up to a diffeomorphism provided the anchor map is nowhere-vanishing. In particular, the Lie algebras of nowhere-vanishing Poisson or Jacobi brackets determine manifolds. This result has been proven for different types of d…

A systematic geometric theory for the ultradifferentiable (non-quasianalytic and quasianalytic) wavefront set similar to the well-known theory in the classic smooth and analytic setting is developed. In particular an analogue of Bony's Theorem and the invariance of the ultradifferentiable wavefront set under diffeomorp…

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 sp…

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to double covering, as G/L where G is a simply connected solvable Lie group and L is a …

Study constructs transverse metrics using transformations commuting with elliptic operators.

Results on characterization of manifolds in terms of certain Lie algebras growing on them, especially Lie algebras of differential operators, are reviewed and extended. In particular, we prove that a smooth (real-analytic, Stein) manifold is characterized by the corresponding Lie algebra of linear differential operator…

Study the topology of spaces of pleated surfaces.

We introduce a method, based on the Poincare-Hopf index theorem, to classify solutions to overdetermined problems for fully nonlinear elliptic equations in domains diffeomorphic to a closed disk. Applications to some well-known nonlinear elliptic PDEs are provided. Our result can be seen as the analogue of Hopf's uniqu…

In the present paper, we associate the techniques of the Lewy-Pinchuk reflection principle with the Behnke-Sommer continuity principle. Extending a so-called reflection function to a parameterized congruence of Segre varieties, we are led to studying the envelope of holomorphy of a certain domain covered by a smooth Le…

For a specific class of 4-manifolds, random isometries cannot lift to orientation-preserving diffeomorphisms.

We extend T. Y. Thomas's approach to the projective structures, over the complex analytic category, by involving the $ρ$-connections. This way, a better control of the projective flatness is obtained and, consequently, we have, for example, the following application: if the twistor space of a quaternionic manifold $P$ …

This study shows why training Neural ODEs is hard and proposes a new method.

We list all analytic diffeomorphisms between an open subset of the 4-dimensional projective space and an open subset of the 4-dimensional sphere that take all line segments to arcs of round circles. These are the following: restrictions of the quaternionic Hopf fibrations and projections from a hyperplane to a sphere f…

Apparently a lost theorem of Thurston states that the cube of the Euler class $e^3\in H^6(BDiff^δ_ω(S^1);\mathbb{Q})$ is zero where $Diff^δ_ω(S^1)$ is the analytic orientation preserving diffeomorphisms of the circle with the discrete topology. This is in contrast with Morita's theorem that the powers of the Euler clas…

CF-INNs can approximate any invertible function, resolving a long-standing problem.

The study characterizes Nash maps between semialgebraic sets and their properties.

Study complex deformations of the circle using group cohomology and Virasoro algebra.

In this thesis we investigate a new formalism for supergeometry which focuses on the categorical properties of the theory. This approach is our main tool in the subsequent investigation of a global analytic approach to the construction of super Teichmueller spaces. These results should be of importance to various other…

Abstract: Extends Drinfeld correspondence to infinite-dimensional Lie groups.