Weakly special varieties, Campana stacks, and Remarks on Orbifold Mordell

Abstract

We construct the first weakly special surfaces that are not Campana-special, including the complement of the plane curve $x^2y^3 = 1$ in $\mathbb{A}^2$. We prove that the set of $\mathcal{O}_{K,S}$-integral points on this surface is non-dense for every number field $K$ and finite set $S$ of finite places of $K$ if and only if Campana's Orbifold Mordell conjecture holds for $(\mathbb{G}_m, \tfrac{1}{2}[1])$. This basic example carries a natural $\mathbb{G}_m$-action, and the quotient stack is an Artin stack parametrizing points on a C-pair. This leads to the introduction of ``Campana stacks'', which encode morphisms of C-pairs in a manner analogous to the role of root stacks for integral points satisfying prescribed divisibility conditions.

Theorems & Definitions (124)

• Theorem A: Corollary \ref{['cor:ab_puncture']}
• Definition 1.1
• Definition 1.2
• Definition 1.3
• Definition 1.4
• Definition 1.5
• Conjecture 1.6: Lang--Vojta + Chevalley--Weil
• Conjecture 1.7: Weakly Special Conjecture
• Conjecture 1.8: Campana
• Theorem B: Theorem \ref{['thm:family_of_ws_vars']}