We consider$Thurston maps$, i.e., branched covering maps$f:S$^{2}→$S$^{2}that are$post-critically finite$. In addition, we assume that$f$is$expanding$in a suitable sense. It is shown that each sufficiently high iterate$F$=$f$^{$n$}of$f$is$semi-conjugate$to$z$^{$d$}:$S$^{1}→$S$^{1}, where$d$= deg F. More precisely, for such an$F$we construct a$Peano curve γ$:$S$^{1}→$S$^{2}(onto), such that$F$∘$γ$($z$) =$γ$($z$^{$d$}) (for all$z$∈$S$^{1}).

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov \cite{Kuz07HPD}, is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

Abstract not Available

No abstract uploaded!

For a fractal Schrodinger operator with a continuous potential and a coupling parameter, we obtain an analog of a semi-classical asymptotic formula for the number of bound states as the parameter tends to infinity. We also study Bohr's formula for Schrodinger operators on blowups of self-similar sets. For a Schrodinger operator defined by a fractal measure and a locally bounded potential that tends to infinity, we derive an analog of Bohr's formula under various assumptions. We demonstrate how these results can be applied to self-similar measures with overlaps, including the infinite Bernoulli convolution associated with the golden ratio, a family of convolutions of Cantor-type measures, and a family of measures that we call essentially of finite type.