Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Rational points on the non-split Cartan modular curve of level 27 and quadratic Chabauty over number fields

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the level-27 non-split Cartan modular curve has exactly eight rational points over Q, all CM, completing the 3-adic Galois image classification.

desk verdict Closes the last open case of the 3-adic classification and pushes quadratic Chabauty over number fields past the previous rank bound, but the final pullback step leans on unpublished maps from Rouse that need to be made public. read the letter →

arxiv 2501.07833 v1 pith:4DF6ND3M submitted 2025-01-14 math.NT math.AG

Jennifer S. Balakrishnan , L. Alexander Betts , Daniel Rayor Hast , Aashraya Jha , J. Steffen Müller This is my paper · ORCID
classification math.NTmath.AG MSC 11G1811G5014G0511F80
keywords quadraticChabautynon-splitCartanmodularcurve3-adicGaloisimagesrationalpointsellipticcurvesovertherationalsNekovářp-adicheightsrestrictionofscalarsMordell-Weilrank
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

This paper completes the classification of 3-adic Galois images of elliptic curves over $\mathbb{Q}$ by proving that the normaliser of the non-split Cartan subgroup of level 27 cannot occur as such an image. The central numerical statement is that $X_{\mathrm{ns}}^+(27)(\mathbb{Q})$ has exactly eight points, all complex-multiplication (CM) points, with discriminants $-4,-7,-16,-19,-28,-43,-67,-163$. To reach it, the authors compute the full set of $\mathbb{Q}(\zeta_3)$-points on a genus-3 plane quartic quotient $X'_H$ whose Jacobian has Mordell--Weil rank 6, a case beyond earlier quadratic Chabauty implementations because the curve is not defined over $\mathbb{Q}$ and the rank is too large. They develop quadratic Chabauty over number fields via restriction of scalars and Nekov\'a\v{r} p-adic heights with independent id\`ele class characters, combined with a local-height analysis above 3. If the proof is correct, the 3-adic image of every non-CM elliptic curve over $\mathbb{Q}$ is one of 47 explicit subgroups of $\operatorname{GL}_2(\mathbb{Z}_3)$.

What carries the argument

