Abstract. We present a reflexive Banach space with an unconditional basis which is quasi-minimal and tight by range, i.e. of type (4) in Ferenczi-Rosendal list within the framework of Gowers' classification program of Banach spaces, but contrary to the recently constructed space of type (4) also tight with constants, thus essentially extending the list of known examples in Gowers' program. The space is defined on the base on a boundedly modified mixed Tsirelson space with use of a special coding function.
IntroductionThe "loose" classification program for Banach spaces was started by W.T. Gowers in the celebrated paper [16]. The goal is to identify classes of Banach spaces which are• hereditary, i.e. if a space belongs to a given class, then any its closed infinite dimensional subspace belongs to the same class, • inevitable, i.e. any Banach space contains an infinite dimensional subspace in one of those classes, • defined in terms of the richness of the family of bounded operators on/in the space. The program was inspired by the famous Gowers' dichotomy [15] exhibiting the first two classes: spaces with an unconditional basis and hereditary indecomposable spaces. Recall that a space is called hereditarily indecomposable (HI) if none of its closed infinite dimensional subspaces is a direct sum of its two closed infinite dimensional subspaces.The research now concentrates on identifying classes in terms of the family of isomorphisms defined in a space. The richness of this family can be stated in various "minimality" conditions, whereas the lack of certain type isomorphic embeddings of subspaces of a given space is described by different types of "tightness" of the considered space.Recall that a Banach space is minimal if it embeds isomorphically into any its closed infinite dimensional subspace. Relaxing this notion one obtains quasiminimality, which asserts that any two infinitely dimensional subspaces of a given space contain further two isomorphic infinitely dimensional subspaces. Relaxing the notions of minimality or adding additional requirements of choice of isomorphic subspaces in quasi-minimality case leads to different types of minimality of a space, contrasted in [16,10] with different types of tightness, categorized in [10].Recall that a subspace Y of a Banach space X with a basis (e n ) is tight in X if there is a sequence of successive subsets I 1 < I 2 < . . . of N such that the support of any isomorphic copy of Y in X intersects all but finitely many I n 's. X is called tight if any of its subspaces is tight in X. Adding requirements on the subsets (I n ) with 2000 Mathematics Subject Classification. 46B03.