arXiv research

Disproves the Smale Conjecture for S^4 by showing Diff(S^4) is not SO(5).

Let $M$ and $N$ be two closed $C^{\infty}$ manifolds and let $\text{Diff}_c(M)$ denote the group of $C^{\infty}$ diffeomorphisms isotopic to the identity. We prove that any (discrete) group homomorphism between $\text{Diff}_c(M)$ and $\text{Diff}_c(N)$ is continuous. We also show that a non-trivial group homomorphism $…

The first group of differentiable cohomology of $\Diff(S^1)$, vanishing on the Möbius subgroup $PSL(2,R)\subset\Diff(S^1)$, with coefficients in modules of linear differential operators on $S^1$ is calculated. We introduce three non-trivial $PSL(2,R)$-invariant 1-cocycles on $\Diff(S^1)$ generalizing the Schwarzian der…

We say that a fixed point of a diffeomorphism is non-degenerate if 1 is not an eigenvalue of the linearization at the fixed point. We use pseudo-holomorphic curves techniques to prove the following: the inclusion map $i: \text{Diff} ^{1} (S ^{2} ) \to \text{Diff} (S^2)$ vanishes on all homotopy groups, where $\text{D…

We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$ (globally $p$-integrable derivatives), $\mathcal S$ (Schwartz space), $\mathcal D$…

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 …

We prove that if Γis subgroup of Diff_{+}^{1+ε}(I) and N is a natural number such that every non-identity element of Γhas at most N fixed points then Γis solvable. If in addition Γis a subgroup of Diff_{+}^{2}(I) then we can claim that Γis metaabelian.

DiFF-RF detects point-wise and collective anomalies using random partitioning trees.

Study controllability of diffeomorphisms of simple polytopes.

The study computes Gromoll filtration groups and fundamental groups for specific dimensions.

We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $π_{0}(Diff(K3)) \to Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second is that, there exists a subgroup $G$ of $π_{0}(Diff(K3))$ of order two over which…

Authors compute fundamental groups for a specific topological group.

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many linearly independent homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(…

We are raising questions on discrete and dense subgroups of Diff(I). Most of the questions are around the problems discussed in [A1]-[A4].

Study the moduli space of reducible 3-manifolds using prime decomposition.

We consider the groups $\operatorname{Diff}_{\mathcal B}(\mathbb R^n)$, $\operatorname{Diff}_{H^\infty}(\mathbb R^n)$, and $\operatorname{Diff}_{\mathcal S}(\mathbb R^n)$ of smooth diffeomorphisms on $\mathbb R^n$ which differ from the identity by a function which is in either $\mathcal B$ (bounded in all derivatives),…

Infinite rank groups found in 3-manifolds with infinite fundamental groups.

Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.

Study examines the geometry of a group of Fourier-integral operators related to Diff(S^1).

We consider two principal bundles of embeddings with total space $Emb(M,N),$ with structure groups $Diff(M)$ and $Diff_+(M),$ where $Diff_+(M)$ is the groups of orientation preserving diffeomorphisms. The aim of this paper is to describe the structure group of the tangent bundle of the two base manifolds: $$ B(M,N) = E…

Suppose that $M$ is a connected orientable $n$-dimensional manifold and $m>2n$. If $H^i(M,\R)=0$ for $i>0$, it is proved that for each $m$ there is a monomorphism $H^m(W_n,\on{O}(n))\to H^m_{\on{cont}}(\on{Diff}M,\R)$. If $M$ is closed and oriented, it is proved that for each $m$ there is a monomorphism $H^m(W_n,\on{O}…

We introduce a 1-cocycle on the group of diffeomorphisms Diff$(M)$ of a smooth manifold $M$ endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff$(M)$-modules of second order linear differential operators on $M$. In the one-dimensional case, this c…

We prove that a free group F_2 admits a faithful discrete representation into Diff_{+}(I). We also prove that F_2 admits a faithful discrete representation into Homeo_{+}(I). Some properties of these representations have been studied. In the last section we raise several questions.

Study shows complex K3 surfaces have infinite free abelian subgroup in their diffeomorphism group.

Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. We show that every homogeneous quasi-morphism on the identity component $Diff_0(M,vol)$ of the group of volume preserving diffeomorphisms of M, which is induced by a quasi-morphism on the fundamental group, is Li…

The paper examines the boundedness of bundle diffeomorphism groups over a circle.

We discuss boundedness and distortion in transformation groups. We show that the groups $\mathrm{Diff}^r_0(\mathbb{R}^n)$ and $\mathrm{Diff}^r(\mathbb{R}^n)$ have the strong distortion property, whenever $0 \leq r \leq \infty, r \neq n+1$. This implies in particular that every abstract length function on these groups i…

This paper extends quasimorphism results to nonorientable surfaces.

The paper provides a differential form interpretation of a theorem about the dimensions of rational homotopy groups of Diff(D^4).

The paper solves the Nielsen realization problem for high degree del Pezzo surfaces.

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

New invariant detects more elements in 4D diffeomorphism group.

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in $π_*\mathrm{Diff}(S^4)\otimes \mathbb{Q}$ parametrized by trivalent graphs. As a corollary of…

New topological realization of Kontsevich graph complex for large dimensions.

We propose a fully distributed actor-critic algorithm approximated by deep neural networks, named \textit{Diff-DAC}, with application to single-task and to average multitask reinforcement learning (MRL). Each agent has access to data from its local task only, but it aims to learn a policy that performs well on average …

We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal commutative bidifferential algebra. From a more conceptual point of view, differentia…

Deformation quantization yields a new moment map on symplectic diffeomorphisms.

Finite type for 3-manifolds with boundary.

Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$, ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$, ${\operatorname{Diff}}{\mathcal{S}}{}_…

For a Heegaard surface F in a closed orientable 3-manifold M, H(M,F) = Diff(M)/Diff(M,F) is the space of Heegaard surfaces equivalent to the Heegaard splitting (M,F). Its path components are the isotopy classes of Heegaard splittings equivalent to (M,F). We describe H(M,F) in terms of Diff(M) and the Goeritz group of (…

Study shows automorphism groups of certain hyperbolic manifolds are infinitely generated.

The study examines flat S1-bundles and their homology groups, focusing on analytic vs smooth conditions.

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of compactly supported diffeomorphisms on 1- manifolds. We show that all such actions…

We construct non-trivial elements of order 2 in the homotopy groups $π_{8j+1+*} Diff(D^6,\partial)$, for * congruent 1 or 2 modulo 8, which are detected by the "assembling homomorphism" (giving rise to the Gromoll filtration), followed by the alpha-invariant in $KO_*=Z/2$. These elements are constructed by means of Mor…

We show the triviality of representations of the mapping class group of a genus $g$ surface in $GL(n,C), Diff(S^2)$ and $Homeo(T^2)$ when appropriate restrictions on the genus $g$ and the size of $n$ hold. For example, if $S_g$ is a surface of finite type and $φ: MCG(S_g) \to GL(n,C)$ is a homomorphism, then $φ$ is tri…

Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is not virtually metabelian, then $(G\times\mathbb{Z})*\mathbb{Z}$ is not realized …

Let ${\cal D}^k$ be the space of $k$-th order linear differential operators on ${\bf R}$: $A=a_k(x)\frac{d^k}{dx^k}+\cdots+a_0(x)$. We study a natural 1-parameter family of $\Diff(\bf R)$- (and $\Vect(\bf R)$)-modules on ${\cal D}^k$. (To define this family, one considers arguments of differential operators as tensor-d…

We provide explicit, simple, geometric formulas for free involutions rho of Euclidean spheres that are not conjugate to the antipodal involution. Therefore the quotient S^n/rho is a manifold that is homotopically equivalent but not diffeomorphic to RP^n. We use these formulas for constructing explicit non-trivial eleme…