No Arabic abstract
Let F be a global field and A its ring of adeles. Let G:=SL(2). We study the bilinear form B on the space of K-finite smooth compactly supported functions on G(A )/G(F) defined by the formula B (f,g):=B(f,g)-(M^{-1}CT (f),CT (g)), where B is the usual scalar product, CT is the constant term operator, and M is the standard intertwiner. This form is natural from the viewpoint of the geometric Langlands program. To justify this claim, we provide a dictionary between the classical and geometric theory of automorphic forms. We also show that the form B is related to S. Schieders Picard-Lefschetz oscillators.
We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also establish a `hidden invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, and deduce Eulerianity for a large class of Fourier and Fourier-Jacobi coefficients. In particular, we prove Eulerianity for parabolic Fourier coefficients with characters of maximal rank for a class of Eisenstein series in minimal and next-to-minimal representations of groups of ADE-type that are of interest in string theory.
We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${bf G}(mathbb{A}_{mathbb{K}})$, associated to the data of a `Whittaker pair. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are `Levi-distinguished Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $mathbb{K}$-distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In follow-up papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of their top Fourier coefficients.
We give an asymptotic formula for the number of automorphic forms on the non-split norm one torus $T$ associated with an imaginary quadratic extension of $mathbb{Q}$, ordered by analytic conductor.
Conjecturally, the Galois representations that are attached to essentially selfdual regular algebraic cuspidal automorphic representations are Zariski-dense in a polarized Galois deformation ring. We prove new results in this direction in the context of automorphic forms on definite unitary groups over totally real fields. This generalizes the infinite fern argument of Gouvea-Mazur and Chenevier, and relies on the construction of non-classical $p$-adic automorphic forms, and the computation of the tangent space of the space of trianguline Galois representations. This boils down to a surprising statement about the linear envelope of intersections of Borel subalgebras.
In this paper, we study contragredient duals and invariant bilinear forms for modular vertex algebras (in characteristic $p$). We first introduce a bialgebra $mathcal{H}$ and we then introduce a notion of $mathcal{H}$-module vertex algebra and a notion of $(V,mathcal{H})$-module for an $mathcal{H}$-module vertex algebra $V$. Then we give a modular version of Frenkel-Huang-Lepowskys theory and study invariant bilinear forms on an $mathcal{H}$-module vertex algebra. As the main results, we obtain an explicit description of the space of invariant bilinear forms on a general $mathcal{H}$-module vertex algebra, and we apply our results to affine vertex algebras and Virasoro vertex algebras.