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

     

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

     

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.

     

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.

     

Eigenvalues of the form valued Laplacian for Riemannian submersions

Let be a Riemannian submersion of closed manifolds. Let be an eigen -form of the Laplacian on with eigenvalue which pulls back to an eigen -form of the Laplacian on with eigenvalue . We are interested in when the eigenvalue can change. We show that , so the eigenvalue can only increase; and we give some examples where , so the eigenvalue changes. If the horizontal distribution is integrable and if is simply connected, then , so the eigenvalue does not change.

     

Enveloping algebras of lie color algebras: primeness versus graded-primeness

Let be a finite abelian group and let be a, possibly restricted, -graded Lie color algebra. Then the enveloping algebra is also -graded, and we consider the question of whether being graded-prime implies that it is prime. The first section of this paper is devoted to the special case of Lie superalgebras over a field of characteristic . Specifically, we show that if and if has a unique minimal graded-prime ideal, then this ideal is necessarily prime. As will be apparent, the latter result follows quickly from the existence of an anti-automorphism of whose square is the automorphism of the enveloping algebra associated with its -grading. The second section, which is independent of the first, studies more general Lie color algebras and shows that if is graded-prime and if most homogeneous components of are infinite dimensional over , then is prime. Here we use -methods to study the grading on the extended centroid of . In particular, if is generated by the infinite support of , then we prove that is homogeneous.

     

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.

     

Probability measures in -algebras in Hilbert spaces with conjugation

Let be a real -algebra of -real bounded operators containing no central summand of type in a complex Hilbert space with conjugation . Denote by the quantum logic of all -orthogonal projections in the von Neumann algebra . Let be a probability measure. It is shown that contains a finite central summand and there exists a normal finite trace on such that , .

     

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.

     

Properties of subgenerators of regularized semigroups

We introduce two operations , in the set of subgenerators of a given - regularized semigroup and prove that is a complete partially ordered lattice with respect to , and the operator inclusion . Also presented are some other properties and examples for

     

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.

     

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 .

     

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.

     

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.

     

Ensembles sur lesquels les polynômes sont déterminés par leur image

Let be a non-empty subset of the complex plane , and , two complex polynomials. If and having the same image on implies , we say that is a generalized unicity set (for polynomials). We construct in this paper a subset of such that and are generalized unicity sets, and we give an example of a generalized unicity set which is open, connected and unbounded.

RÉSUMÉ. Soit un sous-ensemble non vide du plan complexe , et , deux fonctions polynômes à coefficients complexes. Si l'égalité entraîne , on dira que est un ensemble d'unicité généralisée (pour les polynômes). On construit dans cet article un sous-ensemble de tel que et sont d'unicité généralisée, et on donne aussi l'exemple d'un ensemble d'unicité généralisée qui est ouvert, connexe et non borné.