For any natural number$m$(>1) let$P$($m$) denote the greatest prime divisor of$m$. By the problem of Erdős in the title of the present paper we mean the general version of his problem, that is, his conjecture from 1965 that $$\frac{P(2^n-1)}{n} \to \infty \quad {\rm as}\, n \to \infty$$ (see Erdős [10]) and its far-reaching generalization to Lucas and Lehmer numbers. In the present paper the author delivers three refinements upon Yu [40] required by C. L. Stewart for solving completely the problem of Erdős (see Stewart [25]). The author gives also some remarks on the solution of this problem, aiming to be more streamlined with respect to the$p$-adic theory of logarithmic forms.

Let$u$_{$n$}be the$n$th term of a Lucas sequence or a Lehmer sequence. In this article we shall establish an estimate from below for the greatest prime factor of$u$_{$n$}which is of the form$n$exp(log$n$/104 log log$n$). In doing so, we are able to resolve a question of Schinzel from 1962 and a conjecture of Erdős from 1965. In addition we are able to give the first general improvement on results of Bang from 1886 and Carmichael from 1912.

We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function $${t \mapsto \mathop{\rm Tr}\exp(A-tB)}$$ , $${t \geqslant 0}$$ , is the Laplace transform of a positive measure on [0,∞) if$A$and$B$are $${n \times n}$$ Hermitian matrices and$B$is positive semidefinite. A semi-explicit representation for this measure is given.

We prove the so-called$unitary isotropy theorem$, a result on isotropy of a unitary involution. The analogous previously known results on isotropy of orthogonal and symplectic involutions as well as on hyperbolicity of orthogonal, symplectic, and unitary involutions are formal consequences of this theorem. A component of the proof is a detailed study of the quasi-split unitary grassmannians.

We study the critical Ising model on the square lattice in bounded simply connected domains with + and free boundary conditions. We relate the energy density of the model to a discrete fermionic correlator and compute its scaling limit by discrete complex analysis methods. As a consequence, we obtain a simple exact formula for the scaling limit of the energy field one-point function in terms of the hyperbolic metric. This confirms the predictions originating in physics, but also provides a higher precision.

We show that any embedded minimal torus in$S$^{3}is congruent to the Clifford torus. This answers a question posed by H. B. Lawson, Jr., in 1970.

We introduce$objective partial groups$, of which the linking systems and$p$-local finite groups of Broto, Levi, and Oliver, the transporter systems of Oliver and Ventura, and the $${\mathcal{F}}$$ -localities of Puig are examples, as are groups in the ordinary sense. As an application we show that if $${\mathcal{F}}$$ is a saturated fusion system over a finite$p$-group then there exists a centric linking system $${\mathcal{L}}$$ having $${\mathcal{F}}$$ as its fusion system, and that $${\mathcal{L}}$$ is unique up to isomorphism. The proof relies on the classification of the finite simple groups in an indirect and—for that reason—perhaps ultimately removable way.

The analyticity of the Stokes semigroup with the Dirichlet boundary condition is established in spaces of bounded functions when the domain occupied with fluid is bounded or more generally admissible which admits a special estimate for the Helmholtz decomposition. The proof is based on a blow-up argument. This is the first proof of the analyticity in spaces of bounded functions which was left open more than thirty years.

We present a version of a proof by Andy Chermak of the existence and uniqueness of centric linking systems associated with arbitrary saturated fusion systems. This proof differs from the one in [Ch2] in that it is based on the computation of derived functors of certain inverse limits. This leads to a much shorter proof, but one which is aimed mostly at researchers familiar with homological algebra.

In our previous paper “The primes contain arbitrarily long polynomial progressions” [$Acta Math$., 201 (2008), 213–305] there were some minor errors in our definition of the polynomial forms and polynomial correlation conditions, which is unreasonably strong as written due to the overly loose bound on the degree of the polynomials involved. In this erratum we repair this issue by capping the degree of the polynomials more strongly, and adjusting some other relevant components of the argument accordingly.

We prove that uniform random quadrangulations of the sphere with$n$faces, endowed with the usual graph distance and renormalized by$n$^{−1/4}, converge as$n$→$∞$in distribution for the Gromov–Hausdorff topology to a limiting metric space. We validate a conjecture by Le Gall, by showing that the limit is (up to a scale constant) the so-called$Brownian map$, which was introduced by Marckert–Mokkadem and Le Gall as the most natural candidate for the scaling limit of many models of random plane maps. The proof relies strongly on the concept of$geodesic stars$in the map, which are configurations made of several geodesics that only share a common endpoint and do not meet elsewhere.

We prove uniqueness of ground state solutions$Q$=$Q$(|$x$|) ≥ 0 of the non-linear equation $$(-\Delta)^s Q+Q-Q^{\alpha+1}= 0 \quad {\rm in} \, \mathbb{R},$$ where 0 <$s$< 1 and 0 <$α$< 4$s$/(1−2$s$) for $${s<\frac{1}{2}}$$ and 0 <$α$<$∞$for $${s\geq \frac{1}{2}}$$ . Here (−Δ)^{$s$}denotes the fractional Laplacian in one dimension. In particular, we answer affirmatively an open question recently raised by Kenig–Martel–Robbiano and we generalize (by completely different techniques) the specific uniqueness result obtained by Amick and Toland for $${s=\frac{1}{2}}$$ and$α$= 1 in [5] for the Benjamin–Ono equation.

We prove an extension theorem for effective purely log-terminal pairs ($X, S$+$B$) of non-negative Kodaira dimension $${\kappa (K_X+S+B)\ge 0}$$ . The main new ingredient is a refinement of the Ohsawa–Takegoshi$L$^{2}extension theorem involving singular Hermitian metrics.

In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If$P$is a simplicial$d$-polytope then its$h$-vector ($h$_{0},$h$_{1}, …,$h$_{$d$}) satisfies $$ {h_0}\leq {h_1}\leq \ldots \leq {h_{{\left\lfloor {{d \left/ {2} \right.}} \right\rfloor }}} $$ . Moreover, if$h$_{$r$−1}=$h$_{$r$}for some $$ r\leq \frac{1}{2}d $$ then$P$can be triangulated without introducing simplices of dimension ≤$d$−$r$.

The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the continuum hypothesis. This answers a longstanding problem of Shelah.

We consider$Thurston maps$, i.e., branched covering maps$f:S$^{2}→$S$^{2}that are$post-critically finite$. In addition, we assume that$f$is$expanding$in a suitable sense. It is shown that each sufficiently high iterate$F$=$f$^{$n$}of$f$is$semi-conjugate$to$z$^{$d$}:$S$^{1}→$S$^{1}, where$d$= deg F. More precisely, for such an$F$we construct a$Peano curve γ$:$S$^{1}→$S$^{2}(onto), such that$F$∘$γ$($z$) =$γ$($z$^{$d$}) (for all$z$∈$S$^{1}).

Let$k$be an algebraically closed field. We show that the Cremona group of all birational transformations of the projective plane $$ \mathbb{P}_{\mathbf{k}}^2 $$ is not a simple group. The strategy makes use of hyperbolic geometry, geometric group theory and algebraic geometry to produce elements in the Cremona group that generate non-trivial normal subgroups.

Woodin has demonstrated that, in the presence of large cardinals, there is a single model of ZFC which is maximal for Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈, NS_{$ω$1}), in the sense that its ($H$($ω$_{2}), ∈, NS_{$ω$1}) satisfies every Π_{2}-sentence$σ$for which ($H$($ω$_{2}), ∈, NS_{$ω$1}) ⊨$σ$can be forced by set-forcing. In this paper we answer a question of Woodin by showing that there are two Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈,$ω$_{1}) which can each be forced to hold along with the continuum hypothesis, but whose conjunction implies $$ {2^{{{\aleph_0}}}}={2^{{{\aleph_1}}}} $$ . In the process we establish that there are two preservation theorems for not introducing new real numbers by a countable support iterated forcing which cannot be subsumed into a single preservation theorem.

