Pith. sign in

REVIEW 1 major objections 6 minor 34 references

Drinfeld-Stuhler modules and the Hasse principle

T0 review · 1 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read Drinfeld-Stuhler curves over $F_q(T)$ can fail the Hasse principle, and explicit examples exist.

desk verdict Real, checkable Hasse-principle counterexamples for Drinfeld-Stuhler curves and a genuinely new isogeny character theory; Proposition 3.3 is written too loosely and needs repair, but the underlying bound looks salvageable. read the letter →

arxiv 1908.08678 v1 pith:2LFHVSAG submitted 2019-08-23 math.NT

classification math.NT MSC 11G0911R52
keywords Drinfeld-StuhlermodulesD-ellipticsheavescanonicalisogenycharactersHasseprincipleDrinfeldmodularcurvesfunctionfieldarithmeticquaternionalgebrasrationalpoints
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper sets out to prove that Drinfeld-Stuhler modular varieties — function-field analogues of Shimura curves attached to quaternion algebras — can have no rational points over prescribed extensions of $F_q(T)$, and to make this failure explicit enough to produce counterexamples to the Hasse principle. The tool is a canonical isogeny character attached to the $p$-torsion of a Drinfeld-Stuhler module at a ramified prime $p$; this character controls both the Frobenius polynomial of the reduction and the ray class group of the field. The main theorems list explicit finite conditions under which $X_D(K)=\emptyset$, and for $d=2$ they combine with local-point criteria to exhibit specific pairs $(X_D,K)$ where the curve has points everywhere locally but no global point.

What carries the argument

The carrying object is the canonical subgroup $C_{\varphi,p}$ — the unique one-dimensional $F_p^{(d)}$-submodule of $\varphi[p]$ stable under the order $O_D$ — together with its Galois character $\rho_{\varphi,p}$. The paper shows that the norm of $\rho_{\varphi,p}$ is the determinant character and that its $(q-1)$-power agrees with the Carlitz module character; local ramification estimates from Proposition 3.3 then bound where $\rho_{\varphi,p}^{q^d-1}$ can ramify. These identities convert the existence of a Drinfeld-Stuhler module over $K$ into a congruence on Frobenius polynomials (Proposition 6.8) and a surjectivity statement for ray class groups (Lemma 6.5).

What would settle it

Construct a single Drinfeld-Stuhler module over a local field of characteristic $p$ whose good reduction is first achieved over a totally tamely ramified extension of degree not dividing $q^d-1$. Such an example would invalidate Proposition 3.3 and break the ramification control used in the main theorems.

Watch

Extended reading notes

Core claim

The paper's central claim is that non-existence of rational points on $X_D(K)$ can be forced by the canonical isogeny character. For a central division algebra $D$ of dimension $d^2$ over $F=F_q(T)$ with a prime $p$ of invariant $1/d$, any Drinfeld-Stuhler module $\varphi$ over a degree-$d$ splitting field $K$ has a canonical subgroup $C_{\varphi,p}\cong F_p^{(d)}$ in $\varphi[p]$; the Galois action defines the character $\rho_{\varphi,p}$. The paper proves that $\rho_{\varphi,p}$ satisfies a norm/determinant identity with the Carlitz module and that local ramification is controlled by a tameness bound of degree dividing $q^d-1$. It follows that if $y$ is a totally ramified prime outside $\operatorname{Ram}(D)$ and $p\notin P'(y,\deg p)$ — or $p\notin P(y,\deg p)$ when $d=2$ — then $X_D(K)=\emptyset$. Theorems 6.6, 6.10, and 6.13 are the formal statements; Section 7 turns them into explicit quaternion-algebra examples over $F_3$ and $F_5$ violating the Hasse principle.

Load-bearing premise

The entire argument rests on the claim that every Drinfeld-Stuhler module over a local field becomes well-behaved (good reduction) over a totally tamely ramified extension of degree dividing $q^d-1$; if that degree bound is false, the main emptiness criteria need not follow.

Editorial extensions

