Related papers: Form class groups and class fields of CM-fields

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…

Let $F$ be an arbitrary field and let $f:V\times V\to F$ be a non-degenerate symmetric or alternating bilinear form defined on an $F$-vector space of finite dimension $m\geq 2$. Let $L(f)$ be the subalgebra of $gl(V)$ formed by all…

In this paper, we revisit the theory of perfect unary forms over real quadratic fields. Specifically, we deduce an infinite family of real quadratic fields $\mathbb{Q}(\sqrt{d})$ when $d=2$ or $3$ mod $4$, such that there are three classes…

Building on Bosca's method, we extend to tame ray class groups the results on capitulation of ideals of a number field by composition with abelian extensions of a subfield first studied by Gras. More precisely, for every extension of number…

We give explicit structure of the graded ring of modular forms with respect to Gamma(N) (N=1,2,3,4,5,6,7,8,9,10,12,16,18) and for some other congruence groups. We also study the modular forms of half-integer weight for certain groups.

In this note we will study the Hilbert 12th problem for a primitive CM field, and the corresponding Stark conjectures. Using the idea of Mirror Symmetry, we will show how to generate all the class fields of a given primitive CM field, thus…

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$, $N$ a perfect $A$-module and let $I$ be an ideal in $A$ with $\ell(N/IN)$ finite. We show that there is a integer $r_I \geq -1$ (depending only on $I$ and $N$)…

We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field…

Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock…

In this paper we construct a modular form f of weight one attached to an imaginary quadratic field K. This form, which is non-holomorphic and not a cusp form, has several curious properties. Its negative Fourier coefficients are non-zero…

We deduce a formula enumerating the isomorphism classes of extensions of a $\kp$-adic field $K$ with given ramification $e$ and inertia $f$. The formula follows from a simple group-theoretic lemma, plus the Krasner formula and an elementary…

In 1975, Goldfeld gave an effective solution to Gauss's conjecture on the class numbers of imaginary quadratic fields. In this paper, we generalize Goldfeld's theorem to the setting of totally real number fields.

For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups.

Deep work by Shintani in the 1970's describes Hecke $L$-functions associated to narrow ray class group characters of totally real fields $F$ in terms of what are now known as Shintani zeta functions. However, for $[F:\mathbb{Q}] = n \geq…

We construct the space of vector fields on quantum groups . Its elements are products of the known left invariant vector fields with the elements of the quantum group itself. We also study the duality between vector fields and 1-forms. The…

Suppose $f(x,y)$ is a binary form of degree $d$ with coefficients in a field $K \subseteq \mathbb C$. The $K$-rank of $f$ is the smallest number of $d$-th powers of linear forms over $K$ of which $f$ is a $K$-linear combination. We prove…

The determination of the class number of totally real fields of large discriminant is known to be a difficult problem. The Minkowski bound is too large to be useful, and the root discriminant of the field can be too large to be treated by…

A number field is said to be a CM-number field if it is a totally imaginary quadratic extension of a totally real number field. We define a totally imaginary number field to be of CM-type if it contains a CM-subfield, and of TR-type if it…

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite…