Commutativity of the Arens product in lattice ordered algebras

Let be an Abelian Archimedean lattice ordered algebra. The order bidual furnished with the Arens product is again a lattice ordered algebra. We show that the order continuous order bidual is Abelian. This solves an open problem and improves a result of Scheffold, who proved it for the case of normed lattice ordered algebras. The proof is based on the up-down-up approximation of positive elements in the order continuous order bidual by elements in the canonical image of in Components of positive elements in are characterized and the result is applied to the Arens product of -and almost -algebras.     

Superlocals in Symmetric and Alternating Groups

On Aschbacher's definition, a subgroup N of a finite group is called a -superlocal for a prime if . We describe the -superlocals in symmetric and alternating groups, thereby resolving part way Problem 11.3 in the Kourovka Notebook [3].     

Image inverse d'un D-module and Newton Polygon)

We show that, under conditions about the microcharacteristic variety of a coherent -module, the Cauchy problem is well-posed in the spaces of formal power series with Gevrey growth. We deduce that the filtration of the Irregularity Sheaf of a holonomic -module, which we defined in a previous work, is preserved under inverse image if some rather general geometric conditions are fullfilled.     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

Semiclassical $$\bar \partial $$ -Method: Generating Equations for Dispersionless Integrable Hierarchies

We use the semiclassical -dressing method to derive compact generating equations for dispersionless hierarchies. The considered illustrative examples are the dispersionless Kadomtsev–Petviashvili and two-dimensional Toda lattice hierarchies.     

\mathcal{Q}-Universal Quasivarieties of Graphs

It is proved that a quasivariety K of undirected graphs without loops is -universal if and only if K contains some non-bipartite graph.     

The Local Stark Conjecture at a Real Place

A refinement of the rank 1 Abelian Stark conjecture has been formulated by B.Gross. This conjecture predicts some -adic analytic nature of a modification of the Stark unit. The conjecture makes perfect sense even when is an Archimedean place. Here we consider the conjecture when is a real place, and interpret it in terms of 2-adic properties of special values of L-functions. We prove the conjecture for CM extensions; here the original Stark conjecture is uninteresting, but the refined conjecture is nontrivial. In more generality, we show that, under mild hypotheses, if the subgroup of the Galois group generated by complex conjugations has less than full rank, then the refined conjecture implies that the Stark unit should be a square. This phenomenon has been discovered by Dummit and Hayes in a particular type of situation. We show that it should hold in much greater generality.     

Sur la cohomologie à supports compacts des variétés de Shimura pour GSp(4)_\mathbb{Q}

In this paper we compute the cohomology with compact supports of a Siegelthreefold as a virtual module over the product of the Galois group of over and the Hecke algebra. We use a method which has been developed by Ihara, Langlands and Kottwitz: comparison of the Grothendieck--Lefschetz formula and the Arthur--Selberg trace formula.     

Quasiconformal Mappings and Solutions of the Dispersionless KP Hierarchy

A formalism for studying dispersionless integrable hierarchies is applied to the dispersionless KP (dKP) hierarchy. We relate this formalism to the theory of quasiconformal mappings on the plane and present some classes of explicit solutions of the dKP hierarchy.     

Some New Extrapolation Estimates for the Scale of Spaces

Using new extrapolation estimates for the - and -functionals of couples of limit spaces of the -scale , we introduce a class of extrapolation functors. A characterization of this class via the real interpolation method permits one to obtain new equivalent expressions for the norms in symmetric spaces close to and , which depend only on the -norms of a function.     

Initial Segments in Rogers Semilattices of \Sigma _n^0 -Computable Numberings

S. Goncharov and S. Badaev showed that for , there exist infinite families whose Rogers semilattices contain ideals without minimal elements. In this connection, the question was posed as to whether there are examples of families that lack this property. We answer this question in the negative. It is proved that independently of a family chosen, the class of semilattices that are principal ideals of the Rogers semilattice of that family is rather wide: it includes both a factor lattice of the lattice of recursively enumerable sets modulo finite sets and a family of initial segments in the semilattice of -degrees generated by immune sets.     

Domination in generalized Petersen graphs

Generalized Petersen graphs are certain graphs consisting of one quadratic factor. For these graphs some numerical invariants concerning the domination are studied, namely the domatic number , the total domatic number and the -ply domatic number for and . Some exact values and some inequalities are stated.     

The mean curvature of cylindrically bounded submanifolds

We give an estimate of the mean curvature of a complete submanifold lying inside a closed cylinder in a product Riemannian manifold . It follows that a complete hypersurface of given constant mean curvature lying inside a closed circular cylinder in Euclidean space cannot be proper if the circular base is of sufficiently small radius. In particular, any possible counterexample to a conjecture of Calabi on complete minimal hypersurfaces cannot be proper. As another application of our method, we derive a result about the stochastic incompleteness of submanifolds with sufficiently small mean curvature. Dedicated to Professor Manfredo P. do Carmo on the occasion of his 80th birthday.     

Geometric realizations of curvature models by manifolds with constant scalar curvature

We show any pseudo-Riemannian curvature model can be geometrically realized by a manifold with constant scalar curvature. We also show that any pseudo-Hermitian curvature model, para-Hermitian curvature model, hyper-pseudo-Hermitian curvature model, or hyper-para-Hermitian curvature model can be realized by a manifold with constant scalar and -scalar curvature.     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

Some topological properties of ω-covering sets

We prove the following theorems:1. There exists an -covering with the property s ₀.2. Under cov there exists X such that is not an -covering orX \ B is not an -covering].3. Also we characterize the property of being an -covering.     

Lp Contraction Semigroups for Vector Valued Functions

Let be a contraction semigroup on the space of vector valued functions ( is a Hilbert space). In order to study the extension of to a contaction semigroup on , Shigekawa [Sh] studied recently the domination property where is a symmetric sub-Markovian semigroup on . He gives in the setting of square field operators sufficient conditions for the above inequality. The aim of the present paper is to show that the methods of [12] and [13] can be applied in the present setting and provide two ways for the extension of to We give necessary and sufficient conditions in terms of sesquilinear forms for the contractivity property as well as for the above domination property in a more general situation.     

Solving the Sum-of-Ratios Problem by an Interior-Point Method

We consider the problem of minimizing the sum of a convex function and of p1 fractions subject to convex constraints. The numerators of the fractions are positive convex functions, and the denominators are positive concave functions. Thus, each fraction is quasi-convex. We give a brief discussion of the problem and prove that in spite of its special structure, the problem is -complete even when only p=1 fraction is involved. We then show how the problem can be reduced to the minimization of a function of p variables where the function values are given by the solution of certain convex subproblems. Based on this reduction, we propose an algorithm for computing the global minimum of the problem by means of an interior-point method for convex programs.