Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).     

Applications of utility functions defined on quasi-metric spaces

A quasi-metric space (X,d) is called sup-separable if (X,d^s) is a separable metric space, where d^s(x,y)=max{d(x,y),d(y,x)} for all x,y∈X. We characterize those preferences, defined on a sup-separable quasi-metric space, for which there is a semi-Lipschitz utility function. We deduce from our results that several interesting examples of quasi-metric spaces which appear in different fields of theoretical computer science admit semi-Lipschitz utility functions. We also apply our methods to the study of certain kinds of dynamical systems defined on quasi-metric spaces.     

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

Spectral reciprocity and matrix representations of unbounded operators

We study a family of unbounded Hermitian operators in Hilbert space which generalize the usual graph-theoretic discrete Laplacian. For an infinite discrete set X, we consider operators acting on Hilbert spaces of functions on X, and their representations as infinite matrices; the focus is on ?²(X), and the energy space HE. In particular, we prove that these operators are always essentially self-adjoint on ?²(X), but may fail to be essentially self-adjoint on HE. In the general case, we examine the von Neumann deficiency indices of these operators and explore their relevance in mathematical physics. Finally we study the spectra of the HE operators with the use of a new approximation scheme.     

Banach spaces in various positions

We formulate a general theory of positions for subspaces of a Banach space: we define equivalent and isomorphic positions, study the automorphy index a(Y,X) that measures how many non-equivalent positions Y admits in X, and obtain estimates of a(Y,X) for X a classical Banach space such as ?p,Lp,L₁,C(ωω) or C[0,1]. Then, we study different aspects of the automorphic space problem posed by Lindenstrauss and Rosenthal; namely, does there exist a separable automorphic space different from c₀ or ?₂? Recall that a Banach space X is said to be automorphic if every subspace Y admits only one position in X; i.e., a(Y,X)=1 for every subspace Y of X. We study the notion of extensible space and uniformly finitely extensible space (UFO), which are relevant since every automorphic space is extensible and every extensible space is UFO. We obtain a dichotomy theorem: Every UFO must be either an L_∞-space or a weak type 2 near-Hilbert space with the Maurey projection property. We show that a Banach space all of whose subspaces are UFO (called hereditarily UFO spaces) must be asymptotically Hilbertian; while a Banach space for which both X and X^∗ are UFO must be weak Hilbert. We then refine the dichotomy theorem for Banach spaces with some additional structure. In particular, we show that an UFO with unconditional basis must be either c₀ or a superreflexive weak type 2 space; that a hereditarily UFO Köthe function space must be Hilbert; and that a rearrangement invariant space UFO must be either L_∞ or a superreflexive type 2 Banach lattice.     

Orthogonal sequences and regularity of embeddings into finite-dimensional spaces

This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert and Banach spaces into Euclidean spaces. We study orthogonal sequences in a Hilbert space H, whose elements tend to zero, and similar sequences in the space c₀ of null sequences. The examples studied show that the results due to Hunt and Kaloshin (Regularity of embeddings of infinite-dimensional fractal sets into finite-dimensional spaces, Nonlinearity 12 (1999) 1263-1275) and Robinson (Linear embeddings of finite-dimensional subsets of Banach spaces into Euclidean spaces, Nonlinearity 22 (2009) 711-728) for subsets of Hilbert and Banach spaces with finite box-counting dimension are asymptotically sharp. An analogous argument allows us to obtain a lower bound for the power of the logarithmic correction term in an embedding theorem proved by Olson and Robinson (Almost bi-Lipschitz embeddings and almost homogeneous sets, Trans. Amer. Math. Soc. 362 (1) (2010) 145-168) for subsets X of Hilbert spaces when X−X has finite Assouad dimension.     

Stampacchia’s Property,Self-duality and Orthogonality Relations

We show that if the conclusion of the well known Stampacchia Theorem on variational inequalities holds on a real Banach space X, then X is isomorphic to a Hilbert space. Motivated by this, we obtain a relevant result concerning self-dual Banach spaces and investigate some connections between properties of orthogonality relations, self-duality and Hilbert space structure. Moreover, we revisit the notion of the cosine of a linear operator and show that it can be used to characterize real Banach spaces that are isomorphic to a Hilbert space. Finally, we present some consequences of our results to quadratic forms and to evolution triples.     

On local convexity of nonlinear mappings between Banach spaces

We find conditions for a smooth nonlinear map f: U → V between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some c and each positive ? < c the image f(B _?(x)) of each ?-ball B _?(x) ? U is convex. We give a lower bound on c via the second order Lipschitz constant Lip₂(f), the Lipschitz-open constant Lip_o(f) of f, and the 2-convexity number conv₂(X) of the Banach space X.     

