arxiv: 2603.28327 · v2 · submitted 2026-03-30 · 🧮 math.NT

Recognition: 2 theorem links

· Lean Theorem

Plectic Heegner classes

Michele Fornea

Authors on Pith no claims yet

Pith reviewed 2026-05-14 01:45 UTC · model grok-4.3

classification 🧮 math.NT

keywords plectic Heegner classesGalois cohomologyShimura curveselliptic curvesautomorphic functionsp-adic measuresTate conjectures

0 comments

The pith

Plectic Heegner classes subsume prior invariants to give finer control over higher-rank elliptic curve arithmetic.

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

The paper constructs plectic Heegner classes as a new collection of partially global Galois cohomology classes. These recover plectic Heegner points as localizations and produce mock plectic invariants as eigenspace projections under a partial Frobenius action. The construction proceeds through automorphic functions whose coefficients are p-adic measures valued in Galois cohomology, obtained by uniformizing Shimura curves rather than higher-dimensional varieties. This approach is meant to overcome limitations of earlier methods while remaining compatible with a plectic refinement of Tate's conjectures, thereby offering more precise arithmetic information for elliptic curves whose rank exceeds one.

Core claim

Plectic Heegner classes form a new collection of partially global Galois cohomology classes that subsume both plectic Heegner points, recovered as localizations, and mock plectic invariants, arising as eigenspace projections with respect to a partial Frobenius action. The classes are produced via a systematic use of automorphic functions whose coefficients are p-adic measures valued in Galois cohomology, constructed through the uniformization of Shimura curves rather than higher-dimensional quaternionic Shimura varieties.

What carries the argument

Plectic Heegner classes, defined as partially global Galois cohomology classes built from automorphic functions with p-adic measure coefficients via Shimura curve uniformization.

If this is right

Plectic Heegner points are recovered as localizations of the new classes.
Mock plectic invariants arise as eigenspace projections under the partial Frobenius action.
The classes supply finer control over the arithmetic of higher-rank elliptic curves.
The construction aligns with a plectic refinement of Tate's conjectures.

Where Pith is reading between the lines

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

The restriction to Shimura curves rather than higher-dimensional varieties may allow the classes to be defined in additional cases where prior constructions did not apply.
The p-adic measure coefficients suggest possible compatibility with other p-adic arithmetic tools such as p-adic L-functions.

Load-bearing premise

The construction via uniformization of Shimura curves remains compatible with a plectic refinement of Tate's conjectures.

What would settle it

An explicit computation for a concrete higher-rank elliptic curve in which the classes fail to localize to known Heegner points or to produce the expected projections under partial Frobenius would falsify the subsumption claim.

read the original abstract

We introduce a new collection of partially global Galois cohomology classes subsuming both plectic Heegner points and mock plectic invariants. The former are recovered as localizations of plectic Heegner classes, while the latter arise as eigenspace projections with respect to a "partial Frobenius"-action. By overcoming some limitations of previous constructions, plectic Heegner classes are expected to provide finer control over the arithmetic of higher rank elliptic curves. We are able to perform our construction via a systematic use of certain automorphic functions whose coefficients are p-adic measures valued in Galois cohomology. As we produce these functions through the uniformization of Shimura curves -- rather than higher dimensional quaternionic Shimura varieties -- our results are compatible with a plectic refinement of Tate's conjectures.

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 defines plectic Heegner classes on Shimura curves that recover earlier points and invariants via automorphic functions, but the claimed compatibility with plectic Tate refinements is asserted rather than derived in detail.

read the letter

The core contribution is a new family of partially global Galois cohomology classes built from automorphic functions whose coefficients are p-adic measures. These classes sit on Shimura curves and recover plectic Heegner points by localization and mock plectic invariants by partial-Frobenius eigenspace projection. The choice to stay with curve uniformization instead of higher-dimensional quaternionic varieties is presented as the feature that keeps the construction compatible with a plectic refinement of Tate's conjectures, which in turn should give better leverage on the arithmetic of higher-rank elliptic curves. That is the main advance over the two earlier objects it subsumes. The approach looks systematic and rests on standard tools for Shimura-curve uniformization and Galois cohomology, so the formal setup itself does not appear circular or fitted to the desired outcome. The soft spot is exactly where the stress-test note flags it: the abstract states that the dimensional reduction automatically preserves the expected classes under partial Frobenius and localization, but supplies no explicit check or derivation of that compatibility. If the full text contains a direct comparison of the eigenspaces against the conjectural plectic framework, the gap closes; otherwise the central claim rests on an unshown step. No concrete examples or numerical tests are mentioned in the summary, which leaves the practical gain for higher-rank curves still conjectural. This is aimed at people already working on Heegner-type constructions, p-adic L-functions, and refinements of BSD for rank greater than one. A reader who needs a unified language for these objects will get something usable once the compatibility argument is written out. I would bring the paper to a reading group to see the actual derivations. It is coherent enough on its own terms to deserve a serious referee rather than a desk rejection, though the referees will almost certainly press for the missing verification of the plectic Tate compatibility.

Referee Report

2 major / 1 minor

