Orthmodular lattices whose MacNeille completions are not orthomodular

The only known example of an orthomodular lattice (abbreviated: OML) whose MacNeille completion is not an OML has been noted independently by several authors, see Adams [1], and is based on a theorem of Ameniya and Araki [2]. This theorem states that for an inner product space V, if we consider the ortholattice ?(V,⊥) = {A \( \subseteq \) V: A = A ^⊥⊥} where A ^⊥ is the set of elements orthogonal to A, then ?(V,⊥) is an OML if and only if V is complete. Taking the orthomodular lattice L of finite or confinite dimensional subspaces of an incomplete inner product space V, the ortholattice ?(V,⊥) is a MacNeille completion of L which is not orthomodular. This does not answer the longstanding question Can every OML be embedded into a complete OML? as L can be embedded into the complete OML ?(V,⊥), where V is the completion of the inner product space V. Although the power of the Ameniya-Araki theorem makes the preceding example elegant to present, the ability to picture the situation is lost. In this paper, I present a simpler method to construct OMLs whose Macneille completions are not orthomodular. No use is made of the Ameniya-Araki theorem. Instead, this method is based on a construction introduced by Kalmbach [7] in which the Boolean algebras generated by the chains of a lattice are glued together to form an OML. A simple method to complete these OMLs is also given. The final section of this paper briefly covers some elementary properties of the Kalmbach construction. I have included this section because I feel that this construction may be quite useful for many purposes and virtually no literature has been written on it.     

Search

This paper reviews the theory of search. The main viewpoint is statistical but considerable space is spent on connections with other fields such as logic and optimisation. Three primitive ideas dominate: consistency, entropy, and Bayes' methods. The theory of screening provides one of the central examples and there is a section on nonsequential random search deriving from the work of Renyi. The game of Bulls and Cows provides a motivating example for both sequential and nonsequential algorithms.     

Some identities for products and degree raising of splines

In this paper it is shown how the algebraic product of two spline functions, each represented in terms of B-splines, can again be represented as a linear combination of suitable B-splines. As a corollary to this result we obtain an explicit representation of a given B-spline function in terms of B-splines of some arbitrary higher degree. This generalizes some known results for raising the degree by one. Recurrence relations for both products and degree raising are established that may be useful for computation.Communicated by Larry L. Schumaker.     

Differential calculus on quantized simple lie groups

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU _q (2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q are also discussed.     

DeWitt-Schwinger expansion for projective and Grassmann spaces

We propose a method of calculating the heat kernel expansion of coset spaces. The five first coefficients of this expansion on symmetric spaces of dimension d8 are obtained.     

On error estimates of some higher order projection and penalty-projection methods for Navier-Stokes equations

Summary This paper is a continuation of our previous work [10] on projection methods. We study first existing higher order projection schemes in the semidiscretized form for the Navier-Stokes equations. One error analysis suggests that the precision of these schemes is most likely plagued by the inconsistent Neumann boundary condition satisfied by the pressure approximations. We then propose a penalty-projection scheme for which we obtain improved error estimates.This work is partially supported by NSF grant MS-8802596.     

Functional inequality characterizing nonnegative concave functions in (0, ∞) k

Summary In the present note we prove that every functionf: (0, ) [0, ) satisfying the inequalityaf(s) + bf(t) f(as + bt), s, t > 0, for somea andb such that 0 <a < 1 <a + b must be of the formf(t) = f(1)t, (t > 0). This improves our recent result in [2], where the inequality is assumed to hold for alls, t 0, and gives a positive answer to the question raised there.An analogue for functions of several real variables of the above result characterizes concave functions. Conjugate functions and some relations to Hölder's and Minkowski's inequalities are mentioned.     

Some properties of the riesz charge associated with a δ-subharmonic function

The first property is a refinement of earlier results of Ch. de la Vallée Poussin, M. Brelot, and A. F. Grishin. Let w=u–v with u, v superharmonic on a suitable harmonic space (for example an open subset of R ⁿ ), and let [w]=[u]–[v] denote the associated Riesz charge. If w0, and if E denotes the set of those points of at which the lim inf of w in thefine topology is 0, then the restriction of [w] to E is 0. Another property states that, if e denotes a polar subset of such that the fine lim inf of |w| at each point of e is finite, then the restriction of [w] to e is 0.     

On the topology of compact smooth three-dimensional Levi-flat hypersurfaces

We study topological conditions that must be satisfied by a compactC ^∞ Levi-flat hypersurface in a two-dimensional complex manifold, as well as related questions about the holonomy of Levi-flat hypersurfaces. As a consequence of our work, we show that no two-dimensional complex manifold admits a subdomain Ω with compact nonemptyC ^∞ boundary such that Ω ? ?².     

Chern forms,chern numbers and curvature conditions on a Kähler-Einstein surface

In this paper we considered curvature conditions on a Kähler-Einstein surface of general type. In particular we showed that it has negative holomorphic sectional curvature if theL ²-norm of (3C ₂ ?C ₁ ² )/C ₁ ² is sufficiently small, whereC ₁ andC ₂ are the first and second Chern classes of the surfaces. This generalizes a result of Yau on the uniformization of Kähler-Einstein surfaces of general type and with 3C ₂ ?C ₁ ² = 0. Also in the process, we obtain a necessary condition in terms of an inequality between Chern numbers for a Kähler-Einstein metric to have negative holomorphic sectional curvature.