arXiv subjects

R. Laniewski

Publications and source records attributed to R. Laniewski.

2 recordsLinked to original sources

arXiv2026

Intensional semantics for comparison problems in arithmetic geometry

This work proposes a semantic environment for arithmetic geometry in which passage between presentations carries an explicit weight. Morphism costs induce a Lawvere generalized distance by taking infima over transports, and heights satisfy the corresponding transport bounds. A labeled quantitative $(2,1)$-category retains invertible $2$-morphisms as coherent comparisons between transports. Its vertical groupoids admit a transport interpretation inspired by the identity types of Voevodsky's C-systems. If a height factors through the underlying object, then a vertical comparison has equal endpoints, whatever its transport cost. We formulate an intensional Szpiro inequality for elliptic packages, where the discriminant height transports along a morphism with a controlled model defect, and we relate a bound of this form to the $abc$ conjecture. The defect remains visible between non-minimal and normalized presentations, while conductor complexity stays attached to the underlying curve. We then treat the Birch and Swinnerton-Dyer conjecture in its pre-modularity form, using strong point-count asymptotics with an explicit convergence requirement. The refined constant retains separately typed arithmetic factors. A finite differential correction makes the period independent of the chosen differential and links its normalization to model transport. Within the declared finite-descent theory, Tate--Shafarevich finiteness reduces to finitely many closed prime columns of Selmer shadows and a uniform cutoff. For $y^2=x^3-q^2x$ with $q\equiv3\pmod8$ prime, two-isogeny descent closes the two-primary column uniformly. The statements admit expression in $\mathsf{ACA}_0$ relative to certified descent and Mordell--Weil data, with certified Cauchy names for the period and regulator.

math.CT↗

arXiv2026

Radical defects, Wieferich primes, and the $abc$ conjecture

For coprime $a+b=c$, the parity class in which $a$ and $b$ are odd and $c$ is even admits an exact treatment. Triples are measured by the radical excess $E_{\varepsilon}=\log c-(1+\varepsilon)\log\operatorname{rad}(abc)$, and called transgressive at fixed $\varepsilon>0$ when it is non-negative. The $abc$ conjecture asserts that such triples are finite in number. The excess is written exactly in terms of the defect, the mass of repeated primes the radical discards, and rearranges into a linear threshold in which the smaller summand $s=\min\{a,b\}$ appears explicitly. Either $s$ stays bounded along a subsequence, or the defect must overshoot the threshold and rejoin it at an amplified exponent. For the Mersenne family $\mathcal{V}_m = (1, 2^m-1, 2^m)$ transgression at $\varepsilon=0$ holds precisely when $2^m-1$ fails to be squarefree, on a set of exponents of density $47/210$. The defect obeys the exact law $Δ_m = Ω_m + \log G_m$, where $Ω_m$ collects the Wieferich primes dividing $2^m-1$ and $G_m$ is the largest divisor of $m$ whose prime factors divide $2^m-1$. This divisor is trivial on prime-power exponents and largest on $m_k = \operatorname{lcm}(1,\dots,k)$, where the margin $q(\mathcal{V}_{m_k}) - 1 \geq (1-o(1))\log m_k / (m_k\log 2)$ is the most any Wieferich-free mechanism can give. An $abc$ counterexample family along the Mersenne line would require infinitely many Wieferich primes with exponential order--defect growth. A final section separates two elliptic curves attached to the class: the Frey curve, whose minimal discriminant expresses the total defect with a bounded correction at $2$, and a congruent-number Jacobian, whose Szpiro quotient stays below $3$.

math.GM↗