On the local Langlands conjectures for disconnected groups

Tasho Kaletha

arxiv: 2210.02519 · v2 · pith:BVPB62YCnew · submitted 2022-10-05 · 🧮 math.RT · math.NT

On the local Langlands conjectures for disconnected groups

Tasho Kaletha This is my paper

Pith reviewed 2026-05-24 11:07 UTC · model grok-4.3

classification 🧮 math.RT math.NT

keywords local Langlands conjecturedisconnected groupstwisted endoscopyL-packetstransfer factorsLanglands parameterscentralizer representations

0 comments

The pith

The local Langlands conjectures extend to disconnected groups with non-abelian component groups when the identity component is a torus.

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

The paper extends the local Langlands conjectures to disconnected groups that allow non-abelian component groups. It recasts some aspects of twisted endoscopy in this new language. Normalized twisted transfer factors are introduced along with a normalized correspondence between L-packets and representations of centralizer groups. The main achievement is proving the conjecture in the special case where the identity component is a torus. This matters because it gives the first concrete verification of the extended conjectures and provides tools for handling more general disconnected groups.

Core claim

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer factors and a normalized correspondence between an L-packet for a disconnected group and the set of representations of the centralizer groups of its Langlands parameter. We prove the first instance of this conjecture, in which the identity component of the (possibly non-abelian) disconnected group is a torus.

What carries the argument

The normalized correspondence between L-packets for a disconnected group and the representations of the centralizer groups of its Langlands parameter, supported by normalized twisted transfer factors.

Load-bearing premise

The local Langlands conjectures admit a meaningful extension to disconnected groups with non-abelian component groups that allows well-defined normalized twisted transfer factors and a normalized correspondence to centralizer representations.

What would settle it

Finding a specific disconnected group with toral identity component where the proposed correspondence between an L-packet and centralizer representations fails to hold or is inconsistent with the normalized transfer factors.

read the original abstract

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer factors and a normalized correspondence between an $L$-packet for a disconnected group and the set of representations of the centralizer groups of its Langlands parameter. We prove the first instance of this conjecture, in which the identity component of the (possibly non-abelian) disconnected group is 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

Kaletha extends the local Langlands setup to disconnected groups with non-abelian components and proves the torus case.

read the letter

Kaletha's paper extends the local Langlands conjecture to disconnected groups that allow non-abelian component groups. It recasts parts of twisted endoscopy in this language and defines normalized twisted transfer factors plus a normalized correspondence between L-packets and centralizer representations. The main concrete result is a proof of the full statement when the identity component is a torus. That gives a verifiable first case built on the connected reductive theory without obvious circularity in the definitions. The normalization choices appear deliberate and aimed at making endoscopic transfer well-defined for these groups. The torus proof is the part that actually lands as new evidence rather than conjecture. The general case remains open, which is expected, but the framework itself is set up cleanly enough that later work can test it on other groups. One minor soft spot is that the torus case is the easiest special instance, so the result does not yet stress-test the normalization against more complicated component groups or non-toral connected components. Still, the argument structure shows no internal gaps or hidden fitting from the claims given. This is for people already working inside the Langlands program who need to handle disconnected or twisted forms. A reader comfortable with the connected case will get direct value from the normalized objects and the torus verification. The paper is coherent on its own terms and deserves a serious referee rather than a desk reject.

Referee Report

0 major / 1 minor

Summary. The paper extends the local Langlands conjectures to a class of disconnected groups (allowing non-abelian component groups), recasts aspects of twisted endoscopy in this setting, introduces normalized twisted transfer factors together with a normalized correspondence between L-packets for the disconnected group and representations of the centralizer groups of the Langlands parameter, and proves the resulting conjecture in the special case where the identity component is a torus.

Significance. If the result holds, the work supplies the first proved instance of the extended local Langlands conjecture for disconnected groups. The construction of normalized transfer factors and the normalized L-packet/centralizer correspondence provides a concrete framework that builds directly on the connected-group case, which is a substantive step toward a general theory.

minor comments (1)

The abstract and introduction would benefit from an explicit statement of the precise class of disconnected groups under consideration (e.g., the conditions on the component group and the action on the identity component).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary of the manuscript, and recommendation to accept. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines an extension of the local Langlands conjectures to disconnected groups (including non-abelian component groups), introduces normalized twisted transfer factors and a normalized L-packet/centralizer correspondence as new objects, and proves the resulting statement in the special case where the identity component is a torus. These steps are presented as building on the connected case without any reduction of the new correspondence or factors to quantities already fitted to the target result by construction, and without load-bearing self-citations that collapse the central claim to its own inputs. The derivation chain remains self-contained against external benchmarks in the connected case.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work extends an existing conjecture framework, so it rests on the established local Langlands correspondence for connected reductive groups and on the standard setup of twisted endoscopy.

axioms (1)

domain assumption The local Langlands correspondence holds for connected reductive groups over local fields
The extension and the normalized correspondence are defined by building on the connected case.

pith-pipeline@v0.9.0 · 5597 in / 1253 out tokens · 38671 ms · 2026-05-24T11:07:48.260339+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/ArithmeticFromLogic.lean LogicNat ≃ Nat recovery; no Langlands parameters unclear

?

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

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups... prove the first instance... identity component is a torus... two push-out diagrams... canonical isomorphism
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean AbsoluteFloorWitness; bare distinguishability unclear

?

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

normalized twisted transfer factor Δ_KS... absolute invariant inv(γ,(z,δ)) ∈ H^1_a(Γ,S⇒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.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On the refined local Langlands conjecture for discrete $L$-parameters of inner forms of quasi-split disconnected real reductive groups
math.RT 2026-05 unverdicted novelty 7.0

The paper constructs L-packets for discrete L-parameters on inner forms of quasi-split disconnected real reductive groups and proves they satisfy endoscopic character identities, establishing the refined local Langlan...
The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups
math.RT 2026-04 unverdicted novelty 6.0

Constructs local Langlands correspondence for essentially unipotent supercuspidal representations with functoriality and automorphism equivariance, generalizing to disconnected reductive groups under a mild structural...
The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups
math.RT 2026-04 unverdicted novelty 6.0

Constructs local Langlands correspondence for essentially unipotent supercuspidal representations of disconnected reductive groups under rigid inner forms, strengthening prior work and proving functoriality.