Inspired by the Gromov-Hausdorff distance, we define a new notion called the intrinsic flat distance between oriented m dimensional Riemannian manifolds with boundary by isometrically embedding the manifolds into a common metric space, measuring the flat distance between them and taking an infimum over all isometric embeddings and all common metric spaces. This is made rigorous by applying Ambrosio-Kirchheim’s extension of FedererFleming’s notion of integral currents to arbitrary metric spaces. We prove the intrinsic flat distance between two compact oriented Riemannian manifolds is zero iff they have an orientation preserving isometry between them. Using the theory of AmbrosioKirchheim, we study converging sequences of manifolds and their limits, which are in a class of metric spaces that we call integral current spaces. We describe the properties of such spaces including the fact that they are countably Hm rectifiable spaces and present numerous examples.

In this paper, we classify n-dimensional ($n\ge 4$) complete Bach-flat gradient shrinking Ricci solitons. More precisely, we prove that any 4-dimensional Bach-flat gradient shrinking Ricci soliton is either Einstein, or locally conformally flat hence a finite quotient of the Gaussian shrinking soliton R^4 or the round cylinder S^3 x R. More generally, for $n\ge 5$, a Bach-flat gradient shrinking Ricci soliton is either Einstein, or a finite quotient of the Gaussian shrinking soliton $R^n$ or the product $N^{n-1}xR$, where $N^{n-1}$ is Einstein.

In this paper, we prove a general existence theorem for properly embedded minimal surfaces with free boundary in any compact Riemannian 3‐manifold M with boundary ∂M. These minimal surfaces are either disjoint from ∂M or meet ∂M orthogonally. The main feature of our result is that there is no assumptions on the curvature of M or convexity of ∂M. We prove the boundary regularity of the minimal surfaces at their free boundaries. Furthermore, we define a topological invariant, the filling genus, for compact 3‐manifolds with boundary and show that we can bound the genus of the minimal surface constructed above in terms of the filling genus of the ambient manifold M. Our proof employs a variant of the min‐max construction used by Colding and De Lellis on closed embedded minimal surfaces, which were first developed by Almgren and Pitts.

Let be the scattering relation on a compact Riemannian manifold M with non-necessarily convex boundary, that maps initial points of geodesic rays on the boundary and initial directions to the outgoing point on the boundary and the outgoing direction. Let . be the length of that geodesic ray. We study the question of whether the metric g is uniquely determined, up to an isometry, by knowledge of 冃 and . restricted on some subset D. We allow possible conjugate points but we assume that the conormal bundle of the geodesics issued from D covers T M; and that those geodesics have no conjugate points. Under an additional topological assumption, we prove that 冃 and . restricted to D uniquely recover an isometric copy of g locally near generic metrics, and in particular, near real analytic ones.

In this paper, we establish an analytic foundation for a fully non-linear equation 2 1 = f on manifolds with metrics of positive scalar curvature and apply it to give a (rough) classification of such manifolds. A crucial point is a simple observation that this equation is a degenerate elliptic equation without any condition on the sign of f and it is elliptic not only for f > 0 but also for f < 0. By defining a Yamabe constant Y2,1 with respect to this equation, we show that a manifold with metrics of positive scalar curvature admits a conformal metric of positive scalar curvature and positive 2-scalar curvature if and only if Y2,1 > 0. We give a complete solution for the corresponding Yamabe problem. Namely, let g0 be a positive scalar curvature metric, then in its conformal class there is a conformal metric with 2(g) = 1(g), for some constant . Using these analytic results, we give a rough classification of the space of manifolds with metrics of positive scalar curvature.