Pith. sign in

REVIEW 5 major objections 4 minor 22 references

A Proof of the Biquadratic Linear AFL for GL(4)

T0 review · 5 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves the biquadratic Guo–Jacquet Fundamental Lemma and the biquadratic linear Arithmetic Fundamental Lemma for GL(4), for the unit test function.

desk verdict A serious and mostly explicit proof of the biquadratic GL4 FL/AFL, with a novel reduction to the coquadratic GL2 case, but the arithmetic half currently rests on unproved valuation claims that need to be fixed before acceptance. read the letter →

arxiv 2505.22625 v1 pith:EEV4Y4Z2 submitted 2025-05-28 math.NT

Qirui Li This is my paper
classification math.NT MSC 11F7011G1811S37
keywords biquadraticfundamentallemmaarithmeticGuo–JacquetorbitalintegralsLubin–TatespacesquadraticembeddingsGL(4)unittestfunction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves two related identities at once: the biquadratic Guo–Jacquet Fundamental Lemma and the biquadratic linear Arithmetic Fundamental Lemma, both for the characteristic function of $\mathrm{GL}_4(\mathcal{O}_F)$ over a non-Archimedean local field. The first identity compares orbital integrals attached to two different pairs of quadratic embeddings; the second compares a derivative of one such orbital integral with an intersection number on a Lubin–Tate deformation space. The author reduces the $\mathrm{GL}(4)$ statement to the already known coquadratic $\mathrm{GL}(2)$ statement by studying the universal algebra generated by a pair of quadratic embeddings and splitting orbits according to the valuation of a canonical semilinear element $z$. If correct, this is the first proof of the biquadratic conjectures beyond the $\mathrm{GL}(2)$ case, and it supplies explicit formulas for the orbital integrals in all regular semisimple orbits.

What carries the argument

The central object is the coproduct $B_{K_1,K_2}=K_1\amalg K_2$ in the category of $F$-algebras; under conditions (2.1)–(2.2) it is a quaternion algebra over $F[w]$ with canonical generators $w$ (which commutes with both embeddings) and $z$ (simultaneously $\sigma_1$- and $\sigma_2$-semilinear), subject to $(w-\varpi_3)(w-\varpi_3^{\sigma_3})=z^2$. A pair of quadratic embeddings into a matrix algebra or a division algebra is exactly a morphism out of this coproduct, so matching orbits can be read from the images of $w$ and $z$. Orbital integrals are counted combinatorially as sums over lattices stable under $(\mathcal{O}_{K_1},w,z)$, with a transferring factor $\Omega(\Lambda,s)=(-q^s)^{\log_q[\Lambda_-:z\Lambda_+]}$ on the analytic side; the maximal-order reduction of Section 5.2 rewrites configurations with highly divisible $z$ as coquadratic configurations over $L=F[w]$, which is what allows the descent to the known $\mathrm{GL}_2$ statement.

What would settle it

Find a regular semisimple pair of quadratic embeddings $(K_1,K_2)\to D$, with $K_1/F$ unramified and $K_2/F$ ramified, whose $z_\delta$ has even valuation; Section 5.3's case split would miss that orbit. A cheaper check is to enumerate the lattices in (4.1) for a small residue field, say $q=2$ with conductor $r=1$, and compare with the closed formula $\mathrm{Orb}(\mathbf{1},\beta,s)=4-6\cdot 2^s+4\cdot 4^s$; any mismatch would disprove the explicit orbital-integral statement.

Watch

Extended reading notes

Core claim

The paper's central claim, Theorem 1.4, is that for every regular semisimple matching orbit, $$\mathrm{Orb}(\mathbf{1},\$\alpha$) = \mathrm{Orb}(\mathbf{1},\$\beta$,0)$$ and $$\mathrm{Int}(\delta) = -\frac{1}{\ln q}\,\frac{d}{ds}\Big|_{s=0}\mathrm{Orb}(\mathbf{1},\$\beta$,s),$$ where $(\alpha,\beta,\delta)$ are matching pairs of quadratic embeddings into $\mathrm{GL}_4(F)$ and into the quaternion division algebra $D$, and the test function is the characteristic function of $\mathrm{GL}_4(\mathcal{O}_F)$. The proof separates orbits by the size of the semilinear element $z_\delta$: when $z_\delta$ is a unit times the uniformizer of the quaternion order, the intersection is rigid and the orbital integral is computed directly; when $z_\delta$ is more highly divisible, $w$ is a uniformizer of $L=F[w]$ and the biquadratic configuration descends to a coquadratic pair over $L$, where the known coquadratic linear AFL for $\mathrm{GL}_2$ applies. The same argument works over p-adic fields and over local fields of positive characteristic, and it covers all regular semisimple orbits.

