Counting cusps of subgroups of

Let be a number field with real places and complex places, and let be the ring of integers of . The quotient has cusps, where is the class number of . We show that under the assumption of the generalized Riemann hypothesis that if is not or an imaginary quadratic field and if , then has infinitely many maximal subgroups with cusps. A key element in the proof is a connection to Artin's Primitive Root Conjecture.

     

Representation of measures with polynomial denseness in , , and its application to determinate moment problems

It has been proved that algebraic polynomials are dense in the space , , iff the measure is representable as with a finite non-negative Borel measure and an upper semi-continuous function such that is a dense subset of the space    as equipped with the seminorm . The similar representation ( ) with the same and ( , and is also a dense

subset of ) corresponds to all those measures (supported by ) that are uniquely determined by their moments on ( ). The proof is based on de Branges' theorem (1959) on weighted polynomial approximation. A more general question on polynomial denseness in a separable Fréchet space in the sense of Banach has also been examined.

     

On the - boundedness of operators

We prove that if is in , is a Banach space, and is a linear operator defined on the space of finite linear combinations of -atoms in with the property that

then admits a (unique) continuous extension to a bounded linear operator from to . We show that the same is true if we replace -atoms by continuous -atoms. This is known to be false for -atoms.

     

Stable algebras of entire functions

Suppose that and belong to the algebra generated by the rational functions and an entire function of finite order on and that has algebraic polar variety. We show that either or , where is a polynomial and are rational functions. In the latter case, belongs to the algebra generated by the rational functions, and .

The stability property is related to the problem of algebraic dependence of entire functions over the ring of polynomials. The case of algebraic dependence over of two entire or meromorphic functions on is completely resolved in this paper.

     

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.

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

Enriched Reedy categories

We define the notion of an enriched Reedy category and show that if is a -Reedy category for some symmetric monoidal model category and is a -model category, the category of -functors and -natural transformations from to is again a model category.

     

Tauberian type theorem for operators with interpolation spectrum for Hölder classes

We consider an invertible operator on a Banach space whose spectrum is an interpolating set for Hölder classes. We show that if , , with and , then for all , assuming that satisfies suitable regularity conditions. When is a Hilbert space and (i.e. is a contraction), we show that under the same assumptions, is unitary and this is sharp.

     

A counterexample to the maximality of toric varieties

We present a counterexample to the conjecture of Bihan, Franz, McCrory, and van Hamel concerning the maximality of toric varieties. There exists a six dimensional projective toric variety with the sum of the Betti numbers of strictly less than the sum of the Betti numbers of .

     

On isomorphisms between centers of integral group rings of finite groups

For finite nilpotent groups and , and a -adapted ring (the rational integers, for example), it is shown that any isomorphism between the centers of the group rings and is monomial, i.e., maps class sums in to class sums in up to multiplication with roots of unity. As a consequence, and have identical character tables if and only if the centers of their integral group rings and are isomorphic. In the course of the proof, a new proof of the class sum correspondence is given.

     

Linear maps preserving invariants

Let be a complex reductive group. Let denote for all . We show that, ``in general', . In case is the adjoint group of a simple Lie algebra , we show that is an order 2 extension of . We also calculate for all representations of .

     

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.

     

Nonabelian theta functions of positive genus

Let be a smooth projective irreducible curve over of genus and let be a set of distinct points on . We fix a nonnegative integer and denote by the moduli space of parabolic semistable vector bundles of rank on with trivial determinant and fixed parabolic structure of type at , where each weight is in . On there is a canonical line bundle , whose global sections are called generalized parabolic -theta functions of order . In this paper we prove the existence of such nonzero nonabelian theta functions, thus establishing a part of higher genus generalizations of the celebrated saturation conjectures.

     

Polynomials with roots in for all

Let be a monic polynomial in with no rational roots but with roots in for all , or equivalently, with roots mod for all . It is known that cannot be irreducible but can be a product of two or more irreducible polynomials, and that if is a product of irreducible polynomials, then its Galois group must be a union of conjugates of proper subgroups. We prove that for any , every finite solvable group that is a union of conjugates of proper subgroups (where all these conjugates have trivial intersection) occurs as the Galois group of such a polynomial, and that the same result (with ) holds for all Frobenius groups. It is also observed that every nonsolvable Frobenius group is realizable as the Galois group of a geometric, i.e. regular, extension of .

     

Dieudonné rings associated with

We use Dieudonné theory for periodically graded Hopf rings to determine the Dieudonné ring structure of the -graded Morava -theory , with an odd prime, when applied to the -spectrum (and to ). We also expand these results in order to accomodate the case of the full Morava -theory .

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

Numerical peak points and numerical Šilov boundary for holomorphic functions

In this paper, we characterize the numerical and numerical strong-peak points for when is the complex space or . We also prove that for all is the numerical Šilov boundary for

     

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 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.