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.

     

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 .

     

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.

     

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

     

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.

     

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.

     

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 .

     

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.

     

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.

     

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.

     

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.

     

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.

     

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 .

     

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

     

Zero divisors and

Let be a discrete group, the group ring of over and the Lebesgue space of with respect to Haar measure. It is known that if is torsion free elementary amenable, and , then . We will give a sufficient condition for this to be true when , and in the case we will give sufficient conditions for this to be false when .

     

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.

     

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.

     

A characterization for spaces of sections

The space of smooth sections of a bundle over a compact smooth manifold can be equipped with a manifold structure, called an -manifold, where represents the Fréchet algebra of real valued smooth functions on . We prove that the -manifold structure characterizes the spaces of sections of bundles over and its open subspaces. We also describe the -maps between -manifolds.

     

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.