Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

An upper bound for the cardinality of ans-distance subset in real euclidean space,II

It is shown that ifX is ans-distance subset inR ^d , then |X|≦( _s ^d+s ). Supported in part by NSF grant MCS7903128 A01. Supported in part by NSF grant MCS.     

On the number of antipodal or strictly antipodal pairs of points in finite subsets ofR d,II

The paper is a continuation of [MM], namely containing several statements related to the concept of antipodal and strictly antipodal pairs of points in a subsetX ofR ^d , which has cardinalityn. The pointsx _i, x_jX are called antipodal if each of them is contained in one of two different parallel supporting hyperplanes of the convex hull ofX. If such hyperplanes contain no further point ofX, thenx _i, x_j are even strictly antipodal. We shall prove some lower bounds on the number of strictly antipodal pairs for givend andn. Furthermore, this concept leads us to a statement on the quotient of the lengths of longest and shortest edges of speciald-simplices, and finally a generalization (concerning strictly antipodal segments) is proved.Research (partially) supported by Hungarian National Foundation for Scientific Research, grant no. 1817     

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.     

Topology of complete intersections

Let X _n (d) and X _n (d') be two n-dimensional complete intersections with the same total degree d. In this paper we prove that, if n is even and d has no prime factors less than , then X _n (d) and X _n (d') are homotopy equivalent if and only if they have the same Euler characteristics and signatures. This confirms a conjecture of Libgober and Wood [16]. Furthermore, we prove that, if d has no prime factors less than , then X _n (d) and X _n (d') are homeomorphic if and only if their Pontryagin classes and Euler characteristics agree. Received: September 6, 1996     

An upper bound for the cardinality of ans-distance subset in real euclidean space

IfX is ans-distance subset inR ^d , then |X|<( _s ^d+s )+( _s-1 ^d+s-1 . Supported in part by NSF grant MCS—7903128 (OSURF 711977).     

Metrical characterization of super-reflexivity and linear type of Banach spaces

We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain’s result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniform embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with the metrics d _p induced by the ℓ _p norms. Received: 2 August 2006, Revised: 10 April 2007     

Recurrent random walks in nonnegative matrices II

Summary In this paper, we continue the study undertaken in our earlier paper [M1]. One of the main results here can be described as follows. LetX ₀,X ₁, ... be a sequence of iid random affine maps from (R ⁺) ^d into itself. Let us write:W _n X _n X _n –1...X ₀ andZ _n X ₀ X ₁...X _n , where composition of maps is the rule of multiplication. By the attractorA(u),u(R ⁺) ^d , we mean the setA u={y(R⁺)^d:P(W_n uN i.o.) > 0 for every openN containingy}. It is shown that the attractorA(u), under mild conditions, is the support of a stationary probability measure, when the random walk (Z _n ) has at least one recurrent state.     

A universal complex structure on complete metrizable topological spaces

Let X be a topological space whose topology may be defined by a complete metric d. Taking all such metrics d we define a universal complex structure on X. For this complex structure the sheaf of germs of holomorphic functions on X coincides with the sheaf of germs of continuous functions on X, and hence the theories of topological and holomorphic vector bundles on X are the same.     

<Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript> weights and <Emphasis Type="Italic">d</Emphasis>-homogeneous measures on ahlfors <Emphasis Type="Italic">d</Emphasis>-regular space

Let X be an Ahlfors d-regular space and mad-regular measure on X . We prove that a measure μ on X is d-homogeneous if and only if μ is mutually absolutely continuous with respect to m and the derivative Dmμ(x) is an A1 weight. Also, we show by an example that every Ahlfors d-regular space carries a measure which is d-homogeneous but not d-regular.     

Degenerations of the moduli spaces of vector bundles on curves II (generalized Gieseker moduli spaces)

LetX ₀ be a projective curve whose singularity is one ordinary double point. We construct a birational modelG(n, d) of the moduli spaceU(n, d) of stable torsion free sheaves in the case (n, d)= 1, such that G(n, d) has normal crossing singularities and behaves well under specialization i.e. if a smooth projective curve specializes toX ₀, then the moduli space of stable vector bundles of rankn and degreed onX specializes toG(n, d). This generalizes an earlier work of Gieseker in the rank two case.     

On Singular Varieties Having an Extremal Secant Line

ABSTRACT

Let X be a nondegenerate subvariety of degree d and codimension e in the projective space ? ⁿ . If X is smooth, any multisecant line to X cuts X along a 0-dimensional scheme of length at most d ? e + 1. Moreover, smooth varieties X having a (d ? e + 1)-secant line (an extremal secant line) have been completely classified, extending del Pezzo and Bertini classification of varieties of minimal degree. In this article, we almost completely classify possibly singular varieties having an extremal secant line, without any assumptions on the singularities of X. First, we show that, if e ≠ 2, a multisecant line to X meets X along a 0-dimensional scheme of length at most d ? e + 1. Then, we completely classify singular varieties having a (d ? e + 1)-secant line for e ≠ 3. A partial result is provided in case e = 3.     

Companion <Emphasis Type="Italic">d</Emphasis>-algebras

In this paper we develop a theory of companion d-algebras in sufficient detail to demonstrate considerable parallelism with the theory of BCK-algebras as well as obtaining a collection of results of a novel type. Included among the latter are results on certain natural posets associated with companion d-algebras as well as constructions on Bin(X), the collection of binary operations on the set X, which permit construction of new companion d-algebras from companion d-algebras X also in natural ways. Supported by Korea Research Foundation Grant (KRF-2002-041-C00003).     

Completeness of hyperspaces of compact subsets of quasi-metric spaces

We study the hyperspace K ₀(X) of non-empty compact subsets of a Smyth-complete quasi-metric space (X, d). We show that K ₀(X), equipped with the Hausdorff quasi-pseudometric H _d forms a (sequentially) Yoneda-complete space. Moreover, if d is a T ₁ quasi-metric, then the hyperspace is algebraic, and the set of all finite subsets forms a base for it. Finally, we prove that K ₀(X), H _d ) is Smyth-complete if (X, d) is Smyth-complete and all compact subsets of X are d ⁻¹-precompact.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

Explicit construction of regular graphs without small cycles

For every integerd>2 we give an explicit construction of infinitely many Cayley graphsX of degreed withn(X) vertices and girth >0.4801...(logn(X))/log (d−1)−2. This improves a result of Margulis. Dedicated to Paul Erdős on his seventieth birthday     

The stability of Banach frames in Banach spaces

In this paper, we give some equivalent conditions on a Banach frame for a Banach space by using the pseudoinverse operator. We also consider the stability of a Banach frame for a Banach space X with respect to Xd or an Xd-frame for a Banach space X under perturbation. These results generalize and improve the related works of Balan, Casazza, Christensen, Stoeva and Jian et al.     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

On the average distance property and certain energy integrals

One of our main results is the following: LetX be a compact connected subset of the Euclidean spaceR ⁿ andr(X, d ₂) the rendezvous number ofX, whered ₂ denotes the Euclidean distance inR ⁿ . (The rendezvous numberr(X, d ₂) is the unique positive real number with the property that for each positive integern and for all (not necessarily distinct)x ₁,x ₂,...,x _n inX, there exists somex inX such that .) Then there exists some regular Borel probability measure μ₀ onX such that the value of ∫ _X d ₂(x, y)dμ₀ (y) is independent of the choicex inX, if and only ifr(X, d ₂) = sup_μ ∫ _X ∫ _X d ₂(x, y)dμ(x)dμ(y), where the supremum is taken over all regular Borel probability measures μ onX.     

Potential Theoretic Approach to Rendezvous Numbers

We analyze relations between various forms of energies (reciprocal capacities), the transfinite diameter, various Chebyshev constants and the so-called rendezvous or average number. The latter is originally defined for compact connected metric spaces (X,d) as the (in this case unique) nonnegative real number r with the property that for arbitrary finite point systems {x ₁, …, x _n } ⊂ X, there exists some point x ∈ X with the average of the distances d(x,x _j ) being exactly r. Existence of such a miraculous number has fascinated many people; its normalized version was even named “the magic number” of the metric space. Exploring related notions of general potential theory, as set up, e.g., in the fundamental works of Fuglede and Ohtsuka, we present an alternative, potential theoretic approach to rendezvous numbers.