arXiv research

Defines manifolds of mappings between function spaces and discusses their properties.

The author studies regions foliated by 1D families of functions and their applications.

Discrete exterior calculus shows natural properties of wedge product and averaging.

The paper studies branched surfaces and their properties.

Let $f:M\to N$ be a smooth area decreasing map between two Riemannian manifolds $(M,\gm)$ and $(N,\gn)$. Under weak and natural assumptions on the curvatures of $(M,\gm)$ and $(N,\gn)$, we prove that the mean curvature flow provides a smooth homotopy of $f$ to a constant map.

The paper extends properties of smooth functions to closed sets and maps.

A natural map from Lawson homology to Deligne cohomology groups for smooth complex projective varieties is constructed by using the Harvey-Lawson spark complexes. We also compare this to Abel-Jacobi type constructions by others.

We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense of Thom-Mather depending on geometric structures on the target space germ. Unfor…

Let M be a smooth compact oriented manifold without boundary, imbedded in a euclidean space E and let f be a smooth map of M into a Riemannian manifold N. An unknown state x in M is observed via X=x+su where s>0 is a small parameter and u is a white Gaussian noise. For a given smooth prior on M and smooth estimators g …

We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between …

Let $(S,h)$ be a closed hyperbolic surface and $M$ be a quasi-Fuchsian 3-manifold. We consider incompressible maps from $S$ to $M$ that are critical points of an energy functional $F$ which is homogeneous of degree $1$. These "minimizing" maps are solutions of a non-linear elliptic equation, and reminiscent of harmonic…

Constructs real algebraic functions with specified preimages.

Constructs real algebraic maps with specific geometric constraints.

We study here some aspects of the topology of the space of smooth, stable, genus 0 curves in a Riemannian manifold $X$, i.e. the Kontsevich stable curves, which are not necessarily holomorphic. We use the Hofer-Wysocki-Zehnder polyfold structure on this space and some natural characteristic classes, to show that for $X…

The static of smooth maps from the two-dimensional disc to a smooth manifold can be regarded as a simplified version of the Classical Field Theory. In this paper we construct the Tulczyjew triple for the problem and describe the Lagrangian and Hamiltonian formalism. We outline also natural generalizations of this appro…

Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\wideha…

Researchers reconstruct algebraic maps onto curves based on prescribed Reeb graphs.

Smooth actions of the multiplicative monoid $(\mathbb{R},\cdot)$ of real numbers on manifolds lead to an alternative, and for some reasons simpler, definition of a vector bundle, a double vector bundle and related structures like a graded bundle [Grabowski and Rotkiewicz, J. Geom. Phys. 2011]. For these reasons it is n…

The paper optimizes estimating transport maps between distributions.

Generators of the 4-sphere's smooth mapping class group via diffeomorphisms of Montesinos twins.

The paper explores the structure of Reeb spaces for smooth functions on manifolds.

A special generic map is a smooth map regarded as a natural generalization of Morse functions with just 2 singular points on homotopy spheres. Canonical projections of unit spheres are simplest examples of such maps and manifolds admitting special generic maps into the plane are completely determined by Saeki in 1993 a…

We study spaces with a cuspidal (or horn-like) singularity embedded in a smooth Riemannian manifold and analyze the geodesics in these spaces which start at the singularity. This provides a basis for understanding the intrinsic geometry of such spaces near the singularity. We show that these geodesics combine to natura…

