Orbifold Floer theory for global quotients and Hamiltonian dynamics

The paper defines orbifold spectral invariants c(x,−) on Y=Sym^k(M) with bulk b=v·PD([Z]) and then specializes to ck(H)=c(x,Sym^k(H)), proving items (1)–(7) and identifying the action spectrum with Speck(H) via Lemma 5.47. The candidate solution follows exactly this route: define ck via Sym^k(H), pull properties over from Y using elementary Sym^k identities, and use the sector/cycle-type description to conclude spectrality in Speck(H). Minor caveats: the model does not state the mild bulk hypothesis (v∈Λper>0) needed for sharp spectrality and glosses over a proof nuance where the paper’s proof of subadditivity invokes an idempotent assumption. These are easily patched and do not affect the main conclusions.