The Vector Space Kinna‐Wagner Principle is Equivalent to the Axiom of Choice

We show that the axiom of choice AC is equivalent to the Vector Space Kinna‐Wagner Principle, i.e., the assertion: “For every family 𝒱= {V_i : i ∈ k} of non trivial vector spaces there is a family ℱ = {F_i : i ∈ k} such that for each i ∈ k, F_i is a non empty independent subset of V_i”. We also show that the statement “every vector space over ℚ has a basis” implies that every infinite well ordered set of pairs has an infinite subset with a choice set, a fact which is known not to be a consequence of the axiom of multiple choice MC.     

Extending Independent Sets to Bases and the Axiom of Choice

We show that the both assertions “in every vector space B over a finite element field every subspace V ? B has a complementary subspace S” and “for every family ?? of disjoint odd sized sets there exists a subfamily ?={F_j:j ?ω} with a choice function” together imply the axiom of choice AC. We also show that AC is equivalent to the statement “in every vector space over ? every generating set includes a basis”.     

On Framed Instanton Bundles and Their Deformations

We consider a compact twistor space P and assume that there is a surface S ⊂ P, which has degree one on twistor fibres and contains a twistor fibre F, e.g. P a LeBrun twistor space ([20], [18]). Similar to [6] and [5] we examine the restriction of an instanton bundle V equipped with a fixed trivialization along F to a framed vector bundle over (S, F). First we develope inspired by [13] a suitable deformation theory for vector bundles over an analytic space framed by a vector bundle over a subspace of arbitrary codimension. In the second section we describe the restriction as a smooth natural transformation into a fine moduli space. By considering framed U(r)‐instanton bundles as a real structure on framed instanton bundles over P, we show that the bijection between isomorphism classes of framed U(r)‐instanton bundles and isomorphism classes of framed vector bundles over (S, F) due to [5] is actually an isomorphism of moduli spaces.     

On some relationships between biorthogonal systems,linear topologies and the weak‐AFPP

In this paper, we obtain new results for the weak‐AFPP in abstract spaces by exploiting biorthogonal systems techniques. Firstly, we investigate the strong‐AFPP on countably infinite dimensional Hausdorff locally convex spaces. Spaces of this class are shown to be sequentially complete iff they have the hereditary FPP for totally bounded, closed convex sets. This might open a research line for the analysis of weak‐AFPP in such frames. In connection, we provide a simple criterion for the containement of ?₁‐sequences in terms of strongly‐equicontinuous biorthogonal systems. We then establish a few results concerning the existence of Hausdorff finer vector topologies on abstract spaces having as prescribed condition the existence of such systems. The proofs are based on methods of Peck and Porta concerning building of finer vector topologies, and a classical construction of Singer which allows us to prove under rather natural conditions the existence of equicontinuous biorthogonal systems in metrizable locally convex spaces. These results are compatible with the failure of the weak‐AFPP. We also study the inverse problem by proving that every infinite dimensional vector space admits a (non‐locally convex) Hausdorff vector topology which is complete, non‐metrizable and is compatible with a bounded Hamel Schauder basis. It is shown further that such a topology has the ‐AFPP, where is the linear span of coefficient functionals associated to a Hamel basis. Finally, inspired by a result of Shapiro, we observe that if X is a non‐locally convex F‐space with an absolute basis, then the weak‐AFPP is equivalent to the fact that every bounded convex subset of X is compact.     

On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle (FIP) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to ACA₀ over RCA₀, while others are strictly weaker and incomparable with WKL₀. We show that there is a computable instance of FIP every solution of which has hyperimmune degree, and that every computable instance has a solution in every nonzero c.e. degree. In particular, FIP implies the omitting partial types principle (OPT) over RCA₀. We also show that, modulo Σ ₂ ⁰ induction, FIP lies strictly below the atomic model theorem (AMT).     

Conditions on decomposable symmetric tensors as an algebraic variety

Let V be a finite dimensional vector space of dimension at least 2 over an infinite field F. We show that the set of all decomposable elements in the rth symmetric product space over i:V(r≥ 2) is an algebraic set if F is algebraically closed and only if every polynomial of degree at most r splits completcly over F.     

Very ampleness of multiple of tetragonal linear systems

In this paper we continue the study of sandwich near‐rings. We introduce the sandwich near‐ring of homogeneous functions,N: = M _F(D,W,ψ) where Fis a fieldDis an F-setWa vector space over Fand ψW→D, a homogeneous map. We investigate the internal structure of Nin terms of the components D, W,and ψ     

On some infinite dimensional linear groups

Let F be a field, A be a vector space over F, and GL(F,A) the group of all automorphisms of the vector space A. A subspace B of A is called nearly G-invariant, if dim _F (BFG/B) is finite. A subspace B is called almost G-invariant, if dim _F (B/Core _G (B)) is finite. In the present article we begin the study of subgroups G of GL(F,A) such that every subspace of A is either nearly G-invariant or almost G-invariant. More precisely, we consider the case when G is a periodic p′-group where p = charF.      

Infinite dimensional linear groups with many G — invariant subspaces

Let F be a field, A be a vector space over F, GL(F, A) be the group of all automorphisms of the vector space A. A subspace B of A is called nearly G-invariant, if dim _F (BFG/B) is finite. A subspace B is called almost G-invariant, if dim _F (B/Core _G (B)) is finite. In the current article, we study linear groups G such that every subspace of A is either nearly G-invariant or almost G-invariant in the case when G is a soluble p-group where p = char F.     

Onc 0 sequences in Banach spaces

A Banach space has property (S) if every normalized weakly null sequence contains a subsequences equivalent to the unit vector basis ofc ₀. We show that the equivalence constant can be chosen “uniformly”, i.e., independent of the choice of the normalized weakly null sequence. Furthermore we show that a Banach space with property (S) has property (u). This solves in the negative the conjecture that a separable Banach space with property (u) not containingl ₁ has a separable dual. This is part of this author's Ph.D. dissertation prepared at The University of Texas at Austin under the supervision of H. P. Rosenthal.     

The approximation property for spaces of holomorphic functions on infinite-dimensional spaces I

For an open subset U of a locally convex space E, let (H(U),τ₀) denote the vector space of all holomorphic functions on U, with the compact-open topology. If E is a separable Fréchet space with the bounded approximation property, or if E is a (DFC)-space with the approximation property, we show that (H(U),τ₀) has the approximation property for every open subset U of E. These theorems extend classical results of Aron and Schottenloher. As applications of these approximation theorems we characterize the spectra of certain topological algebras of holomorphic mappings with values in a Banach algebra.     

Reduction theory for a rational function field

LetG be a split reductive group over a finite field F_q. LetF = F_q(t) and let A denote the adèles ofF. We show that every double coset inG(F)/G(A)/K has a representative in a maximal split torus ofG. HereK is the set of integral adèlic points ofG. WhenG ranges over general linear groups this is equivalent to the assertion that any algebraic vector bundle over the projective line is isomorphic to a direct sum of line bundles.     

Weak Borel chromatic numbers

Given a graph G whose set of vertices is a Polish space X, the weak Borel chromatic number of G is the least size of a family of pairwise disjoint G ‐independent Borel sets that covers all of X. Here a set of vertices of a graph G is independent if no two vertices in the set are connected by an edge. We show that it is consistent with an arbitrarily large size of the continuum that every closed graph on a Polish space either has a perfect clique or has a weak Borel chromatic number of at most ?₁. We observe that some weak version of Todorcevic's Open Coloring Axiom for closed colorings follows from MA. Slightly weaker results hold for F_σ‐graphs. In particular, it is consistent with an arbitrarily large size of the continuum that every locally countable F_σ‐graph has a Borel chromatic number of at most ?₁. We refute various reasonable generalizations of these results to hypergraphs (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Hahn-Banach Property and the Axiom of Choice

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ? is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ? such that g extends f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC.     

A lattice approach to narrow operators

