Reciprocity and the Maslov Phase

Jonathan Holland

arxiv: 2604.25288 · v1 · submitted 2026-04-28 · 🧮 math.NT · math.RT

Reciprocity and the Maslov Phase

Jonathan Holland This is my paper

Pith reviewed 2026-05-07 15:13 UTC · model grok-4.3

classification 🧮 math.NT math.RT

keywords Hilbert reciprocityquadratic reciprocityMaslov phaseWeil indexmetaplectic representationBruhat decompositionLagrangian triplelocal Hilbert symbol

0 comments

The pith

The Kashiwara-Maslov phase of a Lagrangian triple gives the local Hilbert symbol as the defect from exact multiplicativity of Weil indices, and the product of those defects over all places equals one.

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

The paper shows that the Kashiwara-Maslov phase attached to the ordered triple of Lagrangians (L infinity, L a, L zero) equals the local Weil index gamma v of a. This phase is not strictly multiplicative, and the exact failure ratio is the local Hilbert symbol at each place v. For a fixed Bruhat word lifting diagonal torus elements over the rationals, the normalized adelic version multiplies without defect. Therefore the product of the local defects must total one, which is Hilbert reciprocity. Specializing the pair a and b to distinct odd primes recovers quadratic reciprocity.

Core claim

The local Hilbert symbol appears as the defect of strict multiplicativity of these phases: (a,b)_v = gamma_v(a) gamma_v(b) / gamma_v(1) gamma_v(ab). The reciprocity law states that the total defect product_v mu_v(a,b) is 1. This follows from comparing the local and adelic realizations of a single Bruhat word for the diagonal torus elements m(a) in SL_2(Q). Locally the raw lift carries the normalization from the quadratic convention. For rational adelic data the normalized Bruhat word is multiplicative, so the global product of defects is forced to one.

What carries the argument

The Kashiwara-Maslov phase of the ordered triple of Lagrangians (L infinity, L a, L zero), which equals the one-dimensional Weil index gamma_v(a) and records the local failure of phase multiplicativity.

If this is right

The product of local Hilbert symbols over all places equals one.
Quadratic reciprocity follows immediately by setting a and b to be distinct odd primes.
The metaplectic representation of the diagonal torus is projective with cocycle exactly the local Hilbert symbol.
Global consistency of the Bruhat lift for rational data enforces the reciprocity relation without further input.

Where Pith is reading between the lines

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

The construction ties the arithmetic law directly to the geometry of the symplectic plane and its Lagrangian subspaces.
The same phase defect might serve as a model for interpreting other reciprocity or symbol laws via analogous lifts in higher rank or other groups.
Explicit evaluation of the Maslov phases for concrete a and b could give a direct computational check of the product identity at finitely many places.

Load-bearing premise

The normalized Bruhat-word lift is multiplicative for rational adelic data.

What would settle it

An explicit pair of rational numbers a and b for which the product over all places of the local phase ratios gamma_v(a) gamma_v(b) / gamma_v(1) gamma_v(ab) fails to equal one.

read the original abstract

We give a metaplectic proof of Hilbert reciprocity, and hence of quadratic reciprocity, in which the local phase is the Kashiwara--Maslov phase of a triple of Lagrangians. In rank two the phase of the ordered triple $(L_\infty,L_a,L_0)$ is the one-dimensional Weil index $\gamma_v(a)$. The local Hilbert symbol appears as the defect of strict multiplicativity of these phases: \[ (a,b)_v = \frac{\gamma_v(a)\gamma_v(b)}{\gamma_v(1)\gamma_v(ab)}. \] The global step compares the local and adelic realizations of a single Bruhat word for the diagonal torus elements $m(a)\in \operatorname{SL}_2(\mathbb Q)$. Locally the raw Bruhat-word lift carries the normalization factor determined by the chosen quadratic convention. These operators form a projective representation of the diagonal torus with defect \[ \mu_v(a,b) = \frac{\gamma_v(a)\gamma_v(b)}{\gamma_v(1)\gamma_v(ab)}. \] For rational adelic data, the normalized Bruhat word is multiplicative. The reciprocity law states that the total defect $\prod_v\mu_v(a,b)$ is $1$. Combined with the local bridge above, this yields Hilbert reciprocity, while quadratic reciprocity is then the specialization to the pair of odd primes $(p,q)$.

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 links the local Hilbert symbol to the defect in Maslov phase multiplicativity and claims a Bruhat-word argument forces the global product to 1, but the normalization cancellation for rational adelic data looks under-checked.

