Higher Period Integrals and Derivatives of L-functions

Shurui Liu; Zeyu Wang

arxiv: 2504.00275 · v3 · submitted 2025-03-31 · 🧮 math.NT · math.AG· math.RT

Higher Period Integrals and Derivatives of L-functions

Shurui Liu , Zeyu Wang This is my paper

Pith reviewed 2026-05-22 21:31 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.RT

keywords period integralsL-function derivativesrelative Langlands dualityHecke eigensheafFrobenius traceRankin-Selberg L-functionspherical varietiesfunction fields

0 comments

The pith

A geometric construction lets Frobenius traces on period integrals recover higher L-function derivatives.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes a geometric framework relating higher period integrals to higher central derivatives of L-functions over function fields. It extends relative Langlands duality by giving a geometric construction of the action of L-observables on the period integral of a Hecke eigensheaf for strongly tempered affine smooth G-varieties. The Frobenius trace of this action recovers the higher derivatives of the L-function for the dual symplectic representation. This gives formulas in the Rankin-Selberg case and generalizes the higher Gross-Zagier formula to higher-dimensional spherical varieties. A reader would care because it supplies a geometric reason for these relations instead of case-by-case checks.

Core claim

For a strongly tempered affine smooth G-variety X we give a geometric construction of the action of L-observables on the geometric period integral of a Hecke eigensheaf. By taking a suitable version of Frobenius trace of this action, we recover higher central derivatives of the L-function attached to the dual symplectic representation. As an application, in the Rankin-Selberg case (GL_n × GL_{n-1}, GL_{n-1}), we obtain a formula for higher derivatives of the Rankin-Selberg L-function. This provides a conceptual generalization of Yun-Zhang's higher Gross-Zagier formula to higher-dimensional spherical varieties.

What carries the argument

The geometric action of L-observables on the period integral of a Hecke eigensheaf, whose Frobenius trace extracts higher L-derivatives.

If this is right

In the Rankin-Selberg case a formula for higher derivatives of the Rankin-Selberg L-function follows from the trace construction.
The method applies to any strongly tempered affine smooth G-variety.
The framework extends relative Langlands duality to handle higher derivatives.
It gives a conceptual generalization to higher-dimensional spherical varieties.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same geometric action idea could be tested in other duality settings to see whether it produces matching derivative formulas.
Explicit low-rank computations might verify whether the trace always equals the known higher derivative.
The construction may point toward period definitions that capture derivative data in settings beyond function fields.

Load-bearing premise

The relative Langlands duality framework extends naturally to higher derivatives via the proposed geometric action and Frobenius trace construction on period integrals.

What would settle it

Direct computation of the proposed Frobenius trace for a concrete Hecke eigensheaf in the Rankin-Selberg case, compared against independently known values of the higher L-derivatives.

read the original abstract

We propose a geometric framework to produce a formula relating higher period integrals to higher central derivatives of $L$-functions over function fields, extending the framework of relative Langlands duality \`a la Ben-Zvi--Sakellaridis--Venkatesh to higher derivatives. For a strongly tempered affine smooth $G$-variety $X$, we give a geometric construction of the action of $L$-observables on the geometric period integral of a Hecke eigensheaf. By taking a suitable version of Frobenius trace of this action, we recover higher central derivatives of the $L$-function attached to the dual symplectic representation. As an application, in the Rankin--Selberg case $(\mathrm{GL}_n\times\mathrm{GL}_{n-1},\mathrm{GL}_{n-1})$, we obtain a formula for higher derivatives of the Rankin--Selberg $L$-function. This provides a conceptual generalization of Yun--Zhang's higher Gross--Zagier formula to higher-dimensional spherical varieties.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper sketches a geometric action of L-observables on period integrals that recovers higher L-derivatives via Frobenius trace, extending relative Langlands duality to the Rankin-Selberg case.

read the letter

The core claim is a geometric construction, for strongly tempered affine smooth G-varieties, of an L-observable action on the period integral of a Hecke eigensheaf; a suitable Frobenius trace of that action is supposed to yield higher central derivatives of the L-function attached to the dual symplectic representation. They carry this out in the Rankin-Selberg setting (GL_n × GL_{n-1}, GL_{n-1}) and present it as a conceptual lift of Yun-Zhang's higher Gross-Zagier formula to higher-dimensional spherical varieties via the Ben-Zvi-Sakellaridis-Venkatesh framework.

Referee Report

0 major / 2 minor

Summary. The manuscript proposes a geometric framework extending relative Langlands duality à la Ben-Zvi--Sakellaridis--Venkatesh to higher derivatives of L-functions over function fields. For a strongly tempered affine smooth G-variety X, it constructs an action of L-observables on the geometric period integral of a Hecke eigensheaf; a suitable Frobenius trace of this action is claimed to recover higher central derivatives of the L-function attached to the dual symplectic representation. An explicit application is given in the Rankin--Selberg case (GL_n × GL_{n-1}, GL_{n-1}), yielding a formula for higher derivatives that generalizes Yun--Zhang's higher Gross--Zagier formula to higher-dimensional spherical varieties.

Significance. If the proposed geometric action and trace construction are rigorously established, the work would provide a conceptual bridge from period integrals to higher-order L-derivatives in the geometric Langlands setting, offering a uniform perspective on arithmetic identities previously treated case-by-case. The explicit Rankin--Selberg application and the framing as a generalization of existing higher Gross--Zagier results constitute the primary potential contributions.

minor comments (2)

The abstract refers to 'a suitable version of Frobenius trace'; the introduction or §1 should include a precise definition or reference to the exact trace map employed, to make the recovery of the derivative order transparent from the outset.
The notion of 'strongly tempered' affine smooth G-variety is central to the statement; a self-contained definition or explicit list of examples in the preliminary section would improve accessibility for readers outside the immediate relative Langlands community.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, recognition of its potential to bridge period integrals and higher L-derivatives in the geometric setting, and recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper proposes a geometric construction of the action of L-observables on the geometric period integral of a Hecke eigensheaf for strongly tempered affine smooth G-varieties, then recovers higher central derivatives of the associated L-function via a suitable Frobenius trace. This extends the Ben-Zvi--Sakellaridis--Venkatesh relative Langlands duality framework to higher derivatives without reducing any load-bearing step to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The Rankin-Selberg application is presented as a conceptual generalization of prior work rather than a tautological recovery of inputs. No equations or claims in the provided description equate a derived result to its own construction by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields insufficient detail to enumerate specific free parameters or invented entities; the work relies on standard mathematical axioms from algebraic geometry, representation theory, and number theory such as properties of L-functions and Hecke eigensheaves.

axioms (2)

standard math Properties of L-functions and their central derivatives over function fields
Invoked implicitly in the recovery of derivatives via Frobenius trace.
standard math Existence and properties of Hecke eigensheaves on the relevant varieties
Central to the geometric construction of the period integral action.

pith-pipeline@v0.9.0 · 5703 in / 1286 out tokens · 60666 ms · 2026-05-22T21:31:21.884184+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

geometric construction of the action of L-observables on the geometric period integral ∫_X L_σ ... Clifford algebra Cl(M) ... ω_r(z_{Lσ,r}, z_{Lσ,r}) = β ... (d/ds)^r |_{s=0} q^{(g−1)dim(K)s} L(K_σ,s+1/2)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Kolyvagin system {z_r ∈ M^*⊗r} ... tr(m1⋯mr e_F) ... ω_r(z_r,z_r)=λ(e_F)ϵ_{n,r}(log q)^{-r} (d/ds)^r (q^{n s} L(M,F,s))

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.