arxiv: 2605.14307 · v1 · submitted 2026-05-14 · 🧮 math.NT

Recognition: 1 theorem link

· Lean Theorem

L-indistinguishability for covering groups of algebraic tori

Yuki Nakata

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:29 UTC · model grok-4.3

classification 🧮 math.NT

keywords covering groupsalgebraic toriBrylinski-Deligneglobal S-groupautomorphic representationsL-indistinguishabilityfiniteness

0 comments

The pith

For Brylinski-Deligne covering groups of algebraic tori, the analogue of the global S-group has finite order.

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

The paper verifies that the analogue of the global S-group, which is expected to pick out the automorphic representations inside each global packet, has finite order when the underlying group is a Brylinski-Deligne cover of an algebraic torus. This removes an uncertainty that arises because covering groups are not reductive in the usual sense, so the standard construction of the S-group does not immediately guarantee finiteness. A sympathetic reader cares because the result lets the same packet-filtering mechanism that works for ordinary groups continue to work for these covers, supporting a uniform description of automorphic representations on covering groups.

Core claim

A global packet may simultaneously contain an automorphic representation and a non-automorphic representation. The global S-group is expected to specify the automorphic representations in each global packet. For a covering group of an algebraic torus it is not obvious from the definition whether the analogue of a global S-group has finite order. In this paper we verify this finiteness for a Brylinski-Deligne covering group of a torus.

What carries the argument

The analogue of the global S-group constructed directly from the Brylinski-Deligne covering data on the torus, shown to have finite order by that construction.

If this is right

The finite S-group can be used to select the automorphic members of each global packet for these covering groups.
Global packets are thereby partitioned consistently into automorphic and non-automorphic parts.
The expected distinction between automorphic and non-automorphic representations extends to covering groups of tori.
L-indistinguishability statements become available once the finite S-group is in hand.

Where Pith is reading between the lines

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

The same finiteness argument might apply to other natural classes of covers once an analogue of the S-group is defined.
Explicit formulas for the order of the S-group could now be derived for low-dimensional tori.
The result opens the possibility of comparing packet sizes between the cover and its linear quotient.

Load-bearing premise

The analogue of the global S-group is well-defined from the Brylinski-Deligne covering data on the torus and finiteness follows from that definition without extra restrictions.

What would settle it

An explicit Brylinski-Deligne cover of a torus together with a calculation showing that its associated S-group analogue has infinite order would disprove the claim.

read the original abstract

A global packet may simultaneously contain an automorphic representation and a non-automorphic representation. The global $\mathcal S$-group is expected, and known in some cases, to specify the automorphic representations in each global packet. For a covering group of an algebraic torus, it is not obvious from the definition whether the analogue of a global $\mathcal S$-group has finite order. In this paper, we verify this finiteness for a Brylinski-Deligne covering group of a torus.

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

The paper verifies that the global S-group analogue for Brylinski-Deligne covers of tori has finite order by building it from the 2-cocycle and reducing to local finiteness plus a terminating product formula.

read the letter

The main point is that this paper confirms the finiteness of the analogue of the global S-group for Brylinski-Deligne covering groups of algebraic tori. That finiteness was not obvious from the definition, so the verification is the concrete advance here. The author constructs the S-group directly from the Brylinski-Deligne 2-cocycle data on the torus. Finiteness then comes from checking that the order is finite at each local place and that a global product formula terminates because the cover is of finite type. No extra restrictions on the torus or cover appear to be required beyond the standard BD setup. This reduction looks clean and avoids any circular steps. The paper stays tightly focused on this verification, which is a strength for a short note in a specialized area. It gives an explicit construction that can be used in the study of packets for these covering groups, even if the step is modest. The argument is self-contained enough that a reader familiar with BD covers and local-global principles can follow the logic without chasing many external references. On the softer side, the work is limited to tori, so it leaves the harder non-abelian cases untouched. The local finiteness step is treated as straightforward, which may be true but would benefit from a brief explicit check in the text if it is not already standard in the literature. The global product formula is the load-bearing part, and it works here because of the finite-type condition. This paper is for people already working on the Langlands program for covering groups, especially those who need the S-group to be well-behaved when classifying automorphic representations of tori. A reader interested in explicit descriptions of packets or in extending these ideas to other groups will get direct value from the construction and the finiteness proof. It deserves a serious referee. The claim is precise, the method is direct, and it resolves a specific open point that was blocking further progress on the S-group side for this class of groups. I would recommend sending it to peer review.

Referee Report

2 major / 3 minor

Summary. The paper verifies the finiteness of the analogue of the global S-group for Brylinski-Deligne covering groups of algebraic tori. It constructs this group directly from the Brylinski-Deligne 2-cocycle data on the torus and establishes finiteness by reducing to local finiteness together with a global product formula that terminates because the cover is of finite type.

Significance. If the result holds, it resolves a basic definitional question for global packets in the covering setting for tori, providing a concrete description of the S-group that distinguishes automorphic representations without extra restrictions on the torus or cover beyond the BD datum. The direct construction from the 2-cocycle is a methodological strength.

major comments (2)

