SearcharxivSearch

arXiv subjects

Ryotaro Sakamoto

Publications and source records attributed to Ryotaro Sakamoto.

At least 19 recordsLinked to original sources

On the Artin formalism for triple product $p$-adic $L$-functions

Our main objective in the present article is to study the factorisation problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorisation. Our analysis, which is guided by the ETNC philosophy, recasts this problem as a comparison of diagonal cycles, Beilinson--Kato elements, and Heegner cycles.

math.NT

Root lattices over totally real fields

A root lattice is a finite rank $\mathbb{Z}$-lattice generated by elements $x$ satisfying $x\cdot x=2$. It is well-known that the root lattices have an $ADE$ classification and they play a prominent role in the study of even unimodular lattices. The notion of root lattices can be naturally generalized to lattices over the ring of integers $\mathcal{O}$ of a totally real field $K$. In the case where $K$ is a real quadratic field, such lattices were classified by Mimura in 1979, and this classification has been used by several researchers in the study of even unimodular $\mathcal{O}$-lattices. In this paper, we extend this classification to arbitrary totally real fields. The irreducible root lattices of rank greater than $2$ are indexed by finite Coxeter systems. All the rank $2$ root lattices are realized as orders in quadratic extensions of $K$ and their classification requires some technique from algebraic number theory.

math.CO

$p$-Ordinary Part of Hyperbolic Cycles on Modular Curves

In this paper, we study hyperbolic cycles in the first homology group with local coefficients of congruence subgroups of $\mathrm{SL}_2(\mathbb{Z})$. We prove that, for any prime number $p$, the $p$-ordinary part of the first homology group is generated by hyperbolic cycles.

math.NT

Wall-crossing and $p$-adic Artin formalism for ${\rm GSp}_4 \times {\rm GL}_2 \times {\rm GL}_2$

The goal of this article is to develop a $p$-adic Artin formalism in the context of $p$-adic families of automorphic forms on ${\rm GSp}_4 \times {\rm GL}_2 \times {\rm GL}_2$. Our treatment is guided by the (double) wall-crossing principle, emphasising an interplay between arithmetic GGP and $p$-adic explicit GGP formulae. Although the picture we present remains largely conjectural, we provide evidence in favour of our conjectures (a) in terms of algebraic $p$-adic $L$-functions, and (b) in endoscopic scenarios.

math.NT

Harder's denominator problem for $\mathrm{SL}_2(\mathbb{Z})$ and its applications

The aim of this paper is to give a full detail of the proof given by Harder of a theorem on the denominator of the Eisenstein class for $\mathrm{SL}_2(\mathbb{Z})$ and to show that the theorem has some interesting applications including the proof of a recent conjecture by Duke on the integrality of the higher Rademacher symbols. We also present a sharp universal upper bound for the denominators of the values of partial zeta functions associated with narrow ideal classes of real quadratic fields in terms of the denominator of the values of the Riemann zeta function.

math.NT

On the non-critical exceptional zeros of Katz $p$-adic $L$-functions for CM fields

The primary goal of this article is to study $p$-adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz $p$-adic $L$-functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin-Stark elements. In the particular case when the CM field in question is imaginary quadratic, our leading term formula and its consequences we record herein are unconditional.

math.NT

Convergence of neural networks to Gaussian mixture distribution

We give a proof that, under relatively mild conditions, fully-connected feed-forward deep random neural networks converge to a Gaussian mixture distribution as only the width of the last hidden layer goes to infinity. We conducted experiments for a simple model which supports our result. Moreover, it gives a detailed description of the convergence, namely, the growth of the last hidden layer gets the distribution closer to the Gaussian mixture, and the other layer successively get the Gaussian mixture closer to the normal distribution.

stat.ML

Iwahori-Hecke algebra and unramified local L-functions

In this paper, we compute the Hecke action of a certain test function on the space of an unramified principal series of a connected reductive group over a non-archimedean local field by using the theory of Iwahori--Hecke algebra. As an application, we obtain a new expression of the local L-functions of unramified representations.

math.NT

$p$-Selmer group and Modular symbols

In this paper, we prove that the dimension of the $p$-Selmer group for an elliptic curve is controlled by certain analytic quantities associated with modular symbols, which is conjectured by Kurihara.

math.NT

Notes on the module of Euler systems

In this paper, we study the module of Euler systems. We determine the ideal of an Iwasawa algebra associated with Euler systems of rank $0$. We also show that the module of higher rank Euler systems for $\mathbb{G}_{m}$ over a totally real field is free of rank $1$ under the assumptions that Greenberg conjecture holds true and that the $μ$-invariant of a certain Iwasawa module vanishes.

math.NT

$\mathcal{L}$-invariants, $p$-adic heights and factorization of $p$-adic $L$-functions

We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ring-valued $\mathcal{L}$-invariant. In the second thread, we use our results to study the exceptional zeros of the non-genuine Rankin--Selberg $p$-adic $L$-functions attached to the self-products of nearly ordinary CM families, via the factorization statements we establish. The factorization theorems are extensions of the results due to Greenberg and Palvannan.

math.NT

Image recognition via Vietoris-Rips complex

Extracting informative features from images has been of capital importance in computer vision. In this paper, we propose a way to extract such features from images by a method based on algebraic topology. To that end, we construct a weighted graph from an image, which extracts local information of an image. By considering this weighted graph as a pseudo-metric space, we construct a Vietoris-Rips complex with a parameter $\varepsilon$ by a well-known process of algebraic topology. We can extract information of complexity of the image and can detect a sub-image with a relatively high concentration of information from this Vietoris-Rips complex. The parameter $\varepsilon$ of the Vietoris-Rips complex produces robustness to noise. We empirically show that the extracted feature captures well images' characteristics.

cs.CV

Euler Systems for $\mathrm{GSp}_4 \times \mathrm{GL}_2$

For a non-endoscopic cohomological cuspidal automorphic representation of $\mathrm{GSp}_4 \times \mathrm{GL}_2$, assumed to be $p$-ordinary, we construct an Euler system for the Galois representation associated to it. Both the construction and the verification of tame norm relations are based on Novodvorsky's integral formula for the $L$-function of $\mathrm{GSp}_4 \times \mathrm{GL}_2$.

math.NT

A higher rank Euler system for the multiplicative group over a totally real field

In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.

math.NT

On the theory of higher rank Euler, Kolyvagin and Stark systems, IV: the multiplicative group

We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the existence of `trivial zeroes'.

math.NT

On the theory of higher rank Euler, Kolyvagin and Stark systems, III: applications

In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders and to a strategy for verifying (refinements of) the Tamagawa number conjecture of Bloch and Kato. We describe concrete applications relating to the multiplicative group over arbitrary number fields and to elliptic curves over abelian extensions of the rational numbers.

math.NT