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.

     

A remark on normal derivations

Given a Hilbert space , let be operators on . Anderson has proved that if is normal and , then for all operators . Using this inequality, Du Hong-Ke has recently shown that if (instead) , then for all operators . In this note we improve the Du Hong-Ke inequality to for all operators . Indeed, we prove the equivalence of Du Hong-Ke and Anderson inequalities, and show that the Du Hong-Ke inequality holds for unitarily invariant norms.

     

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.

     

A note on norm attaining functionals

We are concerned in this paper with the density of functionals which do not attain their norms in Banach spaces. Some earlier results given for separable spaces are extended to the nonseparable case. We obtain that a Banach space is reflexive if and only if it satisfies any of the following properties: (i) admits a norm with the Mazur Intersection Property and the set of all norm attaining functionals of contains an open set, (ii) the set of all norm one elements of contains a (relative) weak* open set of the unit sphere, (iii) has and contains a (relative) weak open set of the unit sphere, (iv) is , has and contains a (relative) weak open set of the unit sphere. Finally, if is separable, then is reflexive if and only if contains a (relative) weak open set of the unit 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 .

     

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.

     

Once more nice equations for nice groups

In a previous paper, nice quintinomial equations were given for unramified coverings of the affine line in nonzero characteristic with the projective symplectic isometry group PSp and the (vectorial) symplectic isometry group Sp as Galois groups where is any integer and is any power of . Here we deform these equations to get nice quintinomial equations for unramified coverings of the once punctured affine line in characteristic with the projective symplectic similitude group PGSp and the (vectorial) symplectic similitude group GSp as Galois groups.

     

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 .

     

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.

     

On an Isomorphism Problem for Endomorphism Near-Rings

Suppose and are endomorphism near-rings generated by
groups of automorphisms containing the inner automorphisms of two respective finite perfect groups and . In this note we show that if and are isomorphic, then and are isomorphic.

     

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 .

     

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.

     

Some properties of ordinary sense slice 1-links: some answers to problem (26) of Fox

We prove that, for any ordinary sense slice 1-link , we can define the Arf invariant, and Arf()=0. We prove that, for any -component 1-link , there exists a -component ordinary sense slice 1-link of which is a sublink.

     

Rings of continuous functions and the branch set of a covering

This paper gives a characterization of the branch set of a finite covering of a topological space , by means of finite -subalgebras of that separate points in and the module of its Kähler differentials.

     

-integral bases of a cubic field

A -integral basis of a cubic field is determined for each rational prime , and then an integral basis of and its discriminant are obtained from its -integral bases.

     

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 .

     

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.

     

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.

     

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.

     

A refinement of the Gauss-Lucas theorem

The classical Gauss-Lucas Theorem states that all the critical points (zeros of the derivative) of a nonconstant polynomial lie in the convex hull of the zeros of . It is proved that, actually, a subdomain of contains the critical points of .