Demiclosedness principle and convergence theorems for k-strictly asymptotically pseudocontractive maps

Let E be a real q-uniformly smooth Banach space which is also uniformly convex (for example, Lp or ?p spaces, 1<p<∞), and K a nonempty closed convex (not necessarily bounded) subset of E. Let be a k-strictly asymptotically pseudocontractive map with a nonempty fixed-point set. It is proved that (I−T) is demiclosed at 0. Furthermore, weak and strong convergence of an averaging iteration method to a fixed point of T are proved.     

Convexities of metric spaces

We introduce two kinds of the notion of convexity of a metric space, called k-convexity and L-convexity, as generalizations of the CAT(0)-property and of the nonpositively curved property in the sense of Busemann, respectively. 2-uniformly convex Banach spaces as well as CAT(1)-spaces with small diameters satisfy both these convexities. Among several geometric and analytic results, we prove the solvability of the Dirichlet problem for maps into a wide class of metric spaces.      

On a generalized Mazur-Ulam question: Extension of isometries between unit spheres of Banach spaces

We call a Banach space X admitting the Mazur-Ulam property (MUP) provided that for any Banach space Y, if f is an onto isometry between the two unit spheres of X and Y, then it is the restriction of a linear isometry between the two spaces. A generalized Mazur-Ulam question is whether every Banach space admits the MUP. In this paper, we show first that the question has an affirmative answer for a general class of Banach spaces, namely, somewhere-flat spaces. As their immediate consequences, we obtain on the one hand that the question has an approximately positive answer: Given ε>0, every Banach space X admits a (1+ε)-equivalent norm such that X has the MUP; on the other hand, polyhedral spaces, CL-spaces admitting a smooth point (in particular, separable CL-spaces) have the MUP.     

Weakly K-analytic spaces and the three-space property for analyticity

Let (E,E^′) be a dual pair of vector spaces. The paper studies general conditions which allow to lift analyticity (or K-analyticity) from the weak topology σ(E,E^′) to stronger ones in the frame of (E,E^′). First we show that the Mackey dual of a space Cp(X) is analytic iff the space X is countable. This yields that for uncountable analytic spaces X the Mackey dual of Cp(X) is weakly analytic but not analytic. We show that the Mackey dual E of an (LF)-space of a sequence of reflexive separable Fréchet spaces with the Heinrich density condition is analytic, i.e. E is a continuous image of the Polish space NN. This extends a result of Valdivia. We show also that weakly quasi-Suslin locally convex Baire spaces are metrizable and complete (this extends a result of De Wilde and Sunyach). We provide however a large class of weakly analytic but not analytic metrizable separable Baire topological vector spaces (not locally convex!). This will be used to prove that analyticity is not a three-space property but we show that a metrizable topological vector space E is analytic if E contains a complete locally convex analytic subspace F such that the quotient E/F is analytic. Several questions, remarks and examples are included.     

Geometric formulas for Smale invariants of codimension two immersions

We give three formulas expressing the Smale invariant of an immersion f of a (4k−1)-sphere into (4k+1)-space. The terms of the formulas are geometric characteristics of any generic smooth map g of any oriented 4k-dimensional manifold, where g restricted to the boundary is an immersion regularly homotopic to f in (6k−1)-space.The formulas imply that if f and g are two non-regularly homotopic immersions of a (4k−1)-sphere into (4k+1)-space then they are also non-regularly homotopic as immersions into (6k−1)-space. Moreover, any generic homotopy in (6k−1)-space connecting f to g must have at least a_k(2k−1)! cusps, where a_k=2 if k is odd and a_k=1 if k is even.     

非常极凸空间的推广及其对偶概念

本文研究了k非常极凸和k非常极光滑空间的问题.利用Banach空间理论的方法,证明了k非常极凸空间和k非常极光滑空间是一对对偶概念,并且k非常极凸空间(k非常极光滑空间)是严格介于k一致极凸空间和k非常凸空间(k一致极光滑空间和k非常光滑空间)之间的一类新的Banach空间,得到了k非常极凸空间和k非常极光滑空间的若干等价刻画以及k非常极凸(k非常极光滑性)与其它凸性(光滑性)之间的蕴涵关系,推广了非常极凸空间和非常极光滑空间,完善了k非常极凸空间及其对偶空间的研究.     

Metric characterization of apartments in dual polar spaces

