One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these purposes, we provide a new theory which can be applied to cubic and quartic function fields and to even higher dimensional function fields. One of the striking advantages of this theory to other existing methods is that is does not use the concept of p-adic completions and we can dispense of Cardano's formulae. Another key result comprises the construction of cubic function fields of unit rank 1 and 2, with an obvious fundamental system. One of the main ingredients for such constructions is the definition of the maximum value. This definition is new and very prolific in the context of finding fundamental systems. We conclude the thesis with miscellaneous results on the divisor class number h, including a new approach for finding divisors of h.
In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to give precise asymptotic formulae for the number of integers in an interval representable by a binary cubic or quartic form and extends work of Hooley. Further, we give the field of definition of lines contained in certain cubic and quartic surfaces related to binary cubic and quartic forms.
We establish the non-singular Hasse Principle for pairs of diagonal quartic equations in 22 or more variables. Our methods involve the estimation of a certain entangled two-dimensional 21st moment of quartic smooth Weyl sums via a novel cubic moment of Fourier coefficients.
Shifted moments of cubic and quartic Dirichlet $L$-functions
School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）；School of Mathematics and Statistics, University of New South Wales（新南威尔士大学数学与统计学院）
We evaluate the average of cubic and quartic Dirichlet character sums with the modulus going up to a size comparable to the length of the individual sums. This generalizes a result of Conrey, Farmer and Soundararajan on quadratic Dirichlet character sums.
We study the $2k$-th moment of central values of the family of primitive cubic and quartic Dirichlet $L$-functions. We establish sharp lower bounds for all real $k \geq 1/2$ unconditionally for the cubic case and under the Lindelöf hypothesis for the quartic case. We also establish sharp lower bounds for all real $0 \leq k<1/2$ and sharp upper bounds for all real $k \geq 0$ for both the cubic and quartic cases under the generalized Riemann hypothesis (GRH). As an application of our results, we establish quantitative non-vanishing results for the corresponding $L$-values.
In this paper, we consider maximal and irreducible quartic orders which arise from integral binary quartic forms, via the construction of Birch and Merriman, and whose field of fractions is a quartic $D_4$-field. By a theorem of M. Wood, such quartic orders may be regarded as quartic $D_4$-fields whose ring of integers has a monogenic cubic resolvent. We shall give the asymptotic number of such objects when ordered by conductor, as well as estimate the asymptotic number of such objects when ordered by discriminant.
We are interested in solving the congruences $f^3+g^3+1\equiv 0\pmod{fg}$ and $f^4-4g^2+4\equiv 0\pmod{fg}$ in polynomials $f, g$ with rational coefficients. Moreover, we present results of computations of all integer points on certain one parametric curves of genus 1 and 3, related to cubic and quartic fields, respectively.
Large values of cubic and quartic Dirichlet $L$-functions of prime moduli
School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）；School of Mathematics and Statistics, University of New South Wales（新南威尔士大学数学与统计学院）
We show that there are $O_\varepsilon(H^{1.5+\varepsilon})$ monic, cubic polynomials with integer coefficients bounded by $H$ in absolute value whose Galois group is $A_3$. We also show that the order of magnitude for $D_4$ quartics is $H^2 (\log H)^2$, and that the respective counts for $A_4$, $V_4$, $C_4$ are $O(H^{2.91})$, $O(H^2 \log H)$, $O(H^2 \log H)$. Our work establishes that irreducible non-$S_3$ cubic polynomials are less numerous than reducible ones, and similarly in the quartic setting: these are the first two solved cases of a 1936 conjecture made by van der Waerden.
We construct a collection of matrices defined by quadratic residue symbols, termed "quadratic residue matrices", associated to the splitting behavior of prime ideals in a composite of quadratic extensions of $\mathbb{Q}$, and prove a simple criterion characterizing such matrices. We also study the analogous classes of matrices constructed from the cubic and quartic residue symbols for a set of prime ideals of $\mathbb{Q}(\sqrt{-3})$ and $\mathbb{Q}(i)$, respectively.
Given a smooth plane quartic curve C over a field k of characteristic 0, with Jacobian variety J, and a marked rational point P of C(k), we construct a reductive group G and a G-variety X, together with an injection J(k)/2J(k) -> G(k)\X(k). We do this using the Mumford theta group of J, and a construction of Lurie which passes from Heisenberg groups to Lie algebras.
Investigations of monogenity and power integral bases were recently extended from the absolute case (over Q) to the relative case (over algebraic number fields). Formerly, in the relative case we only succeeded to calculate generators of power integral bases when the ground field is an imaginary quadratic field. This is the first case when we consider monogenity in the more difficult case, in extensions of real quadratic fields. We give efficient algorithms for calculating generators of power integral bases in cubic and quartic extensions of real quadratic fields, more exactly in composites of…
For $n=3$, 4, and 5, we prove that, when $S_n$-number fields of degree $n$ are ordered by their absolute discriminants, the lattice shapes of the rings of integers in these fields become equidistributed in the space of lattices.
We show that a quartic $p$-adic form with at least $3192$ variables possesses a non-trivial zero. We also prove new results on systems of cubic, quadratic and linear forms. As an example, we show that for a system comprising two cubic forms $132$ variables are sufficient.
For a given group $G$ and an elliptic curve $E$ defined over a number field $K$, I discuss the problem of finding $G$-extensions of $K$ over which $E$ gains rank. I prove the following theorem, extending a result of Fearnley, Kisilevsky, and Kuwata: Let $n = 3,4,$ or $6$. If $K$ contains its $n^{th}$-roots of unity then, for any elliptic curve $E$ over $K$, there are infinitely many $\mathbb{Z}/n\mathbb{Z}$-extensions of $K$ over which $E$ gains rank.
With $\Fq$ the finite field of $q$ elements, we investigate the following question. If $γ$ generates $\Fqn$ over $\Fq$ and $β$ is a non-zero element of $\Fqn$, is there always an $a \in \Fq$ such that $β(γ+ a)$ is a primitive element? We resolve this case when $n=3$, thereby proving a conjecture by Cohen. We also improve substantially on what is known when $n=4$.
Let $k$ be a cubic field. We give an explicit formula for the Dirichlet series $\sum_K|\Disc(K)|^{-s}$, where the sum is over isomorphism classes of all quartic fields whose cubic resolvent field is isomorphic to $k$. Our work is a sequel to an unpublished preprint of Cohen, Diaz y Diaz, and Olivier, and we include complete proofs of their results so as not to rely on unpublished work. This is a companion to a previous paper where we compute the Dirichlet series associated to cubic fields having a given quadratic resolvent.
We give a bijection between binary quartic forms and quartic rings with a monogenic cubic resolvent ring, relating the rings associated to binary quartic forms with Bhargava's cubic resolvent rings. This gives a parametrization of quartic rings with monogenic cubic resolvents. We also give a geometric interpretation of this parametrization.
Euler showed that there can be no more than three integer squares in arithmetic progression. In quadratic number fields, Xarles has shown that there can be arithmetic progressions of five squares, but not of six. Here, we prove that there are no cubic number fields which contain five squares in arithmetic progression.
We consider moduli spaces of plane quartics marked with various structures such as Cayley octads, Aronhold heptads, Steiner complexes and Göpel subsets and determine their cohomology. This answers a series of questions of Jesse Wolfson. We also explore some arithmetic applications over finite fields.
The families of simplest cubic, simplest quartic and simplest sextic fields and the related Thue equations are well known. The family of simplest cubic Thue equations was already studied in the relative case, over imaginary quadratic fields. In the present paper we give a similar extension of simplest quartic and simplest sextic Thue equations over imaginary quadratic fields. We explicitly give the solutions of these infinite parametric families of Thue equations over arbitrary imaginary quadratic fields.
We study the arithmetic of the twist of the Fermat quartic defined by $X^4 + Y^4 + Z^4 = 0$ which has no $\mathbb{Q}$-rational point. We calculate the Mordell--Weil group of the Jacobian variety explicilty. We show that the degree $0$ part of the Picard group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $2$, whereas the Mordell--Weil group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $3$. Thus the relative Brauer group is non-trivial. We also show that this quartic violates the local-global property for linear determinantal representations.
This paper focuses on greedy expansions, one possible representation of numbers, and on arithmetical operations with them. Performing addition or multiplication some additional digits can appear. We study bounds on the number of such digits assuming the finiteness of the expansion of the considered sum or product, especially for the case of cubic Pisot units.
A cubic (resp. biquadratic) theta series is a power series whose n-th coefficient is equal to 1 if n is a perfect cube (resp. fourth power) and zero otherwise. We improve on a result of Bradshaw by showing that such series is not a cubic (resp. biquadratic) algebraic number when evaluated at reciprocals of integers. The proof relies on a "nested gaps technique" for linear independence and on recent results by the author on Waring's problem for cubes and biquadrates.
We use recent advances in the local evaluation of Brauer elements to study the role played by {\it odd} torsion elements of the Brauer group in the arithmetic of diagonal quartic surfaces over {\it arbitrary} number fields. We show that over a local field if the order of the Brauer element is odd and coprime to the residue characteristic then the evaluation map it induces on the local points is constant. Over number fields we give a sufficient condition on the coefficients of the equation, which is mild and easy to check, so that the odd torsion does not obstruct weak approximation. We also no…
Let $b(n)$ denote the number of cubic partition pairs of $n$. We give affirmative answer to a conjecture of Lin, namely, we prove that $$b(49n+37)\equiv 0 \pmod{49}.$$ We also prove two congruences modulo $256$ satisfied by $\overline{b}(n)$, the number of overcubic partition pairs of $n$. Let $\overline{a}(n)$ denote the number of overcubic partition of $n$. For a fixed positive integer $k$, we further show that $\overline{b}(n)$ and $\overline{a}(n)$ are divisible by $2^k$ for almost all $n$. We use arithmetic properties of modular forms to prove our results.
In this paper we prove an explicit formula for the arithmetic intersection number (CM(K).G1)_{\ell} on the Siegel moduli space of abelian surfaces, generalizing the work of Bruinier-Yang and Yang. These intersection numbers allow one to compute the denominators of Igusa class polynomials, which has important applications to the construction of genus 2 curves for use in cryptography. Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for the intersection number (CM(K).G1)_{\ell} under str…
We prove an asymptotic formula for class numbers of totlally imaginary quartic number fields, ie for number fields of degree 4 over Q with only complex embeddings. After previous work for real quadratic fields (Sarnak) and complex cubic fields (Deitmar), this is the last remaining case of number fields with unit rank one.
Let $\mathbb{F}_q$ denote the finite field with $q$ elements. In this work, we use characters to give the number of rational points on suitable curves of low degree over $\mathbb{F}_q$ in terms of the number of rational points on elliptic curves. In the case where $q$ is a prime number, we give a way to calculate these numbers. As a consequence of these results, we characterize maximal and minimal curves given by equations of the forms $ax^3+by^3+cz^3=0$ and $ax^4+by^4+cz^4=0$.
Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, CM(K).T_m, where CM(K) is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field K, and T_m is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered by Yang's proof of the conjecture. We give numerical evidence to support the conjecture and point to some interesting anomalies. We compare the conjecture to both the denominators of Igusa class polyn…
We use the method of Shintani, as developed by Taniguchi and Thorne, to prove the joint cuspidal equidistribution of the shape of quartic fields paired with the shape of its cubic resolvent, when the fields are ordered by discriminant. Our estimate saves a small power in the corresponding Weyl sums.
We study the first moments of central values of Hecke $L$-functions associated with quadratic, cubic and quartic symbols to prime moduli. This also enables us to obtain results on first moments of central values of certain families of cubic and quartic Dirichlet $L$-functions of prime moduli.
Let $b(n)$ denote the number of cubic partition pairs of $n$. In this paper, we aim to provide a strategy to obtain arithmetic properties of $b(n)$. This gives affirmative answers to two of Lin's conjectures.
Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for CM(K).G_1 under strong assumptions on the ramification in K. Yang later proved this conjecture under slightly stronger assumptions on the ramification. In recent work, Lauter and Viray proved a different formula for CM(K).G_1 for primitive quartic CM fields with a mild assumption, using a method of proof independent from that of Yang. In this paper we show that these two formulas agree, for a class of primitive quartic CM fields whic…
We show that binary forms of degree n less than seven parameterize rings, generalizing a result of Levi on binary cubic forms parameterizing cubic rings, which can be related to results of Bhargava. The question of whether or not a binary form of degree n parameterizes a ring of rank $n$ depends on a symbolic calculation with matrices.
In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, `tritangents' or `double sixes'. We also compute the (rational) cohomology of certain associated bundles and covers over complex numbers.
Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym-variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian of a curve of genus 2 over its field of definition and how this can be used to do Chabauty- and Brauer-Manin type calculations for curves of genus 5 with an unramified involution. As an application, we determine the rational points on a smooth plane quartic with no particular geometric properties and give examples of curves of genus 3 and 5 violating the Hass…
In the present paper, we will show that three apparently disjoint objects: Galois representations arising from twenty-seven lines on a cubic surface (number theory and arithmetic algebraic geometry), Picard modular forms (automorphic forms), rigid Calabi-Yau threefolds and their arithmetic (Diophantine geometry) are intimately related to Hessian polyhedra and their invariants. We construct a Galois representation whose image is a proper subgroup of $W(E_6)$, the Weyl group of the exceptional Lie algebra $E_6$. We give a conjecture about the identification of two different kinds of $L$-function…