We give a complete proof of the Bers–Sullivan–Thurston density conjecture. In the light of the ending lamination theorem, it suffices to prove that any collection of possible ending invariants is realized by some algebraic limit of geometrically finite hyperbolic manifolds. The ending invariants are either Riemann surfaces or filling laminations supporting Masur domain measured laminations and satisfying some mild additional conditions. With any set of ending invariants we associate a sequence of geometrically finite hyperbolic manifolds and prove that this sequence has a convergent subsequence. We derive the necessary compactness theorem combining the Rips machine with non-existence results for certain small actions on real trees of free products of surface groups and free groups. We prove then that the obtained algebraic limit has the desired conformal boundaries and the property that none of the filling laminations is realized by a pleated surface. In order to be able to apply the ending lamination theorem, we have to prove that this algebraic limit has the desired topological type and that these non-realized laminations are ending laminations. That this is the case is the main novel technical result of this paper. Loosely speaking, we show that a filling Masur domain lamination which is not realized is an ending lamination.

The tip multifractal spectrum of a 2-dimensional curve is one way to describe the behavior of the uniformizing conformal map of the complement near the tip. We give the tip multifractal spectrum for a Schramm–Loewner evolution (SLE) curve, we prove that the spectrum is valid with probability 1, and we give applications to the scaling of harmonic measure at the tip.

We prove three new monotonicity formulas for manifolds with a lower Ricci curvature bound and show that they are connected to rate of convergence to tangent cones. In fact, we show that the derivative of each of these three monotone quantities is bounded from below in terms of the Gromov–Hausdorff distance to the nearest cone. The monotonicity formulas are related to the classical Bishop–Gromov volume comparison theorem and Perelman’s celebrated monotonicity formula for the Ricci flow. We will explain the connection between all of these.

We define an analogue of the Casimir element for a graded affine Hecke algebra $$ \mathbb{H} $$ , and then introduce an approximate square-root called the Dirac element. Using it, we define the Dirac cohomology$H$^{$D$}($X$) of an $$ \mathbb{H} $$ -module$X$, and show that$H$^{$D$}($X$) carries a representation of a canonical double cover of the Weyl group $$ \widetilde{W} $$ . Our main result shows that the $$ \widetilde{W} $$ -structure on the Dirac cohomology of an irreducible $$ \mathbb{H} $$ -module$X$determines the central character of$X$in a precise way. This can be interpreted as$p$-adic analogue of a conjecture of Vogan for Harish-Chandra modules. We also apply our results to the study of unitary representations of $$ \mathbb{H} $$ .

For any unital separable simple infinite-dimensional nuclear$C$^{∗}-algebra with finitely many extremal traces, we prove that $$ \mathcal{Z} $$ -absorption, strict comparison and property (SI) are equivalent. We also show that any unital separable simple nuclear$C$^{∗}-algebra with tracial rank zero is approximately divisible, and hence is $$ \mathcal{Z} $$ -absorbing.

No abstract uploaded!

We use techniques from both real and complex algebraic geometry to study$K$-theoretic and related invariants of the algebra$C$($X$) of continuous complex-valued functions on a compact Hausdorff topological space$X$. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if$M$is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and$X$is contractible, then every finitely generated projective module over$C$($X$)[$M$] is free. The particular case $$ M = \mathbb{N}_0^n $$ gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic$K$-theory of$C$($X$) follows from the particular case $$ M = {\mathbb{Z}^n} $$ . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on$C$^{*}-algebras, and for a homology theory of commutative algebras to vanish on$C$^{*}-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil$K$-theory implies that commutative$C$^{*}-algebras are$K$-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of$C$($X$). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.