Related papers: On automorphisms of $\mathcal P(\lambda)/[\lambda]…

Let f be a dominant rational map of P^k such that there exists s <k, with lambda_s(f)>lambda_l(f) for all l. Under mild hypotheses, we show that, for A outside a pluripolar set of the group of automorphisms of P^k, the map f o A admits a…

We give an arithmetical proof of the strong normalization of the $\lambda$-calculus (and also of the $\lambda\mu$-calculus) where the type system is the one of simple types with recursive equations on types. The proof using candidates of…

Motivated by recent problems regarding the symmetry of Hecke algebras, we investigate the symmetry of the endomorphism algebra $E_P(M)$ for $P$ a $p$-group and $M$ a $kP$-module with $k$ a field of characteristic $p$. We provide a complete…

We consider compact invariant sets \Lambda for C^{1} maps in arbitrary dimension. We prove that if \Lambda contains no critical points then there exists an invariant probability measure with a Lyapunov exponent \lambda which is the minimum…

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

In the first part of the article, we consider the conjecture of K. Buzzard and T. Gee proposing that every C-algebraic automorphic representation is C-arithmetic, and we show that it can be reduced to the the analogous statement for…

We give a characterization, with respect to a large class of models of untyped $\lambda$-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is $\mathcal{H}^*$. An extensional K-model $D$…

Let $(\mathcal{K} ,\subseteq )$ be a universal class with $LS(\mathcal{K})=\lambda$ categorical in regular $\kappa >\lambda^+$ with arbitrarily large models, and let $\mathcal{K}^*$ be the class of all $\mathcal{A}\in\mathcal{K}_{>\lambda}$…

The superextension $\lambda(X)$ of a set $X$ consists of all maximal linked families on $X$. Any associative binary operation $*: X\times X \to X$ can be extended to an associative binary operation $*:…

Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some…

In this paper, we prove that every invertible $2$-local or local automorphism of a simple generalized Witt algebra over any field of characteristic $0$ is an automorphism. In particular, every $2$-local or local automorphism of Witt…

We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b…

Simple algebraic groups of type $F_4$ defined over a field $k$ are the full automorphism groups of Albert algebras over $k$. Let $A$ be an Albert algebra over a field $k$ of arbitrary characteristic. We prove that there is an isotope…

Main Theorem (3.3): Let $M$ be a compact four-dimensional manifold either with curvature, positive on complex isotropic two-planes, or self-dual of positive scalar curvature. If $\pi_1 (M)$ admits a nontrivial unitary representation, and…

We prove the dynamical Manin-Mumford conjecture for regular polynomial maps of A^2 and irreducible curves avoiding super-attracting orbits at infinity, over any field of characteristic 0.

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following:…

Let $\Lambda$ be an isolated non-trival transitive set of a $C^1$ generic diffeomorphism $f\in\Diff(M)$. We show that the space of invariant measures supported on $\Lambda$ coincides with the space of accumulation measures of time averages…

We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $\beta X\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a…

We prove in most cases that a general smooth complete intersection in the projective space has no non-trivial automorphisms.

We show that for every "locally finite" unit-preserving completely positive map P acting on a C*-algebra, there is a corresponding *-automorphism \alpha of another unital C*-algebra such that the two sequences P, P^2,P^3,... and \alpha,…