Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

On the sequential order continuity of the <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-space

As shown in [1], for each compact Hausdorff space K without isolated points, there exists a compact Hausdorff P′-space X but not an F-space such that C(K) is isometrically Riesz isomorphic to a Riesz subspace of C(X). The proof is technical and depends heavily on some representation theorems. In this paper we give a simple and direct proof without any assumptions on isolated points. Some generalizations of these results are mentioned.     

Uncountable equilateral sets in Banach spaces of the form <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)

The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin’s axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form C(K) has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form C(K) which has no uncountable equilateral set (or equivalently no uncountable (1+ε)-separated set in the unit sphere for any ε > 0) making another consistent combinatorial assumption. The compact K is a version of the split interval obtained from a sequence of functions which behave in an anti-Ramsey manner. It remains open if there is an absolute example of a nonseparable Banach space of the form different than C(K) which has no uncountable equilateral set. It follows from the results of S. Mercourakis and G. Vassiliadis that our example has an equivalent renorming in which it has an uncountable equilateral set. It remains open if there are consistent examples of nonseparable Banach spaces which have no uncountable equilateral sets in any equivalent renorming but it follows from the results of S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.     

<Emphasis Type="Italic">l</Emphasis>-Groups <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) in continuous logic

In the context of continuous logic, this paper axiomatizes both the class \(\mathcal {C}\) of lattice-ordered groups isomorphic to C(X) for X compact and the subclass \(\mathcal {C}^+\) of structures existentially closed in \(\mathcal {C}\); shows that the theory of \(\mathcal {C}^+\) is \(\aleph _0\)-categorical and admits elimination of quantifiers; establishes a Nullstellensatz for \(\mathcal {C}\) and \(\mathcal {C}^+\); shows that \(C(X)\in \mathcal {C}\) has a prime-model extension in \(\mathcal {C}^+\) just in case X is Boolean; and proves that in a sense relevant to continuous logic, positive formulas admit in \(\mathcal {C}^+\) elimination of quantifiers to positive formulas.     

<Emphasis Type="Italic">K</Emphasis>-homology of <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-categories and symmetric spectra representing <Emphasis Type="Italic">K</Emphasis>-homology

We define K-homology groups K _* () for small C ^* -categories in terms of Hilbert modules over the C ^* -category . We also define a functor A ^f from the category of small C ^* -categories into the category of C ^* -algebras and show that there is a natural isomorphism . In addition, we give an easy construction of a functor from the category of C ^* -algebras into the category of symmetric spectra which represents K-homology, i.e. we show that the functor comes with a natural isomorphism for C ^* -algebras A. It then follows that the composition A ^f provides a functor that can be used in the Davis-Lück approach for constructing the Baum-Connes map.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

<Emphasis Type="Italic">LJ</Emphasis>-spaces

In this paper LJ-spaces are introduced and studied. They are a common generalization of Lindelöf spaces and J-spaces researched by E. Michael. A space X is called an LJ-space if, whenever {A, B} is a closed cover of X with A ∩ B compact, then A or B is Lindelöf. Semi-strong LJ-spaces and strong LJ-spaces are also defined and investigated. It is demonstrated that the three spaces are different and have interesting properties and behaviors.     

Maximal regular subsemibands of finite order-preserving transformation semigroups <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)

Let O _n be the order-preserving transformation semigroup on X _n . For an arbitrary integer r such that 1≤r≤n−2, we completely describe the maximal regular subsemibands of the semigroup K(n,r)={α∈O _n :|im(α)|≤r}. We also formulate the cardinal number of such subsemigroups.     

Separability and Sequential Separability of the Space <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>)

The following results are obtained: (1) a criterion for the separability of the space of continuous functions C(X) with the set-open topology; (2) a criterion for the sequential separability of the space C_p(A|X), where A ? X; (3) an answer to Velichko’s question of whether a set-theoretic condition on a metric space X in a criterion for the sequential separability of C_p(X) is necessary.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

Isometries with dense windings of the torus in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">M</Emphasis>)

Let C(M) be the space of all continuous functions on M? ?. We consider the multiplication operator T: C(M) → C(M) defined by Tf(z) = zf(z) and the torus

$$O(M) = \left\{ {f:M \to \mathbb{C} \ntrianglelefteq \left\| f \right\| = \left\| {\frac{1}{f}} \right\| = 1} \right\}$$

. If M is a Kronecker set, then the T-orbits of the points of the torus ½O(M) are dense in ½O(M) and are ½-dense in the unit ball of C(M).

     

A space <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">X</Emphasis>) is dominated by irrationals if and only if it is<Emphasis Type="Italic"> K</Emphasis>-analytic

