An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Uniform partitions of frames of exponentials into Riesz sequences

The Feichtinger conjecture, if true, would have as a corollary that for each set E⊂[0,1] and Λ⊂Z, there is a partition Λ₁,…,ΛN of Z such that for each 1?i?N, is a Riesz sequence. In this paper, sufficient conditions on sets E⊂[0,1] and Λ⊂R are given so that can be uniformly partitioned into Riesz sequences.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

On the intrinsic and the spatial numerical range

For a bounded function f from the unit sphere of a closed subspace X of a Banach space Y, we study when the closed convex hull of its spatial numerical range W(f) is equal to its intrinsic numerical range V(f). We show that for every infinite-dimensional Banach space X there is a superspace Y and a bounded linear operator such that . We also show that, up to renormig, for every non-reflexive Banach space Y, one can find a closed subspace X and a bounded linear operator T∈L(X,Y) such that .Finally, we introduce a sufficient condition for the closed convex hull of the spatial numerical range to be equal to the intrinsic numerical range, which we call the Bishop-Phelps-Bollobás property, and which is weaker than the uniform smoothness and the finite-dimensionality. We characterize strong subdifferentiability and uniform smoothness in terms of this property.     

Distances from selectors to spaces of Baire one functions

Given a metric space X and a Banach space (E,‖⋅‖) we study distances from the set of selectors Sel(F) of a set-valued map to the space B₁(X,E) of Baire one functions from X into E. For this we introduce the d-τ-semioscillation of a set-valued map with values in a topological space (Y,τ) also endowed with a metric d. Being more precise we obtain that

     

Universal factorization property of certain polycyclic groups

Let H be a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group. Let G be any group with maximal condition. We show that there exists a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group and an epimorphism such that for any homomorphism ?:G→H, it factors through , i.e., there exists a homomorphism such that . We show that this factorization property cannot be extended to any finitely generated group G. As an application of factorization, we give necessary and sufficient conditions for N(f,g)=R(f,g) to hold for maps f,g:X→Y between closed orientable n-manifolds where π₁(X) has the maximal condition, Y is an infra-solvmanifold, N(f,g) and R(f,g) denote the Nielsen and Reidemeister coincidence numbers, respectively.     

Codimension reduction and second fundamental form of CR submanifolds in complex space forms

Considering n-dimensional real submanifolds M of a complex space form which are CR submanifolds of CR dimension , we study the condition h(FX,Y)+h(X,FY)=0 on the structure tensor F naturally induced from the almost complex structure J of the ambient manifold and on the second fundamental form h of submanifolds M.     

On the F-fundamental group scheme

Let X be a smooth projective variety defined over a perfect field k of positive characteristic, and let FX be the absolute Frobenius morphism of X. For any vector bundle E→X, and any polynomial g with non-negative integer coefficients, define the vector bundle using the powers of FX and the direct sum operation. We construct a neutral Tannakian category using the vector bundles with the property that there are two distinct polynomials f and g with non-negative integer coefficients such that . We also investigate the group scheme defined by this neutral Tannakian category.     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

On the uniform density of C(X) ⊗ C(Y) in C(X × Y)

We prove that if X and Y are compact Hausdorff spaces, then every f ∈ C(X × Y)₊, i.e. f(x, y) ≥ 0 for all (x, y) ∈ X × Y, can be approximated uniformly from below and above by elements of the form , where f_i ∈ C(X)₊ and g_i ∈ C(Y)₊ for i = 1, 2, …, n. The proof uses only elementary topology. We use this result, in conjuction with Kakutani's M-spaces representation theorem, to obtain an alternative proof for a known property of Fremlin's Riesz space tensor product of Archimedean Riesz spaces.     

Minimizing a monotone concave function with laminar covering constraints

