Related papers: On some extension of Gauss' work and applications

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…

Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the…

Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve…

Let $N$ be a positive integer and $\Gamma$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $\Gamma_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some…

Gauss and Dedekind have shown a bijection between the set of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of primitive positive definite binary quadratic $\mathbb{Z}$-forms of the discriminant of $\mathbb{Q}(\sqrt{\Delta<0})$ and the…

Let $K$ be a number field, $\mathfrak{q}$ be an integral ideal, and $\mathrm{Cl}(\mathfrak{q})$ be the associated ray class group. Suppose $\mathrm{Cl}(\mathfrak{q})$ possesses a real exceptional character $\psi$, possibly principal, with a…

Let $K$ be a number field with the discriminant $D_K$ and the class number $h_{K}$, which has bounded degree over $\mathbb{Q}$. By assuming GRH, we prove that every ideal class of $K$ contains a prime ideal with norm less than…

We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of…

Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type…

Let $K$ be an imaginary quadratic field of discriminant less than or equal to -7 and $K_{(N)}$ be its ray class field modulo $N$ for an integer $N$ greater than 1. We prove that singular values of certain Siegel functions generate $K_{(N)}$…

Let $D<0$ be a fundamental discriminant and denote by $E(D)$ the exponent of the ideal class group $\text{Cl}(D)$ of $K={\mathbb Q}(\sqrt{D})$. Under the assumption that no Siegel zeros exist we compute all such $D$ with $E(D)$ is a divisor…

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

For a congruence subgroup $\Gamma$, we define the notion of $\Gamma$-equivalence on binary quadratic forms which is the same as proper equivalence if $\Gamma = \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $\Gamma$-equivalence such as…

In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida results that were proved around the same time, a number field $K$ is not completely characterized by its absolute abelian Galois group $A_K$. The first examples of…

We prove that, for every modulus $\mathfrak{q}$, every class of the narrow ray class group $H_{\mathfrak{q}}(\mathbf{K})$ of an arbitrary number field $\mathbf{K}$ contains a product of three unramified prime ideals $\mathfrak{p}$ of degree…

We introduce an algorithm that computes explicit class fields of an imaginary quadratic field $K$ for a given modulus $\mathfrak{f}\subset\mathcal{O}_K$ more efficiently than the use of their classical counterparts. Therein, we prove the…

We revisit Gauss composition over a general base scheme, with a focus on orthogonal groups. We show that the Clifford and norm functors provide a discriminant-preserving equivalence of categories between binary quadratic modules and…

Let $\mathcal{O}$ be an order of index $m$ in the maximal order of a quadratic number field $k=\mathbb{Q}(\sqrt{d})$. Let $\underline{\mathbf{O}}_{d,m}$ be the orthogonal $\mathbb{Z}$-group of the associated norm form $q_{d,m}$. We describe…

Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical…

Let $\frak g$ be the finite dimensional simple Lie algebra associated to an indecomposable and symmetrizable generalized Cartan matrix $C=(a_{ij})_{n\times n}$ of finite type and let $\frak d$ be a finite dimensional Lie algebra related to…