On the non-generic part of cohomology of compact unitary Shimura varieties of signature $(1,n)$

Kun Liu

arxiv: 2511.18629 · v2 · submitted 2025-11-23 · 🧮 math.NT

On the non-generic part of cohomology of compact unitary Shimura varieties of signature (1,n)

Kun Liu This is my paper

Pith reviewed 2026-05-17 05:48 UTC · model grok-4.3

classification 🧮 math.NT

keywords cohomologyShimura varietiesunitary groupsnon-genericFargues-ScholzeKoshikawaHarris-TaylorLanglands

0 comments

The pith

The non-generic cohomology of compact unitary Shimura varieties of signature (1,n) is controlled by the Fargues-Scholze framework at good primes.

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

This paper proves a result on the non-generic part of the cohomology of compact unitary Shimura varieties with signature (1,n) for good primes p. It partially extends Boyer's earlier result from the Harris-Taylor unitary Shimura varieties to this setting. The proof uses the Fargues-Scholze context and Koshikawa's ideas originally for the generic part, offering a different approach from Boyer. Sympathetic readers care because it contributes to understanding the full cohomology and its relation to automorphic representations in the Langlands correspondence for unitary groups.

Core claim

In this short note, we prove a result about the non-generic part of the cohomology of certain compact unitary Shimura varieties for good p, partially extending a result of Boyer in the case of Harris--Taylor unitary Shimura varieties. Our arguments are different to those of Boyer -- we work in the context of the work of Fargues--Scholze, using ideas introduced by Koshikawa to study the generic part of cohomology.

What carries the argument

The Fargues-Scholze framework extended by Koshikawa's ideas to address non-generic cohomology in the signature (1,n) case.

Load-bearing premise

The Fargues--Scholze framework and Koshikawa's ideas for the generic part extend directly to control the non-generic cohomology in this signature (1,n) compact unitary setting at good p.

What would settle it

Computing the cohomology explicitly for a small value of n at a good prime and finding that the non-generic part does not match the predicted control from the framework would falsify the result.

read the original abstract

In this short note, we prove a result about the non-generic part of the cohomology of certain compact unitary Shimura varieties for good $p$, partially extending a result of Boyer in the case of Harris--Taylor unitary Shimura varieties. Our arguments are different to those of Boyer -- we work in the context of the work of Fargues--Scholze, using ideas introduced by Koshikawa to study the generic part of cohomology.

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 short note extends Boyer's result on non-generic cohomology to signature (1,n) compact unitary Shimura varieties at good p using Fargues-Scholze and Koshikawa, but the direct carry-over of generic vanishing conditions looks like the part that needs the most checking.

read the letter

The paper proves a statement about the non-generic part of the cohomology for these compact unitary Shimura varieties of signature (1,n) at good primes, giving a partial extension of Boyer's work on the Harris-Taylor case. It does this with a different argument that sits inside the Fargues-Scholze framework and borrows ideas Koshikawa used for the generic part. That choice of method is the main thing that stands out as new here. It avoids Boyer's original route and tries to reuse some of the support and vanishing tools from the generic setting. For readers already working in that circle, the note shows one way the same circle of ideas might reach the non-generic contributions without starting from scratch. The abstract is clear about the scope and the partial nature of the extension, which helps. The soft spot is exactly the transfer step the stress-test flags. Koshikawa's conditions were set up for generic representations, and in the (1,n) compact case the endoscopic or non-endoscopic pieces can sit differently. The note does not appear to give an independent verification or extra argument that those conditions still hold when the local component is non-generic. If the full text supplies a short direct check or shows why the same estimates apply unchanged, that would tighten things. Without it the claim rests on the adaptation working as hoped. This is for people already following the Fargues-Scholze program on Shimura variety cohomology and its links to the Langlands correspondence. A reader who wants to see how generic techniques might stretch to non-generic parts will find a concrete test case. It is narrow but it is a real statement in an active area, so it deserves a serious referee who can look at the details of that transfer. I would send it out for review rather than desk reject.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove a result about the non-generic part of the cohomology of compact unitary Shimura varieties of signature (1,n) for good primes p, partially extending Boyer's result for Harris-Taylor unitary Shimura varieties. The arguments adapt the Fargues-Scholze framework together with ideas introduced by Koshikawa for studying the generic part of cohomology.

Significance. If the central claim holds, the result would extend control over non-generic contributions to the cohomology of these Shimura varieties, which is relevant for understanding associated Galois representations and automorphic forms beyond the generic case. The approach leverages recent p-adic geometric tools in a setting where such extensions are not automatic, and the paper's focus on a different argument from Boyer is a constructive feature.

major comments (1)

