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 .

     

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.

     

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 .

     

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.

     

Derived tubular strongly simply connected algebras

Let be a finite dimensional algebra over an algebraically closed field . Assume for a connected quiver and an admissible ideal of . We study algebras which are derived equivalent to tubular algebras. If is strongly simply connected and has more than six vertices, then is derived tubular if and only if (i) the homological quadratic form is a non-negative of corank two and (ii) no vector of is orthogonal (with respect tho the homological bilinear form) to the radical of .

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

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.

     

Associative rings satisfying the Engel condition

Let be a commutative ring, and let be an associative -algebra generated by elements . We show that if satisfies the Engel condition of degree , then is upper Lie nilpotent of class bounded by a function that depends only on and . We deduce that the Engel condition in an arbitrary associative ring is inherited by its group of units, and implies a semigroup identity.

     

Spectrum preserving linear mappings for scattered Jordan-Banach algebras

Given two semisimple complex Jordan-Banach algebras with identity and , we say that is a spectrum preserving linear mapping from to if is surjective and we have , for all . We prove that if is a scattered Jordan-Banach algebra, then is a Jordan isomorphism.

     

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 .

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

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.

     

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

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

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.

     

An application of the regularized Siegel-Weil formula on unitary groups to a theta lifting problem

Let and be the pair of unitary groups over a global field and an irreducible cuspidal representation of which satisfies a certain -function condition. By using a regularized Siegel-Weil formula, we can show that the global theta lifting of in is non-trivial if every local factor of has a local theta lifting (Howe lifting) in .