Appendix and erratum to “Massey products for elliptic curves of rank 1”

Balakrishnan, Jennifer S.; Kedlaya, Kiran S.; Kim, Minhyong

doi:10.1090/s0894-0347-2010-00675-3

Cited by 21 publications

(36 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Let E be the rank-1 elliptic curve Example 8.4. We give a variation on Example 4 in [2]. Let E be the rank-1 elliptic curve y 2 D x 3 16x C 16, with minimal model Ᏹ having Cremona label 37a1.…”

Section: Kim's Nonabelian Chabauty Methodsmentioning

confidence: 99%

Iterated Coleman integration for hyperelliptic curves

Balakrishnan

2013

Open Book Series

Self Cite

View full text Add to dashboard Cite

Section: Kim's Nonabelian Chabauty Methodsmentioning

confidence: 99%

Iterated Coleman integration for hyperelliptic curves

Balakrishnan

2013

Open Book Series

Self Cite

View full text Add to dashboard Cite

“…Furthermore, by relating the mixed extensions A Z (x) to the ones arising in Nekovář's theory, we gave a formula for h v (A Z (x)) as a local height pairing h v (A Z (x − b, D Z (x − b)) between divisors. This was inspired by earlier uses of p-adic heights to obtain quadratic Chabauty formulae for integral points on elliptic and hyperelliptic curves in papers of Kim [28] and of the first author with Kedlaya and Kim [6] and Besser and Müller [4].…”

Section: And Kimmentioning

confidence: 99%

Quadratic Chabauty and Rational Points II: Generalised Height Functions on Selmer Varieties

Balakrishnan

Dogra

2020

International Mathematics Research Notices

View full text Add to dashboard Cite

show abstract

“…We utilise this property in what follows. The first explicit description of the de Rham period maps beyond level 1 was given in [10] for n = 2 when C is an elliptic curve.…”

Section: Defining the De Rham Period Map J Dr Nmentioning

confidence: 99%

Computation of the unipotent Albanese map on elliptic and hyperelliptic curves

Beacom

2019

Ann. Math. Québec

View full text Add to dashboard Cite

We study the unipotent Albanese map appearing in the non-abelian Chabauty method of Minhyong Kim. In particular we explore the explicit computation of the p-adic de Rham period map j dr n on elliptic and hyperelliptic curves over number fields via their universal unipotent connections U.Several algorithms forming part of the computation of finite level versions j dr n of the unipotent Albanese maps are presented. The computation of the logarithmic extension of U in general requires a description in terms of an open covering, and can be regarded as a simple example of computational descent theory. We also demonstrate a constructive version of a lemma of Hadian used in the computation of the Hodge filtration on U over affine elliptic and odd hyperelliptic curves.We use these algorithms to present some new examples describing the co-ordinates of some of these period maps. This description will be given in terms iterated p-adic Coleman integrals. We also consider the computation of the co-ordinates if we replace the rational basepoint with a tangential basepoint, and present some new examples here as well.Here we introduce unipotent connections and background material on the unipotent Albanese map. Throughout both sections [23] is used as a primary reference for definitions and results.Let K be a field of characteristic 0, let X be a K-scheme, and suppose we have a fixed basepoint b ∈ X(K). Let V be a vector bundle on X.Here Ω 1 X/K is the sheaf of 1-forms on X/K. Remark 2.2. We will often refer to a vector bundle V with connection ∇ simply as a connection and write such objects either as (V, ∇) or simply as V.Remark 2.3. We may extend ∇ to a covariant derivative ∇ 1 :Definition 2.4. We say that V is a flat or integrable connection if the induced morphismis the zero map. Note that if X is a curve, then any connection V is automatically flat.Given a connection (V, ∇) with V of rank n, there is a matrix Ω ∈ gl n ⊗ Ω 1 X/K called the connection matrix which determines ∇: suppose that we have a local basis e i : O X ֒→ V (1 ≤ i ≤ n). Let U ⊂ X be some trivialising neighbourhood in X. Then ∇(e i ) ∈ V ⊗ Ω 1 X/K (U ), and so there are ω ij ∈ Ω 1 X/K (U ) such thatWe let Ω := (ω ij ). We may show that in matrix notation ∇(e · f ) = e · (df + Ω · f ), and so ∇ acts locally as d + Ω. Remark 2.5. A connection (V, ∇ = d + Ω) is flat if and only if dΩ + Ω ∧ Ω = 0Definition 2.6. A morphism of connections (V, ∇) → (W, ∇ ′ ) is a morphism f : V → W of sheaves preserving the connection.Definition 2.7. A connection V is unipotent with index of unipotency less than or equal to n if there is a decreasing sequence of sub-connectionssuch that the quotients V i+1 /V i are isomorphic to a direct sum of copies of (O X , d) i.e. they are trivial.We obtain the following category on X:Definition 2.8. Let Un n (X) be defined to be category whose objects are unipotent vector bundles on X with flat connection having index of unipotency less than or equal to n with morphisms being morphisms of connections. Define Un(X) to be ∪ n≥1 Un n (X)Given so...

show abstract

Appendix and erratum to “Massey products for elliptic curves of rank 1”

Cited by 21 publications

References 4 publications

Iterated Coleman integration for hyperelliptic curves

Iterated Coleman integration for hyperelliptic curves

Quadratic Chabauty and Rational Points II: Generalised Height Functions on Selmer Varieties

Computation of the unipotent Albanese map on elliptic and hyperelliptic curves

Contact Info

Product

Resources

About