Let Π be a polar space of rank n and let Gk(Π), k∈{0,…,n−1} be the polar Grassmannian formed by k-dimensional singular subspaces of Π. The corresponding Grassmann graph will be denoted by Γk(Π). We consider the polar Grassmannian Gn−1(Π) formed by maximal singular subspaces of Π and show that the image of every isometric embedding of the n-dimensional hypercube graph Hn in Γn−1(Π) is an apartment of Gn−1(Π). This follows from a more general result concerning isometric embeddings of Hm, m?n in Γn−1(Π). As an application, we classify all isometric embeddings of Γn−1(Π) in Γn^′−1(Π^′), where Π^′ is a polar space of rank n^′?n.     

A generalized Conner-Floyd conjecture and the immersion problem for low 2-torsion lens spaces

Let α(d) denote the number of ones in the binary expansion of d. For 1?k?α(d) we prove that the 2(d+α(d)−k)+1-dimensional, 2^k-torsion lens space does not immerse in a Euclidian space of dimension 4d−2α(d) provided certain technical condition holds. The extra hypothesis is easily eliminated in the case k=1 recovering Davis’ strong non-immersion theorem for real projective spaces. For k>1 this is a deeper problem (solved only in part) that requires a close analysis of the interaction between the Brown-Peterson 2-series and its 2^k analogue. The methods are based on a partial generalization of the Brown-Peterson version for the Conner-Floyd conjecture used in this context to detect obstructions for the existence of Euclidian immersions.     

Some generalizations of locally and weakly locally uniformly convex space

In this paper, we prove that strongly convex space and almost locally uniformly rotund space, very convex space and weakly almost locally uniformly rotund space are respectively equivalent. We also investigate a few properties of k-strongly convex space and k-very convex space, and discuss the applications of strongly convex space and very convex space in approximation theory.     

On differentiable vectors for representations of infinite dimensional Lie groups

In this paper we develop two types of tools to deal with differentiability properties of vectors in continuous representations π:G→GL(V) of an infinite dimensional Lie group G on a locally convex space V. The first class of results concerns the space V^∞ of smooth vectors. If G is a Banach-Lie group, we define a topology on the space V^∞ of smooth vectors for which the action of G on this space is smooth. If V is a Banach space, then V^∞ is a Fréchet space. This applies in particular to C^∗-dynamical systems (A,G,α), where G is a Banach-Lie group. For unitary representations we show that a vector v is smooth if the corresponding positive definite function 〈π(g)v,v〉 is smooth. The second class of results concerns criteria for Ck-vectors in terms of operators of the derived representation for a Banach-Lie group G acting on a Banach space V. In particular, we provide for each k∈N examples of continuous unitary representations for which the space of Ck+1-vectors is trivial and the space of Ck-vectors is dense.     

Note on non-separating and removable cycles in highly connected graphs

We combine two well-known results by Mader and Thomassen, respectively. Namely, we prove that for any k-connected graph G (k≥4), there is an induced cycle C such that G−V(C) is (k−3)-connected and G−E(C) is (k−2)-connected. Both “(k−3)-connected” and “(k−2)-connected” are best possible in a sense.     

ON THE PRODUCT OF GATEAUX DIFFERENTIABILITY LOCALLY CONVEX SPACES

A locally convex space is said to be a Gâteaux differentiability space (GDS) provided every continuous convex function defined on a nonempty convex open subset D of the space is densely Gâteaux differentiable in D. This paper shows that the product of a GDS and a family of separable Fréchet spaces is a GDS, and that the product of a GDS and an arbitrary locally convex space endowed with the weak topology is a GDS.     

On polyvectors of vector spaces and hyperplanes of projective Grassmannians

We investigate relationships between polyvectors of a vector space V, alternating multilinear forms on V, hyperplanes of projective Grassmannians and regular spreads of projective spaces. Suppose V is an n-dimensional vector space over a field F and that A_n-1,k(F) is the Grassmannian of the (k − 1)-dimensional subspaces of PG(V) (1  ? k ? n − 1). With each hyperplane H of A_n-1,k(F), we associate an (n − k)-vector of V (i.e., a vector of ∧^n−kV) which we will call a representative vector of H. One of the problems which we consider is the isomorphism problem of hyperplanes of A_n-1,k(F), i.e., how isomorphism of hyperplanes can be recognized in terms of their representative vectors. Special attention is paid here to the case n = 2k and to those isomorphisms which arise from dualities of PG(V). We also prove that with each regular spread of the projective space PG(2k-1,F), there is associated some class of isomorphic hyperplanes of the Grassmannian A_2k-1,k(F), and we study some properties of these hyperplanes. The above investigations allow us to obtain a new proof for the classification, up to equivalence, of the trivectors of a 6-dimensional vector space over an arbitrary field F, and to obtain a classification, up to isomorphism, of all hyperplanes of A_5,3(F).     

Asymptotics of convex sets in Euclidean and hyperbolic spaces

