Related papers: Godel Diffeomorphisms

The first part of this paper develops a geometric setting for differential-difference equations that resolves an open question about the extent to which continuous symmetries can depend on discrete independent variables. For general…

Diffeomorphism-induced symmetry transformations and time evolution are distinct operations in generally covariant theories formulated in phase space. Time is not frozen. Diffeomorphism invariants are consequently not necessarily constants…

For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of…

We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces,…

Let K be an algebraically closed field of prime characteristic p, let X be a semiabelian variety defined over a finite subfield of K, let f be a regular self-map on X defined over K, let V be a subvariety of X defined over K, and let x be a…

Let $G$ be a group with undecidable domino problem, such as $\mathbb{Z}^2$. We prove that all nontrivial dynamical properties for sofic $G$-subshifts are undecidable, that this is not true for $G$-SFTs, and an undecidability result for…

One main task of smooth dynamical systems consists in finding a good decomposition into elementary pieces of the dynamics. This paper contributes to the study of chain-recurrence classes. It is known that $C^1$-generically, each…

Let $X$ be a smooth projective variety over an algebraically closed field of arbitrary characteristic, and $f$ a dynamical correspondence of $X$. In 2016, the second author conjectured that the dynamical degrees of $f$ defined by the…

Following ideas of Bloch, Esnault, and Kerz, the deformational part of Grothendieck's variational Hodge conjecture is established for proper, smooth schemes over $K[[t]]$, where $K$ is an algebraic extension of the rational numbers. The…

For a ${\mathbb Z}^{d}$-topological dynamical system $(X, T, {\mathbb Z}^{d})$, an isomomorphism is a self-homeomorphism $\phi : X\to X$ such that for some matrix $M\in {\rm GL}(d,{\mathbb Z})$ and any ${n}\in {\mathbb Z}^{d}$, $\phi\circ…

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite…

The isomorphism type of the knot quandle introduced by Joyce is a complete invariant of tame knots. Whether two quandles are isomorphic is in practice difficult to determine; we show that this question is provably hard: isomorphism of…

We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…

We investigate the random dynamics of rational maps on the Riemann sphere and the dynamics of semigroups of rational maps on the Riemann sphere. We show that regarding random complex dynamics of polynomials, in most cases, the chaos of the…

A pitchfork bifurcation of an $(m-1)$-dimensional invariant submanifold of a dynamical system in $\mathbb{R}^m$ is defined analogous to that in $\mathbb{R}$. Sufficient conditions for such a bifurcation to occur are stated and existence of…

In rational dynamics, we prove the existence of a polynomial that satisfies the Topological Collet-Eckmann condition, but which has a recurrent critical orbit that is not Collet-Eckmann. This shows that the converse of the main theorem in…

Let k be an algebraically closed field of characteristic 0, let X=P^1\times A^N and let f be a rational endomorphism of X given by (x,y)--->(g(x), A(x)y), where g is a rational function, while A is an N-by-N matrix with entries in k(x). We…

One of basic difficulties of machine learning is handling unknown rotations of objects, for example in image recognition. A related problem is evaluation of similarity of shapes, for example of two chemical molecules, for which direct…

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures)…

We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite…