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.

     

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 .

     

Sebestyén moment problem: The multi-dimensional case

Given a family of vectors in a Hilbert space we characterize the existence of a family of commuting contractions on having regular dilation and such that

The theorem is a multi-dimensional analogue for some well-known operator moment problems due to Sebestyén in case or, recently, to Gavruta and Paunescu in case .

     

Quadratic initial ideals of root systems

Let be one of the root systems , , and and write for the set of positive roots of together with the origin of . Let denote the Laurent polynomial ring over a field and write for the affine semigroup ring which is generated by those monomials with , where if . Let denote the polynomial ring over and write for the toric ideal of . Thus is the kernel of the surjective homomorphism defined by setting for all . In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal of . The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of , and . It then follows that the convex polytope of the convex hull of each of , and possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings , and is Koszul.     

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.

     

Zero distribution of Müntz extremal polynomials in

Let be a sequence of distinct positive numbers. Let and let denote the extremal Müntz polynomial in with exponents . We investigate the zero distribution of . In particular, we show that if

then the normalized zero counting measure of converges weakly as to

while if or , the limiting measure is a Dirac delta at or , respectively.

     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

On the triple jump of the set of atoms of a Boolean algebra

We prove the following result concerning the degree spectrum of the atom relation on a computable Boolean algebra. Let be a computable Boolean algebra with infinitely many atoms and be the Turing degree of the atom relation of . If is a c.e. degree such that , then there is a computable copy of where the atom relation has degree . In particular, for every c.e. degree , any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree .

     

Codes over and and Hermitian lattices over imaginary quadratic fields

We introduce a family of bi-dimensional theta functions which give uniformly explicit formulae for the theta series of hermitian lattices over imaginary quadratic fields constructed from codes over and , and give an interesting geometric characterization of the theta series that arise in terms of the basic strongly modular lattice . We identify some of the hermitian lattices constructed and observe an interesting pair of nonisomorphic 3/2 dimensional codes over that give rise to isomorphic hermitian lattices when constructed at the lowest level 7 but nonisomorphic lattices at higher levels. The results show that the two alphabets and are complementary and raise the natural question as to whether there are other such complementary alphabets for codes.

     

Trudinger type inequalities in and their best exponents

We study Trudinger type inequalities in and their best exponents . We show for , ( is the surface area of the unit sphere in ), there exists a constant such that

for all . Here is defined by

It is also shown that with is false, which is different from the usual Trudinger's inequalities in bounded domains.

     

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 .

     

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 .

     

Further reductions of Poincaré-Dulac normal forms in

In this paper, we will consider (germs of) holomorphic mappings of the form , defined in a neighborhood of the origin in . Most of our interest is in those mappings where is a germ tangent to the identity and for , and possess no resonances, for these are the so-called Poincaré-Dulac normal forms of the mappings . We construct formal normal forms for these mappings and discuss a condition which tests for the convergence or divergence of the conjugating maps, giving specific examples.

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

An extremal problem of quasiconformal mappings

In this paper, the following problem is studied. Let and be two domains in the complex plane with . Suppose that are two quasiconformal mappings satisfying . Let be the mapping in defined by (). If both and are uniquely extremal, is always uniquely extremal? It is shown in this paper that the answer to this problem is no.

     

Purely infinite, simple -algebras arising from free product constructions. III

In the reduced free product of C-algebras, with respect to faithful states and , is purely infinite and simple if is a reduced crossed product for an infinite group, if is well behaved with respect to this crossed product decomposition, if and if is not a trace.     

The Wiener transform on the Besicovitch spaces

In his fundamental research on generalized harmonic analysis, Wiener proved that the integrated Fourier transform defined by is an isometry from a nonlinear space of functions of bounded average quadratic power into a nonlinear space of functions of bounded quadratic variation. We consider this Wiener transform on the larger, linear, Besicovitch spaces defined by the norm . We prove that maps continuously into the homogeneous Besov space for and , and is a topological isomorphism when .

     

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.

     

The structure of quantum spheres

We show that the C*-algebra of a quantum sphere , 1$">, consists of continuous fields of operators in a C*-algebra , which contains the algebra of compact operators with , such that is a constant function of , where is the quotient map and is the unit circle.