Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

A lower bound for the number of components of the moduli schemes of stable rank 2 vector bundles on projective 3-folds

Fix a smooth projective 3-fold , , with ample, and . Assume the existence of integers with such that is numerically equivalent to . Let be the moduli scheme of -stable rank 2 vector bundles, , on with and . Let be the number ofits irreducible components. Then .

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Ample divisors on the blow up of at points

Fix integers with and ; if assume . Let be general points of the complex projective space and let be the blow up of at with exceptional divisors , . Set . Here we prove that the divisor is ample if and only if , i.e. if and only if .

     

On the semisimplicity of pure sheaves

We obtain a criteria for a pure sheaf to be semisimple. As a corollary, we prove the following: Let and be two schemes over a finite field , and let be a proper smooth morphism. Assume is normal and geometrically connected, and assume there exists a closed point in such that the Frobenius automorphism acts semisimply on , where is the geometric fiber of at (this last assumption is unnecessary if the semisimplicity conjecture is true). Then is a semisimple sheaf on . This verifies a conjecture of Grothendieck and Serre provided the semisimplicity conjecture holds. As an application, we prove that the galois representations of function fields associated to the -adic cohomologies of surfaces are semisimple. We also get a theorem of Zarhin about the semisimplicity of the Galois representations of function fields arising from abelian varieties. The proof relies heavily on Deligne's work on Weil conjectures.

     

On the existence of maximal Cohen-Macaulay modules over root extensions

Let be an unramified regular local ring having mixed characteristic and the integral closure of in a th root extension of its quotient field. We show that admits a finite, birational module such that . In other words, admits a maximal Cohen-Macaulay module.

     

Sur les -corps

Here we give new examples of fields in characteristic whose -invariant and -invariant are different: or . These fields are also -fields.

RSUM. Nous donnons ici de nouveaux exemples de corps en caractéristique dont le -invariant et le -invariant diffèrent. Plus précisément: et ou . Ces corps sont aussi des -corps.

     

The groups of quasiconformal homeomorphisms on Riemann surfaces

Suppose is a connected Riemann surface. Let denote the homeomorphism group of with the compact-open topology, and denote the subgroup of quasiconformal mappings of onto itself, and let and denote the identity components of and respectively. In this paper we show that the pair is an -manifold, and determine their topological types.

     

On free subgroups of units of rings

We prove that if for elements of a ring of characteristic zero and is not nilpotent, then there exists such that the group generated by and is free nonabelian. This is used to prove that a noncommutative positive-definite algebra with involution over an uncountable field contains a free nonabelian subsemigroup.

     

Relative modular theory for a weight

We consider the balanced weight of a semi-finite weight and a (not necessarily faithful) normal positive functional on a von Neumann algebra , and discuss how the modular operator and the modular conjugation are described under the identification of the standard Hilbert space with , where is the support projection of and .

     

Polynomially convex hulls of graphs on the sphere

Let be the graph of a continuous map of the unit sphere of into , and the polynomially convex hull of . Several examples of for are given, which have different properties from the known ones for .

     

A class of 3-dimensional manifolds with bounded first eigenvalue on 1-forms

Let be the framebundle over an oriented, Riemannian surface . Denote by the first nonzero eigenvalue of the Laplace operator acting on differential forms of degree 1. We prove that for all with canonical metrics of volume 1.

     

On the dimension of almost -dimensional spaces

Oversteegen and Tymchatyn proved that homeomorphism groups of positive dimensional Menger compacta are -dimensional by proving that almost -dimensional spaces are at most -dimensional. These homeomorphism groups are almost -dimensional and at least -dimensional by classical results of Brechner and Bestvina. In this note we prove that almost -dimensional spaces for are -dimensional. As a corollary we answer in the affirmative an old question of R. Duda by proving that every hereditarily locally connected, non-degenerate, separable, metric space is -dimensional.

     

Fundamental theorem of geometry without the 1-to-1 assumption

It is proved that any mapping of an -dimensional affine space over a division ring onto itself which maps every line into a line is semi-affine, if and . This result seems to be new even for the real affine spaces. Some further generalizations are also given. The paper is self-contained, modulo some basic terms and elementary facts concerning linear spaces and also - if the reader is interested in other than , , or - division rings.

     

Poncelet's theorem in space

A plane polygon inscribed in a conic and circumscribed to a conic can be continuously `rotated', as it were. One of the many proofs consists in viewing each side of as translation by a torsion point of an elliptic curve. In the -space version, involving torsion points of hyperelliptic Jacobians, there is a -dimensional family of rotations, where of the hyperelliptic curve; the polygon is now inscribed in one and circumscribed to quadrics.

     

On groups with commutators of bounded order

Let be a prime, a non-negative integer. We prove that if is a residually finite group such that for all , then is locally finite.

     

Semilinear transformations

In previous papers, nice trinomial equations were given for unramified coverings of the once punctured affine line in nonzero characteristic with the projective general group and the general linear group as Galois groups where is any integer and is any power of . These Galois groups were calculated over an algebraically closed ground field. Here we show that, when calculated over the prime field, as Galois groups we get the projective general semilinear group and the general semilinear group . We also obtain the semilinear versions of the local coverings considered in previous papers.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .