Table of Contents
Fetching ...

A positive Siegel theorem: Dynkin friezes and positive Mordell-Schinzel

Robin Zhang

TL;DR

The paper establishes a positive Siegel-type finiteness theorem for n-dimensional affine varieties X_C arising from generalized Cartan matrices, showing finiteness of X_C(ℕ) exactly when t_C > 0 and providing explicit, effective bounds. It builds a bridge between cluster algebra theory and Diophantine geometry by linking positive integral friezes to X_C(ℕ) via frieze polynomials, and resolves the Fontaine–Plamondon conjecture by counting positive integral friezes of type E7 (4400) and E8 (26952). The authors extend Mordell–Schinzel-type results to higher dimensions, exhibiting infinite families of positive integral solutions for Diophantine equations of the form x y z = G(x,y) and their higher-dimensional analogues when the associated Cartan data are infinite type. They use hyperplane reductions, explicit height bounds, and orbit-by-orbit enumeration to achieve both finite-type enumerations and infinite-type Diophantine consequences, with concrete results across classical and exceptional Dynkin types. The work has implications for arithmetic geometry, representation theory, and combinatorics via the explicit correspondence between friezes and cluster-algebra-type varieties.

Abstract

We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory refines and generalizes theorems of Mohanty, Mordell, and Schinzel to the positive integers and higher dimensions by exhibiting examples of Diophantine equations $xyz = G(x, y)$ and $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.

A positive Siegel theorem: Dynkin friezes and positive Mordell-Schinzel

TL;DR

The paper establishes a positive Siegel-type finiteness theorem for n-dimensional affine varieties X_C arising from generalized Cartan matrices, showing finiteness of X_C(ℕ) exactly when t_C > 0 and providing explicit, effective bounds. It builds a bridge between cluster algebra theory and Diophantine geometry by linking positive integral friezes to X_C(ℕ) via frieze polynomials, and resolves the Fontaine–Plamondon conjecture by counting positive integral friezes of type E7 (4400) and E8 (26952). The authors extend Mordell–Schinzel-type results to higher dimensions, exhibiting infinite families of positive integral solutions for Diophantine equations of the form x y z = G(x,y) and their higher-dimensional analogues when the associated Cartan data are infinite type. They use hyperplane reductions, explicit height bounds, and orbit-by-orbit enumeration to achieve both finite-type enumerations and infinite-type Diophantine consequences, with concrete results across classical and exceptional Dynkin types. The work has implications for arithmetic geometry, representation theory, and combinatorics via the explicit correspondence between friezes and cluster-algebra-type varieties.

Abstract

We determine the number of positive integral points on -dimensional affine varieties associated to arbitrary generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly and positive integral friezes of type and respectively. An application to number theory refines and generalizes theorems of Mohanty, Mordell, and Schinzel to the positive integers and higher dimensions by exhibiting examples of Diophantine equations and of every degree greater than with infinitely many positive integral solutions.

Paper Structure

This paper contains 18 sections, 17 theorems, 59 equations.

Key Result

Theorem 1

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $X$ be a smooth projective curve of genus $g$ defined over $K$.

Theorems & Definitions (43)

  • Theorem 1: Mordell--Weil and Faltings
  • Theorem 2: Siegel's theorem on integral points
  • Theorem 3: A Diophantine application of Theorem \ref{['thm:positive-siegel']}
  • Remark 4
  • Theorem 5
  • Remark 6
  • Theorem 7: A frieze application of Theorem \ref{['thm:positive-siegel']}(b)
  • Remark 8
  • Example 2.1: A frieze of type $E_8$
  • Definition 2.2
  • ...and 33 more