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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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)
- [Section 1, first paragraph] The name 'Drinfeld-Shutler modules' in the first sentence of the introduction should be 'Drinfeld-Stuhler modules'.
- [Section 2, definition of Drinfeld-Stuhler module] In condition (ii) of the definition, 'identity matirx' should be 'identity matrix'.
- [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.
- [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.
- [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)).
- [Section 6.3] The word 'claracter' appears twice in the text around the definition of ε and should be corrected to 'character'.
Circularity Check
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
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.
- 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.
- 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.
- 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.
- domain assumption The Riemann hypothesis for Anderson t-motives holds, giving the bound on coefficients of the Frobenius polynomial (RH).
- domain assumption Gardeyn's Galois criterion characterizes good reduction of t-motives and is valid for Drinfeld-Stuhler modules.
- domain assumption The Tate conjecture for t-modules (Taguchi-Tamagawa) holds, identifying endomorphisms with Galois-invariant endomorphisms of the Tate module.
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.
Reference graph
Works this paper leans on
-
[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
work page 2012
-
[25]
Papikian, M. Drinfeld-Stuhler modules. Res. Math. Sci. 5 , 4 (2018), Paper No. 40, 33
work page 2018
-
[1]
Anderson, G. W. t-motives. Duke Math. J. 53 , 2 (1986), 457–502
work page 1986
-
[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
work page 2016
-
[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
work page 2018
-
[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
work page 1995
-
[5]
Clark, P. L. On the Hasse principle for Shimura curves. Israel J. Math. 171 (2009), 349–365
work page 2009
-
[6]
Drinfeld, V. G. Elliptic modules. Mat. Sb. (N.S.) 94 (1974), 594–627
work page 1974
Show all 34 references
-
[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
2002
-
[8]
The structure of analytic τ-sheaves
Gardeyn, F. The structure of analytic τ-sheaves. J. Number Theory 100 , 2 (2003), 332–362
2003
-
[9]
On finite Drinfeld modules
Gekeler, E.-U. On finite Drinfeld modules. J. Algebra 141 , 1 (1991), 187–203
1991
-
[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
1996
-
[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
2005
-
[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
1979
-
[13]
Jordan, B. W. Points on Shimura curves rational over number fields. J. Reine Angew. Math. 371 (1986), 92–114
1986
-
[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
1985
-
[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
1997
-
[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
1996
-
[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
1993
-
[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
1978
-
[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
2009
-
[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
2009
-
[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
2009
-
[22]
Endomorphisms of exceptional D-elliptic sheaves
Papikian, M. Endomorphisms of exceptional D-elliptic sheaves. Math. Z. 266 , 2 (2010), 407–423
2010
-
[24]
D-elliptic sheaves and odd Jacobians
Papikian, M. D-elliptic sheaves and odd Jacobians. J. Number Theory 133 , 3 (2013), 1012–1026
2013
-
[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
2010
-
[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
2003
-
[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
2002
-
[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
1972
-
[30]
Local fields, vol
Serre, J.-P. Local fields, vol. 67 of Graduate Texts in Mathematics . Springer-Verlag, New York-Berlin, 1979
1979
-
[31]
On t-motifs
Taelman, L. On t-motifs. 2007. Thesis (Ph.D.)–The University of Groningen
2007
-
[32]
The Tate conjecture for t-motives
Taguchi, Y. The Tate conjecture for t-motives. Proc. Amer. Math. Soc. 123 , 11 (1995), 3285–3287
1995
-
[33]
Good reduction of elliptic modules
Takahashi, T. Good reduction of elliptic modules. J. Math. Soc. Japan 34 , 3 (1982), 475–487
1982
-
[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...
1966
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.