BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Takuya Yamauchi

Takuya Yamauchi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2025arXiv

Regulators on some abelian coverings of $\mathbb{P}^1$ minus $n+2$ points

In this paper, we construct certain rational or integral elements in the motivic cohomology of superelliptic curves which are quotient curves of abelian coverings of $\mathbb{P}^1$ minus $n+2$ points, and prove that these elements are non-trivial by expressing their regulators in terms of Appell-Lauricella hypergeometric functions. We also check that such elements are integral under a mild assumption. We also give various numerical examples for the Beilinson conjecture on special values of $L$-functions of the superelliptic curves by using hypergeometric expressions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Equidistribution theorems for holomorphic Siegel cusp forms of general degree: the level aspect

We prove equidistribution theorems for a family of holomorphic Siegel cusp forms of general degree in the level aspect. Our main contribution is to estimate unipotent contributions for general degree in the geometric side of Arthur's invariant trace formula in terms of Shintani zeta functions. Several applications including the vertical Sato-Tate theorem and low-lying zeros for standard $L$-functions of holomorphic Siegel cusp forms are discussed. We also show that the "non-genuine forms" which come from non-trivial endoscopic contributions by Langlands functoriality classified by Arthur are negligible.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Isogeny graphs on superspecial abelian varieties: Eigenvalues and Connection to Bruhat-Tits buildings

We study for each fixed integer $g \ge 2$, for all primes $\ell$ and $p$ with $\ell \neq p$, finite regular directed graphs associated with the set of equivalence classes of $\ell$-marked principally polarized superspecial abelian varieties of dimension $g$ in characteristic $p$, and show that the adjacency matrices have real eigenvalues with spectral gaps independent of $p$. This implies a rapid mixing property of natural random walks on the family of isogeny graphs beyond the elliptic curve case and suggests a potential construction of the Charles-Goren-Lauter type cryptographic hash functions for abelian varieties. We give explicit lower bounds for the gaps in terms of the Kazhdan constant for the symplectic group when $g \ge 2$, and discuss optimal values in view of the theory of automorphic representations when $g=2$. As a by-product, we also show that the finite regular directed graphs constructed by Jordan-Zaytman also has the same property.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Period of the Ikeda type lift for $E_{7,3}$

In our previous work, he second and the third named authors constructed the Ikeda type lift for the exceptional group $E_{7,3}$ from an elliptic modular cusp form. In this paper, we prove an explicit formula for the period or the Petersson norm of the Ikeda type lift in terms of the product of the special values of the symmetric square $L$-function of the elliptic modular form. There are similar works done by the first author with his collaborator, but new technical inputs are required and developed to overcome some difficulties coming from the hugeness of $E_{7,3}$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Serre weights for $GSp_4$ over totally real fields

We prove the existence of a potentially diagonalizable lift of a given automorphic mod $p$ Galois representation $\overlineρ:{\rm Gal}(\overline{F}/F)\longrightarrow {\rm GSp}_4(\overline{\mathbb{F}}_p)$ for any totally real field $F$ and any rational prime $p>2$ under the adequacy condition by using automorphic lifting techniques developed by Barnet-Lamb, Gee, Geraghty, and Taylor. As an application, when $p$ is split completely in $F$, we prove a variant of Serre's weight conjecture for $\overlineρ$. The formulation of our Serre conjecture is done by following Toby Gee's philosophy. Applying these results to the case when $F=\mathbb{Q}$ with a detailed study of potentially diagonalizable, crystalline lifts with some prescribed properties, we also define classical (naive) Serre's weights. This weight would be the minimal weight among possible classical weights in some sense which occur in candidates of holomorphic Siegel Hecke eigen cusp forms of degree 2 with levels prime to $p$. The main task is to construct a potentially ordinary automorphic lift for $\overlineρ$ by assuming only the adequacy condition. The main theorems in this paper also extend many results obtained by Barnet-Lamb, Gee and Geraghty for potentially ordinary lifts and Gee and Geraghty for companion forms.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A reformulation of the Siegel series and intersection numbers

