Ideals associated with realcompactness in pointfree function rings

Abstract

Let RL denote the ring of continuous real-valued functions on a com- pletely regular frame L. The support of an α ∈ RL is the closed quotient ↑(coz α)?. We show that if supports are coz-quotients in L, then the set of functions with realcompact support is an ideal. If L satisfies the stronger condition that supports are C-quotients, then this ideal is the intersection of pure parts of the free maximal ideals of RL. The set of functions whose cozeroes are realcompact is always an ideal, which is free if and only if L is locally realcompact if and only if L is (isomorphic to) an open quotient of υL. Further, this ideal is prime if and only if it is a free real maximal ideal if and only if υL → L is a one-point extension of L.     

On covered prime elements and complete homomorphisms of frames

Abstract

It is a standard fact that the right adjoints h_* of general frame homomor- phisms h : L → M send prime elements to prime elements. Unlike this, the preservation of covered prime elements by complete frame homomorphism is a special fact. Indeed, if L is totally ordered this happens (for arbitrary M) if and only if L is well-ordered. On the other hand, if M is both a frame and a co-frame there is no restriction on L.

This work was motivated by the fact that, in an earlier paper, we erroneously claimed h_* preserves covered primeness for any complete frame homomorphism h.     

Some isomorphically polyhedral orlicz sequence spaces

A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and isc ₀-saturated, i.e., each closed infinite dimensional subspace contains an isomorph ofc ₀. In this paper, we show that the Orlicz sequence spaceh _M is isomorphic to a polyhedral Banach space if lim _t→0 M(Kt)/M(t)=∞ for someK<∞. We also construct an Orlicz sequence spaceh _M which isc ₀-saturated, but which is not isomorphic to any polyhedral Banach space. This shows that beingc ₀-saturated and having a separable dual are not sufficient for a Banach space to be isomorphic to a polyhedral Banach space.     

Pseudocomplemented semilattices are finite-to-finite relatively universal

It is shown that the category of directed graphs is isomorphic to a subcategory of the variety S of all pseudocomplemented semilattices which contains all homomorphisms whose images do not lie in the subvariety B of all Boolean pseudocomplemented semilattices. Moreover, the functor exhibiting the isomorphism may be chosen such that each finite directed graph is assigned a finite pseudocomplemented semilattice. That is to say, it is shown that the variety S of all pseudocomplemented semilattices is finite-to-finite B-relatively universal. This illustrates the complexity of the endomorphism monoids of pseudocomplemented semilattices since it follows immediately that, for any monoid M, there exists a proper class of non-isomorphic pseudocomplemented semilattices such that, for each member S, the endomorphisms of S which do not have an image contained in the skeleton of S form a submonoid of the endomorphism monoid of S which is isomorphic to M. Received June 17, 2006; accepted in final form May 8, 2007.     

Topologies on central extensions of von Neumann algebras

Given a von Neumann algebra M, we consider the central extension E(M) of M. We introduce the topology t _c(M) on E(M) generated by a center-valued norm and prove that it coincides with the topology of local convergence in measure on E(M) if and only if M does not have direct summands of type II. We also show that t _c(M) restricted to the set E(M) _h of self-adjoint elements of E(M) coincides with the order topology on E(M) _h if and only if M is a σ-finite type I_fin von Neumann algebra.     

Fuzzy prime Boolean filters and their operations in IMT L-algebras

Some characterizations of fuzzy prime Boolean filters of IMT L-algebras are given. The lattice operations and the order-reversing involution on the set PB(M) of all fuzzy prime Boolean filters of IMT L-algebras are defined. It is showed that the set PB(M) endowed with these operations is a complete quasi-Boolean algebra (a distributive complete lattice with an order-reversing involution). It is derived that the algebra M=F, which is the set of all cosets of F, is isomorphic to the Boolean algebra {0; 1} if F is a fuzzy prime Boolean filter. By introducing an adjoint pair on PB(M), it is proved that the set PB(M) is also a residuated lattice.     