read the letter

The core takeaway is a metaplectic proof of Hilbert reciprocity that treats the local symbol as the failure of multiplicativity for Kashiwara-Maslov phases of Lagrangian triples, then uses a single Bruhat word for the diagonal torus in SL2(Q) to handle the product over places. For rational adelic data the normalized lift is asserted to be multiplicative, so the total defect is 1 and reciprocity follows; quadratic reciprocity is the odd-prime case. The local identification is direct: (a,b)_v equals the ratio of the four Weil indices γ_v. That framing is new enough to be worth seeing written out, and it does connect symplectic geometry to a standard theorem in a way that could extend to other symbols or higher-rank groups. The paper is clear on the local side and on how the Bruhat word compares local and adelic realizations. The soft spot is the global step. The abstract states that the normalized Bruhat-word lift is multiplicative for rational adelic data, but the normalization divides out a local factor fixed by the quadratic convention used to define the phases. Nothing in the description shows an explicit product computation or a reference proving those factors cancel independently of the reciprocity law itself. If the full text supplies that check without circularity, the argument holds; otherwise the central claim rests on an unverified cancellation. This is the sort of paper a reader working on geometric or metaplectic number theory would want to look at, even if only to see whether the normalization detail can be tightened. It is worth sending to peer review so specialists can examine the global multiplicativity claim directly.

Referee Report

2 major / 2 minor

Summary. The manuscript gives a metaplectic proof of Hilbert reciprocity (hence quadratic reciprocity) in which the local Hilbert symbol is recovered as the defect of strict multiplicativity of Kashiwara-Maslov phases of Lagrangian triples. In rank two the phase of (L_∞, L_a, L_0) is the Weil index γ_v(a), so that (a,b)_v equals γ_v(a)γ_v(b) / [γ_v(1) γ_v(ab)]. The global step asserts that the normalized Bruhat-word lift of the diagonal torus element m(a) is strictly multiplicative for rational adelic data, forcing the product of the local defects μ_v(a,b) to equal 1 and thereby yielding the reciprocity law.

Significance. If the global normalization step can be verified to be independent of the quadratic convention used to define the Maslov phase, the argument supplies a geometric derivation of reciprocity that directly links the symplectic Maslov index to the Hilbert symbol. The local identification is explicit and the reduction to quadratic reciprocity is standard; the novelty lies in the adelic Bruhat-word comparison.

major comments (2)

[Global step paragraph] Global step (abstract and the paragraph beginning 'For rational adelic data'): the claim that the normalized Bruhat-word lift is multiplicative for a,b ∈ Q^* requires an explicit argument that the product of the local normalization factors (determined by the chosen quadratic convention for γ_v) equals 1. No computation or reference is supplied showing this cancellation is independent of the convention and does not presuppose the reciprocity law being proved; this step is load-bearing for the global claim.
[Local phase definition] Local identification (equation (a,b)_v = γ_v(a)γ_v(b)/[γ_v(1)γ_v(ab)]): while the defect formula is stated, the manuscript must confirm that the Maslov phase γ_v is computed independently of the Hilbert symbol (e.g., via the standard Weil-index formula or explicit oscillator representation) rather than being defined circularly as the phase defect.

minor comments (2)