If this is right

  • Theorems 6.6, 6.10, and 6.13 turn a rational-point question into a finite computation: checking membership in $P'(y,\deg p)$ or $P(y,\deg p)$ and checking a ray-class-group surjectivity condition.
  • For $d=2$, Examples 7.7, 7.8, and 7.10 provide explicit quaternion algebras and quadratic fields over $F_3$ and $F_5$ such that $X_D(K)=\emptyset$ while $X_D(K_v)\neq\emptyset$ for every place $v$.
  • The same canonical-isogeny-character criteria work for arbitrary $d\geq 2$; higher-dimensional Hasse-principle violations are blocked only by the absence of an analogous local-point theory for higher-dimensional Drinfeld-Stuhler varieties.
  • The obstruction is encoded in a congruence on the reduction's Frobenius polynomial, so checking the criteria does not require searching for rational points directly.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One can view the finite set $P(y,\deg p)$ as a precomputable obstruction set: for fixed $q,d,y$, the same computer search that produced the examples can be rerun for all primes of a given degree, yielding a census of Hasse-principle violations.
  • If the embedding condition discussed in Remark 7.12 holds for the $d=2$ examples, then the Brauer-Manin obstruction is the only obstruction, so these are explicit function-field cases where failure of the Hasse principle is explained by the Brauer-Manin set rather than by local solubility alone.
  • The congruence in Proposition 6.8 constrains Frobenius elements at the totally ramified prime, so the same canonical character should also obstruct weak approximation or constrain $X_D(K)$ when it is nonempty; the paper does not pursue this.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 6 minor

Summary. The paper develops a theory of canonical isogeny characters for Drinfeld-Stuhler modules over F_q(T), analogous to Jordan's theory for abelian surfaces with quaternionic multiplication. It proves that a Drinfeld-Stuhler module over a local field acquires good reduction over a totally tamely ramified extension of degree dividing q^d-1 (Proposition 3.3), uses this to control the ramification of the canonical isogeny characters (Proposition 4.8), and then derives three global criteria (Theorems 6.6, 6.10, 6.13) for the absence of K-rational points on Drinfeld-Stuhler varieties. In the quaternionic dimension d=2 case, the criteria are combined with the local results of [23] to produce explicit pairs (X_D,K) for which X_D(K)=∅ while X_D(K_v)≠∅ for every completion K_v, thereby giving explicit violations of the Hasse principle (Examples 7.7, 7.8, 7.10).

Significance. If the local input in Proposition 3.3 is made fully rigorous, the paper represents a substantial contribution: it extends the canonical isogeny character method to Drinfeld-Stuhler modules in arbitrary dimension d, not just quaternion algebras and curves, and it provides effective criteria for non-existence of rational points together with explicit counterexamples to the Hasse principle over function fields. The explicitness of the criteria is a real strength: the finite sets P'(y,s) and P(y,s) in Theorems 6.10 and 6.13 are computable, the arithmetic conditions in the examples are concrete, and the Magma verifications, while not shipped as code, are described in enough detail to be reproduced. The paper also engages carefully with the field-of-moduli-versus-field-of-definition issue for coarse moduli schemes, using the earlier results of [25] and [23]. The main weakness is that Proposition 3.3, which underpins Propositions 4.8 and the two class-group and congruence criteria, is proved by an argument that contains a genuine gap in its final degree bound.

major comments (1)
  1. [Section 3, proof of Proposition 3.3] The subgroup H = Γ_θ N of G_K is not shown to be normal, so the extension L/K cut out by H need not be Galois; nevertheless the proof then speaks of 'Gal(L/K)' and uses the fixed field of the subgroup generated by a single element g of that so-called Galois group. This invalidates the argument bounding [L:K] by q^d-1 as written. The gap is load-bearing because Proposition 3.3 is used to bound the ramification of the canonical isogeny characters in Proposition 4.8, to prove the surjectivity in Lemma 6.5, and to justify the reduction arguments in Theorems 6.10 and 6.13. A natural repair is to work directly with the finite quotient I_K/N and its faithful action on T_p(φ̅), applying the Taguchi–Tamagawa isogeny theorem to bound the degree without asserting that the minimal good-reduction extension is abelian; the authors need to supply such a complete argument.
