SearcharxivSearch

arXiv subjects

Peter Chocian

Publications and source records attributed to Peter Chocian.

3 recordsLinked to original sources

Twisted Bernoulli Zeros in Quasi-Linear Time: Distribution, Depth, and Explicit Hilbert Class Components

The divided generalized Bernoulli values $b_{\chi,j} = fB_{1,\chi\omega^{-j}} \bmod p$, for $\chi$ an odd primitive Dirichlet character of conductor $f$ and order $d$ with $d \mid p-1$, control (for $p \nmid \varphi(f)$) the odd isotypic components of the $p$-class group of $Q(\zeta_{fp})$ through the characterwise abelian Main Conjecture; a zero is a twisted irregular pair, a branch with positive Iwasawa lambda-invariant, in the tradition studied by Ernvall, Holden, Delbourgo-Knospe and Knospe. We survey these zeros in the regime complementary to existing tabulations: fixed small conductor and large $p$ ($f = 3, 5$ to $p < 10^5$; all odd primitive characters of conductor at most 20 to $p < 2 \cdot 10^4$), computing each spectrum by a residue-class weight formula and one Bluestein convolution over $F_p$, a direct finite-field alternative of the same quasi-linear order as the standard power-series method. The survey records 27,508 zero lines over 55,121 character-prime pairs, each verified by two independent code paths with an exact order of vanishing; the counts and digits are consistent with the random model, and eight lines are non-simple, including one of depth three at $(f,p,j) = (19,37,16)$, giving class components of order exactly $p^2$ and $37^3$. The main contribution converts zeros into explicit certified generators: the conductor-three catalogue of arXiv:2607.23177 is extended from $p < 500$ to $p < 10^5$, all 2,441 zero lines simple, each projected circular unit proven to generate its complete order-$p$ Hilbert class field component by a fresh split-prime Artin certificate -- the largest in the degree-199,980 field $Q(\zeta_{299973})$. Ancillary files contain all tables, certificates, and a verification program.

math.NT

Character Fourier Spectra of Circular Units and Twisted Bernoulli Class Components

Let $\chi$ be a primitive odd Dirichlet character of conductor $f$. For the universal projector polynomials $P_m$ introduced in arXiv:2607.23177, defined by $\sum_m P_m(X)Y^m = -\log(1-X(1-e^{-Y}))$, we evaluate the character Fourier spectrum at $h_t = \zeta_f^t/(\zeta_f^t-1)$: for every odd $m$, $\sum_t \bar\chi(t)P_m(h_t) = \tau(\bar\chi)B_{m,\chi}/(m\,m!)$. After reduction at any prime above $p \nmid f$, the case $m = p-j$ identifies this spectrum, including its exact nonzero scalar, with the divided generalized Bernoulli value attached to $\chi\omega^{-j}$; the spectral-zero and Bernoulli-zero criteria therefore agree over every residue field, with no splitting hypothesis on the coefficient field. We connect the identity with the local Kummer spectrum of the circular unit $1-\zeta_f\zeta_p$ and carry the programme through in the first non-real case: for the two primitive quartic characters modulo 5 and primes $p < 500$, $p \equiv 1 \pmod{20}$, exactly eleven zero lines occur. On each line an integral character projection of $1-\zeta_5\zeta_p$ is everywhere locally unramified, a finite split-prime Artin computation proves it is not a global $p$-th power, and the character-wise Main Conjecture shows the radical generates the complete order-$p$ Hilbert class component. Six of the eleven components occur at classically regular primes. At $p = 61$ the two conjugate characters contribute on different indices. A deterministic integer-arithmetic program (ancillary file) verifies the enumeration, the divided digits, and every certificate.

math.GM

Explicit Twisted Hilbert Class Components Beyond Classical Irregularity

Let $p \equiv 1 \pmod 6$ be prime and $K_p = \mathbf{Q}(\zeta_{3p})$. We study the reflected circular unit $\mu_p = (1+z\zeta_p)/(1+\bar z\zeta_p)$, $z = -\zeta_3^2$, and its character projections. A universal Stirling polynomial $P_m$ gives an exact identity between the anti-spectrum of $\mu_p$ and the primitive divided $\chi_{-3}$-twisted Stickelberger spectrum: $P_{p-j}(h) - P_{p-j}(1-h) = -(2h-1)(j-1)!\,b_j$, $h = z/(1+z)$. Thus the locally blind lines of the reflected unit are precisely the zeros of the corresponding divided twisted Bernoulli eigenvalues. For every $p < 500$ we enumerate these zeros. Exactly twelve character lines occur. On each line an explicit integral idempotent product of $\mu_p$ is a local $p$-th power at the conductor primes but not a global $p$-th power. Small completely split primes provide finite Artin certificates. The generalized Bernoulli number has exact $p$-adic valuation one in every case; the character-wise Main Conjecture therefore proves that each radical generates the complete Hilbert-class-field component, which has order $p$. Seven of the twelve lines occur at classically regular primes, so twisted degeneracy below 500 is more often invisible to ordinary irregularity than aligned with it. The first case, $p = 67$, is worked out in full, and a deterministic integer-arithmetic program (included as an ancillary file) reproduces the enumeration and every certificate.

math.NT