[Abstract] Notation: the symbol μ_v(a,b) is introduced for the defect but is not distinguished typographically from the Hilbert symbol (a,b)_v; a brief sentence clarifying the relation would help.
[Final paragraph] The reduction from Hilbert to quadratic reciprocity is asserted but not written out; adding the two-line specialization to odd primes (p,q) would make the final step self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on our manuscript. We address each major comment below and will incorporate clarifications in a revised version.

read point-by-point responses

Referee: [Global step paragraph] Global step (abstract and the paragraph beginning 'For rational adelic data'): the claim that the normalized Bruhat-word lift is multiplicative for a,b ∈ Q^* requires an explicit argument that the product of the local normalization factors (determined by the chosen quadratic convention for γ_v) equals 1. No computation or reference is supplied showing this cancellation is independent of the convention and does not presuppose the reciprocity law being proved; this step is load-bearing for the global claim.

Authors: The global multiplicativity of the normalized Bruhat-word lift for rational adelic data follows directly from the fact that the underlying torus element m(a) belongs to SL_2(Q). This permits a consistent global lift in the adelic metaplectic cover whose normalization is fixed by the rational Bruhat decomposition, independent of any local quadratic convention used to define the Maslov phase. The local normalization factors therefore cancel in the product over all places by the global consistency of the rational point, without any appeal to the reciprocity law itself; the law is instead deduced as a consequence. We will add an explicit paragraph in the revision spelling out this adelic construction and its independence from the local convention. revision: yes
Referee: [Local phase definition] Local identification (equation (a,b)_v = γ_v(a)γ_v(b)/[γ_v(1)γ_v(ab)]): while the defect formula is stated, the manuscript must confirm that the Maslov phase γ_v is computed independently of the Hilbert symbol (e.g., via the standard Weil-index formula or explicit oscillator representation) rather than being defined circularly as the phase defect.

Authors: The phase γ_v(a) is the Kashiwara-Maslov phase of the Lagrangian triple (L_∞, L_a, L_0), which is identified with the standard one-dimensional Weil index. This index is computed independently via the oscillator representation of the metaplectic group or the explicit symplectic-geometry formula for the Maslov index over the local field; the Hilbert symbol is recovered only afterwards as the multiplicativity defect. We will insert a short clarifying sentence in the revision recalling this standard, non-circular definition and citing the usual references for the Weil index. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in the derivation chain

full rationale

The paper defines the local Hilbert symbol via the defect of multiplicativity of the Kashiwara-Maslov phases (identified with the Weil index γ_v in rank two). The global step asserts that the normalized Bruhat-word lift is multiplicative for rational adelic data because the data arise from SL_2(Q) and therefore admit a global section in the metaplectic cover; this forces the product of local defects to be 1. The global multiplicativity is justified by the adelic/rational structure and the existence of the global lift, which is independent of the local phase definitions and does not reduce to a tautology or self-definition of the symbol. The local bridge connecting the Maslov defect to the Hilbert symbol is an identification, not a fit or renaming, and the overall chain remains self-contained against standard results on metaplectic representations and Weil indices.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

Abstract-only review limits visibility; the argument rests on standard facts about metaplectic groups, Bruhat decomposition, and the Maslov index, plus one normalization choice.

free parameters (1)

quadratic convention
Determines the normalization factor for the raw Bruhat-word lift; mentioned explicitly as affecting local operators.

axioms (2)

domain assumption Existence and functoriality of the Kashiwara-Maslov phase for triples of Lagrangians in symplectic vector spaces
Invoked to define the local phase γ_v(a) in rank two.
standard math Properties of the metaplectic cover of SL_2 and the Bruhat decomposition for the diagonal torus
Used to lift the word m(a) both locally and adelically.

pith-pipeline@v0.9.0 · 5531 in / 1448 out tokens · 60677 ms · 2026-05-07T15:13:00.205476+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Kudla,Notes on the local theta correspondence, available from the author’s webpage

Stephen S. Kudla,Notes on the local theta correspondence, available from the author’s webpage

work page
[2]

6, Birkhäuser, Boston, 1980

Gérard Lion and Michèle Vergne,The Weil representation, Maslov index and theta series, Progress in Mathematics, vol. 6, Birkhäuser, Boston, 1980

