Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

Characterizations of hypersurfaces of a Danielewski type

Let k$k$ be a field of characteristic zero and R$R$ a factorial affine k$k$-domain. Let B$B$ be an affineR$R$-domain. In terms of locally nilpotent derivations, we give criteria for B$B$ to be R$R$-isomorphic to the residue ring of a polynomial ring R[_X1,_X2,Y]$R[X_1,X_2,Y]$ over R$R$ by the ideal (_X1X2−φ(Y))$(X_1{X}_2-\phi \left(Y\right))$ for φ(Y)∈R[Y]?R$\phi \left(Y\right)\in R\left[Y\right]?R$.     

Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra

In the present paper we consider the Volterra integration operator V   on the Wiener algebra W(D)$W(\mathbb{D})$ of analytic functions on the unit disc D$\mathbb{D}$ of the complex plane C$\mathbb{C}$. A complex number λ$\lambda$ is called an extended eigenvalue of V if there exists a nonzero operator A   satisfying the equation AV=λVA$\mathit{AV}=\lambda \mathit{VA}$. We prove that the set of all extended eigenvalues of V   is precisely the set C?{0}$\mathbb{C}?\{0\}$, and describe in terms of Duhamel operators and composition operators the set of corresponding extended eigenvectors of V$V$. The similar result for some weighted shift operator on _?p${?}_p$ spaces is also obtained.     

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

A quasiplane f(V)$f(V)$ is the image of an n-dimensional Euclidean subspace V   of R^N${\mathbb{R}}^N$ (1≤n≤N−1$1\le n\le N-1$) under a quasiconformal map f:R^N→R^N$f:{\mathbb{R}}^N\to {\mathbb{R}}^N$. We give sufficient conditions in terms of the weak quasisymmetry constant of the underlying map for a quasiplane to be a bi-Lipschitz n  -manifold and for a quasiplane to have big pieces of bi-Lipschitz images of Rⁿ${\mathbb{R}}^n$. One main novelty of these results is that we analyze quasiplanes in arbitrary codimension N−n$N-n$. To establish the big pieces criterion, we prove new extension theorems for “almost affine” maps, which are of independent interest. This work is related to investigations by Tukia and Väisälä on extensions of quasisymmetric maps with small distortion.     

Finiteness conditions on the Yoneda algebra of a monomial algebra

Let A$A$ be a connected graded noncommutative monomial algebra. We associate to A$A$ a finite graph Γ(A)$\Gamma \left(A\right)$ called the CPS graph of A$A$. Finiteness properties of the Yoneda algebra Ext_A(k,k)${\text{Ext}}_A(k,k)$ including Noetherianity, finite GK dimension, and finite generation are characterized in terms of Γ(A)$\Gamma \left(A\right)$. We show that these properties, notably finite generation, can be checked by means of a terminating algorithm.     

Structural instability of cookie-cutter sets

It is proved that the cookie-cutter set in R$\mathbb{R}$ is structurally instable in C¹$C^1$ topology, that means for the invariant set E$E$ of the IFS _{fi}i${\left\{f_i\right\}}_i$, we can always perturb _{fi}i${\left\{f_i\right\}}_i$ arbitrarily small in C¹$C^1$ topology to provide an IFS _{gi}i${\left\{g_i\right\}}_i$ with its invariant set F$F$, such that _dimHE=_dimHF${dim}_{H}E={dim}_{H}F$ and E,F$E,F$ are not Lipschitz equivalent.     

Consistency,optimality, and incompleteness

Assume that the problem _P0$P_0$ is not solvable in polynomial time. Let T   be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{_ConT}$T\cup \{{\mathit{Con}}_T\}$ as the minimal extension of T   proving for some algorithm that it decides _P0$P_0$ as fast as any algorithm B$\mathbb{B}$ with the property that T   proves that B$\mathbb{B}$ decides _P0$P_0$. Here, _ConT${\mathit{Con}}_T$ claims the consistency of T. As a byproduct, we obtain a version of Gödel?s Second Incompleteness Theorem. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.     

Positional graphs and conditional structure of weakly null sequences

We prove that, unless assuming additional set theoretical axioms, there are no reflexive spaces without unconditional sequences of the density continuum. We show that for every integer n$n$ there are normalized weakly-null sequences of length _ωn${\omega }_n$ without unconditional subsequences. This together with a result of Dodos et al. (2011) [7] shows that _ωω${\omega }_{\omega }$ is the minimal cardinal κ$\kappa$ that could possibly have the property that every weakly null κ$\kappa$-sequence has an infinite unconditional basic subsequence. We also prove that for every cardinal number κ$\kappa$ which is smaller than the first ω$\omega$-Erd?s cardinal there is a normalized weakly-null sequence without subsymmetric subsequences. Finally, we prove that mixed Tsirelson spaces of uncountable densities must always contain isomorphic copies of either _c0$c_0$ or _?p${?}_p$, with p≥1$p\ge 1$.     

On multilinear polynomials in four variables evaluated on matrices

Let K   be an algebraically closed field of characteristic 0 and let _Mn(K)$M_n(K)$, n?3$n?3$, be the matrix ring over K  . We will show that the image of any multilinear polynomial in four variables evaluated on _Mn(K)$M_n(K)$ contains all matrices of trace 0.     

Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.