Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

Sums of Bisectorial Operators and Applications

We study sums of bisectorial operators on a Banach space X and show that interpolation spaces between X and D(A) (resp. D(B)) are maximal regularity spaces for the problem Ay + By = x in X. This is applied to the study of regularity properties of the evolution equation u′ + Au = f on for or and the evolution equation u′ + Au = f on [0, 2π] with periodic boundary condition u(0) = u(2π) in or      

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

On lattices of convex sets in {\mathbb{R}}^{n}

Properties of several sorts of lattices of convex subsets of are examined. The lattice of convex sets containing the origin turns out, for n > 1, to satisfy a set of identities strictly between those of the lattice of all convex subsets of and the lattice of all convex subsets of The lattices of arbitrary, of open bounded, and of compact convex sets in all satisfy the same identities, but the last of these is join-semidistributive, while for n > 1 the first two are not. The lattice of relatively convex subsets of a fixed set satisfies some, but in general not all of the identities of the lattice of “genuine” convex subsets of To the memory of Ivan RivalReceived April 22, 2003; accepted in final form February 16, 2005.This revised version was published online in August 2005 with a corrected cover date.     

Locally finite varieties of Heyting algebras

We show that for a variety of Heyting algebras the following conditions are equivalent: (1) is locally finite; (2) the -coproduct of any two finite -algebras is finite; (3) either coincides with the variety of Boolean algebras or finite -copowers of the three element chain are finite. We also show that a variety of Heyting algebras is generated by its finite members if, and only if, is generated by a locally finite -algebra. Finally, to the two existing criteria for varieties of Heyting algebras to be finitely generated we add the following one: is finitely generated if, and only if, is residually finite. Received November 11, 2001; accepted in final form July 25, 2005.     

Invariants and spaces of zero solutions of linear partial differential operators

It is shown that for open convex , d > 1 and a nontrivial polynomial P the space does not have property . If P is elliptic or homogeneous, then this holds for every open Ω. For even cannot occur and if it occurs for some Ω, then P must be hypoelliptic. Received: 18 July 2005     

C*-Algebras of Integral Operators with Piecewise Slowly Oscillating Coefficients and Shifts Acting Freely

We establish a symbol calculus for the C*-subalgebra of generated by the operators of multiplication by slowly oscillating and piecewise continuous functions and the operators where is the Cauchy singular integral operator and The C*-algebra is invariant under the transformations

Operator Matrices: SVEP and Weyl’s Theorem

It is known that if and are Banach space operators with the single-valued extension property, SVEP, then the matrix operator has SVEP for every operator and hence obeys Browder’s theorem. This paper considers conditions on operators A, B, and M₀ ensuring Weyls theorem for operators M_C.     

Affine congruence by dissection of discs - appropriate groups and optimal dissections

Let be a group of affine transformations of the Euclidean plane . Two topological discs D, are called congruent by dissection with respect to if D can be dissected into a finite number of subdiscs that can be rearranged by maps from to a dissection of E. Our main result says in particular that admits congruence by dissection of any circular disc C with any square S if and only if contains a contractive map and all orbits , , are dense in . In this case any two discs D and E are congruent by dissection with respect to and every disc D is congruent by dissection with n copies of D for every n ≥ 2. Moreover, we give estimates on minimal numbers of pieces that are needed to realize congruences by dissection. Dedicated to Irmtraud Stephani on the occasion of her 70th birthday     

Complemented congruences on Ockham algebras

An Ockham algebra that satisfies the identity is called a K_{n, m}-algebra. Generalizing some results obtained in [2], J. Varlet and T. Blyth, in [3, Chapter 8], study congruences on K_{1, 1}-algebras. In particular, they describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented. In this paper we study the same question for K_{n, m}-algebras. Received March 24, 2005; accepted in final form April 28, 2005.     

Explicit construction of a Chern–Moser connection for CR manifolds of codimension two

In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair , consisting of a principal bundle over M and of a Cartan connection form over P, satisfying the following property: the (local) CR transformations are in one to one correspondence with the (local) automorphisms for which . For any , this construction determines an explicit monomorphism of the stability subalgebra Lie (Aut(M)_x) into the Lie algebra of the structure group H of P. Mathematics Subject Classification (2000) Primary 32V05, Secondary 53C15, 53A55     

On the modulus of disjointness preserving operators on complex vector lattices

Let L and M be Archimedean vector lattices such that and are complex vector lattices. We constructively and intrinsically prove that if is an order bounded disjointness preserving operator from into then the modulus

On graded generalized local cohomology

Let be a homogeneous Noetherian ring with local base ring (R₀,m₀) and let M,N be two finitely generated graded R-modules. Let denote the i-th graded generalized local cohomology of N relative to M with support in . We study the vanishing, tameness and asymptotical stability of the homogeneous components of . Received: 22 March 2005; revised: 25 June 2005     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Purely infinite C*-Algebras: Ideal-preserving zero homotopies

We show that if A is a separable, nuclear, -absorbing (or strongly purely infinite) C*-algebra which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form where Γ is a finite connected graph (and is the algebra of continuous functions on Γ that vanish at a distinguished point ).We show further that if B is any separable, nuclear C*-algebra, then is isomorphic to a crossed product where D is an inductive limit of C*-algebras of the form (and D is -absorbing and homotopic to zero in an ideal-system preserving way).Received: December 2003 Revision: July 2004 Accepted: July 2004     

Uniformly summing sets of operators on spaces of vector–valued continuous functions

Let X, Y be Banach spaces. We say that a set is uniformly p–summing if the series is uniformly convergent for whenever (x_n) belongs to . We consider uniformly summing sets of operators defined on a -space and prove, in case X does not contain a copy of c₀, that is uniformly summing iff is, where T (φ x) = (T^#φ) x for all and x∈X. We also characterize the sets with the property that is uniformly summing viewed in . Received: 1 July 2005     

Birkhoff coordinates for KdV on phase spaces of distributions

The purpose of this paper is to extend the construction of Birkhoff coordinates for the KdV equation from the phase space of square integrable 1-periodic functions with mean value zero to the phase space of mean value zero distributions from the Sobolev space endowed with the symplectic structure More precisely, we construct a globally defined real-analytic symplectomorphism where is a weighted Hilbert space of sequences supplied with the canonical Poisson structure so that the KdV Hamiltonian for potentials in is a function of the actions alone.     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

A band limited and Besov class functional calculus for Tadmor-Ritt operators

For Banach space operators T satisfying the Tadmor-Ritt condition a band limited H^∞ calculus is established, where and a is at most of the order C(T)⁵. It follows that such a T allows a bounded Besov algebra B_{∞ 1}⁰ functional calculus, These estimates are sharp in a convenient sense. Relevant embedding theorems for B_{∞ 1}⁰ are derived. Received: 25 October 2004; revised: 31 January 2005     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004