arXiv research

New examples of distorted interval diffeomorphisms found.

Research shows quadratic growth in derivative maxima for certain interval diffeos with parabolic fixed points.

We prove that the group of diffeomorphisms of the interval $[0,1]$ contains surface groups whose action on $(0,1)$ has no global fix point, is topologically transitive, and such that only countably many points of the interval $(0,1)$ have non-trivial stabiliser.

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

By the Thurston stability theorem, a group of C^1 orientation-preserving diffeomorphisms of the closed unit interval is locally indicable. We show that the local order structure of orbits gives a stronger criterion for nonsmoothability that can be used to produce new examples of locally indicable groups of homeomorphis…

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 show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some path of the Lie algebra. this result extends to the group of diffeomorphisms of fi…

According to the classical Plante-Thurston Theorem, all nilpotent groups of $C^2$-diffeomorphisms of the closed interval are Abelian. Using techniques coming from the works of Denjoy and Pixton, Farb and Franks constructed a faithful action by $C^1$-diffeomorphisms of $[0,1]$ for every finitely-generated, torsion-free,…

We exhibit families of Ricci-flat Kahler metrics on K3 surfaces which collapse to an interval, with Tian-Yau and Taub-NUT metrics occurring as bubbles. There is a corresponding continuous surjective map from the K3 surface to the interval, with regular fibers diffeomorphic to either 3-tori or Heisenberg nilmanifolds.

Proves torus sequences can't collapse to intervals under curvature bounds.

We prove that the space of actions of Z^d by C^1 (orientation-preserving) diffeomorphisms of either the interval or the circle is connected by arcs. This is proved by showing that all such actions can be C^0 conjugated via a 1-parameter family into diffeomorphisms that converge to either the trivial action or an action…

According to Thurston's stability theorem, every group of C^1 diffeomorphisms of the closed interval is locally indicable (.e., every finitely generated subgroup factors through Z). We show that, even for finitely generated groups, the converse of this statement is not true. More precisely, we show that the semi-direct…

New Virasoro-like structures for circle diffeomorphisms with breaks.

Connectedness proved for $\mathbb{Z}^d$ actions on 1D manifolds by $C^2$ diffeomorphisms.

We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the…

New proof of Laudenbach and Poénaru's theorem on 4D 1-handlebodies.

The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin's higher dimensional generalizations $nV$ of Thompson's group $V$ arise…

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^…

In this article we use Ricci flow to show that complete PIC1 manifolds with maximal volume growth are diffeomorphic to $\mathbb{R}^n$. One of the key ingredients is local estimates of curvature lower bounds on an initial time interval of the Ricci flow. As another application of these estimates we obtain pseudolocality…

We provide a new angle and obtain new results on a class of metrics on length-normalized curves in $d$ dimensions, represented by their unit tangents expressed as a function of arc-length, which are functions from the unit interval to the $(d-1)$-dimensional unit sphere. These metrics are derived from the combined acti…

We study the J-flow on the toric manifolds, through study the transition map between the moment maps induced by two Kähler metrics, which is a diffeomorphism between polytopes. This is similar to the work of Fang-Lai, under the assumption of Calabi symmetry, they study the monotone map between two intervals. We get a p…

Decomposes flows with jumps into simpler components.

We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite to…

We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with n…

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-di…

We prove the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or the total space of an orbifiber bundle over $\mathbb{S}^1$ or $\mathcal{I}$ with generic fiber diffeomorphic to $\mathbb{S}^{n-1}/Γ$ such …

Starting from a divide, i.e. a generic immersion of finitely many copies of the interval [0,1] in the disk, we construct a classical link in the 3-sphere. We prove that the link's complement fibers over the circle, if the divide is connected. Moreover, we compute the monodromy diffeomorphism from the combinatorics of t…

A new algorithm computes elastic shape distances between curves efficiently.

Let $M^{n+1}$ ($n \ge 2$) be a simply-connected space form of sectional curvature $-κ^2$ for some $κ\geq 0$, and $I$ an interval not containing $[-κ,κ]$ in its interior. It is known that the domain of a closed immersed hypersurface of $M$ whose principal curvatures lie in $I$ must be diffeomorphic to th…

Each lens space has a canonical contact structure which lifts to the distribution of complex lines on the three-sphere. In this paper, we show that a symplectic homology cobordism between two lens spaces, which is given with the canonical contact structure on the boundary, must be diffeomorphic to the product of a lens…

Proves irreducible SU(2) representations for 3-surgery knots.

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…

Let $M$ be the circle or a compact interval, and let $α=k+τ\ge1$ be a real number such that $k=\lfloor α\rfloor$. We write $\mathrm{Diff}_+^α(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are Hölder continuous with exponent $τ$. If $α\ge1$, we prove that there exists a finitely generated …

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…

It is a well-known fact that on a bounded spectral interval the Dirac spectrum can be described locally by a non-decreasing sequence of continuous functions of the Riemannian metric. In the present article we extend this result to a global version. We think of the spectrum of a Dirac operator as a function from the int…

We interpret heterotic M-theory in terms of h-cobordism, that is the eleven-manifold is a product of the ten-manifold times an interval is translated into a statement that the former is a cobordism of the latter which is a homtopy equivalence. In the non-simply connected case, which is important for model building, the…

Smooth manifolds have equivalent diffeomorphism groups if and only if they are diffeomorphic.

Constructs entropy-minimizing pseudo-Anosov diffeomorphisms on K3 surfaces.

Having a regression model, we are interested in finding two-sided intervals that are guaranteed to contain at least a desired proportion of the conditional distribution of the response variable given a specific combination of predictors. We name such intervals predictive intervals. This work presents a new method to fi…

The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the principal curvatures of such a hypersurface $f \colon N^n \to M^{n+1}$ $( n\ge 2 )…

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…

The symmetries of paths in a manifold $M$ are classified with respect to a given pointwise proper action of a Lie group $G$ on $M$. Here, paths are embeddings of a compact interval into $M$. There are at least two types of symmetries: Firstly, paths that are parts of an integral curve of a fundamental vector field on $…

The study proves diffeomorphisms can be localized to simpler submanifolds.

Paper derives explicit expression of Alekseev-Meinrenken diffeomorphism.

According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the le…

We determine the Riemannian manifolds for which the group of exact volume preserving diffeomorphisms is a totally geodesic subgroup of the group of volume preserving diffeomorphisms, considering right invariant $L^2$-metrics. The same is done for the subgroup of Hamiltonian diffeomorphisms as a subgroup of the group of…

Generalizes $π_2$-diffeomorphism finiteness to non-zero first homotopy groups.

Study on group cocycles for volume-preserving diffeomorphisms.