Search arXiv⌕ Search

arXiv · 2610.10209

Points and their multiples on curves in powers of simple abelian varieties

Abstract

Let $G$ be a simple abelian variety of dimension $g \in \mathbb{N}$ defined over $\mathbb{Q}^\mathrm{alg}$ and let $C_1, C_2 \subseteq G^N(\mathbb{C})$ be irreducible closed algebraic curves with $N \geq 3$. Further assume that at least one of $C_1$ and $C_2$ is not defined over $\mathbb{Q}^\mathrm{alg}$. Suppose that there does not exist an algebraic subgroup $H_1 \subseteq G^N(\mathbb{C})$ of dimension $g$ such that $C_1 \subseteq H_1$ and that there does not exist an algebraic subgroup $H_2 \subseteq G^N(\mathbb{C})$ of dimension $2g$ such that $C_1 \cup C_2 \subseteq H_2$. Denoting $\mathcal{N} = \{n \in \mathbb{N} \ | \ [n]C_1 \subseteq C_2\}$, we prove that $\bigcup_{n \in \mathbb{N} \setminus \mathcal{N}}\{x \in C_1 \ | \ nx \in C_2\}$ is finite.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David J. Smith. 2026-10-08. Points and their multiples on curves in powers of simple abelian varieties. https://arxiv.org/abs/2610.10209

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Complexity of deep computations via topology of function spaces

We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification of Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification theory, to translate between topology and computation. We use the theory of Rosenthal compacta to characterize approximablility of deep computations, both deterministically and probabilistically.

math.LO↗

Quotient codings and the descriptive complexity of algebraic and analytic structures

We study the descriptive complexity of algebraic and analytic properties by presenting structures as quotients of fixed generators. For separable Banach-type structures, admissible kernels form Polish spaces and quotient norms are continuous in the Wijsman topology. For countable algebraic structures, congruence spaces are compact and atomic predicates are clopen. In the unital $C^*$-algebra coding, commutativity, MF-ness, stable finiteness and existence of a tracial state are $Π^0_1$-complete. AF-ness, nuclearity, simplicity, property~(SP), approximate divisibility, fixed real- and stable-rank bounds, and fixed nuclear-dimension and decomposition-rank bounds are $Π^0_2$-complete. Finiteness of each of these four ranks is $Σ^0_3$-complete. Finite dimensionality and existence of a non-zero finite-dimensional representation are $Σ^0_2$-complete. Residual finite dimensionality is $Π^0_3$-complete, already among AF algebras, while quasidiagonality is $Π^0_3$. For countable abelian groups, slenderness is $Π^0_3$-complete even within the torsion-free locus. We also obtain a $Σ^0_3$ upper bound for uniformly open multiplication in Banach algebras. An internal $K_0$ presentation has $F_σ$ membership coordinates and is $Σ^0_3$-measurable. We establish Borel tensor-ideal assignments, continuity for a fixed nuclear tensor factor, and a $G_δ$ bound for absorption of a strongly self-absorbing algebra. Finally, separability of the dual is $Π^1_1$-complete in the full unital $C^*$-quotient coding, already among commutative AF quotients; superatomicity of countable Boolean algebras is also $Π^1_1$-complete.

math.LO↗

Kaplansky decompositions of Polish modules

Let $R$ be a countable ring. Given an $R$-module $A$, we call a decomposition $A = \bigoplus_{i \in I} N_i$ a Kaplansky decomposition if each $N_i$ is countable. We characterize the uncountable Polish $R$-modules that admit a Kaplansky decomposition: they are exactly the modules of the form $B \oplus M^ω$, where $B$ and $M$ are countable and $M$ is $Σ$-algebraically compact. The countable summand $B$ may moreover be taken to be an elementary submodule satisfying a closure condition, which makes $M^ω$ unique up to isomorphism, and hence an invariant of $A$. We use this to characterize the countable rings admitting a free uncountable Polish $R$-module, generalizing results of Shelah and Solecki. This class of rings has a purely ring-theoretic description: it consists exactly of the countable left perfect and right coherent rings, i.e. the rings identified by Chase's theorem on products of projective modules. We observe that these are also exactly the countable $F$-rings, i.e. those countable rings $R$ for which $R^ω$ is free. Finally, we give a ring-theoretic characterization of the countable rings $R$ for which there exists an uncountable projective Polish $R$-module.

math.LO↗