We study the distribution of Hasse's unit index $Q(L)$ for the CM-fields $L = \mathbb{Q}(\sqrt{d}, \sqrt{-1})$ as $d$ varies among positive squarefree integers. We prove that the number of $d\leq X$ such that $Q(L) = 2$ is proportional to $X/\sqrt{\log X}$.
Let $X$ be a smooth projective variety with a fibration into varieties that either satisfy a condition on representability of zero-cycles or that are torsors under an abelian variety. We study the classes in the Brauer group that never obstruct the Hasse principle for $X$. We prove that if the generic fiber has a zero-cycle of degree $d$ over the generic point, then the Brauer classes whose orders are prime to $d$ do not play a role in the Brauer--Manin obstruction. As a result we show that the odd torsion Brauer classes never obstruct the Hasse principle for del Pezzo surfaces of degree 2, ce…
Motivated by the work of Candelas, de la Ossa and Rodriguez-Villegas [6], we study the relations between Hasse-Witt matrices and period integrals of Calabi-Yau hypersurfaces in both toric varieties and partial flag varieties. We prove a conjecture by Vlasenko [23] on higher Hasse-Witt matrices for toric hypersurfaces following Katz's method of local expansion [14, 15]. The higher Hasse-Witt matrices also have close relation with period integrals. The proof gives a way to pass from Katz's congruence relations in terms of expansion coefficients [15] to Dwork's congruence relations [8] about peri…
Following Hasse's example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields by carefully examining the analytic class number formula. In this paper we will show how to generalize these results to CM-fields by using class field theory. Although we will only need some special cases, we have also decided to include a few results on Hasse's unit index for CM-fields as well, because it seems that our proofs are more direct than those given by Hasse.
We generalize the Hasse invariant of local class field theory to the tame Brauer group of a higher dimensional local field, and use it to study the arithmetic of central simple algebras over such fields, which are given {\it a priori} as tensor products of standard cyclic algebras. We also compute the tame Brauer dimension (or {\it period-index bound}) and the cyclic length of a general henselian-valued field of finite rank and finite residue field.
We identify the $p$-adic unit roots of the zeta function of a projective hypersurface over a finite field of characteristic $p$ as the eigenvalues of a product of special values of a certain matrix of $p$-adic series. That matrix is a product $F(Λ^p)^{-1}F(Λ)$, where the entries in the matrix $F(Λ)$ are $A$-hypergeometric series with integral coefficients and $F(Λ)$ is independent of $p$.
In a recent paper, Colliot-Thélène, Parimala and Suresh conjectured that a local-global principle holds for projective homogeneous spaces of connected linear algebraic groups over function fields of p-adic curves. In this paper, we show that the conjecture is true for a linear algebraic group whose almost simple factors of its semisimple part are isogenous to unitary groups or special unitary groups of hermitian or skew-hermitian spaces over central simple algebras with involutions. The proof implements patching techniques of Harbater, Hartmann and Krashen. As an application, we obtain a Sprin…
Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Thélène, Parimala and Suresh predicts that if for every discrete valuation $v$ of $K$, $X$ has a point over the completion $K_v$, then $X$ has a $K$-rational point. The main result of this paper is the proof of this conjecture for groups of some classical types. In particular, we prove the conjecture when $G$ is of one of the following types: (1) ${}^2A_n^*$, i.e. $G=\mathbf{SU}(h)$ is the special unitary group of some hermitian form $h$ ove…
We discuss the geometry and arithmetic of higher-dimensional analogues of Châtelet surfaces; namely, we describe the structure of their Brauer and Picard groups and show that they can violate the Hasse principle. In addition, we use these varieties to give straightforward generalizations of two recent results of Poonen. Specifically, we prove that, assuming Schinzel's hypothesis, the non-m^{th} powers of a number field are diophantine. Also, given a global field k such that Char(k) = p or k contains the p^{th} roots of unity, we construct a (p+1)-fold that has no k-points and no étale-Brauer o…
We examine when units in a field are the norms of elements in an extension field, given certain conditions. We apply these results to the study of the $\ell$-class groups in lifts of the anti-cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(i)$.
Recently, the explicit evaluation of Gauss sums in the index 2 and 4 cases have been given in several papers (see [2,3,7,8]). In the course of evaluation, the sigh (or unit root) ambiguities are unavoidably occurred. This paper presents another method, different from [7] and [8], to determine the sigh (unit root) ambiguities of Gauss sums in the index 2 case, as well as the ones with odd order in the non-cyclic index 4 case. And we note that the method in this paper are more succinct and effective than [8] and [7].
Let $K/k$ be an abelian extension of number fields with a distinguished place of $k$ that splits totally in $K$. In that situation, the abelian rank one Stark conjecture predicts the existence of a unit in $K$, called the Stark unit, constructed from the values of the $L$-functions attached to the extension. In this paper, assuming the Stark unit exists, we prove index formulae for it. In a second part, we study the solutions of the index formulae and prove that they admit solutions unconditionally for quadratic, quartic and sextic (with some additional conditions) cyclic extensions. As a resu…
In this paper, we obtain a formula for the special value of Euler-Dirichlet $L$-function $L_E(s,χ)$ at $s=1$. This leads to another class number formula of $\mathbb{Q}(μ_{m})^{+}$, the maximal real subfield of $m$th cyclotomic field. From this formula, we construct a new type of cyclotomic units in $\mathbb{Q}(μ_{p^{n}})$, which implies a similar Kummer's relation between the ideal class number of $\mathbb{Q}(μ_{p^{n}})^{+}$ and the unit index.
Let $E\in\{-1, \pm 2\}$. We improve on the upper and lower densities of primes $p$ such that the equation $x^2-2py^2=E$ is solvable for $x, y\in \mathbb{Z}$. We prove that the natural density of primes $p$ such that the narrow class group of the real quadratic number field $\mathbb{Q}(\sqrt{2p})$ has an element of order $16$ is equal to $\frac{1}{64}$. We give an application of our results to the distribution of Hasse's unit index for the CM-fields $\mathbb{Q}(\sqrt{2p}, \sqrt{-1})$. Our results are consequences of a twisted joint distribution result for the $16$-ranks of class groups of $\mat…
Let $G$ be a finite group and let $N/E$ be a tamely ramified $G$-Galois extension of number fields. We show how Stickelberger's factorization of Gauss sums can be used to determine the stable isomorphism class of various arithmetic $\mathbb{Z}[G]$-modules attached to $N/E$. If $\mathcal{O}_N$ and $\mathcal{O}_E$ denote the rings of integers of $N$ and $E$ respectively, we get in particular that $\mathcal{O}_N\otimes_{\mathcal{O}_E}\mathcal{O}_N$ defines the trivial class in the class group $\mathrm{Cl}(\mathbb{Z}[G])$ and, if $N/E$ is also assumed to be locally abelian, that the square root of…
We construct a family of quartic polynomials with cyclic Galois group and show that the roots of the polynomials are fundamental units or generate a subgroup of index 5.
We present a hardware-accelerated computation of Hasse-Weil invariants of all hyperelliptic curves of given genus over a fixed finite field. Our main motivation is the determination of traces of Frobenius on cohomology corresponding moduli stacks à la Bergström-Faber-van-der-Geer. This paper also constitutes a case study of the performance of lookup table based Zech arithmetic on Graphics Processing Units (GPUs). GPUs are by now ubiquitous in numerics, to an extend that their development itself is propelled by scientific computing. Algebraic computing has profited very little from the advancem…
We prove very general index formulae for integral Galois modules, specifically for units in rings of integers of number fields, for higher K-groups of rings of integers, and for Mordell-Weil groups of elliptic curves over number fields. These formulae link the respective Galois module structure to other arithmetic invariants, such as class numbers, or Tamagawa numbers and Tate-Shafarevich groups. This is a generalisation of known results on units to other Galois modules and to many more Galois groups, and at the same time a unification of the approaches hitherto developed in the case of units.