Positivity of automorphic vector bundles on unitary Shimura varieties
Pith reviewed 2026-05-23 00:56 UTC · model grok-4.3
The pith
An explicit criterion in terms of signature data and weight coordinates decides ampleness of automorphic line bundles on the flag space of unitary Shimura varieties.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For X the special fiber of a unitary Shimura variety of hyperspecial level at a prime p inert in the totally real field F, and Y the associated flag space, the line bundle L_Y(λ) is ample if and only if a concrete inequality involving the signature data and the coordinates of λ holds.
What carries the argument
The explicit necessary-and-sufficient ampleness criterion for L_Y(λ) expressed in terms of signature data and the coordinates of λ.
If this is right
- The criterion detects the coherent cohomology of automorphic vector bundles on X.
- The result recovers the known ample cone for Hilbert modular varieties.
- The result recovers the known ample cone for U(2)-Shimura varieties.
- The new stratum descriptions and geometric Jacquet-Langlands correspondence systematically manage combinatorial data in higher rank.
Where Pith is reading between the lines
- The same stratum machinery may extend to compute dimensions of spaces of sections in higher-rank cases.
- Geometric correspondences of this type could link positivity questions across Shimura varieties of different signatures.
- The criterion supplies a concrete test that could be implemented for explicit examples once the signature and weight data are fixed.
Load-bearing premise
The setup requires X to be the special fiber at hyperspecial level of a unitary Shimura variety at a prime p inert in the totally real field F, with Y its flag space.
What would settle it
Compute the ampleness of L_Y(λ) directly for a concrete low-rank unitary Shimura variety and weight λ where the criterion gives a clear prediction, and check whether the geometric positivity matches that prediction.
read the original abstract
Let $X$ be the special fiber of a unitary Shimura variety of hyperspecial level at a prime $p$ inert in the totally real field $F$. Let $Y\to X$ be the associated flag space. For every $L$-dominant weight $\lambda$, let $\mathcal{L}_Y(\lambda)$ denote the corresponding automorphic line bundle. We give an explicit necessary and sufficient criterion, in terms of the signature data and the coordinates of $\lambda$, for the ampleness of $\mathcal{L}_Y(\lambda)$. %, which effectively detects the coherent cohomology of automorphic vector bundles on $X$. The criterion generalizes the known ample cone for Hilbert modular and $U(2)$-Shimura varieties. The proof develops the machinery of the description of certain Ekedahl--Oort strata, a geometric Jacquet--Langlands correspondence between strata of unitary Shimura varieties with different signatures, and the construction of stratum Hasse invariants, and introduced a way to systematically deal with combinatorical data in the higher rank case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to establish an explicit necessary and sufficient criterion, in terms of signature data and the coordinates of an L-dominant weight λ, for the ampleness of the automorphic line bundle ℒ_Y(λ) on the flag space Y associated to the special fiber X of a unitary Shimura variety of hyperspecial level at a prime p inert in the totally real field F. The criterion generalizes the known ample cones for Hilbert modular varieties and U(2)-Shimura varieties. The proof develops descriptions of Ekedahl–Oort strata, a geometric Jacquet–Langlands correspondence between strata of different signatures, constructions of stratum Hasse invariants, and a systematic method for handling combinatorial data in the higher-rank case.
Significance. If the stated criterion holds, the result supplies a concrete positivity criterion for automorphic bundles on higher-rank unitary Shimura varieties, extending low-rank cases and potentially facilitating computations of coherent cohomology. The development of geometric Jacquet–Langlands and stratum Hasse invariants, together with the combinatorial framework for higher rank, constitutes a technical contribution that could be reusable in related settings.
major comments (2)
- [Introduction / main theorem statement] The central claim is an explicit N&S criterion, but the manuscript does not appear to include a self-contained statement of the criterion (e.g., as a theorem with explicit inequalities on the coordinates of λ relative to the signature) that can be checked independently of the full combinatorial machinery; this makes it difficult to verify the necessity direction without retracing the entire EO-stratum analysis.
- [Section on combinatorial data / higher-rank case] The combinatorial data handling for higher rank (mentioned in the abstract as a novel technical step) is load-bearing for the general criterion, yet the provided description gives no indication of how the authors avoid post-hoc adjustments when enumerating the relevant EO strata or when applying the geometric Jacquet–Langlands correspondence; a concrete example in rank 3 or 4 would be needed to confirm the method is uniform.
minor comments (2)
- [Abstract] The abstract states that the criterion 'effectively detects the coherent cohomology,' but this phrase is not expanded in the provided text; either remove or add a precise statement relating ampleness on Y to vanishing or non-vanishing on X.
- [Section 1 / setup] Notation for the flag space Y and the bundle ℒ_Y(λ) is introduced without an explicit reference to the standard construction via the Hodge bundle or the tautological filtration; a short paragraph recalling the definition would improve readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address the major comments point by point below.
read point-by-point responses
-
Referee: [Introduction / main theorem statement] The central claim is an explicit N&S criterion, but the manuscript does not appear to include a self-contained statement of the criterion (e.g., as a theorem with explicit inequalities on the coordinates of λ relative to the signature) that can be checked independently of the full combinatorial machinery; this makes it difficult to verify the necessity direction without retracing the entire EO-stratum analysis.
Authors: We agree that a more self-contained formulation of the criterion would facilitate independent verification of the necessity direction. In the revised manuscript we have added Theorem 1.1, which states the necessary and sufficient conditions explicitly as a system of linear inequalities on the coordinates of λ relative to the signature data (r,s). The statement is placed in the introduction and is independent of the subsequent EO-stratum analysis, while the proof of necessity still relies on the Hasse invariants constructed in Section 4. revision: yes
-
Referee: [Section on combinatorial data / higher-rank case] The combinatorial data handling for higher rank (mentioned in the abstract as a novel technical step) is load-bearing for the general criterion, yet the provided description gives no indication of how the authors avoid post-hoc adjustments when enumerating the relevant EO strata or when applying the geometric Jacquet–Langlands correspondence; a concrete example in rank 3 or 4 would be needed to confirm the method is uniform.
Authors: The combinatorial framework is constructed to be uniform: EO strata are enumerated via the Bruhat order on the Weyl group, and the geometric Jacquet–Langlands correspondence is defined so that it preserves the relevant dominance relations and the partial order without requiring case-by-case adjustments. To make this explicit we have inserted a new subsection (5.3) containing a fully worked rank-3 example that traces the enumeration and the correspondence step by step, confirming that no post-hoc modifications occur. revision: yes
Circularity Check
No significant circularity; criterion derived from independent geometric constructions
full rationale
The paper states an explicit necessary-and-sufficient criterion for ampleness of L_Y(λ) on the flag space Y, expressed directly in signature data and weight coordinates λ. The proof develops descriptions of Ekedahl-Oort strata, a geometric Jacquet-Langlands correspondence between strata of different signatures, construction of stratum Hasse invariants, and systematic combinatorial handling for higher rank; these steps are presented as new machinery that generalizes known low-rank cases without reducing any central claim to a self-citation, fitted parameter renamed as prediction, or definitional equivalence. No load-bearing step in the provided abstract or description equates the output criterion to its inputs by construction, and the setup (hyperspecial level, p inert) is independent of the target ampleness statement.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.