On some extremal problems in graph theory

The author proves that ifC is a sufficiently large constant then every graph ofn vertices and [Cn ^3/2] edges contains a hexagonX ₁,X ₂,X ₃,X ₄,X ₅,X ₆ and a seventh vertexY joined toX ₁,X ₃ andX ₅. The problem is left open whether our graph contains the edges of a cube, (i.e. an eight vertexZ joined toX ₂,X ₄ andX ₆).     

A Banach space in which all compact sets, but not all bounded sets, admit Chebyshev centers

Given a Banach spaceX, letc ₀(X) be the space of all null sequences inX (equipped with the supremum norm). We show that: 1) each compact set inc ₀(X) admits a (Chebyshev) center iff each compact set inX admits a center; 2) forX satisfying a certain condition (Q), each bounded set inc ₀(X) admits a center iffX is quasi uniformly rotund. We construct a Banach spaceX such that the compact subsets ofX admit centers,X satisfies the condition (Q) andX is not quasi uniformly rotund. It follows that the Banach spaceE=c ₀(X) has the property from the title. Eine überarbeitete Fassung ging am 4. 7. 2001 ein     

Poisson Traces and D-Modules on Poisson Varieties

To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism ${\phi : X \to Y}To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism f: X ? Y{\phi : X \to Y} and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_f(X,N){M_\phi(X,N)} on X, and prove that it is holonomic if X has finitely many symplectic leaves, f{\phi} is finite, and N is coherent.     

On Polarized 3-Folds (X,L) Such That <lowercase > h < /lowercase >0(L) = 2 and the Sectional Genus of (X,L) is Equal to the Irregularity of X

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this article, we give a characterization of (X, L) with g(X, L) = q(X) and h⁰(L) = 2, where g(X, L) (resp. q(X)) denotes the sectional genus of (X, L) (resp. the irregularity of X).     

Generalized Mukai conjecture for special Fano varieties

Let X be a Fano variety of dimension n, pseudoindex i _X and Picard number ρ_X. A generalization of a conjecture of Mukai says that ρ_X(i _X −1)≤n. We prove that the conjecture holds for a variety X of pseudoindex i _X ≥n+3/3 if X admits an unsplit covering family of rational curves; we also prove that this condition is satisfied if ρ_X> and either X has a fiber type extremal contraction or has not small extremal contractions. Finally we prove that the conjecture holds if X has dimension five.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

The Priestley Separation Axiom for Scattered Spaces

Let R be a quasi-order on a compact Hausdorff topological space X. We prove that if X is scattered, then R satisfies the Priestley separation axiom if and only if R is closed in the product space X×X. Furthermore, if X is not scattered, then we show that there is a quasi-order on X that is closed in X×X but does not satisfy the Priestley separation axiom. As a result, we obtain a new characterization of scattered compact Hausdorff spaces.     

An Algebraic Characterization of Blumberg Spaces

Abstract

Let X be a topological space and let C(X) be the ring of continuous real-valued functions on X. We study T′(X) as an over-ring of C(X), where T′(X) denotes the set of all real-valued functions on X such that for each f ∈ T′(X) there exists a dense open subspace D of X such that f|D ∈ C(D). In this paper new algebraic characterizations of discrete spaces, open-hereditarily irresolvable spaces, and Blumberg spaces are obtained.     

An identity on the maximum of a set of random variables

It is shown that if X₁, X₂, …, X_n are symmetric random variables and max(X₁, …, X_n)⁺ = max(0, X₁, …, X_n), then E[max(X₁,…,X_n)⁺]=[max(X₁,X₁,+X₂,+X₁,+X₃,…X₁,+X_n)⁺], and in the case of independent identically distributed symmetric random variables, E[max(X₁, X₂)⁺] = E[(X₁)⁺] + (1/2)E[(X₁ + X₂)⁺], so that for independent standard normal random variables, E[max(X₁, X₂)⁺] = (1/√2π)[1 + (1/√2)].     

On the topology induced by the adjoint of a semigroup of operators

The adjoint of aC ₀-semigroup on a Banach spaceX induces a locally convex σ(X,X ^ℴ)-topology inX, which is weaker than the weak topology ofX. In this paper we study the relation between these two topologies. Among other things a class of subsets ofX is given on which they coincide. As an application, an Eberlein-Shmulyan type theorem is proved for the σ(X,X ^ℴ)-topology and it is shown that the uniform limit of σ(X,X ^ℴ)-compact operators is σ(X,X ^ℴ)-compact. Finally our results are applied to the problem when the Favard class of a semigroup equals the domain of the infinitesimal generator.     

Bipartite Divisor Graphs for Integer Subsets

Inspired by connections described in a recent paper by Mark L. Lewis, between the common divisor graph Γ(X) and the prime vertex graph Δ(X), for a set X of positive integers, we define the bipartite divisor graph B(X), and show that many of these connections flow naturally from properties of B(X). In particular we establish links between parameters of these three graphs, such as number and diameter of components, and we characterise bipartite graphs that can arise as B(X) for some X. Also we obtain necessary and sufficient conditions, in terms of subconfigurations of B(X), for one of Γ(X) or Δ(X) to contain a complete subgraph of size 3 or 4.     

On products of unbounded operators

A symmetric operator X^ is attached to each operator X that leaves the domain of a given positive operator A invariant and makes the product AX symmetric. Some spectral properties of X^ are derived from those of X and, as a consequence, various conditions ensuring positivity of products of the form AX ₁ ... X _n are proved. The question of ^-complete positivity of the mapping p → Ap(X ₁,...,X _n) defined on complex polynomials in n variables is investigated. It is shown that the set ω is related to the McIntosh-Pryde joint spectrum of (X ₁,...,X _n) in case all the operators A, X ₁,...,X _n are bounded. Examples illustrating the theme of the paper are included. This revised version was published online in June 2006 with corrections to the Cover Date.     

Topological direct sum decompositions of banach spaces

LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T ⁻¹(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX ₁ andX ₂ such thatX ₁ is reflexive and densX ₂**=densX**/X.     

Finite-Dimensional Motives and the Conjectures of Beilinson and Murre

We relate the notion of finite dimensionality of the Chow motive M(X) of a smooth projective variety X (as defined by S. Kimura) with the conjectures of Beilinson, Bloch and Murre on the existence of a filtration on the Chow ring CH*(X). We show (Theorem 3) that finite dimensionality of M(X) implies uniqueness, up to isomorphism, of Murre's decomposition of M(X). Conversely (Theorem 4), Murre's conjecture for X ^m ×X ^m (for a suitable m) implies finite-dimensionality of M(X). We also show (Theorem 7) that, for a surface X with p _g = 0, the motive M(X) is finite-dimensional if and only if the Chow group of 0-cycles of X is finite-dimensional in the sense of Mumford, i.e. iff the Bloch conjecture holds for X.The second named author is a member of GNSAGA of CNR.     

The generalized quaternion matrix equation AXB+CX⋆D=E

In this paper, we discuss the generalized quaternion matrix equation AXB+CX^⋆D=E, where X^⋆ is one of X, X^*, the η-conjugate or the η-conjugate transpose of X with η∈{i,j,k}. Two new real representations of a generalized quaternion matrix are proposed. By using this method, the criteria for the existence and uniqueness of solutions to the mentioned matrix equation as well as the existence of X=± X^⋆ solutions to the generalized quaternion matrix equation AXB+CXD=E are derived in a unified way.     

Homotopy Properties of the Space If(X) of Idempotent Probability Measures

A subspace I_f(X) of the space of idempotent probability measures on a given compact space X is constructed. It is proved that if the initial compact space X is contractible, then I_f(X) is a contractible compact space as well. It is shown that the shapes of the compact spaces X and I_f(X) are equal. It is also proved that, given a compact space X, the compact space I_f(X) is an absolute neighborhood retract if and only if so is X.

     

Daugavet centers and direct sums of Banach spaces

A linear continuous nonzero operator G: X → Y is a Daugavet center if every rank-1 operator T: X → Y satisfies ||G + T|| = ||G|| + ||T||. We study the case when either X or Y is a sum X _1⊕F X ₂ of two Banach spaces X ₁ and X ₂ by some two-dimensional Banach space F. We completely describe the class of those F such that for some spaces X ₁ and X ₂ there exists a Daugavet center acting from X _1⊕F X ₂, and the class of those F such that for some pair of spaces X ₁ and X ₂ there is a Daugavet center acting into X _1⊕F X ₂. We also present several examples of such Daugavet centers.     

Study of families of monotone continuous functions on Tychonoff spaces

The main object of study is the space of all monotone continuous functions CM(X) on a connected Tychonoff space X endowed with the topology of pointwise (CM _p (X)) or uniform (CM(X)) convergence. Technical questions concerning restriction and extension of monotone functions are considered in Sec. 2. Conditions for CM(X) to separate the points of X and for CM(X) to contain only constant functions are found in Sec. 3. In Sec. 4, the linear structure of CM(X) is studied and all linear subspaces of CM(X) for a certain class of spaces X are described. In Sec. 5, conditions under which CM(X) is closed and nowhere dense in C _p (X) and C(X) are determined. The metrizability of CM _p (X) is considered in Sec. 6; necessary and sufficient metrizability conditions for various classes of spaces X are obtained. In Sec. 7, criteria for σ-compactness and the Hurewicz property in the class of spaces CM _p (X) are given. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 34, General Topology, 2005.     

Factorization of Integer-Valued Polynomials with Square-Free Denominator

We describe an algorithm to compute the different factorizations of a given image primitive integer-valued polynomial f(X) = g(X)/d ∈ ?[X], where g ∈ ?[X] and d ∈ ? is square-free, assuming that the factorizations of g(X) in ?[X] and d in ? are known. We translate this problem into a combinatorial one.     

There do not exist minimal algebras between C*(X) and C(X) with prescribed real maximal ideal spaces

Let C(X) be the algebra of all real-valued continuous functions on a completely regular Hausdorff space X, and C*(X) the subalgebra of bounded functions. We prove that for any intermediate algebra A between C*(X) and C(X), other than C*(X), there exists a smaller intermediate algebra with the same real maximal ideals as in A. The space X is called A-compact if any real maximal ideal in A corresponds to a point in X. It follows that, for a noncompact space X, there does not exist any minimal intermediate algebra A for which A is A-compact. This completes the answer to a question raised by Redlin and Watson in 1987.