Let V be a finite set with |V|=n. A family F⊆2^V is called laminar if for all two sets X,Y∈F, X∩Y≠∅ implies X⊆Y or X⊇Y. Given a laminar family F, a demand function , and a monotone concave cost function , we consider the problem of finding a minimum-cost such that x(X)?d(X) for all X∈F. Here we do not assume that the cost function F is differentiable or even continuous. We show that the problem can be solved in O(n²q) time if F can be decomposed into monotone concave functions by the partition of V that is induced by the laminar family F, where q is the time required for the computation of F(x) for any . We also prove that if F is given by an oracle, then it takes Ω(n²q) time to solve the problem, which implies that our O(n²q) time algorithm is optimal in this case. Furthermore, we propose an algorithm if F is the sum of linear cost functions with fixed setup costs. These also make improvements in complexity results for source location and edge-connectivity augmentation problems in undirected networks. Finally, we show that in general our problem requires Ω(2^n/2q) time when F is given implicitly by an oracle, and that it is NP-hard if F is given explicitly in a functional form.     

Solutions of polynomial Pell's equation

Let D=F²+2G be a monic quartic polynomial in Z[x], where . Then for F/G∈Q[x], a necessary and sufficient condition for the solution of the polynomial Pell's equation X²−DY²=1 in Z[x] has been shown. Also, the polynomial Pell's equation X²−DY²=1 has nontrivial solutions X,Y∈Q[x] if and only if the values of period of the continued fraction of are 2, 4, 6, 8, 10, 14, 18, and 22 has been shown. In this paper, for the period of the continued fraction of is 4, we show that the polynomial Pell's equation has no nontrivial solutions X,Y∈Z[x].     

Compact sets of continuity for Borel functions

We investigate connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set , where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming -determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

Strong continuity of generalized Feynman-Kac semigroups: Necessary and sufficient conditions

Let (E,D(E)) be a strongly local, quasi-regular symmetric Dirichlet form on L²(E;m) and ((Xt)_t?0,(Px)_x∈E) the diffusion process associated with (E,D(E)). For u∈De(E), u has a quasi-continuous version and has Fukushima's decomposition: , where is the martingale part and is the zero energy part. In this paper, we study the strong continuity of the generalized Feynman-Kac semigroup defined by , t?0. Two necessary and sufficient conditions for to be strongly continuous are obtained by considering the quadratic form (Qu,Db(E)), where Qu(f,f):=E(f,f)+E(u,f²) for f∈Db(E), and the energy measure μ〈u〉 of u, respectively. An example is also given to show that is strongly continuous when μ〈u〉 is not a measure of the Kato class but of the Hardy class with the constant (cf. Definition 4.5).     

Inducing sensitivity on hyperspaces

Let (X,d) be a compact metric space and (K(X),dH) be the space of all non-empty compact subsets of X equipped with the Hausdorff metric dH. The dynamical system (X,f) induces another dynamical system . We study the relations between the various forms of sensitivity of the systems (X,f) and . We prove that all forms of sensitivity of partly imply the same for (X,f), and the converse holds in some cases.     

Multiplicatively range-preserving maps between Banach function algebras

Let A and B be two Banach function algebras on locally compact Hausdorff spaces X and Y, respectively. Let T be a multiplicatively range-preserving map from A onto B in the sense that (TfTg)(Y)=(fg)(X) for all f,g∈A. We define equivalence relations on appropriate subsets and of X and Y, respectively, and show that T induces a homeomorphism between the quotient spaces of and by these equivalence relations. In particular, if all points in the Choquet boundaries of A and B are strong boundary points, then and are equal to the Choquet boundaries of A and B, respectively, and moreover, there exist a continuous function h on the Choquet boundary of B taking its values in {−1,1} and a homeomorphism φ from the Choquet boundary of B onto the Choquet boundary of A such that Tf(y)=h(y)f(φ(y)) for all f∈A and y in the Choquet boundary of B. For certain Banach function algebras A and B on compact Hausdorff spaces X and Y, respectively, we can weaken the surjectivity assumption and give a representation for maps belonging 2-locally to the family of all multiplicatively range-preserving maps from A onto B.     

Integral representations for a class of operators

Let X be a completely regular Hausdorff space, E Hausdorff a quasi-complete locally convex space and Cb(X,E) all E-valued bounded continuous functions on X with strict topologies βt, , . We prove that a linear continuous mapping T:Cb(X,E)→E arises from a scalar measure μ∈(Cb^′(X),βz)(z=t,∞,τ) if and only if g(T(f))=0 whenever g○f=0 for any f∈Cb(X,E), g∈E^′.