Boundedness of paraproduct operators on RD-spaces

Let(X,d,μ) be an RD-space with "dimension" n,namely,a space of homogeneous type in the sense of Coifman and Weiss satisfying a certain reverse doubling condition.Using the Calder'on reproducing formula,the authors hereby establish boundedness for paraproduct operators from the product of Hardy spaces H p(X) × H q(X) to the Hardy space H r(X),where p,q,r ∈(n/(n + 1),∞) satisfy 1/p + 1/q = 1/r.Certain endpoint estimates are also obtained.In view of the lack of the Fourier transform in this setting,the proofs are based on the derivation of appropriate kernel estimates.     

Hilbert-generated spaces

We classify several classes of the subspaces of Banach spaces X for which there is a bounded linear operator from a Hilbert space onto a dense subset in X. Dually, we provide optimal affine homeomorphisms from weak star dual unit balls onto weakly compact sets in Hilbert spaces or in c₀(Γ) spaces in their weak topology. The existence of such embeddings is characterized by the existence of certain uniformly Gâteaux smooth norms.     

Universal spaces of subdifferentials of sublinear operators ranging in the cone of bounded lower semicontinuous functions

We study Fréchet’s problem of the universal space for the subdifferentials ?P of continuous sublinear operators P: V → BC(X)_～ which are defined on separable Banach spaces V and range in the cone BC(X)_～ of bounded lower semicontinuous functions on a normal topological space X. We prove that the space of linear compact operators L ^c(? ², C(βX)) is universal in the topology of simple convergence. Here ? ² is a separable Hilbert space, and βX is the Stone-?ech compactification of X. We show that the images of subdifferentials are also subdifferentials of sublinear operators.     

On operator valued sequences of multipliers and R-boundedness

In recent papers (cf. [J.L. Arregui, O. Blasco, (p,q)-Summing sequences, J. Math. Anal. Appl. 274 (2002) 812-827; J.L. Arregui, O. Blasco, (p,q)-Summing sequences of operators, Quaest. Math. 26 (2003) 441-452; S. Aywa, J.H. Fourie, On summing multipliers and applications, J. Math. Anal. Appl. 253 (2001) 166-186; J.H. Fourie, I. Röntgen, Banach space sequences and projective tensor products, J. Math. Anal. Appl. 277 (2) (2003) 629-644]) the concept of (p,q)-summing multiplier was considered in both general and special context. It has been shown that some geometric properties of Banach spaces and some classical theorems can be described using spaces of (p,q)-summing multipliers. The present paper is a continuation of this study, whereby multiplier spaces for some classical Banach spaces are considered. The scope of this research is also broadened, by studying other classes of summing multipliers. Let E(X) and F(Y) be two Banach spaces whose elements are sequences of vectors in X and Y, respectively, and which contain the spaces c₀₀(X) and c₀₀(Y) of all X-valued and Y-valued sequences which are eventually zero, respectively. Generally spoken, a sequence of bounded linear operators (un)⊂L(X,Y) is called a multiplier sequence from E(X) to F(Y) if the linear operator from c₀₀(X) into c₀₀(Y) which maps (xi)∈c₀₀(X) onto (unxn)∈c₀₀(Y) is bounded with respect to the norms on E(X) and F(Y), respectively. Several cases where E(X) and F(Y) are different (classical) spaces of sequences, including, for instance, the spaces Rad(X) of almost unconditionally summable sequences in X, are considered. Several examples, properties and relations among spaces of summing multipliers are discussed. Important concepts like R-bounded, semi-R-bounded and weak-R-bounded from recent papers are also considered in this context.     

Approximation of the limit distance function in Banach spaces

In this paper we study the behavior of the limit distance function d(x)=limdist(x,Cn) defined by a nested sequence (Cn) of subsets of a real Banach space X. We first present some new criteria for the non-emptiness of the intersection of a nested sequence of sets and of their ε-neighborhoods from which we derive, among other results, Dilworth's characterization [S.J. Dilworth, Intersections of centred sets in normed spaces, Far East J. Math. Sci. (Part II) (1988) 129-136 (special volume)] of Banach spaces not containing c₀ and Marino's result [G. Marino, A remark on intersection of convex sets, J. Math. Anal. Appl. 284 (2003) 775-778]. Passing then to the approximation of the limit distance function, we show three types of results: (i) that the limit distance function defined by a nested sequence of non-empty bounded closed convex sets coincides with the distance function to the intersection of the weak^∗-closures in the bidual; this extends and improves the results in [J.M.F. Castillo, P.L. Papini, Distance types in Banach spaces, Set-Valued Anal. 7 (1999) 101-115]; (ii) that the convexity condition is necessary; and (iii) that in spaces with separable dual, the distance function to a weak^∗-compact convex set is approximable by a (non-necessarily nested) sequence of bounded closed convex sets of the space.     

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz

For a graph G, let χ(G) denote its chromatic number and σ(G) denote the order of the largest clique subdivision in G. Let H(n) be the maximum of χ(G)=σ(G) over all n-vertex graphs G. A famous conjecture of Hajós from 1961 states that σ(G) ≥ χ(G) for every graph G. That is, H(n)≤1 for all positive integers n. This conjecture was disproved by Catlin in 1979. Erd?s and Fajtlowicz further showed by considering a random graph that H(n)≥cn ^1/2/logn for some absolute constant c>0. In 1981 they conjectured that this bound is tight up to a constant factor in that there is some absolute constant C such that χ(G)=σ(G) ≤ Cn ^1/2/logn for all n-vertex graphs G. In this paper we prove the Erd?s-Fajtlowicz conjecture. The main ingredient in our proof, which might be of independent interest, is an estimate on the order of the largest clique subdivision which one can find in every graph on n vertices with independence number α.     

Sulla funzione di Hilbert di un sottoschema zero-dimensionale diP 3

Riassunto In questo lavoro diamo una caratterizzazione aritmetica della differenza prima ΔH(X,−) della funzione di Hilbert di un sottoschema chiuso 0-dimensionaleX diP ³. Il risultato principale viene applicato per dimostrare che seX è contenuto in una completa intersezione di tipo(a, b, c), a≦b≦c allora ΔH(X, n) è decrescente pern≧a+c−2.

---

Summary In this paper we give an aritmetical characterization of the first difference ΔH(X,−) of the Hilbert function of a closed 0-dimensional subschemeX ofP ³. The main result is then applied to prove that ifX is contained in a complete intersection of type(a, b, c), a≦b≦c then ΔH(X, n) is decreasing forn≧a+c−2.

---

---

Lavoro svolto con finanziamento MPI.     

Linear maps on matrices: the invariance of symmetric polynomials

Let L be a linear map on the space M_n of all n by n complex matrices. Let h(x₁,…,x_n) be a symmetric polynomial. If X is a matrix in M_n with eigenvalues λ₁,…,λ_n, denote h(λ₁,…,λ_n) by h(X). For a large class of polynomials h, we determine the structure of the linear maps L for which h(X)=h(L(X)), for all X in M_n.     

The Dichotomy Theorem for evolution bi-families

We prove that the operator G, the closure of the first-order differential operator −d/dt+D(t) on L₂(R,X), is Fredholm if and only if the not well-posed equation u^′(t)=D(t)u(t), t∈R, has exponential dichotomies on R₊ and R₋ and the ranges of the dichotomy projections form a Fredholm pair; moreover, the index of this pair is equal to the Fredholm index of G. Here X is a Hilbert space, D(t)=A+B(t), A is the generator of a bi-semigroup, B(⋅) is a bounded piecewise strongly continuous operator-valued function. Also, we prove some perturbations results and consider various examples of not well-posed problems.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

Algebraic reflexivity of the isometry group of some spaces of Lipschitz functions

We show that the isometry groups of Lip(X,d) and lip(X,dα) with α∈(0,1), for a compact metric space (X,d), are algebraically reflexive. We also prove that the sets of isometric reflections and generalized bi-circular projections on such spaces are algebraically reflexive. In order to achieve this, we characterize generalized bi-circular projections on these spaces.     

A Grobman-Hartman theorem for general nonuniform exponential dichotomies

For a nonautonomous dynamics with discrete time given by a sequence of linear operators Am, we establish a version of the Grobman-Hartman theorem in Banach spaces for a very general nonuniformly hyperbolic dynamics. More precisely, we consider a sequence of linear operators whose products exhibit stable and unstable behaviors with respect to arbitrary growth rates ecρ(n), determined by a sequence ρ(n). For all sufficiently small Lipschitz perturbations Am+fm we construct topological conjugacies between the dynamics defined by this sequence and the dynamics defined by the operators Am. We also show that all conjugacies are Hölder continuous. We note that the usual exponential behavior is included as a very special case when ρ(n)=n, but many other asymptotic behaviors are included such as the polynomial asymptotic behavior when ρ(n)=logn.