Hyperelliptic jacobians and simple groups

In a previous paper, the author proved that in characteristic zero the jacobian of a hyperelliptic curve has only trivial endomorphisms over an algebraic closure of the ground field if the Galois group of the irreducible polynomial is either the symmetric group or the alternating group . Here 4$"> is the degree of . In another paper by the author this result was extended to the case of certain ``smaller' Galois groups. In particular, the infinite series and were treated. In this paper the case of and is treated.

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

An order characterization of commutativity for -algebras

In this paper, we investigate the problem of when a -algebra is commutative through operator-monotonic increasing functions. The principal result is that the function is operator-monotonic increasing on a -algebra if and only if is commutative. Therefore, -algebra is commutative if and only if in for all positive elements in .

     

Revisiting two theorems of Curto and Fialkow on moment matrices

We revisit two results of Curto and Fialkow on moment matrices. The first result asserts that every sequence whose moment matrix is positive semidefinite and has finite rank is the sequence of moments of an -atomic nonnegative measure on . We give an alternative proof for this result, using algebraic tools (the Nullstellensatz) in place of the functional analytic tools used in the original proof of Curto and Fialkow. An easy observation is the existence of interpolation polynomials at the atoms of the measure having degree at most if the principal submatrix of (indexed by all monomials of degree ) has full rank . This observation enables us to shortcut the proof of the following result. Consider a basic closed semialgebraic set , where and . If is positive semidefinite and has a flat extension such that all localizing matrices are positive semidefinite, then has an atomic representing measure supported by . We also review an application of this result to the problem of minimizing a polynomial over the set .

     

A simple closure condition for the normal cone intersection formula

In this paper it is shown that if and are two closed convex subsets of a Banach space and , then whenever the convex cone, , is weak* closed, where and are the support function and the normal cone of the set respectively. This closure condition is shown to be weaker than the standard interior-point-like conditions and the bounded linear regularity condition.

     

Reduction numbers and initial ideals

The reduction number of a standard graded algebra is the least integer such that there exists a minimal reduction of the homogeneous maximal ideal of such that . Vasconcelos conjectured that where is the initial ideal of an ideal in a polynomial ring with respect to a term order. The goal of this note is to prove the conjecture.

     

Character degrees and local subgroups of -separable groups

Let be a finite -solvable group for different primes and . Let and be such that . We prove that every of -degree has -degree if and only if and .

     

Bounds for the index of the centre in capable groups

A group is called capable if it is isomorphic to for some group . Let be a capable group. I. M. Isaacs (2001) showed that if is finite, then the index of the centre is bounded above by some function of . We show that if , then with some constant and this bound is essentially best possible. We complete a result of Isaacs, showing that if is a cyclic group, then .

     

Critical points of the area functional of a complex closed curve on the manifold of Kähler metrics

We consider a compact complex manifold of dimension that admits Kähler metrics and we assume that is a closed complex curve. We denote by the space of classes of Kähler forms that define Kähler metrics of volume 1 on and define by . We show how the Riemann-Hodge bilinear relations imply that any critical point of is the strict global minimum and we give conditions under which there is such a critical point : A positive multiple of is the Poincaré dual of the homology class of . Applying this to the Abel-Jacobi map of a curve into its Jacobian, , we obtain that the Theta metric minimizes the area of within all Kähler metrics of volume 1 on .

     

Irreducible plane curves with the Albanese dimension 2

Let be a plane curve given by an equation , and let be the affine plane curve given by . Let denote a cyclic covering of determined by . The number is called the Albanese dimension of . In this article, we shall give examples of with the Albanese dimension 2.

     

A sheaf of Hochschild complexes on quasi-compact opens

For a scheme , we construct a sheaf of complexes on such that for every quasi-compact open , is quasi-isomorphic to the Hochschild complex of (Lowen and Van den Bergh, 2005). Since is moreover acyclic for taking sections on quasi-compact opens, we obtain a local to global spectral sequence for Hochschild cohomology if is quasi-compact.

     

``Beurling type' subspaces of and

In this note we extend the ``Beurling type' characterizations of subspaces of and to and , respectively.

     

Essential numerical range of elementary operators

Let and denote two -tuples of operators with and Let denote the elementary operators defined on the Hilbert-Schmidt class by We show that

Here is the essential numerical range, is the joint numerical range and is the joint essential numerical range.

     

Self-normalizing Sylow subgroups

Using the classification of finite simple groups we prove the following statement: Let 3$"> be a prime, a group of automorphisms of -power order of a finite group , and a -invariant Sylow -subgroup of . If is trivial, then is solvable. An equivalent formulation is that if has a self-normalizing Sylow -subgroup with 3$"> a prime, then is solvable. We also investigate the possibilities when .

     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

Stable rank of corner rings

B. Blackadar recently proved that any full corner in a unital C*-algebra has K-theoretic stable rank greater than or equal to the stable rank of . (Here is a projection in , and fullness means that .) This result is extended to arbitrary (unital) rings in the present paper: If is a full idempotent in , then . The proofs rely partly on algebraic analogs of Blackadar's methods and partly on a new technique for reducing problems of higher stable rank to a concept of stable rank one for skew (rectangular) corners . The main result yields estimates relating stable ranks of Morita equivalent rings. In particular, if where is a finitely generated projective generator, and can be generated by elements, then .

     

Sur une question de capitulation

Let and be prime numbers such that and . Let , , and let be the 2-Hilbert class field of , the 2-Hilbert class field of and the Galois group of . The 2-part of the class group of is of type , so contains three extensions . Our goal is to study the problem of capitulation of the 2-classes of in , and to determine the structure of .

RSESUM´E. Soient et deux nombres premiers tels que et , , , , le 2-corps de classes de Hilbert de , le 2-corps de classes de Hilbert de et le groupe de Galois de . La 2-partie du groupe de classes de est de type , par suite contient trois extensions . On s'intéresse au problème de capitulation des 2-classes de dans , et à déterminer la structure de .

     

A splitting theorem for degrees

We prove that, for any , and with _{T}A\oplus U$"> and r.e., in , there are pairs and such that ; ; and, for any and from and any set , if and , then . We then deduce that for any degrees , , and such that and are recursive in , , and is into , can be split over avoiding . This shows that the Main Theorem of Cooper (Bull. Amer. Math. Soc. 23 (1990), 151-158) is false.

     

A proof of Weinberg's conjecture on lattice-ordered matrix algebras

Let be a subfield of the field of real numbers and let () be the matrix algebra over . It is shown that if is a lattice-ordered algebra over in which the identity matrix 1 is positive, then is isomorphic to the lattice-ordered algebra with the usual lattice order. In particular, Weinberg's conjecture is true.

     

Menger curvature and regularity of fractals

We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .