The Topology on the Space of δ-psh Functions in the Cegrell Classes

The aim of the present paper is to introduce a metric locally convex topology on the space of δ-psh functions in the Cegrell class . We prove that with this topology is a non-separable and non-reflexive Fréchet space. At the same time, we extend the Monge–Ampère operator from the class to .     

Some properties of essential spectra of a positive operator, II

Let T be a positive operator on a Banach lattice E. Some properties of Weyl essential spectrum σ_ew(T), in particular, the equality , where is the set of all compact operators on E, are established. If r(T) does not belong to Fredholm essential spectrum σ_ef(T), then for every a ≠ 0, where T₋₁ is a residue of the resolvent R(., T) at r(T). The new conditions for which implies , are derived. The question when the relation holds, where is Lozanovsky’s essential spectrum, will be considered. Lozanovsky’s order essential spectrum is introduced. A number of auxiliary results are proved. Among them the following generalization of Nikol’sky’s theorem: if T is an operator of index zero, then T = R + K, where R is invertible, K ≥ 0 is of finite rank. Under the natural assumptions (one of them is ) a theorem about the Frobenius normal form is proved: there exist T-invariant bands such that if , where , then an operator on D_i is band irreducible.      

Polar Graphs and Corresponding Involution Sets, Loops and Steiner Triple Systems

A 1-factorization (or parallelism) of the complete graph with loops is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x₁, x₂, x₃, if {x₁} and {x₂, x₃} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph there corresponds a polar involution set , an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system . We have: satisfies the trapezium axiom is self-distributive ⇔ (P, + ) is a Moufang loop is an affine triple system; and: satisfies the quadrangle axiom is a group is an affine space.     

On the nuclearity of integral operators

Let X be a nonempty measurable subset of and consider the restriction of the usual Lebesgue measure σ of to X. Under the assumption that the intersection of X with every open ball of has positive measure, we find necessary and sufficient conditions on a L²(X)-positive definite kernel in order that the associated integral operator be nuclear. Taken nuclearity for granted, formulas for the trace of the operator are derived. Some of the results are re-analyzed when K is just an element of .      

On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

The geometry of rational parameterized representations

We study the projective space of univariate rational parameterized equations of degree d or less in real projective space The parameterized equations of degree less than d form a special algebraic variety We investigate the subspaces on and their relation to rational curves in give a geometric characterization of the automorphism group of and outline applications of the theory to projective kinematics.     

Non- (Quantum) Differentiable C 1-Functions in the Spaces with Trivial Boyd Indices

If E is a separable symmetric sequence space with trivial Boyd indices and is the corresponding ideal of compact operators, then there exists a C¹-function f_E, a self-adjoint element and a densely defined closed symmetric derivation δ on such that , but      

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     

Multipliers of Fractional Cauchy Transforms

Let B_n denote the unit ball of , n ≥ 2. Given an α > 0, let denote the class of functions defined for by integrating the kernel against a complex-valued measure on the sphere . Let denote the space of holomorphic functions in the ball. A function is called a multiplier of provided that for every . In the present paper, we obtain explicit analytic conditions on which imply that g is a multiplier of . Also, we discuss the sharpness of the results obtained. This research was supported by RFBR (grant no. 08-01-00358-a), by the Russian Science Support Foundation and by the programme “Key scientific schools NS 2409.2008.1”.     

C*-Modular Vector States

Let be a C*-algebra and X a Hilbert C* -module. If is a projection, let be the p-sphere of X. For φ a state of with support p in and consider the modular vector state φ_x of given by The spheres provide fibrations

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.     

{\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     

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     

Convexities of partial monounary algebras

In the present paper we prove that the collection of all convexities of partial monounary algebras is finite; namely, it has exactly 23 elements. Further, we show that for each element there exists a subset of such that is generated by and card . This work was supported by the Science and Technology Assistance Agency under the contract No. APVT-20-004104. Supported by Grant VEGA 1/3003/06.     

Integral Equations on Function Spaces and Dichotomy on the Real Line

The purpose of this paper is to give new and general characterizations for uniform dichotomy and uniform exponential dichotomy of evolution families on the real line. We consider two general classes denoted and and we prove that if V,W are Banach function spaces with and , then the admissibility of the pair for an evolution family implies the uniform dichotomy of . In addition, we consider a subclass and we prove that if , then the admissibility of the pair implies the uniform exponential dichotomy of the family . This condition becomes necessary if . Finally, we present some applications of the main results.     

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