NNSC-Cobordism of Bartnik Data in High Dimensions

Abstract

In this short note, we formulate three problems relating to nonnegative scalar curvature (NNSC) fill-ins. Loosely speaking, the first two problems focus on: When are $(n-1)$-dimensional Bartnik data $\big(Σ_i ^{n-1}, γ_i, H_i\big)$, $i=1,2$, NNSC-cobordant? (i.e., there is an $n$-dimensional compact Riemannian manifold $\big(Ω^n, g\big)$ with scalar curvature $R(g)\geq 0$ and the boundary $\partial Ω=Σ_{1} \cup Σ_{2}$ such that $γ_i$ is the metric on $Σ_i ^{n-1}$ induced by $g$, and $H_i$ is the mean curvature of $Σ_i$ in $\big(Ω^n, g\big)$). If $\big(\mathbb{S}^{n-1},γ_{\rm std},0\big)$ is positive scalar curvature (PSC) cobordant to $\big(Σ_1 ^{n-1}, γ_1, H_1\big)$, where $\big(\mathbb{S}^{n-1}, γ_{\rm std}\big)$ denotes the standard round unit sphere then $\big(Σ_1 ^{n-1}, γ_1, H_1\big)$ admits an NNSC fill-in. Just as Gromov's conjecture is connected with positive mass theorem, our problems are connected with Penrose inequality, at least in the case of $n=3$. Our third problem is on $Λ\big(Σ^{n-1}, γ\big)$ defined below.