arXiv subjects
Publications and source records attributed to Chia-Fu Yu.
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.
Using the theory of polarised flag type quotients, we determine mass formulae for all principally polarised supersingular abelian threefolds defined over an algebraically closed field $k$ of characteristic $p$. We combine these results with computations of the automorphism groups to study Oort's conjecture; we prove that every generic three-dimensional principally polarised supersingular abelian variety over $k$ of characteristic $\neq 2$ has automorphism group $\{ \pm 1 \}$.
We show that the systems of prime-to-$p$ Hecke eigenvalues arising from automorphic forms$\pmod p$ for a good prime $p$ associated to an algebraic group $G/\mathbb Q$ of Hodge type are the same as those arising from algebraic modular forms$\pmod p$ associated to an inner form of $G$.
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.
In this paper we study the geometry of reduction modulo $p$ of the Kisin-Pappas integral models for certain Shimura varieties of abelian type with parahoric level structure. We give some direct and geometric constructions for the EKOR strata on these Shimura varieties, using the theories of $G$-zips and mixed characteristic local $\mathcal{G}$-Shtukas. We establish several basic properties of these strata, including the smoothness, dimension formula, and closure relation. Moreover, we apply our results to the study of Newton strata and central leaves on these Shimura varieties.
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 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.
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.
This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation.
A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper we generalize Chow's theorem to semi-abelian varieties. This contributes to different proofs of a well-known result that every algebraic torus splits over a finite separable field extension. We also obtain the best bound for the degrees of splitting fields of tori.
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes (resp. unit groups of maximal orders). For each finite noncyclic group $G$, we give an explicit formula for the number of conjugacy classes of maximal orders whose unit groups modulo center are isomorphic to $G$, and write down a representative for each conjugacy class. This leads to a complete recipe (even explicit formulas in special cases) for the refined class number formula for all finite groups. As an application, we prove the existence of superspecial abelian surfaces whose endomorphism algebras coincide with $\mathbb{Q}(\sqrt{p})$ in all positive characteristic $p\not\equiv 1\pmod{24}$.
Extending the results of [Asian J. Math. 2019], in [Doc. Math. \textbf{21}, 2016] we calculated explicitly the number of isomorphism classes of superspecial abelian surfaces over an arbitrary finite field of \textit{odd} degree over the prime field $\mathbb{F}_p$. A key step was to reduce the calculation to the prime field case, and we calculated the number of isomorphism classes in each isogeny class through a concrete lattice description. In the present paper we treat the \textit{even} degree case by a different method. We first translate the problem by Galois cohomology into a seemingly unrelated problem of computing conjugacy classes of elements of finite order in arithmetic subgroups, which is of independent interest. We then explain how tocalculate the number of these classes for the arithmetic subgroups concerned, and complete the computation in the case of rank two. This complements our earlier results and completes the explicit calculation of superspecial abelian surfaces over finite fields.
In this paper we determine the number of endomorphism rings of superspecial abelian surfaces over a field $\mathbb{F}_q$ of odd degree over $\mathbb{F}_p$ in the isogeny class corresponding to the Weil $q$-number $\pm\sqrt{q}$. This extends earlier works of T.-C. Yang and the present authors on the isomorphism classes of these abelian surfaces, and also generalizes the classical formula of Deuring for the number of endomorphism rings of supersingular elliptic curves. Our method is to explore the relationship between the type and class numbers of the quaternion orders concerned. We study the Picard group action of the center of an arbitrary $\mathbb{Z}$-order in a totally definite quaternion algebra on the ideal class set of said order, and derive an orbit number formula for this action. This allows us to prove an integrality assertion of Vignéras [Enseign. Math. (2), 1975] as follows. Let $F$ be a totally real field of even degree over $\mathbb{Q}$, and $D$ be the (unique up to isomorphism) totally definite quaternion $F$-algebra unramified at all finite places of $F$. Then the quotient $h(D)/h(F)$ of the class numbers is an integer.
In this note we show that any supersingular abelian variety is isogenous to a superspecial abelian variety without increasing field extensions. The proof uses minimal isogenies and the Galois descent. We then construct a superspecial abelian variety which not directly defined over a finite field. This answers negatively to a question of the author [J. Pure Appl. Alg., 2013] concerning of endomorphism algebras occurring in Shimura curves. Endomorphism algebras of supersingular elliptic curves over an arbitrary field are also investigated. We correct a main result of the author's paper [Math. Res. Let., 2010].
We develop a method for describing the Galois action on the superspecial locus of the Siegel moduli space in characteristic $p$. Using this description, we give a modern treatment for the results of Ibukiyama and Katsura [Compos. Math., 1994] concerning the $\mathbb{F}_p$-rational points and the trace of a Hecke operator of Atkin-Lehner type. This also leads to analogues with level-$N$ structure. The trace of the Hecke operator can be reduced into one term (instead of finitely many terms a priori) by the simple trace formula when $N$ is large.
Recently Ibukiyama proves an explicit formula for the number of certain non-principal polarizations on a superspecial abelian surface, extending his earlier work with Katsura for principal polarizations [Compos. Math. 1994]. As a consequence of Ibukiyama's formula, there exists a geometrically irreducible component of the Siegel supersingular locus which is defined over the prime finite field. In this note we give a direct proof of this result.
In this note we remark that Chevalley's ambiguous class number formula is an immediate consequence of the Hasse norm theorem, the local and global norm index theorems for cyclic extensions.
Let $A$ be a real quadratic order of discriminant $p$ or $4p$ with a prime $p$. In this paper we classify all proper totally imaginary quadratic $A$-orders $B$ with index $w(B)=[B^\times: A^\times]>1$. We also calculate numerical invariants of these orders including the class number, the index $w(B)$ and the numbers of local optimal embeddings of these orders into quaternion orders. These numerical invariants are useful for computing the class numbers of totally definite quaternion algebras.