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.

     

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 .

     

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.

     

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.

     

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 .

     

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 .

     

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.

     

Catenarity in module-finite algebras

The main theorem says that any module-finite (but not necessarily commutative) algebra over a commutative Noetherian universally catenary ring is catenary. Hence the ring is catenary if is Cohen-Macaulay. When is local and is a Cohen-Macaulay -module, we have that is a catenary ring, for any , and the equality holds true for any pair of prime ideals in and for any saturated chain of prime ideals between and .

     

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 .

     

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 .

     

Gradient estimates for positive solutions of the Laplacian with drift

Let be a complete Riemannian manifold of dimension without boundary and with Ricci curvature bounded below by where If is a vector field such that and on for some nonnegative constants and then we show that any positive solution of the equation satisfies the estimate

on , for all In particular, for the case when this estimate is advantageous for small values of and when it recovers the celebrated Liouville theorem of Yau (Comm. Pure Appl. Math. 28 (1975), 201-228).

     

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.

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.

     

Completeness of eigenvectors of group representations of operators whose Arveson spectrum is scattered

We establish the following result.

Theorem. Let be a integrable bounded group representation whose Arveson spectrum is scattered. Then the subspace generated by all eigenvectors of the dual representation is dense in Moreover, the closed subalgebra generated by the operators () is semisimple.

If, in addition, does not contain any copy of then the subspace spanned by all eigenvectors of is dense in Hence, the representation is almost periodic whenever it is strongly continuous.

     

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.

     

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.