Load-bearing premise

The proof rests on a structural claim stated in Section 5.3 without full derivation: every regular semisimple pair of quadratic embeddings into the quaternion division algebra $D$ has $z_\delta$ of odd valuation, so that $z_\delta$ is either a uniformizer times a unit or is divisible by $\varpi^2$; if an orbit violated that parity statement, or if the implication that $z_\delta\in\varpi^2\mathcal{O}_D$ forces $w$ to be a uniformizer and $1-z_\delta$ a unit failed, that orbit would not be covered.

Editorial extensions

If this is right

  • The biquadratic Guo–Jacquet and linear AFL conjectures are settled in their first open case, $h=2$, for the unit test function, over both p-adic fields and local fields of positive characteristic.
  • For every regular semisimple orbit with $L/F$ unramified the geometric orbital integral is $\mathrm{Orb}(\mathbf{1},\beta)=2$, and with $L/F$ ramified it is $1$; the conductor $r$ of $\mathcal{O}_F[w]$ affects only the higher coefficients of the $s$-series.
  • Whenever $\mathcal{O}_F[w]$ is integral and $1-z$ is a unit, the biquadratic FL and linear AFL for $\mathrm{GL}(2n)$ follow from the coquadratic Guo–Jacquet FL and the coquadratic linear AFL for the unit test function (Theorem 1.6), so any future coquadratic result transfers automatically.
  • The explicit formulas of Theorem 4.10 determine the derivative values that give the arithmetic intersection numbers, so the biquadratic linear AFL becomes a finite identity in $q$ and the conductor $r$ rather than an open conjecture.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The odd-valuation assertion about $z_\delta$ in the quaternion order is likely a special case of a general structural fact about semilinear involutions in division algebras; promoted to a lemma, it would remove the only unproved case split and could extend the argument to other inner forms.
  • The lattice-counting formulas suggest a finite-field computer check: evaluating (4.1) for small $q$ and $r$ and comparing with Theorem 4.10 would verify the local identity independently, and the same enumeration could be run for $h=3$ as a numerical test of the higher biquadratic conjectures.
  • Because the reduction of Theorem 1.6 is conditional on integrality of $\mathcal{O}_F[w]$, the real obstacle for higher rank is classifying orbits for which $\mathcal{O}_F[w]$ is not integrally closed; those are also the orbits where the present argument cannot descend and where any generalization would need a new idea.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 4 minor

Summary. The paper claims to prove the biquadratic Guo–Jacquet Fundamental Lemma and the biquadratic linear Arithmetic Fundamental Lemma for GL(4) with the unit test function, over both p-adic fields and local fields of positive characteristic. The strategy is to use an explicit coproduct construction for pairs of quadratic embeddings, convert orbital integrals into lattice-counting problems, compute the analytic side for GL(4) by a case analysis on the valuation of w, and then reduce the arithmetic side by a maximal-order construction to the known coquadratic linear AFL for GL(2). The paper also states partial results for GL(2n) when the relevant order is integral.

Significance. If the main theorems were fully established, this would be a substantial advance in the program of arithmetic fundamental lemmas in the biquadratic setting, extending the Howard–Li results from GL(2) to GL(4) and providing the first higher-rank case with ramification. The combinatorial lattice computations in Section 4 are explicit and constitute a useful technical contribution, and the reduction strategy of Section 5.2, which relates biquadratic GL(4) to coquadratic GL(2), is conceptually appealing. However, the proof of the arithmetic AFL in Section 5.3 contains several unsupported valuation assertions and at least one displayed identity that is inconsistent with the paper's own orbital-integral formula, so the central claim is not established as written.

major comments (5)
  1. [§5.3, first paragraph] The assertion "we must have z_delta in \varpi^{2Z+1} O_D^\times" is load-bearing for the entire proof but is not proved. The parity of the valuation of the semilinear element z_delta is what makes the case split work, and the paper gives no derivation. The author should supply a lemma proving this parity statement, for example from the action of z_delta on the residue field of the unramified K_1 and the fact that D has invariant 1/2.
  2. [§5.3, rigid case] The displayed identity "if z_delta^2 \in \varpi_L^2 O_L^\times, then Orb(1, alpha, s) = -q^s" is inconsistent with Theorem 4.11. For v_L(w)=1, Theorem 4.11 gives Orb(1, alpha, s) = \sum_{i=0}^{v_L(z^2)} (-q^s)^i. If v_L(z^2)=2, this equals 1 - q^s + q^{2s}, whose derivative at s=0 is +ln q, so the conjectural identity would give Int(delta) = -1, not the asserted Int(delta) = 1. If v_L(z^2)=1, the correct value is 1 - q^s, not -q^s. The proof must reconcile these formulas with the geometric rigid computation, or explain why the case v_L(z^2)=2 cannot occur for a matching pair.
  3. [§5.3, reduction case] The implications "z_delta \in \varpi^2 O_D implies z_delta \in \varpi^3 O_D", "w must be a uniformizer of O_L", and "1 - z_delta \in O_D^\times" are asserted without proof. These are exactly the hypotheses needed to apply Lemma 5.9 and reduce to the coquadratic GL(2) AFL, so they are load-bearing. The author should add a derivation from the relation z^2 = (w - \varpi_3)(w - \varpi_3^\sigma) and the valuation parity of z_delta.
  4. [§5.3, rigid case] The claim that if \delta_1(\zeta_1) and z_\delta generate the full ring O_D, then there is no non-trivial deformation and consequently Int(\delta) = 1, is stated without a deformation-theoretic justification. Generation of the endomorphism ring does not by itself make the length of the intersection of the two CM cycles obvious; this step needs an argument, e.g., via the Lubin–Tate deformation functor.
  5. [Theorem 4.10] In the ramified case, the displayed formula Orb(1, \beta, s) = (1 - q^s + q^{2s}) + (1 - q^s)^2(q + \cdots + q^r) gives Orb(1, \beta, 0) = 1, but the theorem states Orb(1, \beta, 0) = 2. The geometric computation in Theorem 4.15 gives 1, so the "In particular" line should be corrected to 1. This is a local correction, but as printed the value compared with the geometric side is wrong.
minor comments (4)
  1. [Theorem 1.6 and §5.2] The notation "OF[w] = OF[w]" appears where the intended condition seems to be integrality of the order OF[w], presumably meaning OF[w] = O_L or a similar explicit condition. Please clarify the notation.
  2. [Lemma 5.9] The hypothesis is written as "OF[w_\beta] = O_L", but in this lemma the pair is \delta : (K_1, K_2) \to D, so the symbol should almost certainly be w_\delta (or the condition should be stated for the pair being reduced). Please correct the notation.
  3. [§4.1, proof of Theorem 4.10] The expression "1 + c_L \cdot (-q)^s + (-q^s)^2" is easy to misread; the intended term appears to be c_L \cdot (-q^s), not c_L \cdot (-q)^s. Please use a consistent notation such as (-q^s)^i throughout.
  4. [Abstract and Introduction] There are minor typographical issues, for example "this reduction allow us" in the abstract and the identical-looking conditions in Theorem 1.6, which should be corrected before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the GL4 biquadratic claims are reduced to independent coquadratic GL2 results; the flagged issues are unproved assertions and formula mismatches, not reductions-by-construction.

full rationale

The paper's derivation chain is not circular. The main reduction in Section 5.2 and Theorem 5.10 proves equality of the GL4 biquadratic orbital integrals and intersection numbers with the corresponding GL2 coquadratic objects via the maximal-order/base-change constructions (Lemma 5.4, Lemma 5.6, Theorem 5.8, Lemma 5.9), and then invokes the previously established coquadratic linear AFL for GL2. Even though the citation in Section 5.3 attributes that result to [7] while the introduction states that [7] provides the intersection formula and [8] contains the low-dimensional GL2/GL4 verification, the underlying GL2 linear AFL is an independent prior computational result, not the biquadratic GL4 theorem of this paper; hence hard rule 4 applies and the self-citation does not raise the circularity score. The GL4 Guo-Jacquet FL is likewise proved by direct computation of both the analytic and geometric orbital integrals in Section 4 (Theorems 4.10 and 4.15), not by assuming the desired equality. The genuinely concerning passages, such as the asserted parity statement 'we must have z_delta in varpi^{2Z+1} O_D^times', the implication 'z_delta in varpi^2 O_D ... w must be a uniformizer of O_L', and the claim 'Orb(1, alpha, s) = -q^s' which conflicts with Theorem 4.11, are unproved or internally inconsistent, but they are correctness gaps rather than instances of a prediction being equivalent to its input. No parameter is fitted and no uniqueness theorem is imported to forbid alternatives, so the derivation is not circular. Score 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters fitted to data and no invented entities. The derivation relies on standard structural facts about local fields, orders, quaternion algebras, and Lubin-Tate spaces, plus published results cited as base cases.