[§3] §3, construction of the global S-group: the well-definedness of the group from the BD 2-cocycle (independent of cocycle representative and local choices) is asserted but the verification that the resulting object is canonically attached to the cover datum should be made explicit, as this is load-bearing for the claim that no additional restrictions are needed.
[§4] §4, global product formula: the argument that the product terminates (only finitely many places contribute) relies on the finite-type assumption; an explicit reference to the support of the cocycle or a uniform bound on the ramification would make the reduction to local finiteness fully rigorous.

minor comments (3)

[Introduction] The introduction would benefit from a short comparison table of the classical S-group versus the covering analogue, including the precise functoriality properties used.
Notation for the local and global S-groups (e.g., S_v versus S) should be introduced once and used consistently; occasional shifts between multiplicative and additive notation for the cocycle values are distracting.
[§3] A reference to the standard finiteness result for local BD covers of tori (used in the reduction) is missing; citing the relevant lemma or theorem number would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and the constructive comments, which will improve the clarity of the construction and the product formula. We address each point below and will incorporate the clarifications in the revised manuscript.

read point-by-point responses

Referee: [§3] §3, construction of the global S-group: the well-definedness of the group from the BD 2-cocycle (independent of cocycle representative and local choices) is asserted but the verification that the resulting object is canonically attached to the cover datum should be made explicit, as this is load-bearing for the claim that no additional restrictions are needed.

Authors: We agree that an explicit verification strengthens the argument. In the revised version we will expand §3 with a dedicated paragraph (or short subsection) proving independence from the choice of 2-cocycle representative and from local splittings. The argument proceeds by showing that any two representatives differ by a coboundary whose global product is trivial, and that local choices glue via the canonical isomorphism of the local S-groups; this establishes that the global S-group is canonically determined by the Brylinski-Deligne datum alone. revision: yes
Referee: [§4] §4, global product formula: the argument that the product terminates (only finitely many places contribute) relies on the finite-type assumption; an explicit reference to the support of the cocycle or a uniform bound on the ramification would make the reduction to local finiteness fully rigorous.

Authors: We thank the referee for this observation. The finite-type hypothesis on the cover implies that the BD 2-cocycle is supported on a finite set of places. In the revision we will insert an explicit sentence referencing the finite support of the cocycle (arising from the finite-type condition) together with a uniform bound on the ramification index outside that set. This makes the termination of the global product immediate and renders the reduction to local finiteness fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper directly constructs the global S-group analogue from the Brylinski-Deligne 2-cocycle data on the torus and verifies finiteness by reduction to local finiteness plus a terminating global product formula. No equations or claims reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the central verification is independent of the target result and uses only the given covering data.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no concrete free parameters, axioms, or invented entities can be extracted. The work presupposes standard definitions from the theory of Brylinski-Deligne covers and global packets.

pith-pipeline@v0.9.0 · 5362 in / 1140 out tokens · 65376 ms · 2026-05-15T02:29:03.073795+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Main Theorem (Proposition 5.4). ... the global S-group for the covering group ]T(A) has finite order.

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.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Brylinski and P

J.-L. Brylinski and P. Deligne. Central extensions of reductive groups byK 2.Publ. Math. Inst. Hautes ´Etudes Sci., (94):5–85, 2001

work page 2001
[2]

Bump and D

D. Bump and D. Ginzburg. Symmetric squareL-functions on GL(r).Ann. of Math. (2), 136(1):137–205, 1992

work page 1992
[3]

W. T. Gan and F. Gao. The Langlands-Weissman program for Brylinski-Deligne extensions.Ast´ erisque, (398):187–275, 2018. L-groups and the Langlands program for covering groups

work page 2018
[4]

A. C. Kable. The tensor product of exceptional representations on the general linear group.Ann. Sci. ´Ecole Norm. Sup. (4), 34(5):741–769, 2001

work page 2001
[5]

S. S. Kudla and S. Rallis. On the Weil-Siegel formula.J. Reine Angew. Math., 387:1– 68, 1988

work page 1988
[6]

Y. Nakata. Local langlands correspondence for covering groups of tori, and the packet- indexing groups.J. Number Theory, To appear

work page
[7]

Platonov, A

V. Platonov, A. Rapinchuk, and I. Rapinchuk.Algebraic groups and number the- ory. Vol. I, volume 205 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 2023

work page 2023
[8]

D. Quillen. Higher algebraicK-theory. I. InAlgebraicK-theory, I: HigherK-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), volume 341 ofLecture Notes in Math., pages 85–147. Springer, Berlin-New York, 1973

work page 1972
[9]

S. Takeda. The twisted symmetric squareL-function of GL(r).Duke Math. J., 163(1):175–266, 2014

work page 2014
[10]

A. Weil. Sur la formule de Siegel dans la th´ eorie des groupes classiques.Acta Math., 113:1–87, 1965

work page 1965
[11]

M. H. Weissman. Metaplectic tori over local fields.Pacific J. Math., 241(1):169–200, 2009

work page 2009
[12]

M. H. Weissman. Covers of tori over local and global fields.Amer. J. Math., 138(6):1533–1573, 2016

work page 2016
[13]

M. H. Weissman. L-groups and parameters for covering groups.Ast´ erisque, (398):33– 186, 2018. L-groups and the Langlands program for covering groups. Department of Mathematics, Kyoto University, Kyoto 606-8502, Japan Email address:nakata.24.nakata@outlook.jp

work page 2018