ﻻ يوجد ملخص باللغة العربية
Each p-ring class field K(f) modulo a p-admissible conductor f over a quadratic base field K with p-ring class rank r(f) mod f is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet M(K(f))=[(N(c,i))_{1<=i<=m(c)}]_{c|f} of dihedral fields N(c,i) with various conductors c|f having p-multiplicities m(c) over K such that sum_{c|f} m(c)=(p^r(f)-1)/(p-1). The advanced viewpoint of classifying the entire collection M(K(f)), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields, and the actual construction of the multiplet M(K(f)) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.
For each odd prime $p$, we conjecture the distribution of the $p$-torsion subgroup of $K_{2n}(mathcal{O}_F)$ as $F$ ranges over real quadratic fields, or over imaginary quadratic fields. We then prove that the average size of the $3$-torsion subgroup
We prove a general stability theorem for $p$-class groups of number fields along relative cyclic extensions of degree $p^2$, which is a generalization of a finite-extension version of Fukudas theorem by Li, Ouyang, Xu and Zhang. As an application, we
The sequence $A(n)_{n geq 0}$ of Apery numbers can be interpolated to $mathbb{C}$ by an entire function. We give a formula for the Taylor coefficients of this function, centered at the origin, as a $mathbb{Z}$-linear combination of multiple zeta valu
We show that for primes $N, p geq 5$ with $N equiv -1 bmod p$, the class number of $mathbb{Q}(N^{1/p})$ is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N equiv -1 bmod p
Let F be a totally real field, v an unramified place of F dividing p and rho a continuous irreducible two-dimensional mod p representation of G_F such that the restriction of rho to G_{F_v} is reducible and sufficiently generic. If rho is modular (an