Algebraic gamma monomials and double coverings of cyclotomic fields

We investigate the properties of algebraic gamma monomials--that is, algebraic numbers which are expressible as monomials in special values of the classical gamma function. Recently Anderson has constructed a double complex , to compute , where is the universal ordinary distribution. We use the double complex to deduce explicit formulae for algebraic gamma monomials. We provide simple proofs of some previously known results of Deligne on algebraic gamma monomials. Deligne used the theory of Hodge cycles for his results. By contrast, our proofs are constructive and relatively elementary. Given a Galois extension , we define a double covering of to be an extension of degree , such that is Galois. We demonstrate that each class gives rise to a double covering of , by . When lifts a canonical basis element indexed by two odd primes, we show that this double covering can be non-abelian. However, if represents any of the canonical basis classes indexed by an odd squarefree positive integer divisible by at least four primes, then the Galois group of is abelian and hence . The may very well be a new supply of abelian units. The relevance of these units to the unit index formula for cyclotomic fields calls for further investigations.

     

Partial differential equations with matricial coefficients and generalized translation operators

Let be the Bessel operator with matricial coefficients defined on by

where is a diagonal matrix and let be an matrix-valued function. In this work, we prove that there exists an isomorphism on the space of even , -valued functions which transmutes and . This allows us to define generalized translation operators and to develop harmonic analysis associated with . By use of the Riemann method, we provide an integral representation and we deduce more precise information on these operators.

     

Rotation topological factors of minimal -actions on the Cantor set

In this paper we study conditions under which a free minimal -action on the Cantor set is a topological extension of the action of rotations, either on the product of -tori or on a single -torus . We extend the notion of linearly recurrent systems defined for -actions on the Cantor set to -actions, and we derive in this more general setting a necessary and sufficient condition, which involves a natural combinatorial data associated with the action, allowing the existence of a rotation topological factor of one of these two types.

     

Definably simple groups in o-minimal structures

Let be a group definable in an o-minimal structure . A subset of is -definable if is definable in the structure (while definable means definable in the structure ). Assume has no -definable proper subgroup of finite index. In this paper we prove that if has no nontrivial abelian normal subgroup, then is the direct product of -definable subgroups such that each is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

     

Characterizations of function spaces on the sphere using frames

