Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 11Y55 ( Calculation of integer sequences )

  Expand all        Collapse all Results 1 - 2 of 2

1. CJM Online first

Stange, Katherine E.
Integral Points on Elliptic Curves and Explicit Valuations of Division Polynomials
Assuming Lang's conjectured lower bound on the heights of non-torsion points on an elliptic curve, we show that there exists an absolute constant $C$ such that for any elliptic curve $E/\mathbb{Q}$ and non-torsion point $P \in E(\mathbb{Q})$, there is at most one integral multiple $[n]P$ such that $n \gt C$. The proof is a modification of a proof of Ingram giving an unconditional but not uniform bound. The new ingredient is a collection of explicit formulae for the sequence $v(\Psi_n)$ of valuations of the division polynomials. For $P$ of non-singular reduction, such sequences are already well described in most cases, but for $P$ of singular reduction, we are led to define a new class of sequences called \emph{elliptic troublemaker sequences}, which measure the failure of the Néron local height to be quadratic. As a corollary in the spirit of a conjecture of Lang and Hall, we obtain a uniform upper bound on $\widehat{h}(P)/h(E)$ for integer points having two large integral multiples.

Keywords:elliptic divisibility sequence, Lang's conjecture, height functions
Categories:11G05, 11G07, 11D25, 11B37, 11B39, 11Y55, 11G50, 11H52

2. CJM 2014 (vol 67 pp. 286)

Bell, Jason P.; Lagarias, Jeffrey C.
A Skolem-Mahler-Lech Theorem for Iterated Automorphisms of $K$-algebras
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $\sigma^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $\sigma \in \operatorname{Aut}_K(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with $\sigma^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic.

Keywords:automorphisms, endomorphisms, affine space, commutative algebras, Skolem-Mahler-Lech theorem
Categories:11D45, 14R10, 11Y55, 11D88

© Canadian Mathematical Society, 2015 :