The $σ_k$-Loewner-Nirenberg problem on Riemannian manifolds for $k=\frac{n}{2}$ and beyond

Abstract

Let $(M^n,g_0)$ be a smooth compact Riemannian manifold of dimension $n\geq 3$ with smooth non-empty boundary $\partial M$. Let $Γ\subset\mathbb{R}^n$ be a symmetric convex cone and $f$ a symmetric defining function for $Γ$ satisfying standard assumptions. Denoting by $A_{g_u}$ the Schouten tensor of a conformal metric $g_u = u^{-2}g_0$, we show that the associated fully nonlinear Loewner-Nirenberg problem \begin{align*} \begin{cases} f(λ(-g_u^{-1}A_{g_u})) = \frac{1}{2}, \quad λ(-g_u^{-1}A_{g_u})\inΓ& \text{on }M\backslash \partial M \newline u = 0 & \text{on }\partial M \end{cases} \end{align*} admits a solution if $μ_Γ^+ > 1-δ$, where $μ_Γ^+$ is defined by $(-μ_Γ^+,1,\dots,1)\in\partialΓ$ and $δ>0$ is a constant depending on certain geometric data. In particular, we solve the $σ_k$-Loewner-Nirenberg problem for all $k\leq \frac{n}{2}$, which extends recent work of the authors to include the important threshold case $k=\frac{n}{2}$. In the process, we establish that the fully nonlinear Loewner-Nirenberg problem and corresponding Dirichlet boundary value problem with positive boundary data admit solutions if there exists a conformal metric $g\in[g_0]$ such that $λ(-g^{-1}A_g)\inΓ$ on $M$; these latter results require no assumption on $μ_Γ^+$ and are new when $(1,0,\dots,0)\in\partialΓ$.