A generalization of Carleman's uniqueness theorem and a discrete Phragmén-Lindelöf theorem

Let be a Borel measure on and be its moments. T. Carleman found sharp conditions on the magnitude of for to be uniquely determined by its moments. We show that the same conditions ensure a stronger property: if are the moments of another measure, with then the measure is supported on the interval This result generalizes both the Carleman theorem and a theorem of J. Mikusi\'{n}ski. We also present an application of this result by establishing a discrete version of a Phragmén-Lindelöf theorem.

     

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

     

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.

     

Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

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.

     

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 .

     

On certain character sums over

Let be the finite field with elements and let denote the ring of polynomials in one variable with coefficients in . Let be a monic polynomial irreducible in . We obtain a bound for the least degree of a monic polynomial irreducible in ( odd) which is a quadratic non-residue modulo . We also find a bound for the least degree of a monic polynomial irreducible in which is a primitive root modulo .

     

Uniqueness for an overdetermined boundary value problem for the p-Laplacian

For set , and let be a measure with compact support. Suppose, for , there are functions and (bounded) domains , both containing the support of with the property that in (weakly) and in the complement of . If in addition is convex, then and .

     

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.

     

The Kaplansky test problems for -separable groups

We answer a long-standing open question by proving in ordinary set theory, ZFC, that the Kaplansky test problems have negative answers for -separable abelian groups of cardinality . In fact, there is an -separable abelian group such that is isomorphic to but not to . We also derive some relevant information about the endomorphism ring of .

     

Sharp estimates for the Bochner-Riesz operator of negative order in

The Bochner-Riesz operator on of order is defined by

where denotes the Fourier transform and if , and if . We determine all pairs such that on of negative order is bounded from to . To be more precise, we prove that for the estimate holds if and only if , where

We also obtain some weak-type results for .

     

-actions whose fixed data has a section

Given a collection of real vector bundles over a closed manifold , suppose that, for some is of the form , where is the trivial one-dimensional bundle. In this paper we prove that if is the fixed data of a -action, then the same is true for the Whitney sum obtained from by replacing by . This stability property is well-known for involutions. Together with techniques previously developed, this result is used to describe, up to bordism, all possible -actions fixing the disjoint union of an even projective space and a point.     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.

     

Push-forward of degeneracy classes and ampleness

Let be a projective variety and vector bundles on . Suppose is a surjective map onto another variety . Let be any vector bundle map and the 'th degeneracy locus of . We show that the dimension of is at least equal to

under the hypothesis that is an ample vector bundle on .

     

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.

     

Remarks on the results by Koskela concerning the radial uniqueness for Sobolev functions

In this note we aim to complete the results by Koskela concerning the radial uniqueness for Sobolev functions.

Let be a positive nonincreasing function on the interval , and let denote the unit ball of . Consider a -precise function on such that

where . We give conditions on which assure that whenever has vanishing fine boundary limits on a set of positive -capacity.

We are also concerned with the sharpness.

     

A pointwise spectrum and representation of operators

For a self-adjoint operator commuting with an increasing family of projections we study the multifunction an open set of the topology containing , where is the spectrum of on . Let be the measure of maximal spectral type. We study the condition that is essentially a singleton, is not a singleton. We show that if is the density topology and if satisfies the density theorem, in particular if it is absolutely continuous with respect to the Lebesgue measure, then this condition is equivalent to the fact that is a Borel function of . If is the usual topology then the condition is equivalent to the fact that is approched in norm by step functions , where the set of intervals covers the set where is a singleton.

     

A splitting theorem for degrees

We prove that, for any , and with _{T}A\oplus U$"> and r.e., in , there are pairs and such that ; ; and, for any and from and any set , if and , then . We then deduce that for any degrees , , and such that and are recursive in , , and is into , can be split over avoiding . This shows that the Main Theorem of Cooper (Bull. Amer. Math. Soc. 23 (1990), 151-158) is false.