Extreme points, exposed points, differentiability points in CL-spaces

This paper presents a property of geometric and topological nature of Gateaux differentiability points and Fréchet differentiability points of almost CL-spaces. More precisely, if we denote by a maximal convex set of the unit sphere of a CL-space , and by the cone generated by , then all Gateaux differentiability points of are just n-s, and all Fréchet differentiability points of are (where n-s denotes the non-support points set of ).

     

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.

     

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.

     

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 .

     

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.

     

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.

     

Hurewicz sets of reals without perfect subsets

We show that even for subsets of the real line that do not contain perfect sets, the Hurewicz property does not imply the property , asserting that for each countable family of open -covers of , there is a choice function whose image is a -cover of . This settles a problem of Just, Miller, Scheepers, and Szeptycki. Our main result also answers a question of Bartoszyński and the second author, and implies that for , the conjunction of Sakai's strong countable fan tightness and the Reznichenko property does not imply Arhangelskiı's property .

     

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.

     

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.

     

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.

     

Subgroups generated by small classes in finite groups

Let be the subgroup of generated by all elements that lie in conjugacy classes of the two smallest sizes. Avinoam Mann showed that if is nilpotent, then has nilpotence class at most . Using a slight variation on Mann's methods, we obtain results that do not require us to assume that is nilpotent. We show that if is supersolvable, then is nilpotent with class at most , and in general, the Fitting subgroup of has class at most .

     

The sub-supersolution method for weak solutions

We extend the method of sub and supersolutions in order to prove existence of -solutions of the equation in , where is a Carathéodory function. The proof is based on Schauder's fixed point theorem.

     

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 .

     

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 .

     

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 .

     

On the best Hölder exponent for two dimensional elliptic equations in divergence form

We obtain an estimate for the Hölder continuity exponent for weak solutions to the following elliptic equation in divergence form:

where is a bounded open subset of and, for every , is a symmetric matrix with bounded measurable coefficients. Such an estimate ``interpolates' between the well-known estimate of Piccinini and Spagnolo in the isotropic case , where is a bounded measurable function, and our previous result in the unit determinant case . Furthermore, we show that our estimate is sharp. Indeed, for every we construct coefficient matrices such that is isotropic and has unit determinant, and such that our estimate for reduces to an equality, for every .

     

On the extensions of homogeneous polynomials

We investigate the problem of the uniqueness of the extension of -homogeneous polynomials in Banach spaces. We show in particular that in a nonreflexive Banach space that admits contractive projection of finite rank of at least dimension 2, for every there exists an -homogeneous polynomial on that has infinitely many extensions to . We also prove that under some geometric conditions imposed on the norm of a complex Banach lattice , for instance when satisfies an upper -estimate with constant one for some , any -homogeneous polynomial on attaining its norm at with a finite rank band projection , has a unique extension to its bidual . We apply these results in a class of Orlicz sequence spaces.

     

Uniqueness of structures for connective covers

We refine our earlier work on the existence and uniqueness of structures on -theoretic spectra to show that the connective versions of real and complex -theory as well as the connective Adams summand at each prime have unique structures as commutative -algebras. For the -completion we show that the McClure-Staffeldt model for is equivalent as an ring spectrum to the connective cover of the periodic Adams summand . We establish a Bousfield equivalence between the connective cover of the Lubin-Tate spectrum and .

     

A lower bound for the equilateral number of normed spaces

We show that if the Banach-Mazur distance between an -dimensional normed space and is at most , then there exist equidistant points in . By a well-known result of Alon and Milman, this implies that an arbitrary -dimensional normed space admits at least equidistant points, where is an absolute constant. We also show that there exist equidistant points in spaces sufficiently close to , .

     

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 .