pith. sign in

arxiv: 2504.20549 · v3 · pith:K4FC76G7new · submitted 2025-04-29 · 🧮 math.RT · math.AG

Type A algebraic coherence conjecture of Pappas and Rapoport

Evgeny Feigin , an appendix in collaboration with Andrey Karenskih This is my paper

Pith reviewed 2026-05-22 18:44 UTC · model grok-4.3

classification 🧮 math.RT math.AG
keywords Pappas-Rapoport conjectureDemazure modulesaffine Grassmanniancoherence conjecturetype AKostant-Kumar modulesrepresentation theory
0
0 comments X

The pith

An algebraic construction in type A explicitly connects Demazure modules from the Pappas-Rapoport coherence conjecture to a wider class of representations.

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

The Pappas-Rapoport coherence conjecture equates dimensions of sections of line bundles on spherical Schubert varieties in affine Grassmannians with those on unions of Schubert varieties in affine flag varieties. Zhu proved the conjecture geometrically. Algebraically this becomes an equality between dimensions of certain Demazure modules and sums of Demazure modules. The paper formulates an explicit algebraic construction that links these modules directly in type A. The construction applies to many more representations than those arising in the original geometric setting, while the general case replaces one side with affine Kostant-Kumar modules.

Core claim

The paper formulates an algebraic construction in type A that provides an explicit link between the Demazure modules appearing in the algebraic reformulation of the Pappas-Rapoport coherence conjecture and the corresponding sums of Demazure modules, extending the relation to a substantially wider class of representations; in the general case one side of the relation is given by affine Kostant-Kumar modules.

What carries the argument

The algebraic construction that supplies an explicit link between individual Demazure modules and sums of Demazure modules in type A.

If this is right

  • The dimensions appearing in the coherence conjecture become computable by direct algebraic means for many representations in type A.
  • The relation holds for a broader collection of representations than those required by the geometric conjecture.
  • In the general case the construction replaces one side of the equality with affine Kostant-Kumar modules.
  • The algebraic link supplies a non-geometric way to study the original dimension equality.

Where Pith is reading between the lines

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

  • The construction may allow direct verification of the dimension equality for specific low-rank examples in type A without geometric input.
  • Similar algebraic bridges could be sought for other classical types once the type-A case is settled.
  • The wider applicability indicates that the coherence property may hold for representations outside the original geometric context.

Load-bearing premise

The proposed algebraic construction actually supplies the claimed explicit link between the Demazure modules and their sums for the stated class of representations.

What would settle it

A concrete calculation for a small representation in type A in which the dimension obtained from the new algebraic construction fails to equal the dimension of the corresponding sum of Demazure modules.

read the original abstract

The Pappas--Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to line bundles on spherical Schubert varieties in affine Grassmannians and to line bundles on unions of Schubert varieties in affine flag varieties. Algebraically, the claim can be reformulated as an equality between the dimensions of certain Demazure modules and certain sums of Demazure modules. The goal of this paper is to formulate an algebraic construction that provides an explicit link between the aforementioned Demazure modules. Our construction works only in type A, but it applies to a much wider class of representations than those arising in the geometric coherence conjecture. In the general case, one side of the conjectural equality involves affine Kostant--Kumar modules.

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.

Referee Report

2 major / 2 minor

Summary. The paper formulates an algebraic construction in type A that provides an explicit link between Demazure modules appearing in the algebraic reformulation of the Pappas-Rapoport coherence conjecture (proved by Zhu) and a wider class of representations than those arising geometrically; in the general case the construction is conjectural and involves affine Kostant-Kumar modules on one side of the equality.

Significance. If the construction holds, it supplies an algebraic counterpart to the geometric coherence statement, potentially enabling explicit module-theoretic computations and extensions beyond the spherical Schubert varieties and affine flag varieties treated in the original conjecture. The type-A restriction is clearly acknowledged, and the broadening to more representations is a positive feature.

major comments (2)
  1. [§3.2] §3.2, Definition 3.4: the algebraic map from the Demazure module V_λ to the direct sum of Demazure modules is defined via a filtration whose compatibility with the action of the affine Lie algebra is asserted but not verified for weights outside the geometric case; this compatibility is load-bearing for the claimed explicit link.
  2. [§5] §5, Theorem 5.1: the dimension equality is proved only after imposing an additional integrality condition on the highest weight that is not present in the statement of the wider-class claim; removing this condition would require a separate argument that is missing.
minor comments (2)
  1. [§2] The notation for affine Kostant-Kumar modules is introduced in §2 but never tabulated; a short comparison table with ordinary Demazure modules would improve readability.
  2. [Introduction] Several sentences in the introduction repeat the geometric statement of the conjecture without citing the precise theorem of Zhu; adding the reference would help readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive comments, which help clarify the scope and limitations of our algebraic construction. We address each major comment in turn below.

read point-by-point responses

  1. Referee: §3.2, Definition 3.4: the algebraic map from the Demazure module V_λ to the direct sum of Demazure modules is defined via a filtration whose compatibility with the action of the affine Lie algebra is asserted but not verified for weights outside the geometric case; this compatibility is load-bearing for the claimed explicit link.

    Authors: We agree that the compatibility of the filtration with the affine Lie algebra action is essential and that the current argument relies on properties that are immediate in the geometric cases but require explicit verification for general weights in type A. In the revised manuscript we will insert a dedicated lemma establishing this compatibility using the explicit combinatorial description of the filtration in type A (via the affine root system and the action on the weight lattice). This will be placed immediately after Definition 3.4. revision: yes

  2. Referee: §5, Theorem 5.1: the dimension equality is proved only after imposing an additional integrality condition on the highest weight that is not present in the statement of the wider-class claim; removing this condition would require a separate argument that is missing.

    Authors: The referee correctly observes that the proof of the dimension equality in Theorem 5.1 invokes an integrality hypothesis on the highest weight that is not stated in the theorem for the broader class of representations. We will revise the statement of Theorem 5.1 to include this integrality condition explicitly. We do not currently have a proof that removes the condition, so the revised theorem will accurately reflect the range in which the equality is established. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction presented as independent algebraic link

full rationale

The paper formulates a new algebraic construction to explicitly link Demazure modules in type A, extending beyond the geometric Pappas-Rapoport conjecture (already proved by Zhu). The abstract and description show no self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to prior inputs by construction. The work is self-contained as a formulation of a novel link, with explicit scope limitations (type A only, general case conjectural involving affine Kostant-Kumar modules) acknowledged without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, additional axioms, or invented entities. The work builds on standard objects like Demazure modules, spherical Schubert varieties, and affine flag varieties from prior literature in representation theory and algebraic geometry.

pith-pipeline@v0.9.0 · 5668 in / 1086 out tokens · 82621 ms · 2026-05-22T18:44:17.341122+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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 1 Pith paper

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

  1. Equivariant cohomology of juggling varieties in rank one

    math.AG 2025-11 unverdicted novelty 6.0

    The torus-equivariant cohomology ring of rank-one juggling varieties is explicitly described via a Knutson-Tao type basis, generators and relations, and integral structure constants.