Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userGenerating Ray Class Fields of Real Quadratic Fields via Complex Equiangular Lines
65
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For certain real quadratic fields $K$ with sufficiently small discriminant we produce explicit unit generators for specific ray class fields of $K$ using a numerical method that arose in the study of complete sets of equiangular lines in $mathbb{C}^d$ (known in quantum information as symmetric informationally complete measurements or SICs). The construction in low dimensions suggests a general recipe for producing unit generators in infinite towers of ray class fields above arbitrary real quadratic $K$, and we summarise this in a conjecture. There are indications [19,20] that the logarithms of these canonical units are related to the values of $L$-functions associated to the extensions, following the programme laid out in the Stark Conjectures.
rate research
Read More
We give an explicit construct of a harmonic weak Maass form $F_{Theta}$ that is a lift of $Theta^3$, where $Theta$ is the classical Jacobi theta function. Just as the Fourier coefficients of $Theta^3$ are related to class numbers of imaginary quadratic fields, the Fourier coefficients of the holomorphic part of $F_{Theta}$ are associated to class numbers of real quadratic fields.
In this paper, we explicitly construct harmonic Maass forms that map to the weight one theta series associated by Hecke to odd ray class group characters of real quadratic fields. From this construction, we give precise arithmetic information contained in the Fourier coefficients of the holomorphic part of the harmonic Maass form, establishing the main part of a conjecture of the second author.
Let $K$ be a quartic CM field, that is, a totally imaginary quadratic extension of a real quadratic number field. In a 1962 article titled On the classfields obtained by complex multiplication of abelian varieties, Shimura considered a particular family ${F_K(m) : m in mathbb{Z} >0 }$ of abelian extensions of $K$, and showed that the Hilbert class field $H_K$ of $K$ is contained in $F_K(m)$ for some positive integer m. We make this m explicit. We then give an algorithm that computes a set of defining polynomials for the Hilbert class field using the field $F_K(m)$. Our proof-of-concept implementation of this algorithm computes a set of defining polynomials much faster than current implementations of the generic Kummer algorithm for certain examples of quartic CM fields.
We investigate equiangular lines in finite orthogonal geometries, focusing specifically on equiangular tight frames (ETFs). In parallel with the known correspondence between real ETFs and strongly regular graphs (SRGs) that satisfy certain parameter constraints, we prove that ETFs in finite orthogonal geometries are closely aligned with a modular generalization of SRGs. The constraints in our finite field setting are weaker, and all but~18 known SRG parameters on $v leq 1300$ vertices satisfy at least one of them. Applying our results to triangular graphs, we deduce that Gerzons bound is attained in finite orthogonal geometries of infinitely many dimensions. We also demonstrate connections with real ETFs, and derive necessary conditions for ETFs in finite orthogonal geometries. As an application, we show that Gerzons bound cannot be attained in a finite orthogonal geometry of dimension~5.
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes (resp. unit groups of maximal orders). For each finite noncyclic group $G$, we give an explicit formula for the number of conjugacy classes of maximal orders whose unit groups modulo center are isomorphic to $G$, and write down a representative for each conjugacy class. This leads to a complete recipe (even explicit formulas in special cases) for the refined class number formula for all finite groups. As an application, we prove the existence of superspecial abelian surfaces whose endomorphism algebras coincide with $mathbb{Q}(sqrt{p})$ in all positive characteristic $p otequiv 1pmod{24}$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