[Main argument / adaptation of Koshikawa's techniques] The central claim depends on transferring Koshikawa's vanishing and support conditions (originally for generic representations) to the non-generic local components in the signature (1,n) compact unitary case at good p. The manuscript does not supply an explicit verification that these conditions remain valid when endoscopic or non-endoscopic contributions differ from the Harris-Taylor setting; this step is load-bearing and requires a dedicated argument or reference to a precise lemma.

minor comments (2)

[Introduction] As a short note, the manuscript would benefit from a brief recap of the relevant statements from Fargues-Scholze and Koshikawa that are being adapted, to make the differences from Boyer's approach clearer.
[Notation and setup] Notation for the non-generic part of the cohomology and the precise meaning of 'good p' should be fixed at the outset rather than left implicit from the cited works.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive suggestion regarding the adaptation of Koshikawa's techniques. We address the major comment below.

read point-by-point responses

Referee: The central claim depends on transferring Koshikawa's vanishing and support conditions (originally for generic representations) to the non-generic local components in the signature (1,n) compact unitary case at good p. The manuscript does not supply an explicit verification that these conditions remain valid when endoscopic or non-endoscopic contributions differ from the Harris-Taylor setting; this step is load-bearing and requires a dedicated argument or reference to a precise lemma.

Authors: We thank the referee for this observation. The transfer of the vanishing and support conditions is intended to follow from the general properties of the Fargues-Scholze geometric Satake equivalence together with the fact that, for good primes p and the compact signature (1,n) case, the relevant local components satisfy the same support conditions as in Koshikawa's generic setting, with endoscopic contributions controlled by the global compactness of the Shimura variety. Nevertheless, we agree that the manuscript would benefit from a more explicit verification of this step. In the revised version we will add a short dedicated paragraph (or lemma) that recalls the relevant statements from Koshikawa and verifies their applicability to the non-generic local components, including a brief discussion of why the endoscopic/non-endoscopic distinction does not affect the vanishing and support statements in this setting. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent external frameworks with explicitly different arguments.

full rationale

The paper is a short note that explicitly states its arguments differ from Boyer's and instead works in the Fargues-Scholze context while adapting ideas from Koshikawa (originally for the generic part) to the non-generic cohomology in the (1,n) compact unitary case at good p. No self-citations by the author appear in the provided abstract or description, and the central claim is presented as a partial extension rather than a reduction to fitted parameters or prior results by the same authors. The cited works (Fargues-Scholze, Koshikawa, Boyer) are treated as external inputs whose applicability is asserted but not shown to collapse into self-definition or construction within this manuscript. This is the normal case of a paper building on prior literature without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of the Fargues-Scholze geometric framework and Koshikawa's techniques to the non-generic case, which are treated as established domain tools rather than new postulates.

axioms (1)

domain assumption Fargues-Scholze geometry and Koshikawa's ideas for generic cohomology extend to the non-generic part for these varieties at good p.
Invoked directly in the abstract as the basis for the new arguments.

pith-pipeline@v0.9.0 · 5357 in / 1320 out tokens · 48259 ms · 2026-05-17T05:48:17.872398+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 2 internal anchors

[1]

Igusa Stacks and the Cohomology of Shimura Varieties

[DvHKZ24] Patrick Daniels, Pol van Hoften, Dongryul Kim, and Mingjia Zhang. Igusa stacks and the cohomology of shimura varieties.arXiv preprint arXiv:2408.01348,

work page internal anchor Pith review Pith/arXiv arXiv
[2]

Courbes et fibrés vectoriels en théorie de Hodge p-adique

[FS21] Laurent Fargues and Peter Scholze. Geometrization of the local langlands correspondence. arXiv preprint arXiv:2102.13459,

work page arXiv
[3]

Non-semi-stable loci in hecke stacks and fargues’ conjecture

[GI16] Ildar Gaisin and Naoki Imai. Non-semi-stable loci in hecke stacks and fargues’ conjecture. arXiv preprint arXiv:1608.07446,

work page arXiv
[4]

Geometric eisenstein series, intertwining operators, and shin’s averaging formula.arXiv preprint arXiv:2209.08175,

[Ham22] Linus Hamann. Geometric eisenstein series, intertwining operators, and shin’s averaging formula.arXiv preprint arXiv:2209.08175,

work page arXiv
[5]

Torsion vanishing for some shimura varieties.arXiv preprint arXiv:2309.08705,

[HL23] Linus Hamann and Si Ying Lee. Torsion vanishing for some shimura varieties.arXiv preprint arXiv:2309.08705,

work page arXiv
[6]

On the generic part of the cohomology of local and global shimura varieties.arXiv preprint arXiv:2106.10602,

[Kos21] Teruhisa Koshikawa. On the generic part of the cohomology of local and global shimura varieties.arXiv preprint arXiv:2106.10602,

work page arXiv
[7]

Towards a theory of local Shimura varieties

[RV14] Michael Rapoport and Eva Viehmann. Towards a theory of local shimura varieties.arXiv preprint arXiv:1401.2849,

work page internal anchor Pith review Pith/arXiv arXiv
[8]

Number theoretic background

[Tat79] John Tate. Number theoretic background. InAutomorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part, volume 2, pages 3–26,

work page 1977
[9]

On the generic part of the cohomology of shimura varieties of abelian type.arXiv preprint arXiv:2505.04329,

9 [YZ25] Xiangqian Yang and Xinwen Zhu. On the generic part of the cohomology of shimura varieties of abelian type.arXiv preprint arXiv:2505.04329,

work page arXiv
[10]

A pel-type igusa stack and thep-adic geometry of shimura varieties.arXiv preprint arXiv:2309.05152,

[Zha23] Mingjia Zhang. A pel-type igusa stack and thep-adic geometry of shimura varieties.arXiv preprint arXiv:2309.05152,

work page arXiv
[11]

Tame categorical local langlands correspondence.arXiv preprint arXiv:2504.07482,

[Zhu25] Xinwen Zhu. Tame categorical local langlands correspondence.arXiv preprint arXiv:2504.07482,

work page arXiv
[12]

The categorical form of fargues’ conjecture for tori.arXiv preprint arXiv:2202.13238,

[Zou22] Konrad Zou. The categorical form of fargues’ conjecture for tori.arXiv preprint arXiv:2202.13238,

work page arXiv
[13]

Categorical local langlands for GL n for parameters of Langlands–Shahidi type with integral coefficients.arXiv preprint arXiv:2504.06499, 2025

[Zou25] Konrad Zou. Categorical local langlands for GL n for parameters of Langlands–Shahidi type with integral coefficients.arXiv preprint arXiv:2504.06499, 2025

work page arXiv 2025

[1] [1]

Igusa Stacks and the Cohomology of Shimura Varieties

[DvHKZ24] Patrick Daniels, Pol van Hoften, Dongryul Kim, and Mingjia Zhang. Igusa stacks and the cohomology of shimura varieties.arXiv preprint arXiv:2408.01348,

work page internal anchor Pith review Pith/arXiv arXiv

[2] [2]

Courbes et fibrés vectoriels en théorie de Hodge p-adique

[FS21] Laurent Fargues and Peter Scholze. Geometrization of the local langlands correspondence. arXiv preprint arXiv:2102.13459,

work page arXiv

[3] [3]

Non-semi-stable loci in hecke stacks and fargues’ conjecture

[GI16] Ildar Gaisin and Naoki Imai. Non-semi-stable loci in hecke stacks and fargues’ conjecture. arXiv preprint arXiv:1608.07446,

work page arXiv

[4] [4]

Geometric eisenstein series, intertwining operators, and shin’s averaging formula.arXiv preprint arXiv:2209.08175,

[Ham22] Linus Hamann. Geometric eisenstein series, intertwining operators, and shin’s averaging formula.arXiv preprint arXiv:2209.08175,

work page arXiv

[5] [5]

Torsion vanishing for some shimura varieties.arXiv preprint arXiv:2309.08705,

[HL23] Linus Hamann and Si Ying Lee. Torsion vanishing for some shimura varieties.arXiv preprint arXiv:2309.08705,

work page arXiv

[6] [6]

On the generic part of the cohomology of local and global shimura varieties.arXiv preprint arXiv:2106.10602,

[Kos21] Teruhisa Koshikawa. On the generic part of the cohomology of local and global shimura varieties.arXiv preprint arXiv:2106.10602,

work page arXiv

[7] [7]

Towards a theory of local Shimura varieties

[RV14] Michael Rapoport and Eva Viehmann. Towards a theory of local shimura varieties.arXiv preprint arXiv:1401.2849,

work page internal anchor Pith review Pith/arXiv arXiv

[8] [8]

Number theoretic background

[Tat79] John Tate. Number theoretic background. InAutomorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part, volume 2, pages 3–26,

work page 1977

[9] [9]

On the generic part of the cohomology of shimura varieties of abelian type.arXiv preprint arXiv:2505.04329,

9 [YZ25] Xiangqian Yang and Xinwen Zhu. On the generic part of the cohomology of shimura varieties of abelian type.arXiv preprint arXiv:2505.04329,

work page arXiv

[10] [10]

A pel-type igusa stack and thep-adic geometry of shimura varieties.arXiv preprint arXiv:2309.05152,

[Zha23] Mingjia Zhang. A pel-type igusa stack and thep-adic geometry of shimura varieties.arXiv preprint arXiv:2309.05152,

work page arXiv

[11] [11]

Tame categorical local langlands correspondence.arXiv preprint arXiv:2504.07482,

[Zhu25] Xinwen Zhu. Tame categorical local langlands correspondence.arXiv preprint arXiv:2504.07482,

work page arXiv

[12] [12]

The categorical form of fargues’ conjecture for tori.arXiv preprint arXiv:2202.13238,

[Zou22] Konrad Zou. The categorical form of fargues’ conjecture for tori.arXiv preprint arXiv:2202.13238,

work page arXiv

[13] [13]

Categorical local langlands for GL n for parameters of Langlands–Shahidi type with integral coefficients.arXiv preprint arXiv:2504.06499, 2025

[Zou25] Konrad Zou. Categorical local langlands for GL n for parameters of Langlands–Shahidi type with integral coefficients.arXiv preprint arXiv:2504.06499, 2025

work page arXiv 2025