We study convex sets C of finite (but non-zero) volume in Hn and En. We show that the intersection C_∞ of any such set with the ideal boundary of Hn has Minkowski (and thus Hausdorff) dimension of at most (n−1)/2, and this bound is sharp, at least in some dimensions n. We also show a sharp bound when C_∞ is a smooth submanifold of _∂∞Hn. In the hyperbolic case, we show that for any k?(n−1)/2 there is a bounded section S of C through any prescribed point p, and we show an upper bound on the radius of the ball centered at p containing such a section. We show similar bounds for sections through the origin of a convex body in En, and give asymptotic estimates as 1?k?n.     

Convergence and the length spectrum

The author defines and analyzes the 1/k length spectra, L1/k(M), whose union, over all k∈N is the classical length spectrum. These new length spectra are shown to converge in the sense that limk→∞K1/k(Mi)⊂L1/k(M)∪{0} as Mi→M in the Gromov-Hausdorff sense. Energy methods are introduced to estimate the shortest element of L1/k, as well as a concept called the minimizing index which may be used to estimate the length of the shortest closed geodesic of a simply connected manifold in any dimension. A number of gap theorems are proven, including one for manifolds, Mn, with Ricci?(n−1) and volume close to Vol(Sn). Many results in this paper hold on compact length spaces in addition to Riemannian manifolds.     

Regularity of subelliptic Monge-Ampère equations

In dimension n?3, for k≈|x|^2m that can be written as a sum of squares of smooth functions, we prove that a C² convex solution u to a subelliptic Monge-Ampère equation detD²u=k(x,u,Du) is itself smooth if the elementary (n−1)st symmetric curvature kn−1 of u is positive (the case m?2 uses an additional nondegeneracy condition on the sum of squares). Our proof uses the partial Legendre transform, Calabi's identity for ∑uijσij where σ is the square of the third order derivatives of u, the Campanato method Xu and Zuily use to obtain regularity for systems of sums of squares of Hörmander vector fields, and our earlier work using Guan's subelliptic methods.     

Small into isomorphisms on uniformly smooth spaces

Let X be a uniformly smooth infinite dimensional Banach space, and (Ω,Σ,μ) be a σ-finite measure space. Suppose that T:X→L∞(Ω,Σ,μ) satisfies

(1−ε)‖x‖?‖Tx‖?‖x‖,∀x∈X,     

The topological type of the α-sections of convex sets

An α=(α₁,…,αk)(0?αi?1) section of a family {K₁,…,Kk} of convex bodies in Rd is a transversal halfspace H⁺ for which Vold(Ki∩H⁺)=αi⋅Vold(Ki) for every 1?i?k. Our main result is that for any well-separated family of strictly convex sets, the space of α-sections is diffeomorphic to Sd−k.     

Higher rank numerical ranges and low rank perturbations of quantum channels

For a positive integer k, the rank-k numerical range Λk(A) of an operator A acting on a Hilbert space H of dimension at least k is the set of scalars λ such that PAP=λP for some rank k orthogonal projection P. In this paper, a close connection between low rank perturbation of an operator A and Λk(A) is established. In particular, for 1?r<k it is shown that Λk(A)⊆Λk−r(A+F) for any operator F with rank(F)?r. In quantum computing, this result implies that a quantum channel with a k-dimensional error correcting code under a perturbation of rank at most r will still have a (k−r)-dimensional error correcting code. Moreover, it is shown that if A is normal or if the dimension of A is finite, then Λk(A) can be obtained as the intersection of Λk−r(A+F) for a collection of rank r operators F. Examples are given to show that the result fails if A is a general operator. The closure and the interior of the convex set Λk(A) are completely determined. Analogous results are obtained for Λ_∞(A) defined as the set of scalars λ such that PAP=λP for an infinite rank orthogonal projection P. It is shown that Λ_∞(A) is the intersection of all Λk(A) for k=1,2,…. If A−μI is not compact for all μ∈C, then the closure and the interior of Λ_∞(A) coincide with those of the essential numerical range of A. The situation for the special case when A−μI is compact for some μ∈C is also studied.     

A bijection between 2-triangulations and pairs of non-crossing Dyck paths

A k-triangulation of a convex polygon is a maximal set of diagonals so that no k+1 of them mutually cross in their interiors. We present a bijection between 2-triangulations of a convex n-gon and pairs of non-crossing Dyck paths of length 2(n−4). This solves the problem of finding a bijective proof of a result of Jonsson for the case k=2. We obtain the bijection by constructing isomorphic generating trees for the sets of 2-triangulations and pairs of non-crossing Dyck paths.