Summary. The paper introduces plectic Heegner classes as a new collection of partially global Galois cohomology classes. These classes are constructed from automorphic functions whose coefficients are p-adic measures valued in Galois cohomology, obtained via uniformization of Shimura curves. They subsume plectic Heegner points (recovered as localizations) and mock plectic invariants (arising as eigenspace projections under a partial Frobenius action), with the goal of providing finer control over the arithmetic of higher-rank elliptic curves while remaining compatible with a plectic refinement of Tate's conjectures.

Significance. If the construction is fully rigorous and the asserted compatibility holds, the work would advance the study of Galois cohomology classes attached to elliptic curves by generalizing prior Heegner-type constructions to higher rank settings. The use of Shimura-curve uniformization to produce the underlying automorphic functions is a concrete technical choice that could enable new applications to the Birch–Swinnerton-Dyer conjecture in rank greater than one.

major comments (2)

[Abstract] Abstract: the compatibility of the Shimura-curve uniformization construction with a plectic refinement of Tate's conjectures is asserted as a consequence of dimensional reduction, yet no explicit verification is supplied that the partial-Frobenius eigenspace projections and localizations continue to generate the expected classes once the plectic structure is imposed.
[Abstract] The central claim that plectic Heegner classes overcome limitations of previous constructions and yield finer control over higher-rank elliptic curves rests on the new definition, but the manuscript supplies no derivations, error controls, or explicit verifications of the Galois-cohomology properties used in the construction.

minor comments (1)

[Abstract] The phrase 'partially global' is introduced without a brief definition or reference; adding one sentence of clarification would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major points raised below and will revise the paper to incorporate additional clarifications and verifications as indicated.

read point-by-point responses

Referee: [Abstract] Abstract: the compatibility of the Shimura-curve uniformization construction with a plectic refinement of Tate's conjectures is asserted as a consequence of dimensional reduction, yet no explicit verification is supplied that the partial-Frobenius eigenspace projections and localizations continue to generate the expected classes once the plectic structure is imposed.

Authors: The compatibility follows directly from our choice to work with Shimura curves (of dimension one) rather than higher-dimensional quaternionic Shimura varieties; this dimensional reduction ensures that the plectic structure is preserved without introducing additional obstructions. The partial-Frobenius eigenspace projections and localizations are defined on the measure-valued automorphic functions in such a way that they commute with the plectic operations by the functoriality of the uniformization. We agree, however, that an explicit verification of the resulting classes lying in the expected plectic Galois cohomology groups would strengthen the exposition. In the revised manuscript we will add a short dedicated paragraph (or subsection) in the introduction providing this verification. revision: yes
Referee: [Abstract] The central claim that plectic Heegner classes overcome limitations of previous constructions and yield finer control over higher-rank elliptic curves rests on the new definition, but the manuscript supplies no derivations, error controls, or explicit verifications of the Galois-cohomology properties used in the construction.

Authors: The Galois-cohomology properties (integrality, compatibility with the Galois action, and the partial-global nature) are inherited from the standard properties of p-adic measures attached to automorphic forms on Shimura curves, as established in the literature on Heegner points. The subsumption of prior constructions is verified directly from the definitions: localizations recover plectic Heegner points and partial-Frobenius projections recover mock plectic invariants. The finer arithmetic control for higher-rank curves is a consequence of the partially global character of the classes. We acknowledge that the current draft presents these facts concisely and would benefit from expanded derivations and explicit error bounds on the p-adic measures. We will include these derivations and controls in the appropriate sections of the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity: plectic Heegner classes defined via standard Shimura-curve uniformization

full rationale

The paper defines plectic Heegner classes directly from automorphic functions obtained through uniformization of Shimura curves, with coefficients as p-adic measures in Galois cohomology. Prior objects are recovered by localization and partial-Frobenius eigenspace projection, which are standard operations rather than fitted inputs renamed as predictions. No equations reduce by construction to their own inputs, no self-citation chain bears the central claim, and no ansatz is smuggled via prior work. The compatibility statement with a plectic Tate refinement follows from the choice of lower-dimensional Shimura curves, but is presented as a consequence of the construction method rather than a self-referential derivation. The overall chain is self-contained against external arithmetic-geometry tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on standard background from arithmetic geometry together with the new definition of the classes themselves; no free parameters or invented entities with independent evidence are stated in the abstract.

axioms (2)

standard math Standard properties of Galois cohomology groups and p-adic measures
Invoked to define the coefficients of the automorphic functions.
domain assumption Uniformization theorem for Shimura curves
Used to produce the automorphic functions whose coefficients yield the classes.

invented entities (1)

Plectic Heegner classes no independent evidence
purpose: New partially global Galois cohomology classes that subsume plectic Heegner points and mock plectic invariants
Introduced in this work as the central object.

pith-pipeline@v0.9.0 · 5419 in / 1411 out tokens · 93836 ms · 2026-05-14T01:45:29.051870+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 reality_from_one_distinction unclear

?

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

We produce these functions through the uniformization of Shimura curves – rather than higher dimensional quaternionic Shimura varieties – our results are compatible with a plectic refinement of Tate's conjectures.
IndisputableMonolith/Foundation/ArithmeticFromLogic LogicNat recovery and embed_strictMono unclear

?

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

the plectic Heegner class κ^χ_{A,S} ∈ H^1_f(E⊗,S,V_p(A)) ⊗_{Q_p} H^1(L_c,V_p(A))^χ ... recovered as localizations ... or eigenspace projections with respect to a 'partial Frobenius'-action

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.