Sharp Neumann eigenvalue estimates and $C^2$ elliptic regularity in non-obtuse polyhedral domains
For integers $n\ge 1$, consider assertions: $\mathbf{(P_n)}$: Let $\Omega \subset S^n$ be a spherical domain enclosed by totally geodesic $S^{n-1}$'s with non-obtuse dihedral angles. Then in $[0,2(n+1)]$, its Neumann spectrum can only take values among $\{0,n,2(n+1)\}$. Moreover, $n$ is a Neumann eigenvalue if and only...