Implications of large-cardinal principles in homotopical localization

The existence of arbitrary cohomological localizations on the homotopy category of spaces has remained unproved since Bousfield settled the same problem for homology theories in the decade of 1970. This is related with another open question, namely whether or not every homotopy idempotent functor on spaces is an f-localization for some map f. We prove that both questions have an affirmative answer assuming the validity of a suitable large-cardinal axiom from set theory (Vopěnka's principle). We also show that it is impossible to prove that all homotopy idempotent functors are f-localizations using the ordinary ZFC axioms of set theory (Zermelo-Fraenkel axioms with the axiom of choice), since a counterexample can be displayed under the assumption that all cardinals are nonmeasurable, which is consistent with ZFC.     

Fixed points and graph images for minimal maps on the once punctured torus

A fixed point detection theorem for a family of maps defined on the once punctured torus is proved. As a consequence, we produce an example of a homotopy class [f] of self-maps on the once punctured torus that illustrates the following: (i) there is a map in the homotopy class that has no fixed points, and (ii) if the image of f lies in a 1-complex that embeds as a homotopy equivalence, then f must have a fixed point.     

Parametric H-principle for holomorphic immersions with approximation

We prove the parametric homotopy principle for holomorphic immersions of Stein manifolds into Euclidean space and the homotopy principle with approximation on holomorphically convex sets. We write an integration by parts like formula for the solution f to the problem LfΣ_|=g, where L is a holomorphic vector field, semi-transversal to analytic variety Σ.     

On the total absolute curvature of an immersed sphere

A recent result of Tobias Ekholm [T. Ekholm, Regular homotopy and total curvature II: Sphere immersions into 3-space, Alg. Geom. Topol. 6 (2006) 493-513] shows that for every ?>0 it is possible to construct a sphere eversion such that the total absolute curvature of the immersed spheres are always less than 8π+?. It is an open question whether this is the best possible. The paper contains results relating to this conjecture. As an interesting consequence of these methods it is shown that if during an eversion the total absolute curvature does not exceed 12π then a certain topological event must take place, namely the immersion must become non-simple at some point. An immersion f in general position is simple if for any irreducible self-intersection curve of f in 3-space, its two pre-image curves in the sphere are disjoint.     

Extending local homotopy equivalences

We give an elementary proof of one of tom Dieck’s theorems. The theorem says that iff:X → Y is a local homotopy equivalence in a strong enough sense, thenf is a homotopy equivalence globally. Applications, 1. The base space of any numerable principalG-bundle is of the sme homotopy type as the Borel space of the bundle. 2. The nerve of a numerable coveringU ofX for which all finite intersections are contractible is of the same homotopy type asX.     

Immersion extension-lift over a Morse function

Let V be a compact connected oriented surface with boundary and f:∂V×[0,1)→R a non-singular function such that f|∂V×{0} is a Morse function. Let ι:∂V×[0,1)→V be a collaring of ∂V and π:R²→R an orthogonal projection. In this paper, we study existence of an orientation preserving immersion F:V→R² such that π°F°ι=f. We also study image homotopy classes of F when we fix f and study relation between two image homotopy classes when f is deformed under a Morse homotopy.     

Minimization of the number of periodic points for smooth self-maps of simply-connected manifolds with periodic sequence of Lefschetz numbers

Let f be a smooth self-map of m-dimensional, m ≥ 4, smooth closed connected and simply-connected manifold, r a fixed natural number. For the class of maps with periodic sequence of Lefschetz numbers of iterations the authors introduced in [Graff G., Kaczkowska A., Reducing the number of periodic points in smooth homotopy class of self-maps of simply-connected manifolds with periodic sequence of Lefschetz numbers, Ann. Polon. Math. (in press)] the topological invariant J[f] which is equal to the minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of f. In this paper the invariant J[f] is computed for self-maps of 4-manifold M with dimH ₂(M; ?) ≤ 4 and estimated for other types of manifolds. We also use J[f] to compare minimization of the number of periodic points in smooth and in continuous categories.     

Rationalized evaluation subgroups of a map II: Quillen models and adjoint maps

We identify the long exact sequence induced on rational homotopy groups by the evaluation map , and in particular the rationalization of the evaluation subgroups of f, in terms of derivations of Quillen models and adjoint maps. We consider a generalization of a question of Gottlieb within the context of rational homotopy theory. We also study the rationalization of the G-sequence of a map. In a separate result of independent interest, we give an explicit Quillen minimal model of a product A×X, in the case in which A is a rational co-H-space.     

Maps into homotopy coalgebras

Let X be a k-fold homotopy coalgebra of order j with respect to the pair of adjoint functors Σk and Ωk. We show that, under some connectivity conditions on the map , Y inherits a k-fold homotopy coalgebra structure of the same order for which f is a morphism of homotopy coalgebras. In particular, this holds for skeleta of homotopy coalgebras under some mild assumptions. As a consequence, we complete results on [M. Arkowitz, M. Golasiński, Homotopy coalgebras and k-fold suspensions, Hiroshima Math. J. 27 (1997) 209-220] and [T. Ganea, Cogroups and suspensions, Invent. Math. 9 (1970) 185-197] by detecting k-fold suspensions among skeleta of k-fold homotopy coalgebras.     

Geometric approach to stable homotopy groups of spheres. The Adams–Hopf invariants

In this paper, a geometric approach to stable homotopy groups of spheres based on the Pontryagin–Thom construction is proposed. From this approach, a new proof of the Hopf-invariant-one theorem of J. F. Adams for all dimensions except 15, 31, 63, and 127 is obtained. It is proved that for n > 127, in the stable homotopy group of spheres Π _n , there is no element with Hopf invariant one. The new proof is based on geometric topology methods. The Pontryagin–Thom theorem (in the form proposed by R. Wells) about the representation of stable homotopy groups of the real, projective, infinite-dimensional space (these groups are mapped onto 2-components of stable homotopy groups of spheres by the Kahn–Priddy theorem) by cobordism classes of immersions of codimension 1 of closed manifolds (generally speaking, nonoriented) is considered. The Hopf invariant is expressed as a characteristic class of the dihedral group for the self-intersection manifold of an immersed codimension-1 manifold that represents the given element in the stable homotopy group. In the new proof, the geometric control principle (by M. Gromov) for immersions in the given regular homotopy classes based on the Smale–Hirsch immersion theorem is required. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 3–15, 2007.     

Holomorphic Extensions of Whitney Jets

Let φ be a Whitney jet on a closed set F ? ?. By Whitney’s extension theorem φ can be extended to an infinitely differentiable function f on ? which is real analytic on ? F. The main purpose of this article is to show that f can be chosen in such a way that f¦_?F has a holomorphic continuation to the open set (? F) × i? ? ?. In the special case that F is a compact interval or a single point we can even achieve that f¦_?F has a holomorphic continuation to all of $\hat {\rm C}\setminus F$ . In particular, this implies an improvement of the well-known theorem of E. Borel. We also investigate the question when such extensions are given by a so-called extension operator.     

Cell decomposition of almost smooth real algebraic surfaces

Let Z be a two dimensional irreducible complex component of the solution set of a system of polynomial equations with real coefficients in N complex variables. This work presents a new numerical algorithm, based on homotopy continuation methods, that begins with a numerical witness set for Z and produces a decomposition into 2-cells of any almost smooth real algebraic surface contained in Z. Each 2-cell (a face) has a generic interior point and a boundary consisting of 1-cells (edges). Similarly, the 1-cells have a generic interior point and a vertex at each end. Each 1-cell and each 2-cell has an associated homotopy for moving the generic interior point to any other point in the interior of the cell, defining an invertible map from the parameter space of the homotopy to the cell. This work draws on previous results for the curve case. Once the cell decomposition is in hand, one can sample the 2-cells and 1-cells to any resolution, limited only by the computational resources available.     

On the maximum rank of a real binary form

We show that a real binary form f of degree n has n distinct real roots if and only if for any \({(\alpha,\beta)\in\mathbb{R}^2{\setminus}\{0\}}\) all the forms αf _x + βf _y have n ? 1 distinct real roots. This answers to a question of Comon and Ottaviani (On the typical rank of real binary forms, available at arXiv:math/0909.4865, 2009), and allows to complete their argument to show that f has symmetric rank n if and only if it has n distinct real roots.     

On extensions of characteristic functions

Here we deal with the following question: Is it true that, for any closed interval on the real line ? that does not contain the origin, there exists a characteristic function f such that f(x) coincides with the normal characteristic function \( {\mathrm{e}}^{-{x}^2/2} \) on this interval but f(x) ? \( {\mathrm{e}}^{-{x}^2/2} \) on ?? The answer to this question is positive. We study a more general case of an arbitrary characteristic function g of a continuous probability density, instead of \( {\mathrm{e}}^{-{x}^2/2} \).     

Theoretical analysis of discrete contact problems with Coulomb friction

A discrete model of the two-dimensional Signorini problem with Coulomb friction and a coefficient of friction F depending on the spatial variable is analysed. It is shown that a solution exists for any F and is globally unique if F is sufficiently small. The Lipschitz continuity of this unique solution as a function of F as well as a function of the load vector f is obtained. Furthermore, local uniqueness of solutions for arbitrary F > 0 is studied. The question of existence of locally Lipschitz-continuous branches of solutions with respect to the coefficient F is converted to the question of existence of locally Lipschitz-continuous branches of solutions with respect to the load vector f. A condition guaranteeing the existence of locally Lipschitz-continuous branches of solutions in the latter case and results for determining their directional derivatives are given. Finally, the general approach is illustrated on an elementary example, whose solutions are calculated exactly.     

Fixed-orbit indices, I

Let G be a compact Lie group. Using methods from equivariant fibrewise stable homotopy theory, we study indices which measure algebraically (1) for a G-self-map f of a compact G-ENR, the set of G-orbits which are preserved by f and (2) for a G-vector field v on a closed smooth G-manifold, the set of points where v is parallel to the G-orbit through the point.     

Deformations with finitely many gradients and stability of quasiconvex hulls

We confirm a conjecture by J.M. Ball and R.D. James about the existence of Lipschitz maps using finitely many gradients without any rank-one connection. For this purpose, we derive a new stability result for quasiconvex hulls which answers a question by Kewei Zhang. The final construction of the functions is based on a new argument which reduces the existence of solutions of partial differential inclusions ∇f∈K to a very natural stability property. In this way our argument unifies and explains the power of both the convex integration method and the present Baire category approach to such existence questions.     

Real Analytic Fibre Bundles: Some Results on Classification and Homotopies

The classification problem for holomorphic fibre bundles over Stein spaces was solved by H. GRAUERT. Along the same lines, the real coherent analytic case was considered by A. TOGNOLI and V. ANCONA. In this paper we propose a different approach, based on classifying spaces, in order to study the previous problem for real analytic fibre bundles over C -analytic subspaces of R ^m. So, let X be a C -analytic subspace of R ^m and G a compact Lie group. The main result is a characterization of the real analytic G-principal fibre bundles over X for which the analytic and topological equivalence coincide. Moreover, we prove that these bundles can be classified also by means of homotopy classes of analytic maps of X into classifying spaces. Among the others results, are worth recording: a relative approximation theorem of continuous cross sections by analytic ones, a theorem about the equivalence between analytical and topological homotopy between cross sections and a covering homotopy theorem.