The point spectrum of Frobenius-Perron and Koopman operators

We present some results on the point spectrum of the Frobenius-Perron operator and the Koopman operator associated with a nonsingular transformation on a -finite measure space .

     

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

     

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 .

     

Subnormal Subgroups of Group Ring Units

Let be an arbitrary group. If satisfies , , then the units , generate a nonabelian free subgroup of units. As an application we show that if is contained in an almost subnormal subgroup of units in then either contains a nonabelian free subgroup or all finite subgroups of are normal. This was known before to be true for finite groups only.

     

Subaveraging estimate for

Let be a smooth real hypersurface of and a compact submanifold of . We generalize a result of A. Boggess and R. Dwilewicz giving, under some geometric conditions on and , an estimate of the submeanvalue on of any function on a neighbourhood of , by the norm of on a neighbourhood of in .

     

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.

     

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 .

     

Products of similar matrices

Let and be matrices of determinant over a field , with or . We show that if is not a scalar matrix, then is a product of matrices similar to . Analogously, we conjecture that if and are elements of a semisimple algebraic group over a field of characteristic zero, and if there is no normal subgroup of containing but not , then is a product of conjugates of . The conjecture is verified for orthogonal groups and symplectic groups, and for all semisimple groups over local fields. Thus, in a connected, semisimple Lie group with finite center, the only conjugation-invariant subsemigroups are the normal subgroups.

     

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.

     

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.

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

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 .

     

Every complete doubling metric space carries a doubling measure

We prove that a complete metric space carries a doubling measure if and only if is doubling and that more precisely the infima of the homogeneity exponents of the doubling measures on and of the homogeneity exponents of are equal. We also show that a closed subset of carries a measure of homogeneity exponent . These results are based on the case of compact due to Volberg and Konyagin.

     

Lie Incidence Systems from Projective Varieties

The homogeneous space , where is a simple algebraic group and a parabolic subgroup corresponding to a fundamental weight (with respect to a fixed Borel subgroup of in ), is known in at least two settings. On the one hand, it is a projective variety, embedded in the projective space corresponding to the representation with highest weight . On the other hand, in synthetic geometry, is furnished with certain subsets, called lines, of the form where is a preimage in of the fundamental reflection corresponding to and . The result is called the Lie incidence structure on . The lines are projective lines in the projective embedding. In this paper we investigate to what extent the projective variety data determines the Lie incidence structure.

     

A note on the cohomology of finitary modules

Let be a group, a division ring and a -module. is called finitary provided that is finite dimensional for all . We investigate the first and second degree cohomology of finitary modules in terms of a local system for .

     

A counterexample to a question of R. Haydon, E. Odell and H. Rosenthal

We give an example of a compact metric space , an open dense subset of , and a sequence in which is pointwise convergent to a non-continuous function on , such that for every there exists with for all , yet is equivalent to the unit vector basis of the James quasi-reflexive space of order 1. Thus does not embed isomorphically in the closed linear span of . This answers in the negative a question asked by H. Haydon, E. Odell and H. Rosenthal.

     

Inradius and integral means for green's functions and conformal mappings

Let be a convex planar domain of finite inradius . Fix the point and suppose the disk centered at and radius is contained in . Under these assumptions we prove that the symmetric decreasing rearrangement in of the Green's function , for fixed , is dominated by the corresponding quantity for the strip of width . From this, sharp integral mean inequalities for the Green's function and the conformal map from the disk to the domain follow. The proof is geometric, relying on comparison estimates for the hyperbolic metric of with that of the strip and a careful analysis of geodesics.

     

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 .