arXiv subjects

Shisong Xu

Publications and source records attributed to Shisong Xu.

4 recordsLinked to original sources

arXiv2026

Adjoint Closures of Singular Quadratic Pencils and First's Pfister-Type Conjecture

We construct, over every formally real field, a singular pair of quadratic forms in dimension seven whose adjoint closure equals its pencil and consists entirely of hyperbolic forms in First's sense, although the pair is not weakly hyperbolic. This disproves First's conjecture that his local--global criterion for nonsingular pairs extends to singular pairs. The example has minimal dimension over formally real number fields and real closed fields. The construction uses an explicit closure formula: adjoining a symmetric singular Kronecker block of positive minimal index to a pair with a nondegenerate first member forces the adjoint closure of the sum to equal its pencil. We determine the corresponding closure formulas for Kronecker decompositions and compute the adjoint algebra, its Jacobson radical, and the involution-trace form of the seven-dimensional example.

math.NT↗

arXiv2026

Torsion growth of rational elliptic curves over $\Z_p$-extensions of quadratic fields

Let $E/\Q$ be an elliptic curve and let $\widetilde K_p$ be the compositum of all $\Z_p$-extensions of a quadratic field $K$. We prove that $E(\widetilde K_p)_{\tors}=E(K)_{\tors}$ for $p\geq5$. For $p=3$ and imaginary quadratic $K\neq\Q(\sqrt{-3})$, torsion on each extension is determined by its intersections with the cyclotomic extension and the $2$-division field. Over $\Q(\sqrt{-3})$, we construct infinitely many non-CM curves with full $3$-torsion in the first anticyclotomic layer and compute the $3$-primary torsion on every slope for eight CM curves. For $p=2$, we bound the odd-primary torsion and exclude all primes greater than $7$. We also give uniform bounds for non-CM primary torsion and correct two assertions in Li's preprint about noncyclotomic $\Z_3$-extensions.

math.NT↗

arXiv2026

Positivity and Asymptotics for Chenevier's Orthogonal Polynomials

We prove the strict positivity conjectured by Chenevier for the critical vectors in the unconditional part of his automorphic Hermite--Minkowski theorem. The proof establishes strict negativity of all Verblunsky coefficients of a circle measure associated with the weight $(\arcsin x)/x$ on $(-1,1)$. A positive-kernel formula and the classical Schur algorithm give these signs, and a para-orthogonal transformation yields positivity in every degree. We also compute the positive density representing the negative of the Schur function as a Hausdorff moment generating function. After rescaling their indices to $[0,1]$, the normalized critical vectors converge weakly to the arcsine law, while Chenevier's critical scale is asymptotic to $8π/n$. At the critical boundary, a single nonzero effective integral vector is negative for every admissible test function exactly in odd degree and in degree zero. Finally, we prove an exact first-variation formula for exponential perturbations of the Legendre measure and derive its asymptotics for endpoint cusps. For the perturbation leading to Chenevier's weight, the derivative at the Legendre measure has a $(\log n)/(π^2n^2)$ term and an explicit constant at order $n^{-2}$. The corresponding nonlinear asymptotic remains conjectural.

math.CA↗

arXiv2026

Representation Defects and Cassels Pairings for Congruent Number Curves: Rédei Symbols and Governing Fields

Using BSD results for CM elliptic curves, we relate Qin's quadratic form representation defects to the Cassels pairing on the pure $2$-Selmer group of a congruent number elliptic curve. When the pure $2$-Selmer dimension is even, we prove that the normalized representation defect modulo $2$ is the Pfaffian of the Cassels pairing matrix; the dimension of its radical yields sharper $2$-adic divisibility and information on the $2$-primary Shafarevich--Tate group. For products of primes congruent to $1$ modulo $8$ that are pairwise quadratic residues, we give explicit Cassels pairing matrices for both $E_n$ and $E_{2n}$ and express their entries in terms of quartic and Rédei symbols. For each fixed prime $p$, we construct a governing field of degree $256$ and determine the exact joint distribution of the two Pfaffians by Chebotarev's theorem. In particular, there is a set of primes $q$ of natural density $5/128$ for which both $E_{17q}$ and $E_{34q}$ have rank zero and $2$-primary Shafarevich--Tate group isomorphic to $(\Z/2\Z)^4$.

math.NT↗