“…Proof: If ϕ : A 1 → A 2 is a homomorphism of abelian varieties over F , then the associated Raynaud extensions are homomorphic (see [BL1], §1 and use the argument before Proposition 3.5). If ϕ is an isogeny, then it is clear that the corresponding tori (resp.…”
Section: The Bogomolov Conjecturementioning
confidence: 99%
“…We may suppose that the uniformization A an v /M is analytically defined over a subfield F of K v such that F is finite over the completion K v of K (see [BL1], Section 1). Then we have A(E) = (E × ) n /M for every algebraic subextension E/F of K v .…”
We prove the Bogomolov conjecture for an abelian variety A over a function
field which is totally degenerate at a place v. We adapt Zhang's proof of the
number field case replacing the complex analytic tools by tropical analytic
geometry. A key step is the tropical equidistribution theorem for A at the
totally degenerate place. As an application, we obtain finiteness of torsion
points with coordinates in the maximal unramified algebraic extension over v.Comment: 21 pages; submitted. Minor errors corrected, applications in Section
6 adde
“…Proof: If ϕ : A 1 → A 2 is a homomorphism of abelian varieties over F , then the associated Raynaud extensions are homomorphic (see [BL1], §1 and use the argument before Proposition 3.5). If ϕ is an isogeny, then it is clear that the corresponding tori (resp.…”
Section: The Bogomolov Conjecturementioning
confidence: 99%
“…We may suppose that the uniformization A an v /M is analytically defined over a subfield F of K v such that F is finite over the completion K v of K (see [BL1], Section 1). Then we have A(E) = (E × ) n /M for every algebraic subextension E/F of K v .…”
We prove the Bogomolov conjecture for an abelian variety A over a function
field which is totally degenerate at a place v. We adapt Zhang's proof of the
number field case replacing the complex analytic tools by tropical analytic
geometry. A key step is the tropical equidistribution theorem for A at the
totally degenerate place. As an application, we obtain finiteness of torsion
points with coordinates in the maximal unramified algebraic extension over v.Comment: 21 pages; submitted. Minor errors corrected, applications in Section
6 adde
“…K and lift it to a V^-linearization of HK^ viewing the latter as a line bundle on TJt. Such a line bundle is trivial, as is shown in the proof of [3], 4.5. Hence, there is an isomorphism of rigid ^-spaces HK -^ Gm,j< x T^.…”
Section: Computation Of Some Hom and Ext Groupsmentioning
confidence: 77%
“…As E' -> B' and, hence by [8], 4.8, also E'^ -> B' 0 are epimorphisms, the above sequence of maps yields an epimorphism z*A'° -> z*B'° with kernel T" D A' 0 . But then, going through the duality theory of [3], Sect. 6, one can realize that the map coincides with the preceding one.…”
Section: Then Restricting Sheaves To Formal Parts and To The Etale Tmentioning
“…We also have the analytic torus T an = (G an m,K ) g associated to T rig and an open immersion T rig → T an . The key fact is that i extends uniquely to a rigid-analytic group morphism T an → J an , and its kernel is a lattice Λ ⊂ (K × ) g of rank g. This induces an isomorphism of analytic groups T an /Λ ∼ = J an ; see [1,Thm. 1.2].…”
Section: Proposition 33 There Is a Canonical Isomorphism Of T-modulesmentioning
Abstract.We prove a level lowering result over rational function fields, with the congruence prime being the characteristic of the field. We apply this result to show that semi-stable optimal elliptic curves are not Frobenius conjugates of other curves defined over the same field.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.