MathSciDoc: An Archive for Mathematician ∫

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 show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the kth mean curvature, for k greater than 2, as we construct the counterexamples for all k greater than 2. Our proof relies on a new geometric argument which relates the scalar curvature and mean curvature of a hypersurface to the mean curvature of the level sets of a height function. By extending the argument, we show that complete noncompact asymptotically flat hypersurfaces with nonnegative scalar curvature are weakly mean convex and prove the positive mass theorem for such hypersurfaces in all dimensions.

In the general, this article addresses the nature of, and relation between, canonical and log-canonical singularities of foliations by curves. The case of equivariance under a finite group action has several peculiarities, amongst which are examples from dimension 3 onward where no birational modification can be both Gorenstein and log-canonical. The article in the specific, i.e. a functorial resolution algorithm for foliated 3-folds in the 2-category of Deligne-Mumford champs, is thus not only optimal but natural.

We show that a properly immersed minimal hypersurface in M × R+ equals some M×{c} when M is a complete, recurrent ndimensional Riemannian manifold with bounded curvature. If on the other hand,M is not necessarily recurrent but has nonnegative Ricci curvature with curvature bounded below, the same result holds for any positive entire minimal graph over M.

Strongly pseudoconvex CR manifolds are boundaries of Stein varieties with isolated normal singularities.We prove that any nonconstant CR morphism between two (2n.1)-dimensional strongly pseudoconvex CR manifolds lying in an n-dimensional Stein variety with isolated singularities are necessarily a CR biholomorphism. As a corollary, we prove that any nonconstant self map of (2n . 1)-dimensional strongly pseudoconvex CR manifold is a CR automorphism. We also prove that a finite ′etale covering map between two resolutions of isolated normal singularities must be an isomorphism.

We give a shorter proof of the existence of nontrivial closed minimal hypersurfaces in closed smooth (n + 1)-dimensional Riemannian manifolds, a theorem proved first by Pitts for 2 ≤ n ≤ 5 and extended later by Schoen and Simon to any n.

We introduce a natural generalization of marginally outer trapped surfaces, called immersed marginally outer trapped surfaces, and prove that three-dimensional asymptotically flat initial data sets either contain such surfaces or are diffeomorphic to R^3. We establish a generalization of the Penrose singularity theorem which shows that the presence of an immersed marginally outer trapped surface generically implies the null geodesic incompleteness of any spacetime that satisfies the null energy condition and which admits a non-compact Cauchy surface. Taken together,these results can be viewed as an initial data version of the Gannon-Lee singularity theorem. The first result is a non-timesymmetric version of a theorem ofMeeks-Simon-Yau which implies that every asymptotically flat Riemannian 3-manifold that is not diffeomorphic to R^3 contains an embedded stable minimal surface. We also obtain an initial data version of the spacetime principle of topological censorship. Under physically natural assumptions, a 3-dimensional asymptotically flat initial data set with marginally outer trapped boundary and no immersed marginally outer trapped surfaces in its interior is diffeomorphic to R^3 minus a finite number of open balls. An extension to higher dimensions is also discussed.

We show that the first Johnson subgroup of the mapping class group of a surface  of genus greater than 1 acts ergodically on the moduli space of representations of π1() in SU2. Our proof relies on a local description of the latter space around the trivial representation and on the Taylor expansion of trace functions.

For two nearby disjoint coassociative submanifolds C and C′ in a G2-manifold, we construct thin instantons with boundaries lying on C and C′ from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.

We discuss a sharp lower bound for the first positive eigenvalue of the sublaplacian on a closed, strictly pseudoconvex pseudohermitian manifold of dimension 2m + 1 ≥ 5. We prove that the equality holds iff the manifold is equivalent to the CR sphere up to a scaling. For this purpose, we establish an Obata-type theorem in CR geometry that characterizes the CR sphere in terms of a nonzero function satisfying a certain overdetermined system. Similar results are proved in dimension 3 under an additional condition.