Related papers: Certain CM class fields with smaller generators

We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and…

We present a variation of the modular algorithm for computing the Hermite normal form of an $\mathcal O_K$-module presented by Cohen, where $\mathcal O_K$ is the ring of integers of a number field $K$. An approach presented in (Cohen 1996)…

We give an explicit necessary condition for pairs of orders in a quartic CM-field to have the same polarised class group. This generalises a simpler result for imaginary quadratic fields. We give an application of our results to computing…

Special values of Siegel modular functions for $\operatorname{Sp} (\mathbb{Z})$ generate class fields of CM fields. They also yield abelian varieties with a known endomorphism ring. Smaller alternative values of modular functions that lie…

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 determine the Galois group of the 2-class field tower for two particular families of imaginary quadratic number fields $k$ with $2$-class field tower of length $2$.

We consider the problem of characterizing all number fields $K$ such that all algebraic integers $\alpha\in K$ can be written as the sum of distinct units of $K$. We extend a method due to Thuswaldner and Ziegler that previously did not…

The goal of this paper is to re-express QFT in terms of two "classical" fields living in ordinary space with single extra dimension. The role of the first classical field is to set up an injection from the set of values of extra dimension…

Let $f$ be a positive definite integral quadratic form in $d$ variables. In the present paper, we establish a direct link between the genus representation number of $f$ and the order of higher even $K$-groups of the ring of integers of real…

Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that…

We introduce the class of quantum symmetric pairs with simple generators. It is proved that the radial part of every element of a quantum symmetric pair with simple generators restricted to the set of regular points of this element can be…

Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive…

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…

We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the…

We show that the central value of class group L-functions of CM fields can be expressed in terms of derivatives of real-analytic Hilbert Eisenstein series at CM points. Then, following an idea of Iwaniec and Kowalski we obtain a conditional…

We show that the Siegel-Ramachandra invariants could be primitive generators of the ray class fields of imaginary quadratic fields. By using Shimura's reciprocity law we give a modern explanation of the solution of class number one problem…

For a compact subset $K$ of the complex plane $\mathbb C,$ let $C(K)$ denote the algebra of continuous functions on $K$. For an open subset $U \subset K,$ let $A(K,U) \subset C(K)$ be the algebra of functions that are analytic in $U.$ We…

This article will prove a theorem for the existence of k-factor for k>1 ,and present an efficient algorithm for computing k-factor for all values of k based on this theorem.

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…

We determine the structure of category $\cO$ for the rational Cherednik algebra of $G(m,1,n)$ in the case where the $\KZ$ functor satisfies a condition called \emph{separating simples}. As a consequence, we show that the property of having…