Higher Order Turán Inequalities

The celebrated Turán inequalities , where denotes the Legendre polynomial of degree , are extended to inequalities for sums of products of four classical orthogonal polynomials. The proof is based on an extension of the inequalities , which hold for the Maclaurin coefficients of the real entire function in the Laguerre-Pólya class, .

     

Some results on finite Drinfeld modules

Let be a global function field, a degree one prime divisor of and let be the Dedekind domain of functions in regular outside . Let be the Hilbert class field of , the integral closure of in . Let be a rank one normalized Drinfeld -module and let be a prime ideal in . We explicitly determine the finite -module structure of . In particular, if , is an odd prime number and is the Carlitz -module, then the finite -module is always cyclic.

     

On scrambled sets and a theorem of Kuratowski on independent sets

The measure of scrambled sets of interval self-maps was studied by many authors, including Smítal, Misiurewicz, Bruckner and Hu, and Xiong and Yang. In this note, first we introduce the notion of ``-chaos" which is related to chaos in the sense of Li-Yorke, and we prove a general theorem which is an improvement of a theorem of Kuratowski on independent sets. Second, we apply the result to scrambled sets of higher dimensional cases. In particular, we show that if a map of the unit -cube is -chaotic on , then for any there is a map such that and are topologically conjugate, and has a scrambled set which has Lebesgue measure 1, and hence if , then there is a homeomorphism with a scrambled set satisfying that is an -set in and has Lebesgue measure 1.

     

Bordism of two commuting involutions

In this paper we obtain conditions for a Whitney sum of three vector bundles over a closed manifold, , to be the fixed data of a -action; these conditions yield the fact that if is the fixed data of a -action, where is the trivial one dimensional bundle, then the same is true for . The results obtained, together with techniques previously developed, are used to obtain, up to bordism, all possible -actions fixing the disjoint union of an even projective space and a point.

     

Discriminants of convex curves are homeomorphic

For a given real generic curve let denote the ruled hypersurface in consisting of all osculating subspaces to of codimension 2. In this note we show that for any two convex real projective curves and the pairs and are homeomorphic.

     

On the cohomology of regular differential forms and dualizing sheaves

If is a local Dedekind scheme and is a projective Cohen-Macaulay variety of relative dimension , then is torsionfree if and only if is arithmetically Cohen-Macaulay for a suitable embedding in . If is regular then is torsionfree whenever the multiplicity of the special fibre is not a multiple of the characteristic of the residue class field.

     

Mean exit time from convex hypersurfaces

L. Karp and M. Pinsky proved that, for small radius , the mean exit time function of an extrinsic -ball in a hypersurface is bounded from below by the corresponding function defined on an extrinsic -ball in . A counterexample given by C. Mueller proves that this inequality doesn't holds in the large. In this paper we show that, if is convex, then the inequality holds for all radii. Moreover, we characterize the equality and show that analogous results are true in the sphere.

     

Derived lengths and character degrees

Let be a finite solvable group. Assume that the degree graph of has exactly two connected components that do not contain . Suppose that one of these connected components contains the subset , where and are coprime when . Then the derived length of is less than or equal to .

     

Dunford-Pettis composition operators on in several variables

A bounded composition operator on , where is the unit ball in , is Dunford-Pettis if and only if the radial limit function of takes values on the unit sphere only on a set of surface measure zero. A similar theorem holds on bounded strongly pseudoconvex domains with smooth boundary.

     

Duality and local group cohomology

Let be a group, let be a field, and let be a local system - an upwardly directed collection of subgroups whose union is . In this paper we give a short, elementary proof of the following result: If either is a --bimodule, or else is finite dimensional over its center, then . From this we deduce as easy corollaries some recent results of Meierfrankenfeld and Wehrfritz on the cohomology of a finitary module.

     

A uniqueness theorem for harmonic functions

The main result of this note is the following theorem: Theorem 1. Let be a half ball in and . Assume that is in and harmonic in , and that for every positive integer there exists a constant such that

Then .

First we prove it for , and then we show by induction that it holds for all .

     

The moduli of substructures of a compact complex space

We construct a space of fine moduli for the substructures of an arbitrary compact complex space . A substructure of is given by a subalgebra of the structure sheaf with the additional feature that is also a complex space; and are called equivalent if and only if and are isomorphic as subalgebras of .

Since substructures are quotients, it is only natural to start with the fine moduli space of all complex-analytic quotients of . In order to obtain a representable moduli functor of substructures, we are forced to concentrate on families of quotients which satisfy some flatness condition for relative differential modules of higher order. Considering the corresponding flatification of , we realize that its open subset consisting of all substructures turns out to be a complex space which has the required universal property.

     

Norms of embeddings of logarithmic Bessel potential spaces

Let be a subset of with finite volume, let and let be a Young function with for large . We show that the norm on the Orlicz space is equivalent to

We also obtain estimates of the norms of the embeddings of certain logarithmic Bessel potential spaces in which are sharp in their dependences on provided that is large enough.

     

Perturbations and Weyl's theorem

A Banach space operator is completely hereditarily normaloid, , if either every part, and (also) for every invertible part , of is normaloid or if for every complex number every part of is normaloid. Sufficient conditions for the perturbation of by an algebraic operator to satisfy Weyl's theorem are proved. Our sufficient conditions lead us to the conclusion that the conjugate operator satisfies -Weyl's theorem.

     

Relative to any nonrecursive set

There is a countable first order structure such that for any set of integers , is not recursive if and only if there is a presentation of which is recursive in .

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

The Skolem property in rings of integer-valued polynomials

Let be an integral domain with quotient field and . We investigate the relationship between the Skolem and completely integrally closed properties in the ring of integer-valued polynomials

Among other things, we show for the case and that the following are equivalent: (1) is strongly Skolem, (2) is completely integrally closed, and (3) for every .

     

A Borsuk theorem for antipodal links and a spectral characterization of linklessly embeddable graphs

For any undirected graph , let be the graph parameter introduced by Colin de Verdière. In this paper we show that if and only if is linklessly embeddable (in ). This forms a spectral characterization of linklessly embeddable graphs, and was conjectured by Robertson, Seymour, and Thomas. A key ingredient is a Borsuk-type theorem on the existence of a pair of antipodal linked -spheres in certain mappings . This result might be of interest in its own right. We also derive that for each linklessly embeddable graph , where is the graph parameter introduced by van der Holst, Laurent, and Schrijver. (It is the largest dimension of any subspace of such that for each nonzero , the positive support of induces a nonempty connected subgraph of .)