33 research outputs found
Degree spectra for transcendence in fields
We show that for both the unary relation of transcendence and the finitary
relation of algebraic independence on a field, the degree spectra of these
relations may consist of any single computably enumerable Turing degree, or of
those c.e. degrees above an arbitrary fixed degree. In other
cases, these spectra may be characterized by the ability to enumerate an
arbitrary set. This is the first proof that a computable field can
fail to have a computable copy with a computable transcendence basis
Nonlinear Differential Equations Satisfied by Certain Classical Modular Forms
A unified treatment is given of low-weight modular forms on \Gamma_0(N),
N=2,3,4, that have Eisenstein series representations. For each N, certain
weight-1 forms are shown to satisfy a coupled system of nonlinear differential
equations, which yields a single nonlinear third-order equation, called a
generalized Chazy equation. As byproducts, a table of divisor function and
theta identities is generated by means of q-expansions, and a transformation
law under \Gamma_0(4) for the second complete elliptic integral is derived.
More generally, it is shown how Picard-Fuchs equations of triangle subgroups of
PSL(2,R) which are hypergeometric equations, yield systems of nonlinear
equations for weight-1 forms, and generalized Chazy equations. Each triangle
group commensurable with \Gamma(1) is treated.Comment: 40 pages, final version, accepted by Manuscripta Mathematic
Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions
Congruences for Fourier coefficients of integer weight modular forms have been the focal point of a number of investigations. In this note we shall ex-hibit congruences for Fourier coefficients of a slightly different type. Let f(z) =P∞ n=0 a(n)q n be a holomorphic half integer weight modular form with integer coef-ficients. If ` is prime, then we shall be interested in congruences of the form a(`N) ≡ 0 mod ` where N is any quadratic residue (resp. non-residue) modulo `. For every prime `> 3 we exhibit a natural holomorphic weight ` 2 +1 modular form whose coefficients satisfy the congruence a(`N) ≡ 0 mod ` for every N satisfying `−