Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Computation of blowing up centers

Given a birational projective morphism of quasi-projective varieties . We want to find the ideal sheaf over X such that the blowing up of X along corresponds to f. In this paper we approach the problem from two directions, solving two subcases. First we present a method that determines when f is the composition of blowing ups along known centers, then by another method, we compute directly from .     

On the topological Helly theorem

The main result of this paper is the following theorem, related to the missing link in the proof of the topological version of the classical result of Helly: Let be any family of simply connected compact subsets of R² such that for every i,j∈{0,1,2} the intersections Xi∩Xj are path connected and is nonempty. Then for every two points in the intersection there exists a cell-like compactum connecting these two points, in particular the intersection is a connected set.     

Reflexivity and hyperreflexivity of operator spaces

In this paper, we show that if is an n-dimensional subspace of L(V) such that every nonzero transformation of has rank greater than or equal to 2n−1 then is algebraically reflexive. If is an n-dimensional subspace of B(H) such that every nonzero transformation of  has rank greater than or equal to 2n−1 then is hyperreflexive. We also consider how to construct some new hyperreflexive subspaces.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

Common complements of two subspaces of a Hilbert space

In this paper we find a necessary and sufficient condition for two closed subspaces, and , of a Hilbert space to have a common complement, i.e. a subspace having trivial intersection with and and such that .Unlike the finite-dimensional case the condition is significantly more subtle than simple equalities of dimensions and codimensions, and non-trivial examples of subspaces without a common complement are possible.     

On the asymptotic number of inequivalent binary self-dual codes

Let Ψn be the number of inequivalent self-dual codes in . We prove that , where . Let Δn be the number of inequivalent doubly even self-dual codes in . We also prove that .     

Additive Jordan isomorphisms of nest algebras on normed spaces

Let X be a real or complex Banach space. Let and be two nest algebras on X. Suppose that φ is an additive bijective mapping from onto such that φ(A²)=φ(A)² for every . Then φ is either a ring isomorphism or a ring anti-isomorphism. Moreover, if X is a real space or an infinite dimensional complex space, then there exists a continuous (conjugate) linear bijective mapping T such that either φ(A)=TAT⁻¹ for every or φ(A)=TA∗T−1 for every .     

Continuous selections and σ-spaces

Assume that X⊆R?Q, and each clopen-valued lower semicontinuous multivalued map has a continuous selection . Our main result is that in this case, X is a σ-space. We also derive a partial converse implication, and present a reformulation of the Scheepers Conjecture in the language of continuous selections.