Moufang loops and alternative algebras

Let be the algebra of classical real octonions or the (split) algebra of octonions over the finite field 2$">. Then the quotient loop of the Moufang loop of all invertible elements of the algebra modulo its center is not embedded into a loop of invertible elements of any alternative algebra.

     

Constraints for the normality of monomial subrings and birationality

Let be a field and let be a finite set of monomials whose exponents lie on a positive hyperplane. We give necessary conditions for the normality of both the Rees algebra and the subring . If the monomials in have the same degree, one of the consequences is a criterion for the -rational map defined by to be birational onto its image.

     

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 .

     

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.

     

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 .

     

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.

     

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.     

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.

     

Tight frame oversampling and its equivalence to shift-invariance of affine frame operators

Let generate a tight affine frame with dilation factor , where , and sampling constant (for the zeroth scale level). Then for , oversampling (or oversampling by ) means replacing the sampling constant by . The Second Oversampling Theorem asserts that oversampling of the given tight affine frame generated by preserves a tight affine frame, provided that is relatively prime to (i.e., ). In this paper, we discuss the preservation of tightness in oversampling, where (i.e., and ). We also show that tight affine frame preservation in oversampling is equivalent to the property of shift-invariance with respect to of the affine frame operator defined on the zeroth scale level.

     

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.

     

Multi-dimensional versions of a theorem of Fine and Wilf and a formula of Sylvester

Let be vectors in which generate . We show that a body with the vectors as edge vectors is an almost minimal set with the property that every function with periods is constant. For the result reduces to the theorem of Fine and Wilf, which is a refinement of the famous Periodicity Lemma.

Suppose is not a non-trivial linear combination of with non-negative coefficients. Then we describe the sector such that every interior integer point of the sector is a linear combination of over , but infinitely many points on each of its hyperfaces are not. For the result reduces to a formula of Sylvester corresponding to Frobenius' Coin-changing Problem in the case of coins of two denominations.

     

A problem of Baernstein on the equality of the -harmonic measure of a set and its closure

A. Baernstein II (Comparison of -harmonic measures of subsets of the unit circle, St. Petersburg Math. J. 9 (1998), 543-551, p. 548), posed the following question: If is a union of open arcs on the boundary of the unit disc , then is , where denotes the -harmonic measure? (Strictly speaking he stated this question for the case .) For the positive answer to this question is well known. Recall that for the -harmonic measure, being a nonlinear analogue of the harmonic measure, is not a measure in the usual sense.

The purpose of this note is to answer a more general version of Baernstein's question in the affirmative when . In the proof, using a deep trace result of Jonsson and Wallin, it is first shown that the characteristic function is the restriction to of a Sobolev function from .

For it is no longer true that belongs to the trace class. Nevertheless, we are able to show equality for the case of one arc for all , using a very elementary argument. A similar argument is used to obtain a result for starshaped domains.

Finally we show that in a certain sense the equality holds for almost all relatively open sets.

     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

On Burch's inequality and a reduction system of a filtration

Let be a multiplicative filtration of a local ring such that the Rees algebra is Noetherian. We recall Burch's inequality for and give an upper bound of the a-invariant of the associated graded ring using a reduction system of . Applying those results, we study the symbolic Rees algebra of certain ideals of dimension .

     

Degenerating families of rank two bundles

We construct families of rank two bundles on , in characteristic two, where for , is a sum of line bundles, and is non-split. We construct families of rank two bundles on , in characteristic , where for , is a sum of line bundles, and is non-split.

     

Obstructions to deformations of d.g. modules

Let be a field and . There exist a differential graded -module and various approximations to a differential on one of which gives a non-trivial deformation, another is obstructed, and another is unobstructed at order . The analogous problem in the category of -algebras in characteristic zero remains a long-standing open question.

     

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.

     

Single elements and module isomorphisms of some operator algebra modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the Alg-module is initiated, where is a completely distributive subspace lattice on a Hilbert space . Furthermore, as an application of single elements, we study module isomorphisms between norm closed Alg-modules, where is a nest, and obtain the following result: Suppose that are norm closed Alg-modules and that is a module isomorphism. Then and there exists a non-zero complex number such that .