It is known that if a rearrangement invariant function space E on [0,1] has an unconditional basis then each linear continuous operator on E is a sum of two narrow operators. On the other hand, the sum of two narrow operators in L₁ is narrow. To find a general approach to these results, we extend the notion of a narrow operator to the case when the domain space is a vector lattice. Our main result asserts that the set N_r(E, F) of all narrow regular operators is a band in the vector lattice L_r(E, F) of all regular operators from a non-atomic order continuous Banach lattice E to an order continuous Banach lattice F. The band generated by the disjointness preserving operators is the orthogonal complement to N_r(E, F) in L_r(E, F). As a consequence we obtain the following generalization of the Kalton-Rosenthal theorem: every regular operator T : E → F from a non-atomic Banach lattice E to an order continuous Banach lattice F has a unique representation as T = T_D + T_N where T_D is a sum of an order absolutely summable family of disjointness preserving operators and T_N is narrow. Supported by Ukr. Derzh. Tema N 0103Y001103.     

On κ‐hereditary Sets and Consequences of the Axiom of Choice

We will prove that some so‐called union theorems (see [2]) are equivalent in ZF⁰ to statements about the transitive closure of relations. The special case of “bounded” union theorems dealing with κ‐hereditary sets yields equivalents to statements about the transitive closure of κ‐narrow relations. The instance κ = ω₁ (i. e., hereditarily countable sets) yields an equivalent to Howard‐Rubin's Form 172 (the transitive closure Tc(x) of every hereditarily countable set x is countable). In particular, the countable union theorem (Howard‐Rubin's Form 31) and, a fortiori, the axiom of countable choice imply Form 172.     

A recursive construction for universal cycles of 2-subspaces

We prove that universal cycles of 2-dimensional subspaces of vector spaces over any finite field F exist, i.e., if V is a finite-dimensional vector space over F, there is a cycle of vectors v₁,v₂,…,v_n such that each 2-dimensional subspace of V occurs exactly once as the span of consecutive vectors.     

The non-projective part of the Lie module for the symmetric group

The Lie module of the group algebra F\mathfrakS_n{{F\mathfrak{S}_n}} of the symmetric group is known to be not projective if and only if the characteristic p of F divides n. We show that in this case its non-projective summands belong to the principal block of F\mathfrakS_n{{F\mathfrak{S}_n}} . Let V be a vector space of dimension m over F, and let L ⁿ (V) be the n-th homogeneous part of the free Lie algebra on V; this is a polynomial representation of GL _m (F) of degree n, or equivalently, a module of the Schur algebra S(m, n). Our result implies that, when m ≥ n, every summand of L ⁿ (V) which is not a tilting module belongs to the principal block of S(m, n), by which we mean the block containing the n-th symmetric power of V.     

[a,b]-factorization of a graph

Let a and b be integers such that 0 ? a ? b. Then a graph G is called an [a, b]-graph if a ? d_G(x) ? b for every x ? V(G), and an [a, b]-factor of a graph is defined to be its spanning subgraph F such that a ? d_F(x) ? b for every vertex x, where d_G(x) and d_F(x) denote the degrees of x in G and F, respectively. If the edges of a graph can be decomposed into [a.b]-factors then we say that the graph is [2a, 2a]-factorable. We prove the following two theorems: (i) a graph G is [2a, 2b)-factorable if and only if G is a [2am,2bm]-graph for some integer m, and (ii) every [8m + 2k, 10m + 2k]-graph is [1,2]-factorable.     

The chromatic Ramsey number of odd wheels

We prove that the chromatic Ramsey number of every odd wheel W_{2k+ 1}, k?2 is 14. That is, for every odd wheel W_{2k+ 1}, there exists a 14‐chromatic graph F such that when the edges of F are two‐coloured, there is a monochromatic copy of W_{2k+ 1} in F, and no graph F with chromatic number 13 has the same property. We ask whether a natural extension of odd wheels to the family of generalized Mycielski graphs could help to prove the Burr–Erd?s–Lovász conjecture on the minimum possible chromatic Ramsey number of an n‐chromatic graph. © 2011 Wiley Periodicals, Inc. J Graph Theory 69:198‐205, 2012