In this paper, we will explain a conceptual reformulation and inductive formula of the Siegel series. Using this, we will explain that both sides of the local intersection multiplicities of [GK93] and the Siegel series have the same inherent structures, beyond matching values. As an application, we will prove a new identity between the intersection number of two modular correspondences over Fp and the sum of the Fourier coefficients of the Siegel-Eisenstein series for Sp_4 of weight 2, which is independent of p (> 2). In addition, we will explain a description of the local intersection multiplicities of the special cycles over F_p on the supersingular locus of the `special fiber&#39; of the Shimura varieties for GSpin(n; 2), n<=3 in terms of the Siegel series directly.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An explicit formula for the extended Gross-Keating datum of a quadratic form

In this paper, we give a formula for the extended Gross-Keating datum of a quadratic form defined over a finite extension of $\mathbb{Z}_p$ (for $p>2$) or a finite unramified extension of $\mathbb{Z}_2$. As an application, we describe an explicit formula for the Siegel series for $\mathbb{Z}_p$. We also present the details of algorithms implemented in a Mathematica package to compute the extended Gross-Keating datum and the Siegel series.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On some Siegel threefold related to the tangent cone of the Fermat quartic surface

Let $Z$ be the quotient of the Siegel modular threefold $\mathcal{A}^{\rm sa}(2,4,8)$ which has been studied by van Geemen and Nygaard. They gave an implication that some 6-tuple $F_Z$ of theta constants which is in turn known to be a Klingen type Eisenstein series of weight 3 should be related to a holomorphic differential $(2,0)$-form on $Z$. The variety $Z$ is birationally equivalent to the tangent cone of Fermat quartic surface in the title. In this paper we first compute the L-function of two smooth resolutions of $Z$. One of these, denoted by $W$, is a kind of Igusa compactification such that the boundary $\partial W$ is a strictly normal crossing divisor. The main part of the L-function is described by some elliptic newform $g$ of weight 3. Then we construct an automorphic representation $Π$ of ${\rm GSp}_2(\A)$ related to $g$ and an explicit vector $E_Z$ sits inside $Π$ which creates a vector valued (non-cuspidal) Siegel modular form of weight $(3,1)$ so that $F_Z$ coincides with $E_Z$ in $H^{2,0}(\partial W)$ under the Poincaré residue map and various identifications of cohomologies.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the class numbers of the fields of the p^n-torsion points of certain elliptic curves over Q

Let E be an elliptic curve over Q with prime conductor p. For each non-negative integer n we put K_n:=Q(E[p^n]). The aim of this paper is to estimate the order of the p-Sylow group of the ideal class group of K_n. We give a lower bounds in terms of the Mordell-Weil rank of $E(\Q)$. As an application of our result, we give an example such that p^{2n} divides the class number of the field $K_n$ in the case of $p=5077$ for each positive integer n.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Endoscopic lifts to the Siegel modular threefold related to Klein&#39;s cubic threefold

Let $A^{lev}_{11}$ be the moduli space of (1,11)-polarized abelian surfaces with level structure of canonical type. Let $χ$ be a finite character of order 5 with conductor 11. In this paper we construct five endoscopic lifts $Π_i,0\le i\le 4$ from two elliptic modular forms $f\otimesχ^i$ of weight 2 and $g\otimesχ^i$ of weight 4 with complex multiplication by $Q(\sqrt{-11})$ such that ${Π_i}_\infty$ gives a non-holomorphic differential form on $A^{lev}_{11}$ for each $i$. Then the spinor L-function is of form $L(f\otimesχ^i,s-1)L(g\otimesχ^i,s)$ such that $L(g\otimesχ^i,s)$ does not appear in the L-function of $A^{lev}_{11}$ for any $i$. The existence of such lifts is motivated by the computation of the L-function of Klein&#39;s cubic hypersurface which is a birational smooth model of $A^{lev}_{11}$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Local newforms and formal exterior square L-functions

Let F be a non-archimedean local field of characteristic zero. Jacquet and Shalika attached a family of zeta integrals to unitary irreducible generic representations $π$ of GL_n(F). In this paper, we show that Jacquet-Shalika integral attains a certain L-function, so called the formal exterior square L-function, when the Whittaker function is associated to a newform for $π$. By consideration on the Galois side, formal exterior square L-functions are equal to exterior square L-functions for some principal series representations.

0 citations0 reviewsNo code linkedOpen access