arXiv research

New topological realization of Kontsevich graph complex for large dimensions.

Authors compute fundamental groups for a specific topological group.

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

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

Study controllability of diffeomorphisms of simple polytopes.

New invariant detects more elements in 4D diffeomorphism group.

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…

Study detects non-trivial elements in diffeomorphism groups via trivalent graphs.

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

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…

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

Study constraints on diffeomorphisms and homeomorphisms of 4-manifolds with boundary.

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…

Derivative map for disk diffeomorphisms induces nontrivial homotopy groups.

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.

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…

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

Let $Q$ be a smooth compact orientable 3--manifold with smooth boundary $\partial Q$. Let $\mathcal{B}$ be the set of exact 2--forms $B\inΩ^2(Q)$ such that $j_{\partial Q}^*B=0$, where $j_{\partial Q}:{\partial Q}\to Q$ is the inclusion map. The group $\mathcal{D}=\mathrm{Diff}_0(Q)$ of self-diffeomorphisms of $Q$ isot…

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

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

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),…

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

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.

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…

Study maps 4-manifolds with 1-handles, revealing infinite rank centers.

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…

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

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.

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.

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…

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

The paper studies pseudo-isotopies of spherical 3-manifolds and computes ranks of certain groups.