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 .

     

The Wiener transform on the Besicovitch spaces

In his fundamental research on generalized harmonic analysis, Wiener proved that the integrated Fourier transform defined by is an isometry from a nonlinear space of functions of bounded average quadratic power into a nonlinear space of functions of bounded quadratic variation. We consider this Wiener transform on the larger, linear, Besicovitch spaces defined by the norm . We prove that maps continuously into the homogeneous Besov space for and , and is a topological isomorphism when .

     

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 .

     

Artinianess of graded local cohomology modules

Let be a Noetherian homogeneous ring with local base ring and let be a finitely generated graded -module. Let be the largest integer such that is not Artinian. We will prove that are Artinian for all and there exists a polynomial of degree less than such that for all . Let be the first integer such that the local cohomology module is not cofinite. We will show that for all the graded module is Artinian.

     

Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

Remarks about Schlumprecht space

Let denote the Schlumprecht space. We prove that

(1) is finitely disjointly representable in ;

(2) contains an -spreading model;

(3) for any sequence of natural numbers, is isomorphic to the space .

     

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.

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

Sur une question de capitulation

Let and be prime numbers such that and . Let , , and let be the 2-Hilbert class field of , the 2-Hilbert class field of and the Galois group of . The 2-part of the class group of is of type , so contains three extensions . Our goal is to study the problem of capitulation of the 2-classes of in , and to determine the structure of .

RSESUM´E. Soient et deux nombres premiers tels que et , , , , le 2-corps de classes de Hilbert de , le 2-corps de classes de Hilbert de et le groupe de Galois de . La 2-partie du groupe de classes de est de type , par suite contient trois extensions . On s'intéresse au problème de capitulation des 2-classes de dans , et à déterminer la structure de .

     

Pointwise convergence of bounded cascade sequences

The cascade algorithm plays an important role in computer graphics and wavelet analysis. For an initial function , a cascade sequence is constructed by the iteration where is defined by In this paper, under a condition that the sequence is bounded in , we prove that the following three statements are equivalent: (i) converges . (ii) For , there exist a positive constant and a constant such that (iii) For some converges in . An example is presented to illustrate our result.

     

On endomorphism rings of local cohomology modules

Let be a local complete ring. For an -module the canonical ring map is in general neither injective nor surjective; we show that it is bijective for every local cohomology module if for every ( an ideal of ); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

     

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

     

Trudinger type inequalities in and their best exponents

We study Trudinger type inequalities in and their best exponents . We show for , ( is the surface area of the unit sphere in ), there exists a constant such that

for all . Here is defined by

It is also shown that with is false, which is different from the usual Trudinger's inequalities in bounded domains.

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

On the plane section of an integral curve in positive characteristic

If is an integral curve and an algebraically closed field of characteristic 0, it is known that the points of the general plane section of are in uniform position. From this it follows easily that the general minimal curve containing is irreducible. If char, the points of may not be in uniform position. However, we prove that the general minimal curve containing is still irreducible.

     

Quadratic initial ideals of root systems

Let be one of the root systems , , and and write for the set of positive roots of together with the origin of . Let denote the Laurent polynomial ring over a field and write for the affine semigroup ring which is generated by those monomials with , where if . Let denote the polynomial ring over and write for the toric ideal of . Thus is the kernel of the surjective homomorphism defined by setting for all . In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal of . The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of , and . It then follows that the convex polytope of the convex hull of each of , and possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings , and is Koszul.     

Maximal estimates for the -dimensional Walsh-Fourier series

The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.

     

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.

     

Linear functionals on the Cuntz algebra

For a pure state on , which is an extension of a pure state on with the property that if is a corresponding representation, then , induces a unital shift of of the Powers index . We describe states on by using sequences of unit vectors in . We study the linear functionals on the Cuntz algebra whose restrictions are the product pure state on . We find conditions on the sequence of unit vectors for which the corresponding linear functionals on become states under these conditions.