Table of Contents
Fetching ...

On torsion anomalous intersections

Sara Checcoli, Francesco Veneziano, Evelina Viada

Abstract

A deep conjecture on torsion anomalous varieties states that if $V$ is a weak-transverse variety in an abelian variety, then the complement $V^{ta}$ of all $V$-torsion anomalous varieties is open and dense in $V$. We prove some cases of this conjecture. We show that the $V$-torsion anomalous varieties of relative codimension one are non-dense in any weak-transverse variety $V$ embedded in a product of elliptic curves with CM. We give explicit uniform bounds in the dependence on $V$. As an immediate consequence we prove the conjecture for $V$ of codimension two in a product of CM elliptic curves. We also point out some implications on the effective Mordell-Lang Conjecture.

On torsion anomalous intersections

Abstract

A deep conjecture on torsion anomalous varieties states that if is a weak-transverse variety in an abelian variety, then the complement of all -torsion anomalous varieties is open and dense in . We prove some cases of this conjecture. We show that the -torsion anomalous varieties of relative codimension one are non-dense in any weak-transverse variety embedded in a product of elliptic curves with CM. We give explicit uniform bounds in the dependence on . As an immediate consequence we prove the conjecture for of codimension two in a product of CM elliptic curves. We also point out some implications on the effective Mordell-Lang Conjecture.

Paper Structure

This paper contains 19 sections, 23 theorems, 129 equations.

Key Result

Theorem 1.4

Let $V$ be a weak-transverse variety in a product $E^N$ of elliptic curves with CM defined over a number field $k$. Then the maximal $V$-torsion anomalous varieties $Y$ of relative codimension one are finitely many. In addition the degrees and normalized heights are bounded as follows. For any posit

Theorems & Definitions (47)

  • Conjecture 1.1: CIT, Conjecture on the Intersection with Torsion Varieties
  • Definition 1.2
  • Conjecture 1.3: Bombieri-Masser-Zannier
  • Theorem 1.4
  • Corollary 1.5
  • proof
  • Corollary 1.6
  • proof
  • Corollary 1.7
  • Corollary 2.1
  • ...and 37 more