Related papers: A Gluing Lemma And Overconvergent Modular Forms

We prove a gluing theorem on the automorphic side of the geometric Langlands correspondence: roughly speaking, we show that the difference between $\mathrm{DMod}(\mathrm{Bun}_G)$ and its full subcategory…

Let $F$ be a totally real field in which $p$ is unramfied and let $S$ denote the integral model of the Hilbert modular variety with good reduction at $p$. Consider the usual automorphic line bundle $\mathcal{L}$ over $S$. On the generic…

This paper is devoted to prove that if an Alexandrov space of curvature not less than $\kappa$ with a codimension one extremal subset which admits an isometric involution with respect to the induced length metric, then the metric space…

The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…

In this semi-expository note, we give a new proof of a structure theorem due to Shimura for nearly holomorphic modular forms on the complex upper half plane. Roughly speaking, the theorem says that the space of all nearly holomorphic…

We present a variant of the Peskine--Szpiro Acyclicity Lemma, and hence a way to certify exactness of a complex of finite modules over a large class of (possibly) noncommutative rings. Specifically, over the class of Auslander regular…

We glue two manifolds which have curvature operators at least k (in the sense of eigenvalues) along their common boundary. We show that if the sum of the second fundamental forms of the boundary is positive semidefinite, then the curvature…

We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from…

We construct a family of special cycle classes on the regular integral model of an orthogonal Shimura variety, and show that these cycle classes appear as Fourier coefficients of a Siegel modular form. Passing to the generic fiber of the…

As a result of our study of the hyperbolicity of the moduli space of polarized manifold, we give a general big Picard theorem for a holomorphic curve on a log-smooth pair $(X,D)$ such that $W=X\setminus D$ admits a Finsler pseudometric that…

We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's…

We define the homology of a simplicial set with coefficients in a Segal's $\Gamma$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf…

The unitary $N = 2$ superconformal minimal models have a long history in string theory and mathematical physics, while their non-unitary (and logarithmic) cousins have recently attracted interest from mathematicians. Here, we give an…

We study the homomorphisms between scalar generalized Verma modules. We conjecture that any homomorphism between is composition of elementary homomorphisms. The purpose of this article is to show the conjecture is affirmative for many…

In this paper we present a proof of the BMZ Reduction Lemma with a motivational perspective, and state this lemma for maps to manifolds using the classical definition of cohomological dimension. The lemma, proved and utilized in [4], gives…

We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has…

Let X be a smooth complex projective curve of genus g bigger or equal to 1. If g is bigger than 1 assume further that X is either bielliptic or with general moduli. Under a natural condition on slopes, we prove that there exists a short…

It is well known that, for any finitely generated torsion module M over the Iwasawa algebra Z_p [[{\Gamma} ]], where {\Gamma} is isomorphic to Z_p, there exists a continuous p-adic character {\rho} of {\Gamma} such that, for every open…

Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are based on higher-dimensional extensions of the critical…

This is the revised version of our previous preprint. In this paper, we establish a generic smoothness result for moduli space of semistable sheaves of arbitrary rank over surfaces provided that the second Chern class of the sheaves is…