Canonical matrices of isometric operators on indefinite inner product spaces

We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases:

•

F is an algebraically closed field of characteristic different from 2 or a real closed field, and B is symmetric or skew-symmetric;

•

F is an algebraically closed field of characteristic 0 or the skew field of quaternions over a real closed field, and B is Hermitian or skew-Hermitian with respect to any nonidentity involution on F.

These classification problems are wild if B may be degenerate. We use a method that admits to reduce the problem of classifying an arbitrary system of forms and linear mappings to the problem of classifying representations of some quiver. This method was described in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (3) (1988) 481-501].     

Farthest points in weakly compact sets

LetS be a weakly compact subset of a Banach spaceB. We show that of all points inB which have farthest points inS contains a denseG ₅ ofB. Also, we give a necessary and sufficient condition for bounded closed convex sets to be the closed convex hull of their farthest points in reflexive Banach spaces.     

Partial Convexity

We study OC-convexity, which is defined by the intersection of conic semispaces of partial convexity. We investigate an optimization problem for OC-convex sets and prove a Krein--Milman type theorem for OC-convexity. The relationship between OC-convex and functionally convex sets is studied. Topological and numerical aspects, as well as separability properties are described. An upper estimate for the Carathéodory number for OC-convexity is found. On the other hand, it happens that the Helly and the Radon number for OC-convexity are infinite. We prove that the OC-convex hull of any finite set of points is the union of finitely many polyhedra.     

Locally compact spaces of countable core and Alexandroff compactification

We introduce a new cardinal invariant, core of a space, defined for any locally compact Hausdorff space X and denoted by cor(X). Locally compact spaces of countable core generalize locally compact σ-compact spaces in a way that is slightly exotic, but still quite natural. We show in Section 1 that under a broad range of conditions locally compact spaces of countable core must be σ-compact. In particular, normal locally compact spaces of countable core and realcompact locally compact spaces of countable core are σ-compact. Perfect mappings preserve the class of spaces of countable core in both directions (Section 2). The Alexandroff compactification aX is weakly first countable at the Alexandroff point a if and only if cor(X)=ω (Section 3). Two examples of non-σ-compact locally compact spaces of countable core are discussed in Section 3. We also extend the well-known theorem of Alexandroff and Urysohn on the cardinality of perfectly normal compacta to compacta satisfying a weak version of perfect normality. Several open problems are formulated.     

Hereditary invertible linear surjections and splitting problems for selections

Let A+B be the pointwise (Minkowski) sum of two convex subsets A and B of a Banach space. Is it true that every continuous mapping h:X→A+B splits into a sum h=f+g of continuous mappings f:X→A and g:X→B? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.     

Continuity properties of the ball hull mapping

The ball hull mapping  β$\beta$ associates with each closed bounded convex set K$K$ in a Banach space its ball hull β(K)$\beta \left(K\right)$, defined as the intersection of all closed balls containing K$K$. We are concerned in this paper with continuity and Lipschitz continuity (with respect to the Hausdorff metric) of the ball hull mapping. It is proved that β$\beta$ is a Lipschitz map in finite dimensional polyhedral spaces. Both properties, finite dimension and polyhedral norm, are necessary for this result. Characterizing the ball hull mapping by means ofH$H$-convexity we show, with the help of a remarkable example from combinatorial geometry, that there exist norms with noncontinuous β$\beta$ map, even in finite dimensional spaces. Using this surprising result, we then show that there are infinite dimensional polyhedral spaces (in the usual sense of Klee) for which the map β$\beta$ is not continuous. A property known as ball stability implies that β$\beta$ has Lipschitz constant one. We prove that every Banach space of dimension greater than two can be renormed so that there is an intersection of closed balls for which none of its parallel bodies is an intersection of closed balls, thus lacking ball stability.     

Rudin's Dowker space, strong base-normality and base-strong-zero-dimensionality

It is well known that every pair of disjoint closed subsets F₀,F₁ of a normal T₁-space X admits a star-finite open cover U of X such that, for every U∈U, either or holds. We define a T₁-space X to be strongly base-normal if there is a base B for X with |B|=w(X) satisfying that every pair of disjoint closed subsets F₀,F₁ of X admits a star-finite cover B^′ of X by members of B such that, for every B∈B^′, either or holds. We prove that there is a base-normal space which is not strongly base-normal. Moreover, we show that Rudin's Dowker space is strongly base-(collectionwise)normal. Strong zero-dimensionality on base-normal spaces are also studied.     

On the James constant and B-convexity of Cesàro and Cesàro-Orlicz sequence spaces

The classical James constant and the nth James constants, which are measure of B-convexity for the Cesàro sequence spaces cesp and the Cesàro-Orlicz sequence spaces cesM, are calculated. These investigations show that cesp,cesM are not uniformly non-square and even they are not B-convex. Therefore the classical Cesàro sequence spaces cesp are natural examples of reflexive spaces which are not B-convex. Moreover, the James constant for the two-dimensional Cesàro space is calculated.     

Second cohomology groups for Frobenius kernels and related structures

