Geometric and Functional Analysis最新文献

We prove that if A is a non-separable abelian tracial von Neuman algebra then its free powers A^∗n,2≤n≤∞, are mutually non-isomorphic and with trivial fundamental group, (mathcal{F}(A^{*n})=1), whenever 2≤n<∞. This settles the non-separable version of the free group factor problem.

We prove the existence of a unique complete shrinking gradient Kähler-Ricci soliton with bounded scalar curvature on the blowup of (mathbb{C}times mathbb{P}^{1}) at one point. This completes the classification of such solitons in two complex dimensions.

We prove a far-reaching generalization of Rickman’s Picard theorem for a surprisingly large class of mappings, based on the recently developed theory of quasiregular values. Our results are new even in the planar case.

Abstract

We exhibit a group of type F whose second cohomology contains a weakly bounded, but not bounded, class. As an application, we disprove a long-standing conjecture of Gromov about bounded primitives of differential forms on universal covers of closed manifolds.

We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and—for almost all primes p—(mathbb{F} _{p})-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic 7-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.

We show that if a hyperbolic 3-manifold admits a partially hyperbolic diffeomorphism then it also admits an Anosov flow. Moreover, we give a complete classification of partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds as well as partially hyperbolic diffeomorphisms in Seifert manifolds inducing pseudo-Anosov dynamics in the base. This classification is given in terms of the structure of their center (branching) foliations and the notion of collapsed Anosov flows.

A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new for isometries of convex sets of Banach spaces as well as for non-locally compact CAT(0)-spaces and injective spaces. Examples of actions on non-proper CAT(0)-spaces come from the study of diffeomorphism groups, birational transformations, and compact Kähler manifolds. A special case of the fixed point theorem provides a novel mean ergodic theorem that in the Hilbert space case implies von Neumann’s theorem. The theorem accommodates classically fixed-point-free isometric maps such as those of Kakutani, Edelstein, Alspach and Prus. Moreover, from the main theorem together with some geometric arguments of independent interest, one can deduce that every bounded invertible operator of a Hilbert space admits a nontrivial invariant metric functional on the space of positive operators. This is a result in the direction of the invariant subspace problem although its full meaning is dependent on a future determination of such metric functionals.

Abstract

Avila’s Almost Reducibility Conjecture (ARC) is a powerful statement linking purely analytic and dynamical properties of analytic one-frequency (SL(2,{mathbb{R}})) cocycles. It is also a fundamental tool in the study of spectral theory of analytic one-frequency Schrödinger operators, with many striking consequences, allowing to give a detailed characterization of the subcritical region. Here we give a proof, completely different from Avila’s, for the important case of Schrödinger cocycles with trigonometric polynomial potentials and non-exponentially approximated frequencies, allowing, in particular, to obtain all the desired spectral consequences in this case.

We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let (X,Y subset mathbb{R}^{2}) be non-empty Borel sets. If X is not contained in any line, we prove that

If dim_HY>1, we have the following improved lower bound:

Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck’s theorem in combinatorial geometry: if (X subset mathbb{R}^{2}) is a Borel set with the property that dim_H(X ∖ ℓ)=dim_HX for all lines (ell subset mathbb{R}^{2}), then the line set spanned by X has Hausdorff dimension at least min{2dim_HX,2}.

While the results above concern (mathbb{R}^{2}), we also derive some counterparts in (mathbb{R}^{d}) by means of integralgeometric considerations. The proofs are based on an ϵ-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.

We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar d-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.

Given a Borel set A in the plane, we study the set of exceptional vantage points, for which the pinned distance Δ_p(A) has small dimension, that is, close to (dimA)/2. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if ϕ₁, ϕ₂, ϕ₃ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if A is a (δ,α)₂-set in the sense of Katz and Tao, then at least one of the images ϕ_i(A) must have measure much larger than |A|^1/2, where |A| stands for the measure of A. We prove analogous results for d smooth functions ϕ₁,…,ϕ_d, whose associated d-web is not parallelizable.

We use similar tools to characterize when bivariate real analytic functions are “dimension expanding” when applied to a Cartesian product: if P is a bivariate real analytic function, then P is either locally of the form h(a(x)+b(y)), or P(A,B) has dimension at least α+c whenever A and B are Borel sets with Hausdorff dimension α. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.