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.

     

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.

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

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 .

     

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 .

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

Polynomial approximation on real-analytic varieties in

We prove: Let be a compact real-analytic variety in . Assume (i) is polynomially convex and (ii) every point of is a peak point for . Then . This generalizes a previous result of the authors on polynomial approximation on three-dimensional real-analytic submanifolds of .

     

Solution to a problem of S. Payne

A problem posed by S. Payne calls for determination of all linearized polynomials such that and are permutations of and respectively. We show that such polynomials are exactly of the form with and . In fact, we solve a -ary version of Payne's problem.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

The dual spectral set conjecture

Suppose that where are real numbers such that and The union is not assumed to be disjoint. It is shown that the translates , , tile the real line for some bounded measurable set if and only if the exponentials , , form an orthogonal basis for some bounded measurable set

     

Some remarks on totally imperfect sets

We prove the following two theorems.

Theorem 1. Let be a strongly meager subset of . Then it is dual Ramsey null.

We will say that a -ideal of subsets of satisfies the condition iff for every , if

then .

Theorem 2. The -ideals of perfectly meager sets, universally meager sets and perfectly meager sets in the transitive sense satisfy the condition .

     

On the use of the topological degree theory in broken orbits analysis

Dynamical systems in are studied. Let be a bounded open set. We will be interested in those periodic orbits such that at least one of its points lies inside and at least one of its points lies outside ; the orbits with this property are called -broken. Information about the structure of the set of -broken orbits is suggested; results are formulated in terms of topological degree theory.

     

A classification of rapidly growing Ramsey functions

Let be a number-theoretic function. A finite set of natural numbers is called -large if . Let be the Paris Harrington statement where we replace the largeness condition by a corresponding -largeness condition. We classify those functions for which the statement is independent of first order (Peano) arithmetic . If is a fixed iteration of the binary length function, then is independent. On the other hand is provable in . More precisely let where denotes the -times iterated binary length of and denotes the inverse function of the -th member of the Hardy hierarchy. Then is independent of (for ) iff .

     

Global properties of the lattice of classes

Let be the lattice of classes of reals. We show there are exactly two possible isomorphism types of end intervals, . Moreover, finiteness is first order definable 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.

     

Second cohomology group of group algebras with coefficients in iterated duals

In this paper we show that the first cohomology group is zero for every odd and for every -set . In the case when is a discrete group, this is a generalization of the following result of Dales et al.: for any locally compact group , is -weakly amenable.

Next we show that the second cohomology group is a Banach space. Finally, for every locally compact group we show that is a Banach space for every odd .

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.