We introduce the space $X$ of quaternion hermitian forms of size $n$ on a ${\mathfrak p}$-adic field with odd residual characteristic, and define typical spherical functions $ω(x;s)$ on $X$ and give their induction formula on sizes by using local densities of quaternion hermitian forms. Then we give functional equation of spherical functions with respect to $S_n$, and determine the explicit formulas of $ω(x;s)$. On the other hand, we define the spherical transform on the Schwartz space ${\mathcal S}(K\backslash X)$ based on $ω(x; s)$ and study the Hecke module structure of ${\mathcal S}(K \backslash X)$.
Let $D$ be the non-split quaternion algebra over $\mathbb{Q}_p$. We prove that a class of admissible unitary Banach space representations of $D^{\times}$ of global origin are topologically of finite length.
We develop a theory of $p$-adic continued fractions for a quaternion algebra $B$ over $\mathbb Q$ ramified at a rational prime $p$. Many properties holding in the commutative case can be proven also in this setting. In particular, we focus our attention on the characterization of elements having a finite continued fraction expansion. By means of a suitable notion of quaternionic height, we prove a criterion for finiteness. Furthermore, we draw some consequences about the solutions of a family of quadratic polynomial equations with coefficients in $B$.
We complete all local spinor norm computations for quaternionic skew-hermitian forms over the field of rational numbers. Examples of class number computations are provided.
We reinterpret the explicit construction of Gross points given by Chida-Hsieh as a non-Archimedian analogue of the standard geodesic cycle from zero to the infinity on the Poincare upper half plane. This analogy allows us to consider certain distributions, which can be regarded as anticyclotomic p-adic L-functions for modular forms of non-critical slope following the overconvergent strategy a la Stevens. We also give a geometric interpretation of their Gross points for the case of weight two forms. Our construction generalizes those of Bertolini-Darmon, Bertolini-Darmon-Iovita-Spiess, and Chid…
We construct p-adic L-functions associated to cuspidal Hilbert modular eigenforms of parallel weight two in certain dihedral or anticyclotomic extensions via the Jacquet-Langlands correspondence, generalizing works of Bertolini-Darmon, Vatsal and others. The construction given here is adelic, which allows us to deduce a precise interpolation formula from a Waldspurger type formula, as well as a formula for the dihedral mu-invariant. We also make a note of Howard's nonvanishing criterion for these p-adic L-functions, which can be used to reduce the associated Iwasawa main conjecture to a certai…
We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components. We can give a set of generators and in some special cases we deduce the law of interchange of the Siegel $Φ$-operator.
In a recent paper, Castella and Hsieh proved results for Selmer groups associated with Galois representations attached to newforms twisted by Hecke characters of an imaginary quadratic field. These results are obtained under the so-called Heegner hypothesis that the imaginary quadratic field satisfies with respect to the level of the modular form. In particular, Castella and Hsieh prove the rank 0 case of the Bloch-Kato conjecture for $L$-functions of modular forms in their setting. The key point of the work of Castella and Hsieh is a remarkable link between generalized Heegner cycles and $p$-…
Let D be a quaternion division algebra over a totally real number field F which splits exactly at one infinite place. We assume that there is a p-adic place where D doesn't split. Then the associated Shimura curve has a Cherednik unifomization by the p-adic upper half plane. We define an integral model of the Shimura curve an over the integers O of this p-adic place. We prove an uniformization theorem for the completion of the model over the formal spectrum Spf O.
We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.
Let $D$ be a positive definite quaternion algebra over a totally real number field $K$, $F(X,Y)$ a hermitian form in 2N variables over $D$, and $Z$ a right $D$-vector space which is isotropic with respect to $F$. We prove the existence of a small-height basis for $Z$ over $D$, such that $F(X,X)$ vanishes at each of the basis vectors. This constitutes a non-commutative analogue of a theorem of Vaaler, and presents an extension of the classical theorem of Cassels on small zeros of rational quadratic forms to the context of quaternion algebras.
Let F be a totally real number field. Using a recent geometric approach developed by Andreatta and Iovita we construct several variables p-adic families of finite slope quaternionic automorphic forms over F. It is achieved by interpolating the modular sheaves defined over some auxiliary unitary Shimura curves. Secondly, we attach p-adic L-functions to triples of ordinary p-adic families of quaternionic automorphic eigenforms. This is done by relating trilinear periods to some trilinear products over unitary Shimura curves which can be interpolated adapting the work of Liu-Zhang-Zhang to our fa…
Let $p$ be an odd prime. Let $F$ be the function field of a $p$-adic curve. Let $A$ be a central simple algebra of period 2 over $F$ with an involution $σ$. There are known upper bounds for the $u$-invariant of hermitian forms over $(A, σ)$. In this article we compute the exact values of the $u$-invariant of hermitian forms over $(A, σ)$.
For $K$ an imaginary quadratic field with discriminant $-D_K$ and associated quadratic Galois character $χ_K$, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level $D_K$ and nebentypus $χ_K$ via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group $U(2,2)$ split over $K$. We generalize this (under certain conditions on $K$ and $p$) to the case of $p$-oldforms of level $pD_K$ and character $χ_K$. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space o…
We prove that the set of CM points on the Shimura curve associated to an Eichler order inside an indefinite quaternion $\mathbb{Q}$-algebra, is in bijection with the set of certain classes of $p$-adic binary quadratic forms, where $p$ is a prime dividing the discriminant of the quaternion algebra. The classes of $p$-adic binary quadratic forms are obtain by the action of a discrete and cocompact subgroup of $\mathrm{PGL}_{2}(\mathbb{Q}_{p})$ arising from the $p$-adic uniformization of the Shimura curve. We finally compute families of $p$-adic binary quadratic forms associated to an infinite fa…
Let F be a non-Archimedean local field of residue characteristic p. In this paper, we first compute the reduction modulo p of irreducible smooth representations of a quaternion division algebra over F and of two-dimensional irreducible smooth representations of the Weil group of F. It turns out that a natural correspondence of mod p representations of the two groups and the composite of the local Langlands and Jacquet-Langlands correspondence are not compatible with the reduction, except in the cases considered by Vigneras.
Extending the method of the paper [FS3] we prove three structure theorems for vector valued modular forms, where two correspond to 4-dimensional cases (two hermitian modular groups, one belonging to the field of Eisenstein numbers, the other to the field of Gaussian numbers.) and one to a 6-dimensional case (a quaternionic modular group).
We construct p-adic L-functions associated with triples of finite slope p-adic families of quaternionic automorphic eigenforms over totally real fields on Shimura curves. These results generalize a previous construction, joint work with D.Barrera, performed in the ordinary setting.
We investigate the space $X$ of unitary hermitian matrices over $\frp$-adic fields through spherical functions. First we consider Cartan decomposition of $X$, and give precise representatives for fields with odd residual characteristic, i.e., $2\notin \frp$. In the latter half we assume odd residual characteristic, and give explicit formulas of typical spherical functions on $X$, where Hall-Littlewood symmetric polynomials of type $C_n$ appear as a main term, parametrization of all the spherical functions. By spherical Fourier transform, we show the Schwartz space $\SKX$ is a free Hecke algebr…
Given a quaternionic form G of a p-adic classical group (p odd) we classify all cuspidal irreducible representations of G with coefficients in an algebraically closed field of characteristic different from p. We prove two theorems: At first: Every irreducible cuspidal representation of G is induced from a cuspidal type, i.e. from a certain irreducible representation of a compact open subgroup of G, constructed from a beta-extension and a cuspidal representation of a finite group. Secondly we show that two intertwining cuspidal types of G are up to equivalence conjugate under some element of G.
In this work we construct an eigencurve for p-adic modular forms attached to an indefinite quaternion algebra over Q. Our theory includes the definition, both as rules on test objects and sections of line bundle, of p-adic modular forms, convergent and overconvergent, of any p-adic weight. We prove that our modular forms can be put in analytic families over the weight space and we introduce the Hecke operators U and T_l, that can also be put in families. We show that the U-operator acts compactly on the space of overconvergent modular forms. We finally construct the eigencurve, a rigid analyti…
We are interested in the harmonic analysis on $p$-adic homogeneous spaces based on spherical functions. In the present paper, we investigate the space $X$ of unitary hermitian matrices of odd size over a ${\mathfrak p}$-adic field of odd residual characteristic, which is a continuation of our previous paper where we have studied for even size matrices. First we give the explicit representatives of the Cartan decomposition of $X$ and introduce a typical spherical function $ω(x;z)$ on $X$. After studying the functional equations, we give an explicit formula for $ω(x;z)$, where Hall-Littlewood po…
We study spherical functions on the space isomorphic to $U(2n)/(U(n)\times U(n))$ over a $p$-adic field; those functional equations with respect to the action of the Weyl group, the location of possible poles and zeros, explicit formulas, and spherical Fourier transforms. Then, as an application, we give a functional equation of $p$-adic local hermitian Siegel series.
We are interested in the harmonic analysis on $p$-adic homogeneous spaces based on spherical functions. In the present paper, we investigate the space $X$ of unitary hermitian matrices of size $m$ over a ${\mathfrak p}$-adic field $k$ and give unified description including dyadic case, which is a continuation of our previous papers on non-dyadic case. The space becomes complicated when $e = v_π(2) > 0$. First we introduce a typical spherical function $ω(x;z)$ on $X$, and study their functional equations, which depend on $m$ and $e$, we give an explicit formula for $ω(x;z)$, where Hall-Littlewo…
Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most $s$ by $f$, as $s$ tends to $+\infty$. We compute the volumes of hyperbolic 5-manifolds constructed by quaternions using Eisenstein series. In the Appendix, V. Emery computes these volumes using Prasad's general formula. We use hyperbolic geometry in dimension 5 to describ…
We describe an algorithm for computing certain quaternionic quotients of the Bruhat-Tits tree for GL2(Qp). As an application, we describe an algorithm to obtain (conjectural) equations for the canonical embedding of Shimura curves.
Fix a quadratic order over the ring of integers. An embedding of the quadratic order into a quaternionic order naturally gives an integral binary hermitian form over the quadratic order. We show that, in certain cases, this correspondence is a discriminant preserving bijection between the isomorphism classes of embeddings and integral binary hermitian forms.
We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge-Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proo…
Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_2)$ and an ordinary $R = \mathbb{T}$ theorem, we prove that the support of patched modules for quaternionic forms meet every irreducible component of the potentially semi-stable deformation ring. This gives a new proof of the Breuil-Mézard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_2$, which is new in the case $\overline{r}$ a twist of an extension of the trivial character by itself. As a consequence, a local restriction in Paškūnas' proof of Fontaine-Mazur conjecture…
We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem. Another is the well-definedness of the $p$-adic weight for Hermitian modular forms.
This paper generalises previous work of the author to the setting of overconvergent $p$-adic automorphic forms for a definite quaternion algebra over a totally real field. We prove results which are analogues of classical `level raising' results in the theory of mod $p$ modular forms. Roughly speaking, we show that an overconvergent eigenform whose associated local Galois representation at some auxiliary prime $ł$ is (a twist of) a direct sum of trivial and cyclotomic characters lies in a family of eigenforms whose local Galois representation at $ł$ is generically (a twist of) a ramified exten…
We extend the Jacquet-Langlands'correspondence between the Hecke-modules of usual and quaternionic modular forms, to overconvergent p-adic forms of finite slope. We show that this correspondence respects p-adic families and is induced by an isomorphism between some associated eigencurves.
In a recent paper, Colliot-Thélène, Parimala and Suresh conjectured that a local-global principle holds for projective homogeneous spaces of connected linear algebraic groups over function fields of p-adic curves. In this paper, we show that the conjecture is true for a linear algebraic group whose almost simple factors of its semisimple part are isogenous to unitary groups or special unitary groups of hermitian or skew-hermitian spaces over central simple algebras with involutions. The proof implements patching techniques of Harbater, Hartmann and Krashen. As an application, we obtain a Sprin…
