Automorphic-differential identities and actions of pointed coalgebras on rings

In this paper, we prove the following two results which generalize the theorem concerning automorphic-differential endomorphisms asserted by J. Bergen. Let be a ring, its left Martindale quotient ring and a right ideal of having no nonzero left annihilator. (1) Let be a pointed coalgebra which measures such that the group-like elements of act as automorphisms of . If is prime and for , then . Furthermore, if the action of extends to and if such that , then . (2) Let be an endomorphism of given as a sum of composition maps of left multiplications, right multiplications, automorphisms and skew-derivations. If is semiprime and , then .

     

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.

     

On the Deleted Product Criterion For Embeddability in

For a space let . Let act on and on by exchanging factors and antipodes respectively. We present a new short proof of the following theorem by Weber: For an -polyhedron and , if there exists an equivariant map , then is embeddable in . We also prove this theorem for a peanian continuum and . We prove that the theorem is not true for the 3-adic solenoid and .

     

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 .

     

A weak-type inequality of subharmonic functions

We prove the weak-type inequality , , between a non-negative subharmonic function and an -valued smooth function , defined on an open set containing the closure of a bounded domain in a Euclidean space , satisfying , and , where is a constant. Here is the harmonic measure on with respect to 0. This inequality extends Burkholder's inequality in which and , a Euclidean space.

     

-convexity of Orlicz-Bochner spaces

A characterization of -convexity of arbitrary Banach space is given. Moreover, it is proved that the Orlicz-Bochner function space is P-convex if and only if both spaces and are -convex. In particular, the Lebesgue-Bochner space with is -convex iff is -convex.

     

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.

     

Angular derivatives at boundary fixed points for self-maps of the disk

Let be a one-to-one analytic function of the unit disk into itself, with . The origin is an attracting fixed point for , if is not a rotation. In addition, there can be fixed points on where has a finite angular derivative. These boundary fixed points must be repelling (abbreviated b.r.f.p.). The Koenigs function of is a one-to-one analytic function defined on such that , where . If is the first iterate of that does have b.r.f.p., we compute the Hardy number of , , in terms of the smallest angular derivative of at its b.r.f.p.. In the case when no iterate of has b.r.f.p., then , and vice versa. This has applications to composition operators, since is a formal eigenfunction of the operator . When acts on , by a result of C. Cowen and B. MacCluer, the spectrum of is determined by and the essential spectral radius of , . Also, by a result of P. Bourdon and J. Shapiro, and our earlier work, can be computed in terms of . Hence, our result implies that the spectrum of is determined by the derivative of at the fixed point and the angular derivatives at b.r.f.p. of or some iterate of .

     

A counterexample to a -analogue of the chromatic splitting conjecture

We prove that, if , the -localization of the -localization map is not a split monomorphism in the stable category by exhibiting spectra for which the map is not injective. If and , we show that may be taken to be a two-cell complex in the sense of -local homotopy theory. The question of whether the map splits was asked by Hovey and is in some sense a -analogue of Hopkins' chromatic splitting conjecture.

     

Certain invariant subspace structure of

In this note, we study certain structure of an invariant subspace of . Considering the largest -invariant (resp. -invariant) subspace in the wandering subspace of with respect to the shift operator , we give an alternative characterization of Beurling-type invariant subspaces. Furthermore, we consider a certain class of invariant subspaces.

     

Vector bundles on log terminal varieties

Let be an -dimensional variety and an ample vector bundle on of rank . We give a complete classification of pairs , with log terminal and such that is not ample. The results we obtain were conjectured by Fujita, and recently by Zhang.

     

First order differential operators in white noise analysis

Let be the space of test white noise functionals. We first introduce a family of products on including Wiener and Wick products, and then show that with each product , we can associate a first order differential operator, called a first order -differential operator. We next show that a first order -differential operator is indeed a continuous derivation under the product . We finally characterize by means of rotation-invariance and continuous derivation under the product . Here and are the Gross Laplacian and the number operator on , respectively.

     

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 .

     

Conjugate Hardy's inequalities with decreasing weights

We prove that for a decreasing weight on , the conjugate Hardy transform is bounded on () if and only if it is bounded on the cone of all decreasing functions of . This property does not depend on .

     

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.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Asymptotics for Sobolev orthogonal polynomials with coherent pairs: The Jacobi case, type 1

Define and as the th monic orthogonal polynomials with respect to and respectively. The pair is called a coherent pair if there exist non-zero constants such that

One can divide the coherent pairs into two cases: the Jacobi case and the Laguerre case. There are two types for each case: type 1 and 2. We investigate the asymptotic properties and zero distribution of orthogonal polynomials with respect to Sobolev inner product

for the coherent pair : the Jacobi case, type 1.

     

A remark on Gelfand-Kirillov dimension

Let be a finitely generated non-PI Ore domain and the quotient division algebra of . If is the center of , then .

     

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 .

     

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