minor comments (6)
  1. [Section 1, first paragraph] The name 'Drinfeld-Shutler modules' in the first sentence of the introduction should be 'Drinfeld-Stuhler modules'.
  2. [Section 2, definition of Drinfeld-Stuhler module] In condition (ii) of the definition, 'identity matirx' should be 'identity matrix'.
  3. [Theorems 6.10 and 6.13] The assumptions write 'D ⊗ K ≅ M_d(K)' and 'D ⊗ K ≅ M_2(K)' without a base; these should read 'D ⊗_F K ≅ M_d(K)' and 'D ⊗_F K ≅ M_2(K)' respectively.
  4. [Definition 6.9] W(y) is said to consist of elements π of F, but condition (2) [F(π):F]=d is impossible for π∈F; the definition should specify elements of a fixed algebraic closure of F.
  5. [Section 6.3, Definition 6.9] The formula for n' in the definition of D'(y,s) appears garbled in the text; it should be displayed consistently with the quantity n in Proposition 6.8 when s=deg(p), namely n' = d(q^{sd}-1)/((q^s-1)(q^d-1)).
  6. [Section 6.3] The word 'claracter' appears twice in the text around the definition of ε and should be corrected to 'character'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the canonical-isogeny criteria are derived, and the Hasse-principle examples are genuine outputs, not fitted inputs.

full rationale

I walked the derivation chain from Section 3 through Sections 6 and 7. The canonical isogeny character is defined from the unique canonical subgroup C_{φ,p} of φ[p] and its properties are proved from the p-divisible group Lubin-Tate argument and from the potentially-good-reduction result; they are not assumed or fitted. The finite obstruction sets P'(y,s) and P(y,s) are defined from explicit algebraic data attached to Frobenius elements, and Theorems 6.10 and 6.13 show that a hypothetical K-point would force congruences contradicting the exclusions p∉P'(y,deg(p)) or p∉P(y,deg(p)). The Hasse-principle counterexamples in Section 7 combine these non-existence criteria with independent local-point results from [23]; the local and global parts come from different sources, so the violations are not built into the assumptions. The paper does cite the third author's prior work, especially [25], for foundational facts such as the field-of-moduli versus field-of-definition correspondence, the Morita equivalence, and automorphism groups of Drinfeld-Stuhler modules over finite fields. These are published, parameter-free theorems whose statements do not include the Hasse-principle conclusions of the present paper, so they function as ordinary mathematical dependencies rather than as a circular self-citation chain. The proof gap flagged in Proposition 3.3 concerning the normality of the extension cut out by ΓθN is a potential correctness issue in an internal proof step, not a reduction of a prediction to its inputs; a proof gap is not circularity under the stated criteria. Overall, the derivation is self-contained in the relevant sense, and no step equates an output with an input by construction.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no fitted parameters and no ad hoc entities. The canonical subgroup and character are canonical constructions from the given data. The central claim relies on a set of prior theorems, especially from the third author's earlier papers [19]-[25] and Laumon-Rapoport-Stuhler [17]; these are treated as input assumptions.

assumptions (7)
  • domain assumption X_D exists as a coarse moduli scheme of D-elliptic sheaves, is geometrically connected, and is proper when D is a central division algebra.
    Invoked in Section 2; cited to [17, Thm 4.1, Thm 6.1] and [4].
  • domain assumption The category of Drinfeld-Stuhler O_D-modules over K is equivalent to the category of D-elliptic sheaves over K modulo an action of Z.
    Invoked in Section 2 and throughout; cited to [25, Section 3].
  • domain assumption If K splits D (O_D tensor K is isomorphic to M_d(K)), then every K-rational point on X_D corresponds to a Drinfeld-Stuhler module defined over K.
    Theorem 6.1, cited to [25, Cor 6.17]; used to pass from non-existence of modules to X_D(K)=empty in the main theorems.
  • domain assumption The local Diophantine results of [23] describing when X_D has K_v-points (Theorems 7.1, 7.3, 7.5) are correct.
    Used in Section 7 to check the Hasse principle violations; the results are imported wholesale from [23].
  • domain assumption The Riemann hypothesis for Anderson t-motives holds, giving the bound on coefficients of the Frobenius polynomial (RH).
    Used in Prop 5.3 and Cor 5.4 to control deg(a_i) and to show W(y) is finite; cited to [10, Thm 5.6.10].
  • domain assumption Gardeyn's Galois criterion characterizes good reduction of t-motives and is valid for Drinfeld-Stuhler modules.
    Used crucially in Theorem 3.2 and Prop 3.3 to deduce good reduction from unramified Tate module; cited to [7].
  • domain assumption The Tate conjecture for t-modules (Taguchi-Tamagawa) holds, identifying endomorphisms with Galois-invariant endomorphisms of the Tate module.
    Used in Prop 3.3 to bound the automorphism group of the reduction; cited to [32].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Drinfeld-Stuhler modules and the Hasse principle." pith.science (2026). https://pith.science/paper/2LFHVSAG

