Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0111238

On a conjecture of Jacquet

Michael Harris·Stephen S. Kudla
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this note, we prove in full generality a conjecture of Jacquet concerning the nonvanishing of the triple product L-function at the central point. Let $\kay$ be a number field and let $π_i$, $i=1$, 2, 3 be cuspidal automorphic representations of $GL_2(\A)$ such that the product of their central characters is trivial. Then the central value $L(\frac12,π_1\otimesπ_2\otimesπ_3)$ of the triple product L--function is nonzero if and only if there exists a quaternion algebra $B$ over $\kay$ and automorphic forms $f_i^B\in π_i^B$, such that the integral of the product $f_1^B f_2^B f_3^B$ over the diagonal $Z(\Bbb A) B^\times(\kay) B^\times(\Bbb A)$ is nonzero, where $π_i^B$ is the representation of $B^\times(\A)$ corresponding to $π_i$. In a previous paper, we proved this conjecture in the special case where $\kay=\Q$ and the $π_i$'s correspond to a triple of holomorphic newforms. Recent improvement on the Ramanujan bound due to Kim and Shahidi, results about the local L-factors due to Ikeda and Ramakrishnan, results of Chen-bo Zhu and Sahi about invariant distributions and degenerate principal series in the complex case, and an extension of the Siegel--Weil formula to similitude groups allow us to carry over our method to the general case.

Explore related subjects

math.NTmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Harris, Stephen S. Kudla. 2001-11-21. On a conjecture of Jacquet. https://arxiv.org/abs/math/0111238

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Documentation for the ratpoints program

This note explains how to obtain, install, and use the ratpoints program. The program finds rational points up to a specified height on hyperelliptic curves using a highly optimized quadratic sieving algorithm.

math.NT↗
arXiv2026

Transfer operator for the Gauss' continued fraction map. I. Structure of the eigenvalues and trace formulas

Let L be the transfer operator associated with the Gauss' continued fraction map, known also as the Gauss-Kuzmin-Wirsing operator, acting on the Banach space. In this work we prove a two-term asymptotic formula for the eigenvalues of L, show their algebraic simplicity, sign alternation pattern, and decrease in absolute value. This settles, in a stronger form, the conjectures of D. Mayer and G. Roepstorff (1988), A.J. MacLeod (1992), Ph. Flajolet and B. Vallee (1995), also supported by several other authors. Further, we find an exact series for the eigenvalues, which also gives the canonical decomposition of trace formulas due to D. Mayer (1976) and K.I. Babenko (1978). This crystallizes the contribution of each individual eigenvalue in the trace formulas.

math.NT↗
arXiv2026

Arithmetic Sparsity and Obstructions in Weighted Projective Spaces

Let $\mathbb{WP}^n_{\mathbf{q}}$ be a weighted projective space with weights $\mathbf{q} = (q_0, \dots, q_n)$, $q = \operatorname{lcm}(q_i)$, and let $ϕ\colon \mathbb{WP}^n_{\mathbf{q}} \to \mathbb{P}^n$, $[x_i] \mapsto [x_i^{q/q_i}]$, be the Veronese morphism. A point of $\mathbb{P}^n(\mathbb{Q})$ is the image of a rational point of $\mathbb{WP}^n_{\mathbf{q}}$ only if its valuation vector at every prime satisfies a Kummer congruence. We count the rational points of $\mathbb{WP}^n_{\mathbf{q}}$ of bounded weighted height $\mathfrak{h} = H(ϕ(\,\cdot\,))^{1/q}$ and prove that, on the locus where all coordinates are nonzero, $$ Z^{\circ}_{\mathfrak{h}}\big( \mathbb{WP}^n_{\mathbf{q}}(\mathbb{Q}), X \big) = X^{q\,a(\mathbf{q})} P_{\mathbf{q}}(\log X) + O\big( X^{q\,a(\mathbf{q}) - θ} \big), \qquad θ> 0, $$ with $P_{\mathbf{q}}$ of exact degree $β(\mathbf{q})$, where $a(\mathbf{q})$ and $β(\mathbf{q})$ are the value and the dimension of the optimal face of a linear program determined by the Kummer congruences. The exponent satisfies $Q \leq q\,a(\mathbf{q}) \leq q(n+1)$, $Q = \sum q_i$, with equality on the right if and only if the exponents $q/q_i$ are pairwise coprime; the difference $q(n+1) - q\,a(\mathbf{q})$ measures the sparsity of the rational points of $\mathbb{WP}^n_{\mathbf{q}}$ relative to those of its Veronese image. The leading constant is evaluated when the dual optimum is diagonal and for the weights $(2,2,3,3)$. The full counting function follows by stratification, and we formulate the conjecture over an arbitrary number field.

math.NT↗