assumptions (5)
  • domain assumption K1/F is an unramified quadratic extension and K2/F is an arbitrary quadratic field extension; all embeddings are free.
    This is the standing setup from Section 3 onward; the orbital integral and matching definitions depend on it.
  • domain assumption Matching of regular semisimple orbits is equivalent to conjugacy of the canonical element w, from [4, Prop. 2.5.6].
    Used in Definition 3.2 and throughout Sections 4 and 5 to identify orbit pairs.
  • standard math The reduction formula for orbital integrals (Theorem 3.16, from [10]) reduces to elliptic orbits.
    Invoked in Section 3.6 to justify restriction to elliptic orbits.
  • domain assumption The structural parity fact z_delta in \varpi^{2Z+1} O_D^\times for semilinear z in a quaternion division algebra.
    Asserted in Section 5.3 with a one-line justification; it is load-bearing for the final case split and is not fully proved in the text.
  • domain assumption The coquadratic Guo-Jacquet FL (Guo [3]) and the coquadratic linear AFL for GL2 (verified in [7], [8]) hold.
    Used as base cases in the reductions in Sections 5.2 and 5.3; the precise theorem statement for the GL2 linear AFL is not repeated in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Proof of the Biquadratic Linear AFL for GL(4)." pith.science (2026). https://pith.science/paper/EEV4Y4Z2

@misc{pith2026250522625,
  author       = {Pith},
  title        = {Pith review of: A Proof of the Biquadratic Linear AFL for GL(4)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EEV4Y4Z2}},
  note         = {Machine review of arXiv:2505.22625}
}
read the original abstract

We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach relies on a detailed study of pairs of quadratic embeddings, which ultimately enables a reduction from the biquadratic case of GL(4) to the coquadratic case of GL(2). We further identify conditions under which the biquadratic case can be derived from the coquadratic case, and show that this reduction allows us to establish the conjectures for all orbits in GL(4). As an additional consequence, we also prove the biquadratic FL for the identity test function in certain special families of orbits in GL(2n). All results hold over both p-adic fields and local fields of positive characteristic.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Heegner points and derivatives of L-series

    Gross, Benedict, Winfried Kohnen, and Don Zagier. Heegner points and derivatives of L-series. II. Mathematische Annalen 278 (1987): 497-562

    work page 1987

  2. [2]

    Gross; D

    B. Gross; D. Zagier:Heegner points and derivatives ofL-series. Invent. Math. 84 (1986), no. 2, 225–320. 27

    work page 1986

  3. [3]

    Guo, Jiandong.On a generalization of a result of Waldspurger.Canadian Journal of Mathematics 48.1 (1996): 105-142

    work page 1996

  4. [4]

    Howard and Q

    B. Howard and Q. Li, Intersections in Lubin–Tate Space and Biquadratic Fundamental Lemmas, Amer. J. Math. , 147(3), 2025. Available at: https://preprint.press.jhu.edu/ajm/article/ intersections-lubin-tate-space-and-biquadratic-fundamental-lemmas

    work page 2025

  5. [5]

    Advances in Mathemat

    Howard, Benjamin, and Ari Shnidman.A Gross-Kohnen-Zagier formula for Heegner-Drinfeld cycles. Advances in Mathemat

    work page

  6. [6]

    Hultberg and A

    N. Hultberg and A. Mihatsch,A Linear AFL for Quaternion Algebras, Canadian Journal of Mathemat- ics, published online 2025. Available at:https://doi.org/10.4153/S0008414X24001020

    work page doi:10.4153/s0008414x24001020 2025

  7. [7]

    Li, An intersection formula for CM cycles on Lubin–Tate spaces.Duke Mathematical Journal 1.1 (2022): 1-89

    Q. Li, An intersection formula for CM cycles on Lubin–Tate spaces.Duke Mathematical Journal 1.1 (2022): 1-89

    work page 2022

  8. [8]

    Li,A Computational Proof of the Linear Arithmetic Fundamental Lemma of GL4, Canadian Journal of Mathematics 74.2 (2022): 381-427

    Q. Li,A Computational Proof of the Linear Arithmetic Fundamental Lemma of GL4, Canadian Journal of Mathematics 74.2 (2022): 381-427

    work page 2022

