The Complexity of theA B CProblem

On the modular forms of weight 1/2 over algebraic number fields

In this paper, we prove a weak form of the conjecture generalised to algebraic number fields. Given integers satisfying , Stewart and Yu were able to give an exponential bound in terms of the radical over the integers (Stewart and Yu [Math. Ann. 291 (1991), 225–230], Stewart and Yu [Duke Math. J. 108 (2001), no. 1, 169–181]), whereas Győry was able to give an exponential bound in the algebraic number field case for the projective height in terms of the radical for algebraic numbers (Győry [Acta Arith. 133 (2008), 281–295]). We generalise Stewart and Yu's method to give an improvement on Győry's bound for algebraic integers over the Hilbert Class Field of the initial number field K. Given algebraic integers in a number field K satisfying , we give an upper bound for the logarithm of the projective height in terms of norms of prime ideals dividing , where L is the Hilbert Class Field of K. In many cases, this allows us to give a bound in terms of the modified radical as given by Masser (Proc. Amer. Math. Soc. 130 (2002), no. 11, 3141–3150). Furthermore, by employing a recent bound of Győry (Publ. Math. Debrecen 94 (2019), 507–526) on the solutions of S‐unit equations, our estimates imply the upper bound where is an effectively computable constant. Further, given conditions on the largest prime ideal dividing , we obtain a sub‐exponential bound for in terms of the radical. Independently, as a direct application of his bounds on the solutions of S‐unit equations(Győry ([Publ. Math. Debrecen 94 (2019), 507–526]), Győry (Publ. Math. Debrecen 100 (2022), 499–511) also attains results mentioned above, including the above inequality, but over the base field K, as discussed in Section 6. As a consequence of our results, we will give an application to the effective Skolem–Mahler–Lech problem and give an improvement to a result by Lagarias and Soundararajan (J. Théor. Nombres Bordeaux 23 (2011), no. 1, 209–234) on the XYZ conjecture.

Let Q denote the rational number field and α be an algebraic number of degree s. Then the algebraic number field F s = Q(α) is the field given by the polynomials in α of degree < s with rational coefficients.

This work falls within the theory of linear forms in logarithms over a connected and commutative algebraic group, defined over the field of algebraic numbers $\overline{\mathbb{Q}}$ . Let G be such a group. Let W be a hyperplane of the tangent space at the origin of G, defined over $\overline{\mathbb{Q}}$ , and u be a complex point of this tangent space, such that the image of u by the exponential map of the Lie group G(ℂ) is an algebraic point. Then we obtain a lower bound for the distance between u and W⊗ℂ, which improves the results known before and which is, in particular, the best possible for the height of the hyperplane W. The proof rests on Baker’s method and Hirata’s reduction as well as a new arithmetic argument (Chudnovsky’s process of variable change) which enables us to give a precise estimate of the ultrametric norms of some algebraic numbers built during the proof.

Even-order subgroups of finite-dimensional division rings

We are interested in finding the relation between rings of endomorphisms of toroidal groups and algebraic number fields which are not totally real. For algebraic number fields K , we define real maximal algebraic number fields K 0 and 𝔬 K 0 -quasi-abelian varieties. We show that any simple 𝔬 K 0 -quasi-abelian variety is constructed by embeddings of a non-totally real algebraic number field K and it has finite dimensional cohomology groups.

In 1935 Tartakowski (7) proved that, in general, a cubic form in sufficiently many variables with coefficients in an algebraic number field K has a non-trivial zero in that field; and in the case when K is the rational field 57 variables suffice. Here, ‘in general’ means that the coefficients of the form do not lie in a proper subvariety of the coefficient space. Hence, Tartakowski's result holds for almost all cubic forms. Later, Lewis (5) proved that if K is any algebraic number field such that [K: Q] = n, then there exists a function ψ(n) such that every cubic form over K in m ≥ ψ(n) variables has a non-trivial zero in K. His bound, ψ(n), is extremely large; e.g. when K is the rational field, ψ(1) &gt; 500.

Let [Formula: see text] be an algebraic number field. With [Formula: see text] we associate the ring of finite adeles [Formula: see text] In this paper we give a path integral formula for the propagator of a quantum mechanical system over the abelian group [Formula: see text] Specifically, we consider matrix-valued Hamiltonian operators [Formula: see text] where [Formula: see text] is the Vladimirov operator and [Formula: see text] is a non-negative definite potential. The free part of the Hamiltonian gives rise to a measure on the Skorokhod space of paths which allows us to prove the Feynman–Kac formula for the Schrödinger semigroup generated by [Formula: see text] This formula is given in terms of the ordered time exponentials.

In the previous chapter, we dealt with solvable groups and the methods came from abelian groups. In this chapter, we deal with \(S{L_2}({\mathcal{O}_S})\) where \(\mathcal{O}\) is the ring of integers in an algebraic number field and S is any set of places containing all the archimedean ones. The methods here will be very different from those of the previous chapter.

In 1924 Hasse proved a fundamental theorem concerning quadratic forms over algebraic number fields, namely that two quadratic forms with coefficients in an algebraic number field K are equivalent if and only if they are so in every completion K p of K by valuations of K.

A characterization of number fields by p-closed extensions

Notes on p-blocks of characters of finite groups

We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness, which asks whether a finite number of given finitely generated semigroups have empty intersection. This problem was first studied by Markov in the 1940s. We show that Intersection Emptiness is PTIME decidable in the Heisenberg groups H_n(𝕂) over any algebraic number field 𝕂, as well as in direct products of Heisenberg groups. We also extend our decidability result to arbitrary finitely generated 2-step nilpotent groups. The second problem is Orbit Intersection, which asks whether the orbits of two matrices under multiplication by two semigroups intersect with each other. This problem was first studied by Babai et al. (1996), who showed its decidability within commutative matrix groups. We show that Orbit Intersection is decidable within the Heisenberg group H₃(ℚ).

Efficient accelero-summation of holonomic functions

In this paper, we study a classical construction of lattices from number fields and obtain a series of new results about their minimum distance and other characteristics by introducing a new measure of algebraic numbers. In particular, we show that when the number fields have few complex embeddings, the minimum distances of these lattices can be computed exactly.