Related papers: Automatic continuity of Polynomial maps and cocycl…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

The duality theorem of Lass relates the matching polynomials of a simple graph $G$ with the matching polynomials of its complement $\bar G$. In particular, this relation gives rise to Godsil's result, which offers a nice interpretation of…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

The main result of this article is: THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore,…

Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and…

The lifted horn map of a holomorphic function with a simple parabolic point is well known to be a complete local conjugacy invariant; this is a classical result proved independently by \'Ecalle, Voronin, Martinet and Ramis. Lanford and…

We prove that for any given modulus of continuity {\omega} there exist (uncountably many) C1 uniformly expanding maps of the circle whose derivatives have $C^1$ as an optimal modulus of continuity and which preserve an invariant probability…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

We call an algebra $A$ commutator-simple if $[A,A]$ does not contain nonzero ideals of $A$. After providing several examples, we show that in these algebras derivations are determined by a condition that is applicable to the study of local…

The purpose of this paper is to initiate a theory concerning the dynamics of asymptotically holomorphic polynomial-like maps. Our maps arise naturally as deep renormalizations of asymptotically holomorphic extensions of $C^r$ ($r>3$)…

Given a Banach space $X$ and $d\in \mathbb{N}$, we construct a metric space $\mathbb{V}_X^d$ with the property that every $d$-homogeneous polynomial defined on $X$ factors through a Lipschitz map on it. We prove that the metric on…

We study algebraic properties on a group G such that if the discrete group G has these properties then every locally compact shift continuous topology on G with adjoined zero is either compact, or discrete. We introduce electorally flexible…

The assignment of local observables in the vacuum sector, fulfilling the standard axioms of local quantum theory, is known to determine uniquely a compact group G of gauge transformations of the first kind together with a central involutive…

We show that any measurable solution of the cohomological equation for a H\"older linear cocycle over a hyperbolic system coincides almost everywhere with a H\"older solution. More generally, we show that every measurable invariant…

A polynomial automorphism of $\mathbb{A}^n$ over a field of characteristic zero is called co-tame if, together with the affine subgroup, it generates the entire tame subgroup. We prove some new classes of automorphisms, including…

Let K[x,y] be the algebra of two-variable polynomials over a field K. A polynomial p=p(x, y) is called a test polynomial (for automorphisms) if, whenever \phi(p)=p for a mapping \phi of K[x,y], this \phi must be an automorphism. Here we…

If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the…

We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…

We confirm a conjecture of Friedland and Milnor: if two polynomial automorphisms f and g in Aut(C^2) with dynamical degree >1 are conjugate by some holomorphic diffeomorphism \phi of C^2, then \phi is a polynomial automorphism; thus, f and…