Summary We prove that, for any Tychonoff X, the space C_p(X) is K-analytic if and only if it has a compact cover {K_p: p } such that K_p subset K_q whenever p,q and p q. Applying this result we show that if C_p(X) is K-analytic then C_p(X) is K-analytic as well. We also establish that a space C_p(X) is K-analytic and Baire if and only if X is countable and discrete.     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Subalgebras Generated by a Single Operator in <Emphasis Type="Italic">B</Emphasis>(<Emphasis Type="Italic">H</Emphasis>)

In this paper, we characterize a C ^*-subalgebra C ^*(x) of B(H), generated by a single operator x. We show that if x is polar-decomposed by aq, where a is the partial isometry part and q is the positive operator part of x, then C ^*(x) is *-isomorphic to the groupoid crossed product algebra A_q×_a\mathbbG_a\mathcal{A}_{q}\times_{\alpha }\mathbb{G}_{a} , where A_q=C^*(q)\mathcal{A}_{q}=C^{*}(q) and \mathbbG_a\mathbb{G}_{a} is the graph groupoid induced by a partial isometry part a of x.     

Numerical Ranges of <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(<Emphasis Type="Italic">N</Emphasis>) Contractions

A conjecture of Halmos proved by Choi and Li states that the closure of the numerical range of a contraction on a Hilbert space is the intersection of the closure of the numerical ranges of all its unitary dilations. We show that for C ₀(N) contractions one can restrict the intersection to a smaller family of dilations. This generalizes a finite dimensional result of Gau and Wu.     

On the <Emphasis Type="Italic">K</Emphasis>-Theory of Graph <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

We classify graph C ^*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph, up to strict isomorphism. This is done by a purely graph theoretical calculation of the K-theory of the C ^*-algebras and the method also provides an independent proof of the classification up to Morita equivalence and stable equivalence of such algebras, without using the boundary operator algebra. A direct relation is given between the K ₁-group of the algebra and the cycle space of the graph. We thank Jakub Byszewski for his input in Sect. 2.8. The position of the unit in K ₀( _Ч) was guessed based on some example calculations by Jannis Visser in his SCI 291 Science Laboratory at Utrecht University College.     

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Holomorphic injective extensions of functions in <Emphasis Type="Italic">P</Emphasis>(<Emphasis Type="Italic">K</Emphasis>) and algebra generators

We present necessary and sufficient conditions on planar compacta K and continuous functions f on K in order that f generate the algebras P(K), R(K), A(K) or C(K). We also unveil quite surprisingly simple examples of non-polynomial convex compacta K ? C and f ∈ P(K) with the property that f ∈ P(K) is a homeomorphism of K onto its image, but for which f ^?1 ? P(f(K)). As a consequence, such functions do not admit injective holomorphic extensions to the interior of the polynomial convex hull \(\widehat K\). On the other hand, it is shown that the restriction f*|_G of the Gelfand-transform f* of an injective function f ∈ P(K) is injective on every regular, bounded complementary component G of K. A necessary and sufficient condition in terms of the behaviour of f on the outer boundary of K is given in order that f admit a holomorphic injective extension to \(\widehat K\). We also include some results on the existence of continuous logarithms on punctured compacta containing the origin in their boundary.     

On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

Discreteness criteria in <Emphasis Type="Italic">PU</Emphasis> (1, <Emphasis Type="Italic">n</Emphasis>; <Emphasis Type="Italic">C</Emphasis>)

In this paper, we study the discreteness for non-elementary subgroups in PU (1, n; C), and several discreteness criteria are obtained.     

Strict <Emphasis Type="Italic">K</Emphasis>-monotonicity and <Emphasis Type="Italic">K</Emphasis>-order continuity in symmetric spaces

This paper is devoted to strict K-monotonicity and K-order continuity in symmetric spaces. Using a local approach to the geometric structure in a symmetric space E we investigate a connection between strict K-monotonicity and global convergence in measure of a sequence of the maximal functions. Next, we solve an essential problem whether an existence of a point of K-order continuity in a symmetric space E on \([0,\infty )\) implies that the embedding \(E\hookrightarrow {L^1}[0,\infty )\) does not hold. We present a complete characterization of an equivalent condition to K-order continuity in a symmetric space E using a notion of order continuity and the fundamental function of E. We also investigate a relationship between strict K-monotonicity and K-order continuity in symmetric spaces and show some examples of Lorentz spaces and Marcinkiewicz spaces having these properties or not. Finally, we discuss a local version of a crucial correspondence between order continuity and the Kadec–Klee property for global convergence in measure in a symmetric space E.