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.

In this article we give necessary and sufficient conditions for an irreducible K¨ahler C-space with b2 = 1 to have nonnegative or positive quadratic bisectional curvature, assuming the space is not Hermitian symmetric. In the cases of the five exceptional Lie groups E6,E7,E8, F4,G2, the computer package MAPLE is used to assist our calculations. The results are related to two conjectures of Li-Wu-Zheng.

We show that any star-shaped convex hypersurface with constantWeingarten curvature in the deSitter-Schwarzschildmanifold is a sphere of symmetry.Moreover, we study an isoperimetric problem for bounded domains in the doubled Schwarzschild manifold. We prove the existence of an isoperimetric surface for any value of the enclosed volume, and we completely describe the isoperimetric surfaces for very large enclosed volume. This complements work in H. Bray’s thesis, where isoperimetric surfaces homologous to the horizon are studied.

We prove flatness of complete Riemannian planes and cylinders without conjugate points under optimal conditions on the area growth.

This work uncovers the tropical analogue, for measured laminations, of the convex hull construction in decorated Teichm¨uller theory; namely, it is a study in coordinates of geometric degeneration to a point of Thurston’s boundary for Teichm¨uller space. This may offer a paradigm for the extension of the basic cell decomposition of Riemann’s moduli space to other contexts for general moduli spaces of flat connections on a surface. In any case, this discussion drastically simplifies aspects of previous related studies as is explained. Furthermore, a new class of measured laminations relative to an ideal cell decomposition of a surface is discovered in the limit. Finally, the tropical analogue of the convex hull construction inMinkowski space is formulated as an explicit algorithm that serially simplifies a triangulation with respect to a fixed lamination and has its own independent interest.

We give a complete classification of irreducible symmetric spaces for which there exist proper SL(2,R)-actions as isometries, using the criterion for proper actions by T. Kobayashi [Math. Ann. ’89] and combinatorial techniques of nilpotent orbits. In particular, we classify irreducible symmetric spaces that admit surface groups as discontinuous groups, combining this with Benoist’s theorem [Ann. Math. ’96].

In this paper, we investigate the geometric properties of random hyperbolic surfaces of large genus. We describe the relationship between the behavior of lengths of simple closed geodesics on a hyperbolic surface and properties of the moduli space of such surfaces. First, we study the asymptotic behavior of Weil-Petersson volume Vg,n of the moduli spaces of hyperbolic surfaces of genus g with n punctures as g → ∞. Then we discuss basic geometric properties of a random hyperbolic surface of genus g with respect to the Weil-Petersson measure as g → ∞.

We study the mean curvature evolution of smooth, closed, twoconvex hypersurfaces in Rn+1 for n ≥ 3.Within this framework we effect a reconciliation between the flow with surgeries—recently constructed by Huisken and Sinestrari in [HS3]—and the wellknown weak solution of the level-set flow: we prove that the two solutions agree in an appropriate limit of the surgery parameters and in a precise quantitative sense. Our proof relies on geometric estimates for certain Lp-norms of the mean curvature which are of independent interest even in the setting of classicalmean curvature flow. We additionally show how our construction can be used to pass these estimates to limits and produce regularity results for the weak solution.

We prove a 2-categorical analogue of a classical result of Drinfeld: there is a one-to-one correspondence between connected, simply connected Poisson Lie 2-groups and Lie 2-bialgebras. In fact, we also prove that there is a one-to-one correspondence between connected, simply connected quasi-Poisson 2-groups and quasi-Lie 2-bialgebras. Our approach relies on a “universal lifting theorem” for Lie 2-groups: an isomorphism between the graded Lie algebras of multiplicative polyvector fields on the Lie 2-group on one hand and of polydifferentials on the corresponding Lie 2-algebra on the other hand.

On the manifoldM(M) of all Riemannian metrics on a compact manifold M, one can consider the natural L2-metric as described first by [11]. In this paper we consider variants of this metric, which in general are of higher order. We derive the geodesic equations; we show that they are well-posed under some conditions and induce a locally diffeomorphic geodesic exponential mapping. We give a condition when Ricci flow is a gradient flow for one of these metrics.

We study the isoperimetric structure of asymptotically flat Riemannian 3-manifolds (M, g) that are C0-asymptotic to Schwarzschild of mass m > 0. Refining an argument due to H. Bray, we obtain an effective volume comparison theorem in Schwarzschild. We use it to show that isoperimetric regions exist in (M, g) for all sufficiently large volumes, and that they are close to centered coordinate spheres. This implies that the volume-preserving stable constant mean curvature spheres constructed by G. Huisken and S.-T. Yau as well as R. Ye as perturbations of large centered coordinate spheres minimize area among all competing surfaces that enclose the same volume. This confirms a conjecture of H. Bray. Our results are consistent with the uniqueness results for volumepreserving stable constant mean curvature surfaces in initial data sets obtained by G. Huisken and S.-T. Yau and strengthened by J. Qing and G. Tian. The additional hypotheses that the surfaces be spherical and far out in the asymptotic region in their results are not necessary in our work.

We consider complex projective space with its Fubini–Study metric and the X-ray transform defined by integration over its geodesics. We identify the kernel of this transform acting on symmetric tensor fields.

In the first paper of this series, “Electrodynamics and the Gauss Linking Integral on the 3-sphere and in Hyperbolic 3-space,” we developed a steady-state version of classical electrodynamics in these two spaces, including explicit formulas for the vector-valued Green’s operator, explicit formulas of Biot-Savart type for the magnetic field, and a corresponding Amp`ere’s Law contained in Maxwell’s equations, and then used these to obtain explicit inte- gral formulas for the linking number of two disjoint closed curves. In this second paper, we obtain integral formulas for twisting, writhing, and helicity, and prove that link = twist + writhe on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces. An announcement of these results, and a hint of their proofs, can be found in the Math ArXiv, math.GT/0406276, while an expanded version of the first paper, with full proofs, can be found at math.GT/0510388.

The dimension datum of a subgroup of a compact Lie group is a piece of spectral information about that subgroup. We find some new invariants and phenomena of the dimension data and apply them to construct the first example of a pair of isospectral, simply connected closed Riemannian manifolds which are of different homotopy types. We also answer questions proposed by Langlands.

We prove a surgery formula for the smooth Yamabe invariant σ(M) of a compact manifold M. Assume that N is obtained from M by surgery of codimension at least 3. We prove the existence of a positive constant n, depending only on the dimension n of M, such that.

We prove the existence of a smooth minimizer of the Willmore energy in the class of conformal immersions of a given closed Riemann surface into IRn, n = 3, 4, if there is one conformal immersion with Willmore energy smaller than a certain bound Wn,p depending on codimension and genus p of the Riemann surface. For tori in codimension 1, we know W3,1 = 8 .

In this paper we first introduce a transform for convex functions and use it to prove a Bernstein theorem for a Monge-Amp`ere equation in half space.We then prove the optimal global regularity for a class of Monge-Amp`ere type equations arising in a number of geometric problems such as Poincar´e metrics, hyperbolic affine spheres, and Minkowski type problems.