Related papers: Smooth integrability of diffeomorphisms
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
We show that there exist infinite-dimensional quasi-flats in the compactly supported Hamiltonian diffeomorphism group of the Liouville domain, with respect to the spectral norm, if and only if the symplectic cohomology of this Liouville…
In a recent paper by the author (K. Yagasaki, Nonintegrability of the restricted three-body problem, submitted for publication), a technique was developed for determining whether nearly integrable systems are not meromorphically…
We study the topology of the space of all smooth asymptotically stable vector fields on $\mathbb{R}^n$, as well as the space of all proper smooth Lyapunov functions for such vector fields. We prove that both spaces are path-connected and…
Let $M$ be an $m$-dimensional differentiable manifold with a nontrivial circle action ${\mathcal S}= {\lbrace S_t \rbrace}_{t \in\RR}, S_{t+1}=S_t$, preserving a smooth volume $\mu$. For any Liouville number $\a$ we construct a sequence of…
We prove a recent conjecture of Dragovic et al arXiv2504.20515 stating that the magnetic geodesic flow on the standard sphere $S^n\subset \mathbb R^{n+1}$ whose magnetic 2-form is the restriction of a constant 2-form from $\mathbb{R}^{n+1}$…
We consider possible generation of singularities of a vector field transported by diffeomorphisms with derivatives of uniformly bounded determinants. A particular case of volume preserving diffeomrphism is the most important, since it has…
Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this…
In this article, we characterize the distortion elements of the group of smooth diffeomorphisms of the circle and of the group of compactly supported smooth diffeomorphisms of the real line. More precisely, we prove that, in this context,…
We prove the transitivity of real Anosov diffeomorphisms, which are Anosov diffeomorphisms where stable and unstable spaces decompose into a continuous sum of invariant one-dimensional sub-spaces with uniform contraction/expansion over the…
This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion…
For any toric automorphism with only real eigenvalues a Riemannian metric with an integrable geodesic flow on the suspension of this automorphism is constructed. A qualitative analysis of such a flow on a three-solvmanifold constructed by…
This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…
In this paper we introduce Besov-type spaces with variable smoothness and integrability. We show that these spaces are characterized by the $\varphi $-transforms in appropriate sequence spaces and we obtain atomic decompositions for these…
We establish the Liouville integrability of the differential equation $\dot S(t)= [N,S^2(t)],$ recently considered by Bloch and Iserles. Here, $N$ is a real, fixed, skew-symmetric matrix and $S$ is real symmetric. The equation is realized…
In this paper we study the diffeomorphism centralizer of a vector field: given a vector field it is the set of diffeomorphisms that commutes with the flow. Our main theorem states that for a $C^1$-generic diffeomorphism having at most…
In this paper, we establish Liouville-type theorems for the steady compressible Navier-Stokes system. Assuming a smooth solution \(u \in L^p(\mathbb{R}^3)\), \(3 \le p \le \frac{9}{2}\), with bounded density, one obtains \(u \equiv0\). This…
A skew-morphism $\varphi$ of a finite group $A$ is a permutation on $A$ such that $\varphi(1)=1$ and $\varphi(xy)=\varphi(x)\varphi^{\pi(x)}(y)$ for all $x,y\in A$ where $\pi:A\to\mathbb{Z}_{|\varphi|}$ is an integer function. A…
We show that on any smooth compact connected manifold of dimension $m\geq 2$ admitting a smooth non-trivial circle action $\mathcal{S} = \left\{S_t\right\}_{t \in \mathbb{R}}$, $S_{t+1}=S_t$, the set of weakly mixing…
In this paper we construct smooth cuspidal automorphic forms related to integrable discrete series of a connected semisimple Lie group with finite center for classical and adelic situation as an application of the theory of Schwartz spaces…