@misc{pith2026190808678,
  author       = {Pith},
  title        = {Pith review of: Drinfeld-Stuhler modules and the Hasse principle},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2LFHVSAG}},
  note         = {Machine review of arXiv:1908.08678}
}
abstract

We develop a theory of canonical isogeny characters of Drinfeld-Stuhler modules similar to the theory of canonical isogeny characters of abelian surfaces with quaternionic multiplication. We then apply this theory to give explicit criteria for the non-existence of rational points on Drinfeld-Stuhler modular varieties over the finite extensions of $\mathbb{F}_q(T)$. This allows us to produce explicit examples of Drinfeld-Stuhler curves violating the Hasse principle.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [23]

    Local Diophantine properties of modular curves of D-elliptic sheaves

    Papikian, M. Local Diophantine properties of modular curves of D-elliptic sheaves. J. Reine Angew. Math. 664 (2012), 115–140. 30 KEISUKE ARAI, SATOSHI KONDO, AND MIHRAN PAPIKIAN

  2. [25]

    Drinfeld-Stuhler modules

    Papikian, M. Drinfeld-Stuhler modules. Res. Math. Sci. 5 , 4 (2018), Paper No. 40, 33

  3. [1]

    Anderson, G. W. t-motives. Duke Math. J. 53 , 2 (1986), 457–502

  4. [2]

    Non-existence of points rational over number fields on Shimura cur ves

    Arai, K. Non-existence of points rational over number fields on Shimura cur ves. Acta Arith. 172 , 3 (2016), 243–250

  5. [3]

    Rational points on Shimura curves and the Manin obstruction

    Arai, K. Rational points on Shimura curves and the Manin obstruction. Nagoya Math. J. 230 (2018), 144–159

  6. [4]

    Drinfeld modules and elliptic sheaves

    Blum, A., and Stuhler, U. Drinfeld modules and elliptic sheaves. In Vector bundles on curves—new directions (Cetraro, 1995) , vol. 1649 of Lecture Notes in Math. Springer, 1997, pp. 110–193

  7. [5]

    Clark, P. L. On the Hasse principle for Shimura curves. Israel J. Math. 171 (2009), 349–365

  8. [6]

    Drinfeld, V. G. Elliptic modules. Mat. Sb. (N.S.) 94 (1974), 594–627

