We verify a conjecture of Lutwak, Yang, and Zhang about the equality case in the Orlicz-Petty projection inequality, and provide an essentially optimal stability version.

We consider manifolds with conic singularities that are isometric to Rn outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trapping polygons via a doubling process. The proof of the resolvent estimate relies on the propagation of singularities theorems of Melrose and the second author [23] to establish a “very weak” Huygens’ principle, which may be of independent interest. As applications of the estimate, we obtain a exponential local energy decay and a resonance wave expansion in odd dimensions, as well as a lossless local smoothing estimate for the Schr¨odinger equation.

We show that the pre-order defined on the category of contact manifolds by arbitrary symplectic cobordisms is considerably less rigid than its counterparts for exact or Stein cobordisms: in particular, we exhibit large new classes of contact 3-manifolds which are symplectically cobordant to something overtwisted, or to the tight 3-sphere, or which admit symplectic caps containing symplectically embedded spheres with vanishing self-intersection. These constructions imply new and simplified proofs of several recent results involving fillability, planarity, and non-separating contact type embeddings. The cobordisms are built from symplectic handles of the form Σ × D and Σ × [−1, 1] × S1, which have symplectic cores and can be attached to contact 3-manifolds along sufficiently large neighborhoods of transverse links and preLagrangian tori. We also sketch a construction of J-holomorphic foliations in these cobordisms and formulate a conjecture regarding maps induced on Embedded Contact Homology with twisted coefficients.

In this paper we study the analytic torsion and the L2-torsion of compact locally symmetric manifolds. We consider the analytic torsion with respect to representations of the fundamental group which are obtained by restriction of irreducible representations of the group of isometries of the underlying symmetric space. The main purpose is to study the asymptotic behavior of the analytic torsion with respect to sequences of representations associated to rays of highest weights.

The entropy of a hypersurface is a geometric invariant that measures complexity and is invariant under rigid motions and dilations. It is given by the supremum over all Gaussian integrals with varying centers and scales. It is monotone under mean curvature flow, thus giving a Lyapunov functional. Therefore, the entropy of the initial hypersurface bounds the entropy at all future singularities. We show here that not only does the round sphere have the lowest entropy of any closed singularity, but there is a gap to the second lowest.

Let G be a connected Lie group. We show that all characteristic classes of G are bounded—when viewed in the cohomology of the classifying space of the group G with the discrete topology—if and only if the derived group of the radical of G is simply connected in its Lie group topology. We also give equivalent conditions in terms of stable commutator length and distortion.

We give a local classification of generalized complex structures. About a point, a generalized complex structure is equivalent to a product of a symplectic manifold with a holomorphic Poisson manifold. We use a Nash-Moser type argument in the style of Conn’s linearization theorem.

A well-known conjecture of Yau states that the first eigenvalue of every closed minimal hypersurface Mn in the unit sphere S^(n+1)(1) is just its dimension n. The present paper shows that Yau conjecture is true for minimal isoparametric hypersurfaces. Moreover, the more fascinating result of this paper is that the first eigenvalues of the focal submanifolds are equal to their dimensions in the non-stable range.

A well-known result on pseudodifferential operators states that the noncommutative residue (Wodzicki residue) of a zero-order pseudodifferential projection on a closed manifold vanishes. This statement is non-local and implies the regularity of the eta invariant at zero of Dirac type operators. We prove that in the odd dimensional case an analogous statement holds for the algebra of projective pseudodifferential operators, i.e., the noncommutative residue of a projective pseudodifferential projection vanishes. Our strategy of proof also simplifies the argument in the classical setting. We show that the noncommutative residue factors to a map from the twisted K-theory of the co-sphere bundle and then use arguments from twisted K-theory to reduce this question to a known model case. It can then be verified by local computations that this map vanishes in odd dimensions.

The classification work [5], [8] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair {4, 5}, {6, 9}, or {7, 8} in the sphere. By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvatures and multiplicities {4, 5} in S19 is homogeneous, and, moreover, an isoparametric hypersurface with four principal curvatures and multiplicities {6, 9} in S31 is either the inhomogeneous one constructed by Ferus, Karcher, and M¨unzner, or the one that is homogeneous. This classification reveals the striking resemblance between these two rather different types of isoparametric hypersurfaces in the homogeneous category, even though the one with multiplicities {6, 9} is of the type constructed by Ferus, Karcher, and M¨unzner and the one with multiplicities {4, 5} stands alone. The quaternion and the octonion algebras play a fundamental role in their geometric structures. A unifying theme in [5], [8], and the present sequel to them is Serre’s criterion of normal varieties. Its technical side pertinent to our situation that we developed in [5], [8] and extend in this sequel is instrumental. The classification leaves only the case of multiplicity pair {7, 8} open.