BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Chia-Fu Yu contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The well-known fundamental identity in number theory expresses the degree of an extension of global fields in terms of local information. In this article we show a generalized fundamental identity for arbitrary Dedekind domains. As an application, we show that any Japanese Dedekind domain is already excellent.
Let $D$ be a quaternion algebra over a number field $F$, and $\mathscr{G}$ be an arbitrary genus of $O_F$-orders of full rank in $D$. Let $K$ be a quadratic field extension of $F$ that embeds into $D$, and $B$ be an $O_F$-order in $K$ that can be optimally embedded into some member of $\mathscr{G}$. We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus $\mathscr{G}$, which generalizes previous existing optimal selectivity criterions for Eichler orders as given by Arenas, Arenas-Carmona and Contreras, and by Voight independently. This allows us to obtain a refinement of the classical trace formula for optimal embeddings, which will be called the spinor trace formula. When $\mathscr{G}$ is a genus of Eichler orders, we extend Maclachlan's relative conductor formula for optimal selectivity from Eichler orders of square-free levels to all Eichler orders.
In the paper [On superspecial abelian surfaces over finite fields II. J. Math. Soc. Japan, 72(1):303--331, 2020], Tse-Chung Yang and the first two current authors computed explicitly the number $\lvert \mathrm{SSp}_2(\mathbb{F}_q)\rvert$ of isomorphism classes of superspecial abelian surfaces over an arbitrary finite field $\mathbb{F}_q$ of even degree over the prime field $\mathbb{F}_p$. There it was assumed that certain commutative $\mathbb{Z}_p$-orders satisfy an étale condition that excludes the primes $p=2, 3, 5$. We treat these remaining primes in the present paper, where the computations are more involved because of the ramifications. This completes the calculation of $\lvert \mathrm{SSp}_2(\mathbb{F}_q)\rvert$ in the even degree case. The odd degree case was previous treated by Tse-Chung Yang and the first two current authors in [On superspecial abelian surfaces over finite fields. Doc. Math., 21:1607--1643, 2016]. Along the proof of our main theorem, we give the classification of lattices over local quaternion Bass orders, which is a new input to our previous works.
We give a formula for the class number of an arbitrary CM algebraic torus over $\mathbb{Q}$. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result.
In this paper we make an initial study on type D moduli spaces in positive characteristic $p\neq 2$, where we allow $p$ ramified in the definite quaternion algebra. We classify the isogeny classes of $p$-divisible groups with additional structures in question. We also study the reduction of the type $D$ moduli spaces of minimal rank.
In this article we give an adelic proof of the Chevalley-Gras formula for global fields, which itself is a generalization of the ambiguous class number formula. The idea is to reduce the formula to the Hasse norm theorem, the local and global reciprocity laws. We also give an adelic proof of the Chevalley-Gras formula for $0$-th divisor class group in the function field case, which extends a result of Rosen.