The Steklov Determinant and Compactness of Isospectral Planar Domains
We prove that every Steklov isospectral family of compact smooth planar domains is compact in the $C^\infty$ topology, answering an open question of Colbois, Girouard, Gordon, and Sher. The proof has two main parts. First, a trace comparison principle for Dirichlet-to-Neumann operators yields monotonicity of negative S...