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.

     

Les transformations de Cremona stellaires

On construit explicitement toutes les transformations de Cremona de qui satisfont à la propriété suivante: il existe tels que les droites par sont envoyées sur les droites par . On caractérise de plusieurs manières ces transformations et pour chaque entier non-négatif on donne des formules pour la dimension de l'ensemble constitué de celles qui ont degré .

ABSTRACT. We construct the Cremona transformations of satisfying the following property: there exist such that the image of all straight lines through are straight lines through . We characterise these transformations, and for all non-negative integer we give a formula for the dimension of the set of those whose degree is .

     

Diagonal type conditions on group C-algebras

Let be a locally compact group with and its enveloping and reduced C-algebras respectively. We show that if is residually finite dimensional, then is maximally almost periodic, and is residually finite dimensional if and only if is both amenable and maximally almost periodic. Letting be the left regular representation of , we show that a certain quasidiagonality condition on implies that is amenable.

     

Sufficient conditions for a linear functional to be multiplicative

A commutative Banach algebra is said to have the property if the following holds: Let be a closed subspace of finite codimension such that, for every , the Gelfand transform has at least distinct zeros in , the maximal ideal space of . Then there exists a subset of of cardinality such that vanishes on , the set of common zeros of . In this paper we show that if is compact and nowhere dense, then , the uniform closure of the space of rational functions with poles off , has the property for all . We also investigate the property for the algebra of real continuous functions on a compact Hausdorff space.

     

A note on triangular derivations of

For a field of characteristic zero, and for each integer , we construct a triangular derivation of whose ring of constants, though finitely generated over , cannot be generated by fewer than elements.

     

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 .

     

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 .

     

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.

     

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 .

     

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.

     

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.     

Derived subgroups and centers of capable groups

A group is said to be capable if it is isomorphic to the central factor group for some group . It is shown in this paper that if is finite and capable, then the index of the center in is bounded above by some function of the order of the derived subgroup . If is cyclic and its elements of order are central, then, in fact, .

     

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.

     

On the commutant of operators of multiplication by univalent functions

Let be a certain Banach space consisting of continuous functions defined on the open unit disk. Let be a univalent function defined on , and assume that denotes the operator of multiplication by . We characterize the structure of the operator such that . We show that for some function in . We also characterize the commutant of under certain conditions.

     

On the Berezin-Toeplitz calculus

We consider the problem of composing Berezin-Toeplitz operators on the Hilbert space of Gaussian square-integrable entire functions on complex -space, . For several interesting algebras of functions on , we have for all in the algebra, where is the Berezin-Toeplitz operator associated with and is a ``twisted' associative product on the algebra of functions. On the other hand, there is a function for which is bounded but for any .

     

Approximating discrete valuation rings by regular local rings

Let be a field of characteristic zero and let be a discrete rank-one valuation domain containing with . Assume that the fraction field of has finite transcendence degree over . For every positive integer , we prove that can be realized as a directed union of regular local -subalgebras of of dimension .

     

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 .

     

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 .

     

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.

     

Proof of Wang's conjecture on subspaces of an inner product space

B.Y. Wang conjectured that if and are subspaces of an -dimensional complex inner product space , and their dimensions are and , respectively, where , then there exists a -dimensional subspace having two orthonormal bases and with and for all .

We prove this conjecture and its real counterpart. The proof is in essence an application of a real version of the Bézout Theorem for the product of several projective spaces.