A synopsis of Combinatorial Integral Geometry

A Lie coalgebra is a coalgebra whose comultiplication Δ : M → M ? M satisfies the Lie conditions. Just as any algebra A whose multiplication ? : A ? A → A is associative gives rise to an associated Lie algebra $\text{L}$(A), so any coalgebra C whose comultiplication Δ : C → C ? C is associative gives rise to an associated Lie coalgebra $\text{L}$^c(C). The assignment C ? $\text{L}$^c(C) is functorial. A universal coenveloping coalgebra Uc(M) is defined for any Lie Lie coalgebra M by asking for a right adjoint U^c to $\text{L}$^c. This is analogous to defining a universal enveloping algebra U(L) for any Lie algebra L by asking for a left adjoint U to the functor $\text{L}$. In the case of Lie algebras, the unit (i.e., front adjunction) 1 → $\text{L}$ o U of the adjoint functor pair U ? $\text{L}$ is always injective. This follows from the Poincaré-Birkhoff-Witt theorem, and is equivalent to it in characteristic zero (x = 0). It is, therefore, natural to inquire about the counit (i.e., back adjunction) $\text{L}$^c o U^c → 1 of the adjoint functor pair $\text{L}$^c ? U^c.Theorem. For any Lie coalgebra M, the natural map$\text{L}$^c(U^cM) → M is surjective if and only if M is locally finite, (i.e., each element of M lies in a finite dimensional sub Lie coalgebra of M).An example is given of a non locally finite Lie coalgebra. The existence of such an example is surprising since any coalgebra C whose diagonal Δ is associative is necessarily locally finite by a result of that theory. The present paper concludes with a development of an analog of the Poincaré-Birkhoff-Witt theorem for Lie algebras which we choose to call the Dual Poincaré-Birkhoff-Witt Theorem and abbreviate by “The Dual PBWθ.” The constraints of the present paper, however, allow only a sketch of this theorem. A complete proof will appear in a subsequent paper. The reader may, however, consult [12], in the meantime, for details. The Dual PBWθ shows for any locally finite Lie coalgebra M the existence (in χ = 0) of a natural isomorphism of the graded Hopf algebras ₀E(U^cM) and ₀E(S^cM) associated to U^cM and to S^cM = U^c(TrivM) when U^c(M) and S^c(M) are given the Lie filtrations. [Just as U^c(M) is the analog of the enveloping algebra U(L) of a Lie algebra L, so S^c(V) is the analog of the symmetric algebra S(V) on a vector space V. Triv(M) denotes the trivial Lie coalgebra structure on the underlying vector space of M obtained by taking the comultiplication to be the zero map.]     

Vector bundles on ruled Fano 3-folds

Let be a ruled Fano 3-fold. The goal of this paper is to compute the dimension, prove the irreducibility and smoothness and describe the structure of the moduli space M _L (2;c ₁,c ₂) of L-stable, rank 2 vector bundles E on X with certain Chern classes and for a suitable polarization L closely related to c ₂. More precisely, we will cover the study of some moduli spaces M _L (2;c ₁,c ₂) such that the generic point is given as a non-trivial extension of line bundles. This work nicely reflects the general philosophy that moduli spaces inherits a lot of geometrical properties of the underlying variety. Received: 16 February 1999 / Revised version: 2 July 1999     

ENSS' Theory in Long Range Scattering: Second Order Hyperbolic and Parabolic Operators

We prove asymptotic completeness using ENSS' method for h₀(P) + W_S(Q) + W_L(Q) where h₀: Rⁿ → R is a polynomial of degree 2 with lim lim_|ξ|→∞h₀(ξ)| + |Δh₀(ξ)| = ∞, W_S a short range potential and W_L a smooth long range potential.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

The State Space of K 0 of Exchange Rings

ABSTRACT

