Measures on the Splitting Subspaces of an Inner Product Space

Let S be an inner product space and let E(S) (resp. F(S)) be the orthocomplemented poset of all splitting (resp. orthogonally closed) subspaces of S. In this article we study the possible states/charges that E(S) can admit. We first prove that when S is an incomplete inner product space such that dim S/S < , then E(S) admits at least one state with a finite range. This is very much in contrast to states on F(S). We then go on showing that two-valued states can exist on E(S) not only in the case when E(S) consists of the complete/cocomplete subspaces of S. Finally we show that the well known result which states that every regular state on L(H) is necessarily -additive cannot be directly generalized for charges and we conclude by giving a sufficient condition for a regular charge on L(H) to be -additive.     

Orbits of Positive Operators from a Differentiable Viewpoint

Let be a unital C^*-algebra and G the group of units of . A geometrical study of the action of G over the set ⁺ of all positive elements of is presented. The orbits of elements with closed range by this action are provided with a structure of differentiable homogeneous space with a natural connection. The orbits are partitioned in 'components' which also have a rich geometrical structure.     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

Spaces of Densely Continuous Forms, USCO and Minimal USCO Maps

Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D _k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D _k (X,Y) is metrizable iff D _k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D _k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.     

Computation of Almost Split Sequences with Applications to Relatively Projective and Prinjective Modules

Let be an Artin algebra, let mod be the category of finitely generated -modules, and let Amod be a contravariantly finite and extension closed subcategory. For an indecomposable and not Ext-projective module CA, we compute the almost split sequence 0ABC0 in A from the almost split sequence 0DTrCEC0 in mod. Since the computation is particularly simple if the minimal right A-approximation of DTrC is indecomposable for all indecomposable and not Ext-projective CA, we manufacture subcategories A with the desired property using orthogonal subcategories. The method of orthogonal subcategories is applied to compute almost split sequences for relatively projective and prinjective modules.     

A Distance-Regular Graph with Strongly Closed Subgraphs

Let be a distance-regular graph of diameter d, valency k and r := maxi | (c _i,b _i) = (c ₁,b ₁). Let q be an integer with r + 1 q d – 1.In this paper we prove the following results: Theorem 1 Suppose for any pair of vertices at distance q there exists a strongly closed subgraph of diameter q containing them. Then for any integer i with 1 i q and for any pair of vertices at distance i there exists a strongly closed subgraph of diameter i containing them. Theorem 2 If r 2, then c _2r+3 1.As a corollary of Theorem 2 we have d k ²(r + 1) if r 2.     

Local Projective Model Structures on Simplicial Presheaves

We introduce different model structures on the categories of simplicial presheaves and simplicial sheaves on some essentially small Gro-then-dieck site T and give some applications of these simplified model categories. In particular, we prove that the stable homotopy categories SH((Sm/k)Nis,A1) and SH((Sch/k)cdh,A1) are equivalent. This result was first proven by Voevodsky and our proof uses many of his techniques, but it does not use his theory of -closed classes.     

Bounded composition operators with closed range on the Dirichlet space

For composition operators on spaces of analytic functions it is well known that norm estimates can be converted to Carleson measure estimates. The boundedness of the composition operator becomes equivalent to a Carleson measure inequality. The measure corresponding to a composition operator on the Dirichet space is , where is the cardinality of the preimage . The composition operator will have closed range if and only if the corresponding measure satisfies a ``reverse Carleson measure' theorem: for all . Assuming is bounded, a necessary condition for this inequality is a reverse of the Carleson condition: (C) for all Carleson squares . It has long been known that this is not sufficient for a completely general measure. Here we show that it is also not sufficient for the special measures . That is, we construct a function such that is bounded and satisfies (C) but the composition operator does not have closed range.

     

Factorization in generalized power series

The field of generalized power series with real coefficients and exponents in an ordered abelian divisible group is a classical tool in the study of real closed fields. We prove the existence of irreducible elements in the ring consisting of the generalized power series with non-positive exponents. The following candidate for such an irreducible series was given by Conway (1976): . Gonshor (1986) studied the question of the existence of irreducible elements and obtained necessary conditions for a series to be irreducible. We show that Conway's series is indeed irreducible. Our results are based on a new kind of valuation taking ordinal numbers as values. If we can give the following test for irreducibility based only on the order type of the support of the series: if the order type is either or of the form and the series is not divisible by any monomial, then it is irreducible. To handle the general case we use a suggestion of
M.-H. Mourgues, based on an idea of Gonshor, which allows us to reduce to the special case . In the final part of the paper we study the irreducibility of series with finite support.