MathSciDoc: An Archive for Mathematician ∫

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.

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 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.

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 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.

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 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.

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 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 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.