For a directly finite exchange ring R which satisfies general comparability, we construct all extreme points of the state space S(V(R),? R?), where V(R) denotes the monoid of all isomorphic classes of finitely generated projective R-modules. From this, we further prove that S((K ₀(R),[R])) is affinely homeomorphic to M ₁ ⁺(BS(R)), where BS(R) denotes the spectrum of the Boolean algebra B(R) of all central idempotents in R, and M ⁺ ₁(BS(R)) the set of all probability measures on BS(R). These generalize the corresponding results on regular rings. Particularly, all of our results hold for exchange rings with all the idempotents central.     

Irreducible Width 2 Posets of Linear Discrepancy 3

The linear discrepancy of a poset P is the least k such that there is a linear extension L of P such that if x and y are incomparable in P, then |h _L (x) − h _L (y)| ≤ k, where h _L (x) is the height of x in L. Tannenbaum, Trenk, and Fishburn characterized the posets of linear discrepancy 1 as the semiorders of width 2 and posed the problem for characterizing the posets of linear discrepancy 2. Howard et al. (Order 24:139–153, 2007) showed that this problem is equivalent to finding all posets of linear discrepancy 3 such that the removal of any point reduces the linear discrepancy. In this paper we determine all of these minimal posets of linear discrepancy 3 that have width 2. We do so by showing that, when removing a specific maximal point in a minimal linear discrepancy 3 poset, there is a unique linear extension that witnesses linear discrepancy 2. The first author was supported during this research by National Science foundation VIGRE grant DMS-0135290.     

Estimates for maximal functions associated with hypersurfaces in ℝ<Superscript>3</Superscript> and related problems of harmonic analysis

We study the boundedness problem for maximal operators M \mathcal{M} associated with averages along smooth hypersurfaces S of finite type in 3-dimensional Euclidean space. For p > 2, we prove that if no affine tangent plane to S passes through the origin and S is analytic, then the associated maximal operator is bounded on L^p( \mathbbR³ ) {L^p}\left( {{\mathbb{R}^3}} \right) if and only if p > h(S), where h(S) denotes the so-called height of the surface S (defined in terms of certain Newton diagrams). For non-analytic S we obtain the same statement with the exception of the exponent p = h(S). Our notion of height h(S) is closely related to A. N. Varchenko’s notion of height h(ϕ) for functions ϕ such that S can be locally represented as the graph of ϕ after a rotation of coordinates.     

Homotopy Types of Stabilizers and Orbits of Morse Functions on Surfaces

Let M be a smooth compact surface, orientable or not, with boundary or without it, P either the real line ℝ ¹ or the circle S ¹, and D(M) the group of diffeomorphisms of M acting on C^∞(M, P) by the rule h⋅ f = f ∘ h ⁻¹ for h ∊ D(M) and f ∊ C^∞ (M,P). Let f: M → P be an arbitrary Morse mapping, Σ _f the set of critical points of f, D(M,Σ _f ) the subgroup of D(M) preserving Σ _f , and S(f), S (f,Σ _f ), O(f), and O(f,Σ _f ) the stabilizers and the orbits of f with respect to D(M) and D(M,Σ _f ). In fact S(f) = S(f,Σ _f ).In this paper we calculate the homotopy types of S(f), O(f) and O(f,Σ _f ). It is proved that except for few cases the connected components of S(f) and O(f,Σ _f ) are contractible, π _k O(f) = π _k M for k ≥ 3, π₂ O(f) = 0, and π₁ O(f) is an extension of π₁ D(M) ⊕ Z ^k (for some k ≥ 0) with a (finite) subgroup of the group of automorphisms of the Kronrod-Reeb graph of f.We also generalize the methods of F. Sergeraert to give conditions for a finite codimension orbit of a tame smooth action of a tame Lie group on a tame Fréchet manifold to be a tame Fréchet manifold itself. In particular, we obtain that O(f) and O(f, Σ _f ) are tame Fréchet manifolds. Communicated by Peter Michor Vienna Mathematics Subject Classifications (2000): 37C05, 57S05, 57R45.     

