A new type of basic hypergeometric series based on Macdonald polynomials is introduced. Besides a pair of Macdonald polynomials attached to two different sets of variables, a key ingredient in the basic hypergeometric series is a bisymmetric function related to Macdonald’s commuting family of q-difference operators, to the Selberg integrals of Tarasov and Varchenko, and to alternating sign matrices. Our main result for series is a multivariable generalization of the celebrated q-binomial theorem. In the limit this q-binomial sum yields a new Selberg integral for Jack polynomials.

We prove a dynamical version of the Mordell–Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to those employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian of a curve of genus 2 over its field of definition and how this can be used to perform Chabauty- and Brauer–Manin-type calculations for curves of genus 5 with an fixed-point-free involution. As an application, we determine the rational points on a smooth plane quartic and give examples of curves of genus 3 and 5 violating the Hasse principle. The methods are, in principle, applicable to any genus 3 curve with a double cover. We also show how these constructions can be used to design smooth plane quartics with specific arithmetic properties. As an example, we give a smooth plane quartic with all 28 bitangents defined over . By specialization, this also gives examples over .

We consider logarithmic averages, over friable integers, of non-negative multiplicative functions. Under logarithmic, one-sided or two-sided hypotheses, we obtain sharp estimates that improve upon known results in the literature regarding both the quality of the error term and the range of validity. The one-sided hypotheses correspond to classical sieve assumptions. They are applied to provide an effective form of the Johnsen–Selberg prime power sieve.

Let X be a smooth projective curve. We consider the dual reductive pair , over X, where H splits on an étale two-sheeted covering . Let BunG (respectively, BunH) be the stack of G-torsors (respectively, H-torsors) on X. We study the functors FG and FH between the derived categories D(BunG) and D(BunH), which are analogs of the classical theta-lifting operators in the framework of the geometric Langlands program. Assume n=m=1 and H nonsplit, that is, with connected. We establish the geometric Langlands functoriality for this pair. Namely, we show that FG :D(BunH)→D(BunG) commutes with Hecke operators with respect to the corresponding map of Langlands L-groups LH→LG. As an application, we calculate Waldspurger periods of cuspidal automorphic sheaves on BunGL2 and Bessel periods of theta-lifts from to . Based on these calculations, we give three conjectural constructions of certain automorphic sheaves on (one of them makes sense for -modules only).

We develop and study the epsilon factor of a ‘local system’ of p-adic coefficients over the spectrum of a complete discrete valuation field K with finite residue field of characteristic p>0. In the equal characteristic case, we define the epsilon factor of an overconvergent F-isocrystal over Spec(K), using the p-adic monodromy theorem. We conjecture a global formula, the p-adic product formula, analogous to Deligne’s formula for étale ℓ-adic sheaves proved by Laumon, which explains the importance of this local invariant. Namely, for an overconvergent F-isocrystal over an open subset of a projective smooth curve X, the constant of the functional equation of the L-series is expressed as a product of the local epsilon factors at the points of X. We prove the conjecture for rank-one overconvergent F-isocrystals and for finite unit-root overconvergent F-isocrystals. In the mixed characteristic case, we study the behavior of the epsilon factor by deformation to the field of norms.

This is a study of the asymptotic behaviour of solutions of p-adic linear differential equations near the boundary of their convergence disks. We prove Dwork’s conjecture on the logarithmic growth of solutions in generic versus special disks.

Let be an abelian scheme over a scheme S which is quasi-projective over an affine noetherian scheme and let be a symmetric, rigidified, relatively ample line bundle on . We show that there is an isomorphism of line bundles on S, where d is the rank of the (locally free) sheaf . We also show that the numbers 24 and 12d are sharp in the following sense: if N>1 is a common divisor of 12 and 24, then there are data as above such that

We present a superfield formulation of the chiral de Rham complex (CDR), as introduced by Malikov, Schechtman and Vaintrob in 1999, in the setting of a general smooth manifold, and use it to endow CDR with superconformal structures of geometric origin. Given a Riemannian metric, we construct an N=1 structure on CDR (action of the N=1 super-Virasoro, or Neveu–Schwarz, algebra). If the metric is Kähler, and the manifold Ricci-flat, this is augmented to an N=2 structure. Finally, if the manifold is hyperkähler, we obtain an N=4 structure. The superconformal structures are constructed directly from the Levi-Civita connection. These structures provide an analog for CDR of the extended supersymmetries of nonlinear σ-models.

We prove a theorem on the extension of holomorphic sections of powers of adjoint bundles from submanifolds of complex codimension 1 having non-trivial normal bundle. The first such result, due to Takayama, considers the case where the canonical bundle is twisted by a line bundle that is a sum of a big and nef line bundle and a -divisor that has Kawamata log terminal singularities on the submanifold from which extension occurs. In this paper we weaken the positivity assumptions on the twisting line bundle to what we believe to be the minimal positivity hypotheses. The main new idea is an L2 extension theorem of Ohsawa–Takegoshi type, in which twisted canonical sections are extended from submanifolds with non-trivial normal bundle.