Show all 34 references
  1. [7]

    A Galois criterion for good reduction of τ-sheaves

    Gardeyn, F. A Galois criterion for good reduction of τ-sheaves. J. Number Theory 97 , 2 (2002), 447–471

  2. [8]

    The structure of analytic τ-sheaves

    Gardeyn, F. The structure of analytic τ-sheaves. J. Number Theory 100 , 2 (2003), 332–362

  3. [9]

    On finite Drinfeld modules

    Gekeler, E.-U. On finite Drinfeld modules. J. Algebra 141 , 1 (1991), 187–203

  4. [10]

    Basic structures of function field arithmetic , vol

    Goss, D. Basic structures of function field arithmetic , vol. 35 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) . Springer-Verlag, Berlin, 1996

  5. [11]

    Uniformisation des vari´ et´ es de Laumon-Rapoport-Stuhler et conjecture de Drinfeld- Carayol

    Hausberger, T. Uniformisation des vari´ et´ es de Laumon-Rapoport-Stuhler et conjecture de Drinfeld- Carayol. Ann. Inst. Fourier (Grenoble) 55 , 4 (2005), 1285–1371

  6. [12]

    Hayes, D. R. Explicit class field theory in global function fields. In Studies in algebra and number theory , vol. 6 of Adv. in Math. Suppl. Stud. Academic Press, New York-London, 1979, pp. 173–217

  7. [13]

    Jordan, B. W. Points on Shimura curves rational over number fields. J. Reine Angew. Math. 371 (1986), 92–114

  8. [14]

    W., and Livn ´ e, R

    Jordan, B. W., and Livn ´ e, R. A. Local Diophantine properties of Shimura curves. Math. Ann. 270 , 2 (1985), 235–248

  9. [15]

    Chtoucas de Drinfeld et conjecture de Ramanujan-Petersson

    Lafforgue, L. Chtoucas de Drinfeld et conjecture de Ramanujan-Petersson. Ast´ erisque, 243 (1997), ii+329

  10. [16]

    Cohomology of Drinfeld modular varieties

    Laumon, G. Cohomology of Drinfeld modular varieties. Part I , vol. 41 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1996. Geometry, count ing of points and local harmonic analysis

  11. [17]

    D-elliptic sheaves and the Langlands correspondence

    Laumon, G., Rapoport, M., and Stuhler, U. D-elliptic sheaves and the Langlands correspondence. Invent. Math. 113 , 2 (1993), 217–338

  12. [18]

    Rational isogenies of prime degree (with an appendix by D

    Mazur, B. Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math. 44 , 2 (1978), 129–162

  13. [19]

    Genus formula for modular curves of D-elliptic sheaves

    Papikian, M. Genus formula for modular curves of D-elliptic sheaves. Arch. Math. (Basel) 92 , 3 (2009), 237–250

  14. [20]

    Modular varieties of D-elliptic sheaves and the Weil-Deligne bound

    Papikian, M. Modular varieties of D-elliptic sheaves and the Weil-Deligne bound. J. Reine Angew. Math. 626 (2009), 115–134

  15. [21]

    On hyperelliptic modular curves over function fields

    Papikian, M. On hyperelliptic modular curves over function fields. Arch. Math. (Basel) 92 , 4 (2009), 291–302

  16. [22]

    Endomorphisms of exceptional D-elliptic sheaves

    Papikian, M. Endomorphisms of exceptional D-elliptic sheaves. Math. Z. 266 , 2 (2010), 407–423

  17. [24]

    D-elliptic sheaves and odd Jacobians

    Papikian, M. D-elliptic sheaves and odd Jacobians. J. Number Theory 133 , 3 (2013), 1012–1026

  18. [26]

    Poonen, B., and Voloch, J. F. The Brauer-Manin obstruction for subvarieties of abelian varieties over function fields. Ann. of Math. (2) 171 , 1 (2010), 511–532

  19. [27]

    Maximal orders, vol

    Reiner, I. Maximal orders, vol. 28 of London Mathematical Society Monographs. New Series. The Claren- don Press, Oxford University Press, Oxford, 2003. Corrected r eprint of the 1975 original, With a foreword by M. J. Taylor

  20. [28]

    Number theory in function fields , vol

    Rosen, M. Number theory in function fields , vol. 210 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2002

  21. [29]

    Propri´ et´ es galoisiennes des points d’ordre fini des courbes elliptiques

    Serre, J.-P. Propri´ et´ es galoisiennes des points d’ordre fini des courbes elliptiques. Invent. Math. 15 , 4 (1972), 259–331

  22. [30]

    Local fields, vol

    Serre, J.-P. Local fields, vol. 67 of Graduate Texts in Mathematics . Springer-Verlag, New York-Berlin, 1979

  23. [31]

    On t-motifs

    Taelman, L. On t-motifs. 2007. Thesis (Ph.D.)–The University of Groningen

  24. [32]

    The Tate conjecture for t-motives

    Taguchi, Y. The Tate conjecture for t-motives. Proc. Amer. Math. Soc. 123 , 11 (1995), 3285–3287

  25. [33]

    Good reduction of elliptic modules

    Takahashi, T. Good reduction of elliptic modules. J. Math. Soc. Japan 34 , 3 (1982), 475–487

  26. [34]

    Tate, J. T. p-divisible groups. In Proc. Conf. Local Fields (Driebergen, 1966) . Springer, Berlin, 1967, pp. 158–183. Department of Mathematics, School of Science and Technolog y for Future Life, Tokyo Denki University, 5 Senju Asahi-cho, Adachi-ku, Tokyo 120- 8551, Japan E-ma...

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.