SearcharxivSearch

arXiv subjects

Yutaro Matsuno

Publications and source records attributed to Yutaro Matsuno.

3 recordsLinked to original sources

Twisted Lubin-Tate Big Witt Vectors and Fleck-Sun-Wan Congruences

We construct a big Witt theory associated with coefficient-multiplicative normalized $σ$-twisted Lubin-Tate formal groups. The resulting $F$-big Witt ring extends Hazewinkel's ramified $q$-typical Witt theory and recovers the usual big Witt ring in the multiplicative case. We also introduce Fleck operators defined from iterated Coleman traces and prove Lubin-Tate analogues of the Fleck-Sun-Wan congruences for both positive and negative powers. By relating the Lubin-Tate Coleman theory to the $F$-big Witt theory, we obtain a Coleman $F$-norm whose integrality yields congruences among the corresponding Fleck coefficients.

math.NT

A resolution of Kellner's conjectures on Wilson quotients

Kellner expressed higher congruences for the Wilson quotient $W_p$ of an odd prime $p$ in terms of power sums of Fermat quotients, and recursively constructed certain $p$-independent polynomials $ψ_ν$ occurring in these congruences. In this note, we give a simple $p$-adic proof of these congruences using the $p$-adic logarithm and $p$-adic exponential function. We also provide an explicit generating function for the polynomials $ψ_ν$ in terms of complete Bell polynomials. This gives a direct derivation of Kellner's polynomials and allows us to resolve two conjectures stated by Kellner.

math.NT

On Euclidean systems of ray classes

Lenstra introduced the notion of Euclidean ideal classes, and Treatman extended it to Euclidean systems. In this paper, we formulate Euclidean systems for ray classes, and study their basic properties. In particular, we show that every Euclidean system of ray classes generates the corre sponding ray class group. We further prove, assuming GRH, that if $K$ is a totally real Galois number field of degree $n\ge 3$ and $p$ is an odd ratio nal prime which does not split completely in $K$, then for every $N>0$, every generating set of the ray class group $Cl_K^{(p)^N}$ with modulus $(p)^N$ is a Euclidean system.

math.NT