In our previous papers [Far East Journal of Mathematical Sciences, 35 (2009), 211-223] and [International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have developed the theory of Weil prolongation, Weil exponentiability and microlinearity for Frolicher spaces. In this paper we will relativize it so as…

The paper analyzes rates of convergence for optimal transport map estimators using barycentric projections.

New methods decompose manifolds into submanifolds via fold maps.

A Morse 2-function is a generic smooth map from a smooth manifold to a surface. In the absence of definite folds (in which case we say that the Morse 2-function is indefinite), these are natural generalizations of broken (Lefschetz) fibrations. We prove existence and uniqueness results for indefinite Morse 2-functions …

We define the thin fundamental Gray 3-groupoid $S_3(M)$ of a smooth manifold $M$ and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps $S_3(M) \to C(H)$, where $H$ is a 2-crossed module of Lie groups and $C(H)$ is the Gray 3-groupoid naturally constructed f…

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps f:M\to P with isolated singularities which includes all Morse maps. For each such map…

We discuss the nature of structure-preserving maps of varies function algebras. In particular, we identify isomorphisms between special Colombeau algebras on manifolds with invertible manifold-valued generalized functions in the case of smooth parametrization. As a consequence, and to underline the consistency and vali…

We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra C^\infty(M,k) for which the evaluation map is smooth. We then prove the existen…

On any given compact (n+1)-manifold M with non-empty boundary, it is proved that the moduli space of Einstein metrics on M is a smooth, infinite dimensional Banach manifold under a mild condition on the fundamental group. Thus, the Einstein moduli space is unobstructed. The Dirichlet and Neumann boundary maps to data o…

Smooth actions of infinite groups linked to homotopy theory.

DSPI connects natural policy gradient to policy iteration, proving global convergence.

This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the topological structure of the space of such maps. In particular, we show that the …

Localizes smooth spaces to study their homotopy properties.

We show compactness in the locally smooth topology for certain natural families of asymptotically conical self-expanding solutions of mean curvature flow. Specifically, we show such compactness for the set of all two-dimensional self-expanders of a fixed topological type and, in all dimensions, for the set of self-expa…

We show uniqueness of classical solutions of the normalised two-dimensional Hamilton-Ricci flow on closed, smooth manifolds for smooth data among solutions satisfying (essentially) only a uniform bound for the Liouville energy and a natural space-time $L^2$-bound for the time derivative of the solution. The result is s…

We consider natural algebraic differential operations acting on geometric quantities over smooth manifolds. We introduce a method of study and classification of such operations, called IT-reduction. It reduces the study of natural operations to the study of polynomial maps between (vector) spaces of jets which are equi…

We study diffeologies on locally convex spaces and their application to smooth multiplication of distributions.

Let G be a complex reductive group and K a maximal compact subgroup. If X is a smooth projective G-variety, with a fixed (not necessarily integral) K-invariant Kaehler form, then the K-action is Hamiltonian. Let M be the zero fiber of the corresponding moment map. It is well known that the quotient M/K is a complex spa…

We give a natural way to identify between two scales, potentially arbitrarily far apart, in a non-compact Ricci-flat manifold with Euclidean volume growth when a tangent cone at infinity has smooth cross section. The identification map is given as the gradient flow of a solution to an elliptic equation.

Let $G$ be a Lie group and $M$ a smooth proper $G$-manifold. Let $pi:Mto M/G$ denote the natural map to the orbit space. Then there exist a PL manifold $P$, a polyhedron $L$ and homeomorphisms $tau:Pto M$ and $σ:M/Gto L$ such that $σ\circpi\circτ$ is PL. If $M$ and the $G$-action are of analytic class, we can choose su…

We define, on smooth manifolds, the notions of almost twistorial structure and twistorial map, thus providing a unified framework for all known examples of twistor spaces. The condition of being harmonic morphisms naturally appears among the geometric properties of submersive twistorial maps between low-dimensional Wey…

Smooth $C^1$ contact maps are always smooth in rigid Carnot groups.

We prove a categorified version of the Poincaré lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is…

We prove that higher moment maps on area measures of a euclidean vector space are injective, while the kernel of the centroid map equals the image of the first variation map. Based on this, we introduce the space of smooth dual area measures on a finite-dimensional euclidean vector space and prove that it admits a natu…

Evolution of planar curves under a nonlocal geometric equation is investigated. It models the simultaneous contraction and growth of carbonate particles called ooids in geosciences. Using classical ODE results and a bijective mapping we demonstrate that the steady parameters associated with the physical environment det…