work page 1980
[3]

Moeglin, M.-F

C. Moeglin, M.-F. Vignéras, J.-L. Waldspurger,Correspondances de Howe sur un corpsp-adique, Lecture Notes in Mathematics, vol. 1291, Springer, 1987

work page 1987
[4]

Perrin,Indice de Maslov et formes quadratiques, Ann

D. Perrin,Indice de Maslov et formes quadratiques, Ann. Inst. Fourier (Grenoble)28(1978), no. 3, 1–32

work page 1978
[5]

Ranga Rao, On some explicit formulas in the theory of Weil representation,Pacific J

R. Ranga Rao, On some explicit formulas in the theory of Weil representation,Pacific J. Math. 43(1972), 235–246

work page 1972
[6]

7, Springer, New York, 1973

Jean-Pierre Serre,A Course in Arithmetic, Graduate Texts in Mathematics, vol. 7, Springer, New York, 1973

work page 1973
[7]

67, Springer, New York, 1979

Jean-Pierre Serre,Local Fields, Graduate Texts in Mathematics, vol. 67, Springer, New York, 1979

work page 1979
[8]

67, American Mathematical Society, Providence, RI, 2005

Tsit-Yuen Lam,Introduction to Quadratic Forms over Fields, Graduate Studies in Mathematics, vol. 67, American Mathematical Society, Providence, RI, 2005

work page 2005
[9]

Thomas,The Maslov index as a quadratic space, Math

R. Thomas,The Maslov index as a quadratic space, Math. Res. Lett.13(2006), no. 5–6, 985–999

work page 2006
[10]

André Weil, Sur certains groupes d’opérateurs unitaires,Acta Math.111(1964), 143–211. 20

work page 1964

[1] [1]

Kudla,Notes on the local theta correspondence, available from the author’s webpage

Stephen S. Kudla,Notes on the local theta correspondence, available from the author’s webpage

work page

[2] [2]

6, Birkhäuser, Boston, 1980

Gérard Lion and Michèle Vergne,The Weil representation, Maslov index and theta series, Progress in Mathematics, vol. 6, Birkhäuser, Boston, 1980

work page 1980

[3] [3]

Moeglin, M.-F

C. Moeglin, M.-F. Vignéras, J.-L. Waldspurger,Correspondances de Howe sur un corpsp-adique, Lecture Notes in Mathematics, vol. 1291, Springer, 1987

work page 1987

[4] [4]

Perrin,Indice de Maslov et formes quadratiques, Ann

D. Perrin,Indice de Maslov et formes quadratiques, Ann. Inst. Fourier (Grenoble)28(1978), no. 3, 1–32

work page 1978

[5] [5]

Ranga Rao, On some explicit formulas in the theory of Weil representation,Pacific J

R. Ranga Rao, On some explicit formulas in the theory of Weil representation,Pacific J. Math. 43(1972), 235–246

work page 1972

[6] [6]

7, Springer, New York, 1973

Jean-Pierre Serre,A Course in Arithmetic, Graduate Texts in Mathematics, vol. 7, Springer, New York, 1973

work page 1973

[7] [7]

67, Springer, New York, 1979

Jean-Pierre Serre,Local Fields, Graduate Texts in Mathematics, vol. 67, Springer, New York, 1979

work page 1979

[8] [8]

67, American Mathematical Society, Providence, RI, 2005

Tsit-Yuen Lam,Introduction to Quadratic Forms over Fields, Graduate Studies in Mathematics, vol. 67, American Mathematical Society, Providence, RI, 2005

work page 2005

[9] [9]

Thomas,The Maslov index as a quadratic space, Math

R. Thomas,The Maslov index as a quadratic space, Math. Res. Lett.13(2006), no. 5–6, 985–999

work page 2006

[10] [10]

André Weil, Sur certains groupes d’opérateurs unitaires,Acta Math.111(1964), 143–211. 20

work page 1964