![]() Perucca, Antonella ![]() ![]() ![]() in International Journal of Number Theory (2021) Let K be a number field, and let \alpha_1, ... , \alpha_r be elements of K* which generate a subgroup of K* of rank r. Consider the cyclotomic-Kummer extensions of K given by K(\zeta_n, \sqrt[n_1]{\alpha ... [more ▼] Let K be a number field, and let \alpha_1, ... , \alpha_r be elements of K* which generate a subgroup of K* of rank r. Consider the cyclotomic-Kummer extensions of K given by K(\zeta_n, \sqrt[n_1]{\alpha_1}, ... , \sqrt[n_r]{\alpha_r}), where n_i divides n for all i. There is an integer x such that these extensions have maximal degree over K(\zeta_g, \sqrt[g_1]{\alpha_1}, ... , \sqrt[g_r]{\alpha_r}), where g=\gcd(n,x) and g_i=\gcd(n_i,x). We prove that the constant x is computable. This result reduces to finitely many cases the computation of the degrees of the extensions K(\zeta_n, \sqrt[n_1]{\alpha_1}, ... , \sqrt[n_r]{\alpha_r}) over K. [less ▲] Detailed reference viewed: 204 (12 UL)![]() Perucca, Antonella ![]() ![]() ![]() in International Journal of Number Theory (2020) Let G be a finitely generated multiplicative subgroup of Q* having rank r. The ratio between n^r and the Kummer degree [Q(\zeta_m,\sqrt[n]{G}) : Q(\zeta_m)], where n divides m, is bounded independently of ... [more ▼] Let G be a finitely generated multiplicative subgroup of Q* having rank r. The ratio between n^r and the Kummer degree [Q(\zeta_m,\sqrt[n]{G}) : Q(\zeta_m)], where n divides m, is bounded independently of n and m. We prove that there exist integers m_0, n_0 such that the above ratio depends only on G, \gcd(m,m_0), and \gcd(n,n_0). Our results are very explicit and they yield an algorithm that provides formulas for all the above Kummer degrees (the formulas involve a finite case distinction). [less ▲] Detailed reference viewed: 245 (31 UL)![]() Perucca, Antonella ![]() ![]() in International Journal of Number Theory (2019) For all number fields the failure of maximality for the Kummer extensions is bounded in a very strong sense. We give a direct proof (without relying on the Bashmakov-Ribet method) of the fact that if G is ... [more ▼] For all number fields the failure of maximality for the Kummer extensions is bounded in a very strong sense. We give a direct proof (without relying on the Bashmakov-Ribet method) of the fact that if G is a finitely generated and torsion-free multiplicative subgroup of a number field K having rank r, then the ratio between n^r and the Kummer degree [K(\zeta_n,\sqrt[n]{G}):K(\zeta_n)] is bounded independently of n. We then apply this result to generalise to higher rank a theorem of Ziegler from 2006 about the multiplicative order of the reductions of algebraic integers (the multiplicative order must be in a given arithmetic progression, and an additional Frobenius condition may be considered). [less ▲] Detailed reference viewed: 283 (42 UL)![]() Perucca, Antonella ![]() in International Journal of Number Theory (2017) Detailed reference viewed: 107 (7 UL)![]() ; Wiese, Gabor ![]() in International Journal of Number Theory (2016), 12(2), 357-360 In this note, we improve earlier results towards the Bruinier-Kohnen sign equidistribution conjecture for half-integral weight modular eigenforms in terms of natural density by using a consequence of ... [more ▼] In this note, we improve earlier results towards the Bruinier-Kohnen sign equidistribution conjecture for half-integral weight modular eigenforms in terms of natural density by using a consequence of Halász' Theorem. Moreover, applying a result of Serre we remove all unproved assumptions. [less ▲] Detailed reference viewed: 86 (10 UL)![]() ; Tsaknias, Panagiotis ![]() in International Journal of Number Theory (2015), 11(1), 81-87 Detailed reference viewed: 109 (4 UL)![]() ; ; Wiese, Gabor ![]() in International Journal of Number Theory (2013), 9(1), 91--113 We study modular Galois representations mod p^m. We show that there are three progressively weaker notions of modularity for a Galois representation mod p^m: we have named these `strongly', `weakly', and ... [more ▼] We study modular Galois representations mod p^m. We show that there are three progressively weaker notions of modularity for a Galois representation mod p^m: we have named these `strongly', `weakly', and `dc-weakly' modular. Here, `dc' stands for `divided congruence' in the sense of Katz and Hida. These notions of modularity are relative to a fixed level M. Using results of Hida we display a `stripping-of-powers of p away from the level' type of result: A mod p^m strongly modular representation of some level Np^r is always dc-weakly modular of level N (here, N is a natural number not divisible by p). We also study eigenforms mod p^m corresponding to the above three notions. Assuming residual irreducibility, we utilize a theorem of Carayol to show that one can attach a Galois representation mod p^m to any `dc-weak' eigenform, and hence to any eigenform mod p^m in any of the three senses. We show that the three notions of modularity coincide when m=1 (as well as in other, particular cases), but not in general. [less ▲] Detailed reference viewed: 196 (4 UL)![]() Wiese, Gabor ![]() in International Journal of Number Theory (2009), 5(1), 89--108 The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular ... [more ▼] The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the standard algorithms for the computation of holomorphic modular forms. Precise and explicit connections are established to the cohomology of Hecke triangle surfaces and group cohomology. In all the note a general commutative ring is used as coefficient ring in view of applications to the computation of modular forms over rings different from the complex numbers. [less ▲] Detailed reference viewed: 158 (0 UL) |
||