Linear Algebra and Algebraic Geometry: A Matrix Construction for Classifying Families of Algebraic Curves with No Solutions in Z^+

Shazali Abdalla Fadul

In the authors' words

A substantial body of results is known for curves of degree $d = 3$ , namely elliptic curves, including the theorems of Siegel, Mazur, and Mordell, among others. More generally, Faltings established comprehensive results for all algebraic curves of degree $d \geq 2$ . However, these results do not, in general, furnish an explicit or systematic procedure for classifying algebraic curves that fail to admit solutions over a prescribed set such as $Z^{+}$ . The principal aim of the present work is accordingly to develop a method for classifying families of algebraic curves having no solutions in $Z^{+}$ . We begin by establishing a correspondence between algebraic geometry and linear algebra, from which we develop a classification procedure grounded in linear-algebraic constructions and tools. Specifically, let $S : A x = b$ be a linear system, where $A \in M_{3 k \times m} (Z)$ satisfies suitable conditions on its entries, and let $S = {s_{1}, s_{2}, \dots, s_{N}} \subset Z^{m}$ denote the solution set of the system, with $A = (a_{ij})$ , and $s_{i} = (c_{1}, c_{2}, \dots, c_{n + 1})$ . From such a solution we construct algebraic curves of degree $n \leq m$ , nonsingular curves $C_{j s_{i}}$ of genus $g \geq 0$ , of the form $C_{j s_{i}} : Y^{2} = a_{3 j 1} c_{1} X^{n} + a_{3 j 2} c_{2} X^{n - 1} + \dots + a_{3 j n} c_{n}$ . If $Y \geq 1, X > 1$ and $\forall (X, Y) \in C_{j s_{i}} (Z^{+})$ holds then $[C_{j s_{i}} (Z^{+})]_{1 \leq j \leq k}^{N} = \emptyset$ and if the system $S$ admits infinitely many solutions, then $[C_{j s_{i}} (Z^{+})]_{1 \leq j \leq k}^{\infty} = \emptyset$ as $N ⟶ \infty$ .

Main resultThe abstract does not state a limitation.

Linear Algebra and Algebraic Geometry: A Matrix Construction for Classifying Families of Algebraic Curves with No Solutions in Z^+

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials