Abstract:Using a recent breakthrough of Smith, we improve the results of Fouvry and Klüners on the solubility of the negative Pell equation. Let $\mathcal{D}$ denote the set of fundamental discriminants having no prime factors congruent to $3$ modulo $4$. Stevenhagen conjectured that the density of $D$ in $\mathcal{D}$ such that the negative Pell equation $x^2-Dy^2=-1$ is solvable with $x,y\in\mathbb{Z}$ is $58.1\%$, to the nearest tenth of a percent. By studying the distribution of the $8$-rank of narrow class groups $\mathrm{CL}^+(D)$ of $\mathbb{Q}(\sqrt{D})$, we prove that the infimum of this density is at least $53.8\%$.

What problem does this paper attempt to address?

This paper attempts to solve the problem regarding the solvability of the negative Pell equation, especially the distribution of discriminants $D$ of specific forms. Specifically: - **Problem Background**: The negative Pell equation is in the form of $x^2 - Dy^2 = -1$, where $D$ is a positive fundamental discriminant. Whether this equation has solutions in the range of integers depends on whether the ordinary class group and the narrow class group of the quadratic field $\mathbb{Q}(\sqrt{D})$ are the same. - **Research Objective**: Stevenhagen conjectured that for all positive fundamental discriminants $D$ that do not contain prime factors congruent to 3 modulo 4, the probability that the negative Pell equation $x^2 - Dy^2 = -1$ has solutions in the range of integers is approximately 58.1%. - **Existing Progress**: Previous work by Fouvry and Klüners has proven that the lower bound of this probability is at least 52.4%, and this paper improves this result by combining Smith's latest breakthrough method and proves that the lower bound is at least 53.8%. Therefore, the main objective of this paper is to improve the understanding of the solvability of the negative Pell equation and improve the lower - bound estimate in existing results by studying the distribution of 8 - rank narrow class groups. ### Formula Summary The key formulas involved in the paper include: 1. **Density Formula**: \[ \lim_{X \to \infty} \frac{|D^-(X)|}{|D(X)|} \geq \alpha \beta \] where: \[ \alpha = \prod_{j \text{ odd}} (1 - 2^{-j})=\prod_{j = 1}^{\infty}(1 + 2^{-j})^{-1}=0.41942\ldots \] \[ \beta=\sum_{n = 0}^{\infty}2^{-n(n + 3)/2}=1.28325\ldots \] 2. **Relationship of Class Group Ranks**: \[ \text{The equation is solvable} \iff \text{for all integers } k\geq1, \text{ we have } \operatorname{rk}_{2^k} \operatorname{Cl}(D)=\operatorname{rk}_{2^k} \operatorname{Cl}^+(D) \] These formulas and theories help the author improve the estimate of the solvability of the negative Pell equation and provide a more accurate lower bound.

On the negative Pell equation

The space of solvable Pell-Abel equations

A counterexample to the Pellian equation conjecture of Mordell

Positive Integer Solutions of the Pell Equation $x^{2}-dy^{2}=N,$ $% d\in \left\{k^{2}\pm 4,\text{}k^{2}\pm 1\right\} $ and $N\in \left\{\pm 1,\pm 4\right\}

On the x -coordinates of Pell equations that are products of two Pell numbers

On the Diophantine Equation F (X) F (Y) = F (Z(2))

Quartic Integral Polynomial Pell Equations

Class numbers and integer points on some Pellian surfaces

Rational angle bisectors on the coordinate plane and solutions of Pell's equations

A note on p-adic solubility for forms in many variables

A new generalization of Fermat's Last Theorem

On a counterexample to Mordell's Pellian equation conjecture: a non-computer based approach

On the unique solvability of the simultaneous Pell equations $x^2-ay^2 = 1$ and $z^2-bx^2 = 1$

Congruent Numbers Via the Pell Equation and its Analogous Counterpart

Nonnegative Polynomials and Moment Problems on Algebraic Curves

Sign changes of short character sums and real zeros of Fekete polynomials

On Mixed Concatenations of Pell and Pell-Lucas Numbers which are Pell Numbers

New cases of Dwork's conjecture on asymptotic behaviors of solutions of $p$-adic differential equations without solvability

On The Diophantine Equation

On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle

On obstructions to the Euler system method for Rankin-Selberg convolutions