The effective Chebotarev density theorem and modular forms modulo

Suppose that (resp. ) is a modular form of integral (resp. half-integral) weight with coefficients in the ring of integers of a number field . For any ideal , we bound the first prime for which (resp. ) is zero ( ). Applications include the solution to a question of Ono (2001) concerning partitions.

     

Isomorphism of complete local noetherian rings and strong approximation

About a year ago Angus Macintyre raised the following question. Let and be complete local noetherian rings with maximal ideals and such that is isomorphic to for every . Does it follow that and are isomorphic? We show that the answer is yes if the residue field is algebraic over its prime field. The proof uses a strong approximation theorem of Pfister and Popescu, or rather a variant of it, which we obtain by a method due to Denef and Lipshitz. Examples by Gabber show that the answer is no in general.

     

On the normal bundle of submanifolds of

Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.

     

On the triple jump of the set of atoms of a Boolean algebra

We prove the following result concerning the degree spectrum of the atom relation on a computable Boolean algebra. Let be a computable Boolean algebra with infinitely many atoms and be the Turing degree of the atom relation of . If is a c.e. degree such that , then there is a computable copy of where the atom relation has degree . In particular, for every c.e. degree , any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree .

     

A rigidity theorem for holomorphic generators on the Hilbert ball

We present a rigidity property of holomorphic generators on the open unit ball of a Hilbert space . Namely, if is the generator of a one-parameter continuous semigroup on such that for some boundary point , the admissible limit - , then vanishes identically on .

     

On the Cohen-Macaulayness of fiber cones

Let be a Noetherian local ring with the maximal ideal and an ideal of Denote by the fiber cone of This paper characterizes the multiplicity and the Cohen-Macaulayness of fiber cones in terms of minimal reductions of ideals.

     

The depth of an ideal with a given Hilbert function

Let denote the polynomial ring in variables over a field with each . Let be a homogeneous ideal of with and the Hilbert function of the quotient algebra . Given a numerical function satisfying for some homogeneous ideal of , we write for the set of those integers such that there exists a homogeneous ideal of with and with . It will be proved that one has either for some or .

     

Detecting completeness from Ext-vanishing

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let be a commutative noetherian ring and an ideal in the Jacobson radical of . Let be the -adic completion of . If is a finitely generated -module such that for all , then is -adically complete.

     

A note on -bases of a regular affine domain extension

Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.

     

Dynamics of the function and the Green-Tao theorem on arithmetic progressions in the primes

Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.

In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

Global co-stationarity of the ground model from a new countable length sequence

Suppose are models of ZFC with the same ordinals, and that for all regular cardinals in , satisfies . If contains a sequence for some ordinal , then for all cardinals in with regular in and , is stationary in . That is, a new -sequence achieves global co-stationarity of the ground model.

     

On zeros of Eisenstein series for genus zero Fuchsian groups

Let SL be a genus zero Fuchsian group of the first kind with as a cusp, and let be the holomorphic Eisenstein series of weight on that is nonvanishing at and vanishes at all the other cusps (provided that such an Eisenstein series exists). Under certain assumptions on and on a choice of a fundamental domain , we prove that all but possibly of the nontrivial zeros of lie on a certain subset of . Here is a constant that does not depend on the weight, is the upper half-plane, and is the canonical hauptmodul for

     

Characterizing indecomposable plane continua from their complements

We show that a plane continuum is indecomposable iff has a sequence of not necessarily distinct complementary domains satisfying the double-pass condition: for any sequence of open arcs, with and , there is a sequence of shadows , where each is a shadow of , such that . Such an open arc divides into disjoint subdomains and , and a shadow (of ) is one of the sets .

     

Iterating the Cesàro operators

The discrete Cesàro operator associates to a given complex sequence the sequence , where . When is a convergent sequence we show that converges under the sup-norm if, and only if, . For its adjoint operator , we establish that converges for any .

The continuous Cesàro operator, , has two versions: the finite range case is defined for and the infinite range case for . In the first situation, when is continuous we prove that converges under the sup-norm to the constant function . In the second situation, when is a continuous function having a limit at infinity, we prove that converges under the sup-norm if, and only if, .

     

Self-commutators of automorphic composition operators on the Dirichlet space

Let be a conformal automorphism on the unit disk and be the composition operator on the Dirichlet space induced by . In this article we completely determine the point spectrum, spectrum, essential spectrum and essential norm of the operators and self-commutators of , which expose that the spectrum and point spectrum coincide. We also find the eigenfunctions of the operators.

     

A sheaf of Hochschild complexes on quasi-compact opens

For a scheme , we construct a sheaf of complexes on such that for every quasi-compact open , is quasi-isomorphic to the Hochschild complex of (Lowen and Van den Bergh, 2005). Since is moreover acyclic for taking sections on quasi-compact opens, we obtain a local to global spectral sequence for Hochschild cohomology if is quasi-compact.

     

Spectra of operators with Bishop's property

Let be a Banach space and let be the class that consists of all operators such that for every , the range of has a finite-codimension when it is closed. For an integer , we define the class as an extension of . We then study spectral properties of such operators, and we extend some known results of multi-cyclic operators with .

     

On the finiteness properties of extension and torsion functors of local cohomology modules

Let be a commutative Noetherian ring with non-zero identity, and ideals of with , and a finitely generated -module. In this paper, for fixed integers and , we study the finiteness of and in several cases.

     

Whitney property in two dimensional Sobolev spaces

For , we prove that all the functions of satisfy the Whitney property; i.e., if is such that (in the sense of capacity) on a connected set , then is constant on .