Show all 22 references
  1. [9]

    Li, On Gross – Keating’s Result of Lifting Endomorphisms for Formal Modules, arXiv preprint arXiv:1902.10789, 2019

    Q. Li, On Gross – Keating’s Result of Lifting Endomorphisms for Formal Modules, arXiv preprint arXiv:1902.10789, 2019

    1902 arXiv

  2. [10]

    Li and A

    Q. Li and A. Mihatsch,On the Linear AFL: The Non-Basic Case, to appear inCompositio Mathematica, arXiv:2208.10144

    arXiv

  3. [11]

    Li and A

    Q. Li and A. Mihatsch,Arithmetic Transfer for Inner Forms ofGL2n, to appearForum of Mathematics, Sigma, arXiv:2307.11716

    arXiv

  4. [12]

    C. Li, M. Rapoport, and W. Zhang,Arithmetic Fundamental Lemma for the Spherical Hecke Algebra, manuscr. math., 175(1–2), 1–51, 2024.https://doi.org/10.1007/s00229-024-01572-0

    2024 doi

  5. [13]

    Mihatsch and W

    A. Mihatsch and W. Zhang,On the Arithmetic Fundamental Lemma Conjecture over a Generalp-adic Field, J. Eur. Math. Soc., 26(12), 4831–4901, 2024.https://doi.org/10.4171/JEMS/1375

    2024 doi

  6. [14]

    Rapoport, B

    M. Rapoport, B. Smithling, and W. Zhang,Arithmetic Diagonal Cycles on Unitary Shimura Varieties, Compos. Math., 156(9), 1745–1824, 2020. https://doi.org/10.1112/S0010437X20007289

    2020 doi

  7. [15]

    Rapoport, B

    M. Rapoport, B. Smithling, and W. Zhang,On Shimura Varieties for Unitary Groups, Pure Appl. Math. Q., 17(2), 773–837, 2021

    2021

  8. [16]

    Waldspurger:Sur les valeurs de certaines fonctions L automorphes en leur centre de symétrie.Com- positio Math

    J. Waldspurger:Sur les valeurs de certaines fonctions L automorphes en leur centre de symétrie.Com- positio Math. 54 (1985), no. 2, 173–242

    1985

  9. [17]

    Zhang.On arithmetic fundamental lemmas, Invent

    W. Zhang.On arithmetic fundamental lemmas, Invent. Math., Volume 188, Number 1 (2012), 197-252

    2012

  10. [18]

    W. Zhang. Gross-Zagier formula and arithmetic fundamental lemma.In Fifth International Congress of Chinese Mathematicians. Part, vol. 1, no. 2, pp. 447-459. 2012

    2012

  11. [19]

    Zhang, More Arithmetic Fundamental Lemma Conjectures: The Case of Bessel Subgroups, arXiv preprint arXiv:2108.02086, 2021

    W. Zhang, More Arithmetic Fundamental Lemma Conjectures: The Case of Bessel Subgroups, arXiv preprint arXiv:2108.02086, 2021

    2021 arXiv

  12. [20]

    Zhang,Weil Representation and the Arithmetic Fundamental Lemma, Ann

    W. Zhang,Weil Representation and the Arithmetic Fundamental Lemma, Ann. of Math., 193(3), 863– 978, 2021. https://doi.org/10.4007/annals.2021.193.3.5

    2021 doi

  13. [21]

    Zhang, Arithmetic Transfers, Modularity of Arithmetic Theta Series and Geometry of Local-Global Shimura Varieties at Parahoric Levels, Ph.D

    Z. Zhang, Arithmetic Transfers, Modularity of Arithmetic Theta Series and Geometry of Local-Global Shimura Varieties at Parahoric Levels, Ph.D. thesis, Massachusetts Institute of Technology, 2022

    2022

  14. [22]

    Zhang,Maximal Parahoric Arithmetic Transfers, Resolutions and Modularity, Duke Math

    Z. Zhang,Maximal Parahoric Arithmetic Transfers, Resolutions and Modularity, Duke Math. J.,174(1), 1–129, 2025. 28

    2025

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.