Let G be a simple simply connected affine algebraic group over an algebraically closed field k of characteristic p for an odd prime p. Let B be a Borel subgroup of G and U be its unipotent radical. In this paper, we determine the second cohomology groups of B and its Frobenius kernels for all simple B-modules. We also consider the standard induced modules obtained by inducing a simple B-module to G and compute all second cohomology groups of the Frobenius kernels of G for these induced modules. Also included is a calculation of the second ordinary Lie algebra cohomology group of Lie(U) with coefficients in k.     

The countable Telescope Conjecture for module categories

By the Telescope Conjecture for Module Categories, we mean the following claim: “Let R be any ring and (A,B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A,B) is of finite type.”We prove a modification of this conjecture with the word ‘finite’ replaced by ‘countable.’ We show that a hereditary cotorsion pair (A,B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in A in terms of morphisms between finitely presented modules, and show that (A,B) is cogenerated by a single pure-injective module provided that A is closed under direct limits. Then we move our attention to strong analogies between cotorsion pairs in module categories and localizing pairs in compactly generated triangulated categories.     

Extreme points in polyhedral Banach spaces

We show that there exists a polyhedral Banach space X such that the closed unit ball of X is the closed convex hull of its extreme points. This solves a problem posed by J. Lindenstrauss in 1966.     

Homotopical properties of upper semifinite hyperspaces of compacta

In this paper we study homotopical properties of a special neighborhood system, which is denoted by {Uε}_?>0, for the canonical embedding of a compact metric space in its upper semifinite hyperspace to get results in the shape theory for compacta. We also point out that there are spaces with the shape of finite discrete spaces and having not the homotopy type of any T₁-space     

Cohomological dimension of Markov compacta

We rephrase Gromov's definition of Markov compacta, introduce a subclass of Markov compacta defined by one building block and study cohomological dimensions of these compacta. We show that for a Markov compactum X, dimZ(p)X=dimQX for all but finitely many primes p where Z(p) is the localization of Z at p. We construct Markov compacta of arbitrarily large dimension having dimQX=1 as well as Markov compacta of arbitrary large rational dimension with dimZpX=1 for a given p.     

Strongly countable dimensional compacta form the Hurewicz set

The hyperspaces of strongly countable dimensional compacta of positive dimension and of strongly countable dimensional continua of dimension greater than 1 in the Hilbert cube are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. These facts hold true, in particular, for covering dimension dim and cohomological dimension dimG, where G is any Abelian group.     

Six Kinds of Roughly Convex Functions

This paper considers six kinds of roughly convex functions, namely: δ-convex, midpoint δ-convex, ρ-convex, γ-convex, lightly γ-convex, and midpoint γ-convex functions. The relations between these concepts are presented. It is pointed out that these roughly convex functions have two optimization properties: each r-local minimizer is a global minimizer, and if they assume their maximum on a bounded convex domain D (in a Hilbert space), then they do so at least at one r-extreme point of D, where r denotes the roughness degree of these functions. Furthermore, analytical properties are investigated, such as boundedness, continuity, and conservation properties.     

Local selections and local dendrites

Let X be a Peano continuum, C(X) its space of subcontinua, and C(X, ε) the space of subcontinua of diameter less than ε. A selection on some subspace of C(X) is a continuous choice function; the selection σ is rigid if σ(A) ? B ? A implies σ(A) = σ(B). It is shown that X is a local dendrite (contains at most one simple closed curve) if and only if there exists ε > 0 such that C(X, ε) admits a selection (rigid selection). Further, C(X) admits a local selection at the subcontinuum A if and only if A has a neighborhood (relative to the space C(X)) which contains no cyclic local dendrite; moreover, that local selection may be chosen to be a constant.     

Operator analogue of the Krein-Milman theorem in the generalized state spaces

We discuss the Krein-Milman-type problems in the C* -convexity theory for the generalized state space of C*-algebraA. The main results are that every BW-compact, C*-convex subset of possesses a C*-extreme point and every BW-compact, C* -convex subset of is the C^*-convex hull of its C*-extreme points.     

Closed range and relative regularity for products

Let B be a closed linear transformation of the Banach space X into the Banach space Y and let A be a bounded linear transformation of Y into the Banach space Z. A simple condition is shown to be necessary and sufficient for AB to have closed range. Provided B is relatively regular there is a simple necessary and sufficient condition for AB to be relatively regular. Provided B⁺ and A⁺ are pseudoinverses for B and A, respectively, the condition that B⁺A⁺ is a pseudoinverse for AB is completely characterized.     

Krylov type subspace methods for matrix polynomials

We consider solving eigenvalue problems or model reduction problems for a quadratic matrix polynomial Iλ² − Aλ − B with large and sparse A and B. We propose new Arnoldi and Lanczos type processes which operate on the same space as A and B live and construct projections of A and B to produce a quadratic matrix polynomial with the coefficient matrices of much smaller size, which is used to approximate the original problem. We shall apply the new processes to solve eigenvalue problems and model reductions of a second order linear input-output system and discuss convergence properties. Our new processes are also extendable to cover a general matrix polynomial of any degree.     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.