Integrable cocycles and global deformations of Lie algebra of type G2 in characteristic 2

All classes of integrable cocycles in H²(L,L) are obtained for Lie algebra of type G₂ over an algebraically closed field of characteristic 2. It is proved that there exist only two orbits of classes of integrable cocycles with respect to automorphism group. The global deformation is shown to exist for any nontrivial class of integrable cocycles. These deformations are isomorphic to one of the two algebras of Cartan type, one of which being S(3:1,ω) while the other H(4:1,ω).     

On countably uniform closed-spaces

Abstract

Let X be a topological space and C_c(X) be the functionally countable subalgbera of C(X). We call X to be a countably uniform closed-space, briefly, a CU C-space, if C_c(X) is closed under uniform convergence. We investigate that countably uniform closedness need not closed under finite intersection and infinite product. It is shown that if X is a countable union of quasi-components, then X is a CU C-space. We characterize C_c-embedding and also -embedding in CU C-spaces. A subset S of X is called Z_c-embedded, if each Z ∈ Z_c(S) is the restriction of a zero-set of Z_c(X). It is observed that in a zero-dimensional CU C-space, each Lindelöf subspae is Z_c-embedded. Moreover, it is shown that in CU C-spaces, each Lindelöf subspace is C_c-embedded if and only if it is c-completely separated from each zero-set, which is disjoint from it. Also in latter spaces, it is observed that for each S ? X, C_c-embedding, -embedding and Z_c-embedding coincide, when S belongs to Z_c(X) or it is a c-pseudocompact space. Finally, when X is both a CU C-space and a CP-space, then each Z_c-embedded subspace is C_c-embedded (-embedded) in X.     

Bernstein�CWalsh Type Theorems for Real Analytic Functions in Several Variables

The aim of this paper is to extend the classical maximal convergence theory of Bernstein and Walsh for holomorphic functions in the complex plane to real analytic functions in ℝ ^N . In particular, we investigate the polynomial approximation behavior for functions F:L→ℂ, L={(Re z,Im z):z∈K}, of the structure F=g[`(h)]F=g\overline{h}, where g and h are holomorphic in a neighborhood of a compact set K⊂ℂ <sup>N</sup> . To this end the maximal convergence number ρ(S <sub>c</sub> ,f) for continuous functions f defined on a compact set S <sub>c</sub> ⊂ℂ <sup>N</sup> is connected to a maximal convergence number ρ(S <sub>r</sub> ,F) for continuous functions F defined on a compact set S <sub>r</sub> ⊂ℝ <sup>N</sup> . We prove that ρ(L,F)=min {ρ(K,h)),ρ(K,g)} for functions F=g[`(h)]F=g\overline{h} if K is either a closed Euclidean ball or a closed polydisc. Furthermore, we show that min {ρ(K,h)),ρ(K,g)}≤ρ(L,F) if K is regular in the sense of pluripotential theory and equality does not hold in general. Our results are based on the theory of the pluricomplex Green’s function with pole at infinity and Lundin’s formula for Siciak’s extremal function Φ. A properly chosen transformation of Joukowski type plays an important role.     

Continuous extension operators and convexity

Given a nonempty closed subset A of a Hilbert space X, we denote by L(A) the space of all bounded Lipschitz mappings from A into X, equipped with the supremum norm. We show that there is a continuous mapping F_c:L(A)?L(X) such that for each g∈L(A), F_c(g)|_A=g, , and . We also prove that the corresponding set-valued extension operator is lower semicontinuous.     

A splitting property of maximal antichains

In anydense posetP (and in any Boolean lattice in particular) every maximal antichainS may be partitioned into disjoint subsetsS ₁ andS ₂, such that the union of the downset ofS ₁ with the upset ofS ₂ yields the entire poset:D(S ₁) U (S ₂) =P. To find a similar splitting of maximal antichains in posets is NP-hard in general.Research was partially carried out when the second author visited the first author in Bielefeld and it was partially supported by OTKA grant T016358