For a local non-Archimedean field K we construct GLd+1(K)equivariant coherent sheaves VOK on the formal OK -scheme X underlying the symmetric space X over K of dimension d. These VOK are OK -lattices in (the sheaf version of) the holomorphic discrete series representations (in Kvector spaces) of GLd+1(K) as defined by P. Schneider. We prove that the cohomology H(X,VOK ) vanishes for t > 0, for ...

Let X be a smooth projective curve. Write BunSO2n for the moduli stack of SO2n-torsors on X. We give a geometric interpretation of the automorphic function f on BunSO2n corresponding to the minimal representation. Namely, we construct a perverse sheaf KH on BunSO2n such that f should be equal to the trace of the Frobenius of KH plus some constant function. The construction is based on some expl...

Abstract We provide a constructive version of the notion sheaf models univalent type theory. start by relativizing existing theory to presheaves over base category. Any Grothendieck topology category then gives rise family left-exact modalities, and we recover model localizing presheaf with respect this modalities. some examples.

We study holomorphic foliations of arbitrary codimension in smooth complete toric varieties. show that split are stable if some good behaviour their singular set is provided. As an application these results, we exhibit irreducible components the space arise as pullbacks special T-invariant subvarieties.

We construct a sheaf of Fock spaces over the moduli space elliptic curves Ey with ?1(3)-level structure, arising from geometric quantization H1(Ey), and global section this sheaf. The coincides, near appropriate limit points, Gromov–Witten potentials local P2 orbifold [C3??3]. This proves that are quasimodular functions for group ?1(3), as predicted by Aganagic, Bouchard, Klemm, it crepant reso...