In this paper we introduce a polynomial frame on the unit sphere of , for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere , such as , and Besov spaces, can be characterized in terms of the coefficients in the wavelet decompositions, as in the usual Euclidean case . We also study a related nonlinear -term approximation problem on . In particular, we prove both a Jackson-type inequality and a Bernstein-type inequality associated to wavelet decompositions, which extend the corresponding results obtained by R. A. DeVore, B. Jawerth and V. Popov (``Compression of wavelet decompositions', Amer. J. Math. 114 (1992), no. 4, 737-785).

     

The toric -vectors of partially ordered sets

An explicit formula for the toric -vector of an Eulerian poset in terms of the -index is developed using coalgebra techniques. The same techniques produce a formula in terms of the flag -vector. For this, another proof based on Fine's algorithm and lattice-path counts is given. As a consequence, it is shown that the Kalai relation on dual posets, , is the only equation relating the -vectors of posets and their duals. A result on the -vectors of oriented matroids is given. A simple formula for the -index in terms of the flag -vector is derived.

     

On the behavior of the algebraic transfer

Let be the algebraic transfer, which is defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial and, more precisely, that is an isomorphism for . However, Singer showed that is not an epimorphism. In this paper, we prove that does not detect the nonzero element for every . As a consequence, the localized given by inverting the squaring operation is not an epimorphism. This gives a negative answer to a prediction by Minami.

     

Conformal actions of on Lorentz manifolds

We prove that, for , a locally faithful action of or of by conformal transformations of a connected Lorentz manifold must be a proper action.

     

The co-area formula for Sobolev mappings

We extend Federer's co-area formula to mappings belonging to the Sobolev class , , m$">, and more generally, to mappings with gradient in the Lorentz space . This is accomplished by showing that the graph of in is a Hausdorff -rectifiable set.

     

A reduced Tits quadratic form and tameness of three-partite subamalgams of tiled orders

Let be a complete discrete valuation domain with the unique maximal ideal . We suppose that is an algebra over an algebraically closed field and . Subamalgam -suborders of a tiled -order are studied in the paper by means of the integral Tits quadratic form . A criterion for a subamalgam -order to be of tame lattice type is given in terms of the Tits quadratic form and a forbidden list of minor -suborders of presented in the tables.

     

On the representation of integers as linear combinations of consecutive values of a polynomial

Let be a cyclotomic field with ring of integers and let be a polynomial whose values on belong to . If the ideal of generated by the values of on is itself, then every algebraic integer of may be written in the following form:

for some integer , where the 's are roots of unity of . Moreover, there are two effective constants and such that the least integer (for a fixed ) is less than , where

     

Fundamental groups of moduli and the Grothendieck-Teichmüller group

Let denote the moduli space of Riemann spheres with ordered marked points. In this article we define the group of quasi-special symmetric outer automorphisms of the algebraic fundamental group for all to be the group of outer automorphisms respecting the conjugacy classes of the inertia subgroups of and commuting with the group of outer automorphisms of obtained by permuting the marked points. Our main result states that is isomorphic to the Grothendieck-Teichmüller group for all .

     

A classification of one dimensional almost periodic tilings arising from the projection method

For each irrational number , with continued fraction expansion , we classify, up to translation, the one dimensional almost periodic tilings which can be constructed by the projection method starting with a line of slope . The invariant is a sequence of integers in the space and whenever modulo the equivalence relation generated by tail equivalence and . Each tile in a tiling , of slope , is coded by an integer . Using a composition operation, we produce a sequence of tilings . Each tile in gets absorbed into a tile in . A choice of a starting tile in will thus produce a sequence in . This is the invariant.

     

Problème de Dirichlet pour une équation de Monge-Ampère réelle elliptique dégénérée en dimension

RÉSUMÉ. On considère dans un ouvert borné de , à bord régulier, le problème de Dirichlet

où , est positive et s'annule sur un ensemble fini de points de . On démontre alors sous certaines hypothèses sur et si est assez petit, que le problème (1) possède une solution convexe unique .

ABSTRACT. We consider in a bounded open set of , with regular boundary, the Dirichlet problem

where , is positive and vanishes on , a finite set of points in . We prove, under some hypothesis on and if is sufficiently small, that the problem (1) has a unique convex solution .

     

Maximal functions with polynomial densities in lacunary directions

Given a real polynomial in one variable such that , we consider the maximal operator in ,

0\,,\,i,j\in \mathbb{Z}}\frac{1... ...t f\big (x_{1}-2^{i}p(t),x_{2}-2^{j}p(t)\big )\big \vert\,dt . \end{displaymath}">

We prove that is bounded on for 1$"> with bounds that only depend on the degree of .

     

Simple birational extensions of the polynomial algebra

The Abhyankar-Sathaye Problem asks whether any biregular embedding can be rectified, that is, whether there exists an automorphism such that is a linear embedding. Here we study this problem for the embeddings whose image is given in by an equation , where and . Under certain additional assumptions we show that, indeed, the polynomial is a variable of the polynomial ring (i.e., a coordinate of a polynomial automorphism of ). This is an analog of a theorem due to Sathaye (1976) which concerns the case of embeddings . Besides, we generalize a theorem of Miyanishi (1984) giving, for a polynomial as above, a criterion for when .

     

A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .

     

Large rectangular semigroups in Stone-Cech compactifications

We show that large rectangular semigroups can be found in certain Stone-Cech compactifications. In particular, there are copies of the rectangular semigroup in the smallest ideal of , and so, a semigroup consisting of idempotents can be embedded in the smallest ideal of if and only if it is a subsemigroup of the rectangular semigroup. In fact, we show that for any ordinal with cardinality at most , contains a semigroup of idempotents whose rectangular components are all copies of the rectangular semigroup and form a decreasing chain indexed by , with the minimum component contained in the smallest ideal of .

As a fortuitous corollary we obtain the fact that there are -chains of idempotents of length in . We show also that there are copies of the direct product of the rectangular semigroup with the free group on generators contained in the smallest ideal of .

     

Mean convergence of orthogonal Fourier series of modified functions

We construct orthonormal systems (ONS) which are uniformly bounded, complete, and made up of continuous functions such that some continuous and even some arbitrarily smooth functions cannot be modified so that the Fourier series of the new function converges in the -metric for any 2. $"> We prove also that if is a uniformly bounded ONS which is complete in all the spaces , then there exists a rearrangement of the natural numbers such that the system has the strong -property for all 2$">; that is, for every and for every and 0 $">there exists a function which coincides with except on a set of measure less than and whose Fourier series with respect to the system converges in      

Some new results in multiplicative and additive Ramsey theory

There are several notions of largeness that make sense in any semigroup, and others such as the various kinds of density that make sense in sufficiently well-behaved semigroups including and . It was recently shown that sets in which are multiplicatively large must contain arbitrarily large geoarithmetic progressions, that is, sets of the form , as well as sets of the form . Consequently, given a finite partition of , one cell must contain such configurations. In the partition case we show that we can get substantially stronger conclusions. We establish some combined additive and multiplicative Ramsey theoretic consequences of known algebraic results in the semigroups and , derive some new algebraic results, and derive consequences of them involving geoarithmetic progressions. For example, we show that given any finite partition of there must be, for each , sets of the form together with , the arithmetic progression , and the geometric progression in one cell of the partition. More generally, we show that, if is a commutative semigroup and a partition regular family of finite subsets of , then for any finite partition of and any , there exist and such that is contained in a cell of the partition. Also, we show that for certain partition regular families and of subsets of , given any finite partition of some cell contains structures of the form for some .