It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. In this work, we present stronger and more general versions of such a trace theorem in a new nonlocal function space $\cS(\Omega)$ satisfying $H^1(\Omega)\subset \cS(\Omega)\subset L^2(\Omega)$. The new space $\cS(\Omega)$ is associated with a nonlocal norm characterized by a nonlocal interaction kernel that is defined heterogeneously with a special localization feature on the boundary. Through the heterogeneous localization, we are able to show that the $H^{1/2}$ norm of the trace on the boundary can be controlled by the nonlocal norm that are weaker than the classical $H^1$ norm. In fact, the trace theorems can be essentially shown without imposing any extra regularity of the function in the interior of the domain other than being square integrable. Implications of the new trace theorems to the coupling of local and nonlocal equations and possible further generalizations are also discussed.

No abstract uploaded!

No abstract uploaded!

We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson’s theorem: the existence of an orbifold K¨ahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds, we therefore get an explicit obstruction to the existence of constant scalar curvature orbifold K¨ahler metrics. We describe the manifold applications of this orbifold result, and show how many previously known results (Troyanov, Ghigi-Koll´ar, Rollin-Singer, the AdSCFT Sasaki-Einstein obstructions of Gauntlett-Martelli-Sparks-Yau) fit into this framework.

No abstract uploaded!