The mechanism is quadratic Chabauty over a number field, built from the abelian logarithm, restriction of scalars, and Nekov\'a\v{r} p-adic heights. For $X'_H$ over $F=\mathbb{Q}(\zeta_3)$, the paper uses two trace-zero correspondences $Z_i$ and two independent id\`ele class characters to build four p-adic Coleman functions $\rho_{i,j}$ on $X'(F\otimes\mathbb{Q}_{13})$; an isomorphism assumption on the abelian logarithm extends the height pairing to the full tangent space, the local heights away from 13 vanish by a semistable-reduction argument, and the common zeros are computed to precision 135 in good residue polydiscs. Two independent cycles and characters supply more constraints than the single height function of earlier work, which is what makes rank 6 tractable.

What would settle it

Compute the dimension of the p-adic closure of $J(\mathbb{Q}(\zeta_3))$ in the tangent space at $p=13$: a dimension below 6 would break the extension of the height pairing and invalidate the common-zero computation. Alternatively, a single rational point on $X_{\mathrm{ns}}^+(27)(\mathbb{Q})$ outside the eight listed points, or a non-CM elliptic curve over $\mathbb{Q}$ whose 3-adic image is the level-27 non-split Cartan normaliser, would refute the main theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is that $X_{\mathrm{ns}}^+(27)(\mathbb{Q})$ has exactly eight rational points, all CM points with discriminants $-4,-7,-16,-19,-28,-43,-67,-163$, so no non-CM elliptic curve over $\mathbb{Q}$ has 3-adic Galois image equal to the normaliser of the non-split Cartan subgroup of level 27. Together with the existing classification, this forces the 3-adic image of every non-CM elliptic curve over $\mathbb{Q}$ to be one of 47 explicit subgroups of $\operatorname{GL}_2(\mathbb{Z}_3)$. The proof passes through a degree-3 quotient: a smooth plane quartic $X'_H$ over $F=\mathbb{Q}(\zeta_3)$ whose $F$-points are shown to be exactly thirteen, pulling back to ten $F$-points on $X_{\mathrm{ns}}^+(27)$, eight of which are rational. The point count is obtained from a quadratic Chabauty method over number fields that handles Jacobian rank 6 on a genus-3 curve by using all primes above a split prime $p$ and multiple id\`ele class characters.

Load-bearing premise

The load-bearing premise is that the p-adic logarithm map from the Mordell--Weil group of the Jacobian to its tangent space is an isomorphism, which forces the rank to equal $2\cdot 3=6$; the paper states this holds for $X'_H$ but gives no proof or computational verification.

Editorial extensions

If this is right

  • The 3-adic Galois image of every non-CM elliptic curve over $\mathbb{Q}$ is now explicitly known: one of 47 subgroups of $\operatorname{GL}_2(\mathbb{Z}_3)$.
  • The eight rational points give a new proof of the class-number-one problem, since their CM discriminants are exactly the imaginary quadratic fields of class number one.
  • The number-field quadratic Chabauty framework extends explicit rational-point computations to curves over imaginary quadratic fields whose Jacobian rank equals twice the genus, beyond the range of earlier methods.
  • The computation gives a checkable certificate that the thirteen listed points exhaust $X'_H(\mathbb{Q}(\zeta_3))$, so no extra point on the quotient can hide an exceptional 3-adic image.
  • Because all local heights away from 13 vanish, the finite set $\Upsilon$ is $\{0\}$, so the rational points are cut out by a system of p-adic equations rather than by a nontrivial finite value set.

Reading between the lines

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

  • Beyond the paper: if the abelian-logarithm isomorphism is later proved unconditionally for $X'_H$, the exclusion of extra common zeros becomes fully rigorous; until then the point count rests on that stated isomorphism.
  • Beyond the paper: running the same computation at a second split prime, say $p\neq 13$, should reproduce the same thirteen points on $X'_H$, giving an independent numerical check of the theorem.
  • Beyond the paper: the framework suggests a template for the remaining open non-split Cartan curves of levels 25, 49, and 121: locate a low-genus quotient over a small number field, control local heights at the bad prime, and solve the resulting multivariate height system.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves that the non-split Cartan modular curve X_ns^+(27) has exactly eight rational points, all CM, with discriminants -4, -7, -16, -19, -28, -43, -67, and -163. Since this was the last open case in the Rouse--Sutherland--Zureick-Brown classification, the paper thereby completes the classification of 3-adic Galois images attached to non-CM elliptic curves over Q. The proof combines a new quadratic Chabauty method over the number field F = Q(ζ_3) with restriction of scalars, Nekovář p-adic heights with multiple idèle class characters, and a computation of local heights away from the chosen prime p = 13. The method is applied to a smooth plane quartic quotient X'_H of X_ns^+(27), proving that X'_H(F) consists of thirteen points, and then pulls back through quotient maps to X_ns^+(27) to obtain Theorems 1.2 and 1.3.

Significance. If the proof is correct, the paper resolves a well-known open case in the arithmetic of elliptic curves: it completes the list of possible 3-adic Galois images for non-CM elliptic curves over Q, giving the 47 groups of [RSZ22, Table 3]. This is a major result in the area of Galois images and modular curves. The paper also makes a methodological contribution: it extends explicit quadratic Chabauty to curves over number fields with Mordell--Weil rank equal to d g, using restriction of scalars and multiple idèle class characters, and it contains a careful p-adic precision analysis that corrects an earlier bound in [Bal+23]. The availability of Magma code and the explicit precision statements are strengths; the proof is computational but is accompanied by a certification framework rather than being a bare numerical verification.

major comments (3)
  1. [Section 3.8] The deduction of Theorems 1.2 and 1.3 from Theorem 1.1 depends on the quotient maps f1, f2, f3, which are stated to have been provided by Jeremy Rouse but are not included in the paper, in the appendix, or in the linked Magma repository. This is load-bearing: the pullback via f2 and f3 is the only step connecting the verified set X'_H(F) to the set X_ns^+(27)(F), and hence to the headline classification of 3-adic Galois images. The authors should include the equations of the canonical model of X_ns^+(27) in P^11 and explicit rational maps for f1, f2, f3 (or a reproducible transcript), and specify the image of each of the thirteen F-points, including the point where f1 is not defined.
  2. [Section 2.3] Assumption 1 asserts that the abelian logarithm map (2.1) is an isomorphism, and the paper states that this is satisfied for the example, but no verification is described. This assumption is needed to extend the Nekovář height pairing to a Q_p-bilinear pairing on T and hence to define the functions h_Z and rho on X(F ⊗ Q_p). The statement in Section 3.7 that the elements e_{Z_1}(x) and e_{Z_2}(x) generate T ⊗_K T appears to imply surjectivity of the logarithm on the K-span, but the implication is not spelled out and no computation of the p-adic closure or rank of J(F) is reported. Please provide a direct verification of Assumption 1, or clarify exactly how the generation statement in Section 3.7 constitutes that verification.
  3. [Section 3.5, Remark 3.2] The matrices Z_1 and Z_2 are obtained by recognizing Q_p-approximations as algebraic numbers via LLL, and the paper explicitly states that exact equality with the true Hecke correspondences is not proved. The authors argue that p-adic accuracy up to an explicit bound suffices because all computations can be performed over Q_p except the Hodge-filtration algorithm of Section 2.4.5, and that the required accuracy is inherited from the certified Frobenius matrices. This reduction is plausible but should be documented in detail: state the numerical precision needed for each step of Algorithm 2.8, explain how the LLL output is certified to that precision, and state what would happen if the recognized algebraic numbers were only approximate. Without this, the cycle input to the height computation is not rigorously fixed.
minor comments (5)
  1. [Section 3.8] The sentence describing the maps f1, f2, f3 would be more informative if it stated the degrees of these maps and identified the single F-point at which f1 is not defined, since that point plays a special role in the pullback argument.
  2. [Section 3.1, equation (3.2)] The list of thirteen known F-points would be easier to check if it indicated which points are CM and which is the non-CM point with j-invariant j_0, rather than leaving this to the surrounding text.
  3. [Section 2.7.2] The constant c_3 = min_j{v_p(d_j)} is used in (2.24) but is defined only after (2.20); moving the definition immediately before (2.24) would improve readability.
  4. [Section 3.6, Lemma 3.6] The proof of Proposition 3.3 relies on the stable model description of Figure 1 and the relation between the minimal regular model and the stable model; a one-sentence reminder that the minimal regular model dominates the stable model and that the relevant component is the unique one dominating the genus 0 component would make the argument easier to follow.
  5. [Remark 3.2] The correction to the factorization of j_0 compared with [RSZ22, §9.1] is important; please add a short explanation or reference for the claim that the earlier factorization does not lift to an F-point on X_ns^+(9).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the height pairing is a fixed object determined by, not fitted to, the known points, and the final root-finding is an independent computation; the Rouse-map and Assumption 1 gaps are verifiability/correctness issues, not circular reductions.

full rationale

Walking the claimed derivation chain, the central argument is: apply quadratic Chabauty to X'_H, determine X'_H(Q(ζ3)) = 13, then pull back via quotient maps to X_ns^+(27)(Q). None of these steps reduces to its own inputs. In §3.7, the height pairings h^{χ(1)} and h^{χ(2)} are solved for using the thirteen known F-rational points: 'The same algorithms allow us to compute e_Z1(x) and e_Z2(x) for all known F-points x, and we find that these suffice to generate T ⊗_{K⊗Q_p} T. This allows us to write the height pairings...' This is not a fitted input masquerading as a prediction: the Nekovář height pairing is a fixed global bilinear pairing, and the known points only supply linear constraints that determine its coefficients. The values h_Z(x_i) used in those constraints are themselves computed from local heights (trivial away from p by Proposition 3.3 + Ossen's stable model, and computed above p by the local-height algorithms), not chosen to force the later output. The functions ρ_{i,j} = h_{Z_i}^{χ(j)} - h_{p_j,Z_i}^{χ(j)} vanish at the known rational points by construction, since global heights decompose into local heights, but the paper's claim that these are all the common zeroes is justified by multivariate Hensel root-finding over good residue polydiscs and by checking the additional pairs ρ_{2,1}, ρ_{2,2} at the found solutions. That is an independent computational verification, not an identity forced by the fitting step. The paper's own Assumption 1 ('We shall assume the abelian log map (2.1) is an isomorphism, and consequently that r = dg') is explicitly flagged as an assumption and is a potential gap if it is not verified, but an unproved hypothesis is not circularity. Similarly, the quotient maps f1, f2, f3 'provided by Jeremy Rouse' and not included in the paper create a reproducibility/verifiability gap for the final pullback to X_ns^+(27)(Q), but these are external data, not a derivation that is equivalent to the conclusion. Self-citations to [Bal+19], [Bal+23], and [Bal+21a] supply algorithms and prior methods; they are not used to import the target classification result. The external classification of [RSZ22] is cited as prior work, not derived from this paper's conclusion. Therefore no circular step is identified.

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

The central computation uses no fitted numerical constants; the height pairing is determined by exact local-height evaluations at known points. The load-bearing inputs are the asserted Assumption 1, Ossen's external stable model theorem, and the RSZ22 curve and quotient data.

assumptions (4)
  • domain assumption Assumption 1: The abelian logarithm map J(F) tensor Q_p -> Lie(Res_{F/Q} J)(Q_p) is an isomorphism.
    Stated in Section 2.3; asserted without proof for the example X'_H. It is needed to interpret the Nekovar height pairing as a Q_p-bilinear pairing on T and to extend h_Z to a Coleman function on X(F tensor Q_p).
  • domain assumption Ossen's stable model theorem (Theorem 3.4 / [Oss23]): X has semistable reduction over a finite Galois extension of F_3 with special fiber consisting of three genus 1 components and one rational component; all F_3-points reduce onto the rational component.
    Used in Section 3.6 to prove that all local heights at q not dividing p vanish (Proposition 3.3). If the model description is wrong, the local height computation fails.
  • domain assumption Rouse-Sutherland-Zureick-Brown computations: the subgroup relationship Ns(27) intersect D subset H, the degree 3 quotient X_ns^+(27)_F -> X_H, and the equation (3.1) for X'_H.
    Taken from [RSZ22, Section 9.1]; the paper corrects a factorisation of the j-invariant and notes that the two components of X_H,F are conjugate rather than isomorphic, but still relies on the equation and quotient structure.
  • standard math Modularity and analytic rank computations for A = Res_{F/Q} J: A is modular associated to the Galois orbit of newform 729.2.a.c with analytic rank 1, giving rk J(F)=6 via Gross-Zagier and Kolyvagin-Logachev; End0(J) is isomorphic to Q(zeta9)+ via Pyle or CMSV.
    Used in Section 3.2 to establish r=6, r_NS=3, g=3, d=2 so that quadratic Chabauty is applicable. These rely on prior theorems and computations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rational points on the non-split Cartan modular curve of level 27 and quadratic Chabauty over number fields." pith.science (2026). https://pith.science/paper/4DF6ND3M

@misc{pith2026250107833,
  author       = {Pith},
  title        = {Pith review of: Rational points on the non-split Cartan modular curve of level 27 and quadratic Chabauty over number fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4DF6ND3M}},
  note         = {Machine review of arXiv:2501.07833}
}
abstract

Thanks to work of Rouse, Sutherland, and Zureick-Brown, it is known exactly which subgroups of GL$_2(\mathbf{Z}_3)$ can occur as the image of the $3$-adic Galois representation attached to a non-CM elliptic curve over $\mathbf{Q}$, with a single exception: the normaliser of the non-split Cartan subgroup of level 27. In this paper, we complete the classification of 3-adic Galois images by showing that the normaliser of the non-split Cartan subgroup of level 27 cannot occur as a 3-adic Galois image of a non-CM elliptic curve. Our proof proceeds via computing the $\mathbf{Q}(\zeta_3)$-rational points on a certain smooth plane quartic curve $X'_H$ (arising as a quotient of the modular curve $X_{ns}^+(27)$) defined over $\mathbf{Q}(\zeta_3)$ whose Jacobian has Mordell--Weil rank 6. To this end, we describe how to carry out the quadratic Chabauty method for a modular curve $X$ defined over a number field $F$, which, when applicable, determines a finite subset of $X(F\otimes\mathbf{Q}_p)$ in certain situations of larger Mordell--Weil rank than previously considered. Together with an analysis of local heights above 3, we apply this quadratic Chabauty method to determine $X'_H(\mathbf{Q}(\zeta_3))$. This allows us to compute the set $X_{ns}^+(27)(\mathbf{Q})$, finishing the classification of 3-adic images of Galois.

Figures

Figures reproduced from arXiv: 2501.07833 by the authors.

Figure 1
Figure 1. The special fibre of the stable model of XL [Oss23, [PITH_FULL_IMAGE:figures/full_fig_p023_1.png] view at source ↗
Figure 2
Figure 2. The special fibre of Y. Ossen shows that the normalisation of Y in XF3 is a stable model X of XF3 , with special fibre as depicted in [PITH_FULL_IMAGE:figures/full_fig_p024_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images

    math.NT 2026-03 accept novelty 7.0 of 10

    For non-CM elliptic curves over Q with p>7, non-split Cartan mod p image forces the p-adic image to be the full preimage of the mod p^n non-split Cartan normalizer for some n.

Reference graph

Works this paper leans on

17 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [1]

    Computing classical modular forms for arbitrary congruence subgroups

    [Ass21] E. Assaf. “Computing classical modular forms for arbitrary congruence subgroups”. Arithmetic Geometry, Number Theory, and Computation . Springer, 2021, pp. 43–104. doi: 10.1007/978-3-030-80914-0_2 (/∫hortuparrow22). 32 REFERENCES [BB12] J. S. Balakrishnan and A. Besser. “Computing local p-adic height pairings on hyperelliptic curves”. Int. Math. R...

    work page doi:10.1007/978-3-030-80914-0_2 2012

  2. [6]

    Modular curves and the Eisenstein ideal

    Oxford Graduate Texts in Mathematics. Translated from the French by Reinie Erné, Oxford Science Pub- lications. Oxford University Press, Oxford, 2002, pp. xvi+576. doi: 10.1093/oso/ 9780198502845.001.0001 (/∫hortuparrow24). [Maz77a] B. Mazur. “Modular curves and the Eisenstein ideal”. Publications Mathématiques de l’Institut des Hautes Études Scientifique...

    doi:10.1093/oso/ 1977

  3. [10]

    Explicit quadratic Chabauty over number fields

    1093/imrn/rnr111 (/∫hortuparrow14). [Bal+21a] J. S. Balakrishnan, A. Besser, F. Bianchi, and J. S. Müller. “Explicit quadratic Chabauty over number fields”. Isr. J. Math. 243.1 (2021), pp. 185–232. doi: 10 . 1007/s11856-021-2158-5 (/∫hortuparrow2, 4, 15, 17, 18, 21). [Bal+21b] J. S. Balakrishnan, A. J. Best, F. Bianchi, B. Lawrence, J. S. Müller, N. Trian...

    work page 2021

  4. [11]

    Explicit Chabauty over number fields

    Publ. Math. Soc. Japan. Princeton University Press, 1971 (/∫hortuparrow22, 25, 26, 28). [Sik13] S. Siksek. “Explicit Chabauty over number fields”. Algebra Number Theory 7.4 (2013), pp. 765–793. doi: 10.2140/ant.2013.7.765 (/∫hortuparrow3). [Sil86] J. H. Silverman. The arithmetic of elliptic curves . Vol

    work page doi:10.2140/ant.2013.7.765 2013

  5. [14]

    Elliptic curves overQ and 2-adic images of Galois

    Cambridge University Press, 2022, pp. 1–63.doi: 10.1017/fms.2022.38 (/∫hortuparrow1, 2, 19–21, 25, 26, 31). [RZ15] J. Rouse and D. Zureick-Brown. “Elliptic curves overQ and 2-adic images of Galois”. Res. Number Theory 1.12 (2015), pp. 1–34. doi: 10.1007/s40993-015-0013-7 (/∫hortuparrow1, 19). [Rüt15] J. Rüth. “Models of curves and valuations”. PhD thesis....

    work page doi:10.1017/fms.2022.38 2015

  6. [17]

    A multivariable Hensel’s lemma

    Adv. Stud. Pure Math. Academic Press, Boston, MA, 1989, pp. 73–81. doi: 10.2969/aspm/01710073 (/∫hortuparrow14). [Con] K. Conrad. “A multivariable Hensel’s lemma”. https://kconrad.math.uconn.edu/ blurbs/gradnumthy/multivarhensel.pdf (/∫hortuparrow15). [Cos+19] E. Costa, N. Mascot, J. Sijsling, and J. Voight. “Rigorous computation of the en- domorphism rin...

    arXiv 2019

  7. [36]

    p-adic adelic metrics and quadratic Chabauty I

    CRM Proceedings and Lecture Notes. American Mathematical Society, 2004, pp. 13–25. doi: 10.1090/crmp/036/02 (/∫hortuparrow14). [BMS22] A. Besser, J. S. Müller, and P. Srinivasan. “ p-adic adelic metrics and quadratic Chabauty I”. Preprint. arXiv: 2112.03873v3 [math.NT]. 2022 (/∫hortuparrow19). [BD20] L. A. Betts and N. Dogra. “The local theory of unipoten...

    work page arXiv 2004

  8. [106]

    Restriction of Scalars Chabauty and the $S$-unit equation

    Graduate Texts in Math- ematics. Springer-Verlag, New York, 1986, pp. xii+400.doi: 10.1007/978-1-4757- 1920-8 (/∫hortuparrow29, 30). [Tri21] N. Triantafillou. “Restriction of scalars Chabauty and theS-unit equation”. Preprint. arXiv: 2006.10590v2 [math.NT]. 2021 (/∫hortuparrow3). [Tui16] J. Tuitman. “Counting points on curves using a map to P1, I”. Math. ...

    work page Pith review arXiv 2016

Show all 17 references
  1. [108]

    Springer, 1993, pp

    Progress in Mathematics. Springer, 1993, pp. 127–202 (/∫hortuparrow5, 7, 8). [NSW08] J. Neukirch, A. Schmidt, and K. Wingberg. Cohomology of Number Fields . 2nd ed. Vol

    1993

  2. [223]

    Computing p-adic heights on hyperelliptic curves

    Astérisque. Société mathématique de France, 1994, pp. 59–101. url: http://www.numdam.org/item/AST_1994__223__59_0/ (/∫hortuparrow9). [GM24] S. Gajović and J. S. Müller. “Computing p-adic heights on hyperelliptic curves”. Math. Comp. (2024). To appear (/∫hortuparrow14). [GZ86] ...

    2024

  3. [224]

    ℓ-adic images of Galois for elliptic curves over Q (and an appendix with John Voight)

    Progr. Math. Birkhäuser, Basel, 2004, pp. 189–239. doi: 10.1007/978-3-0348-7919-4_14 (/∫hortuparrow21). [RSZ22] J. Rouse, A. V. Sutherland, and D. Zureick-Brown. “ ℓ-adic images of Galois for elliptic curves over Q (and an appendix with John Voight)”. Forum of Mathematics, Sigma. Vol

    2004 doi

  4. [281]

    F-isocristaux unipotents

    Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer- Verlag, Berlin, 1985, pp. xi+189. doi: 10.1007/978-3-642-52244-4 (/∫hortuparrow30). [CL99] B. Chiarellotto and B. Le Stum. “F-isocristaux unipotents”. Compositio Math. 11...

    1999 doi

  5. [302]

    The Magma algebra system. I. The user language

    Grundleh- ren der mathematischen Wissenschaften [Fundamental Principles of Mathematical REFERENCES 33 Sciences]. Springer-Verlag, Berlin, 2004, pp. xii+635. doi: 10.1007/978-3-662-06307- 1 (/∫hortuparrow5). [BCP97] W. Bosma, J. Cannon, and C. Playoust. “The Magma algebra syste...

    1997

  6. [323]

    Towards non-abelian p-adic Hodge theory in the good reduction case

    Grundlehren der mathematischen Wissenschaften [Fundamental Prin- ciples of Mathematical Sciences]. Springer-Verlag, Berlin, 2008, pp. xvi+825.doi: 10.1007/978-3-540-37889-1 (/∫hortuparrow9). [Ols11] M. C. Olsson. “Towards non-abelian p-adic Hodge theory in the good reduction c...

    2011 arXiv

  7. [601]

    Rational isogenies of prime degree (with an appendix by D. Goldfeld)

    Lecture Notes in Math. Springer, Berlin-New York, 1977, pp. 107–148.doi: 10.1007/BFb0063947 (/∫hortuparrow1). [Maz78] B. Mazur. “Rational isogenies of prime degree (with an appendix by D. Goldfeld)”. Invent. Math. 44.2 (1978), pp. 129–162. doi: 10.1007/BF01390348 (/∫hortuparro...

    1978 doi

  8. [2015]

    REFERENCES 35 [Ser89] J.-P

    doi: 10.18725/OPARU-3275 (/∫hortuparrow23). REFERENCES 35 [Ser89] J.-P. Serre. Lectures on the Mordell–Weil theorem . Vol. E15. Aspects of Mathematics. Friedr. Vieweg & Sohn, Braunschweig, 1989, pp. x+218. doi: 10.1007/978-3-663- 14060-3 (/∫hortuparrow2). [Shi71] G. Shimura. I...

    1989 doi

  9. [6197]

    Quadratic Chabauty and rational points, I: p- adic heights

    Lecture Notes in Comput. Sci. Springer, 2010, pp. 16–31. doi: 10.1007/978-3-642-14518-6_6 (/∫hortuparrow4). [BD18] J. S. Balakrishnan and N. Dogra. “Quadratic Chabauty and rational points, I: p- adic heights”. Duke Math. J. 167.11 (2018). With an appendix by J. Steffen Müller,...

    2018 doi

Pith tools

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