Fibrations of topological stacks

In this note we define fibrations of topological stacks and establish their main properties. When restricted to topological spaces, our notion of fibration coincides with the classical one. We prove various standard results about fibrations (long exact sequence for homotopy groups, Leray–Serre and Eilenberg–Moore spectral sequences, etc.). We prove various criteria for a morphism of topological stacks to be a fibration, and use these to produce examples of fibrations. We prove that every morphism of topological stacks factors through a fibration and construct the homotopy fiber of a morphism of topological stacks. As an immediate consequence of the machinery we develop, we also prove van Kampen?s theorem for fundamental groups of topological stacks.     

Rational Homotopy Theory and Nonnegative Curvature

in this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact non-negative curved manifolds admit （complete） metrics with non-negative curvature.     

The effect of the slip condition on flows of an Oldroyd 6-constant fluid

The steady flows of a non-Newtonian fluid are considered when the slippage between the plate and the fluid is valid. The constitutive equations of the fluid are modeled by those for an Oldroyd 6-constant fluid. They give rise to non-linear boundary value problems. The analytical solutions are obtained using powerful, easy-to-use analytic technique for non-linear problems, the homotopy analysis method. It is shown that solutions exist for all values of non-Newtonian parameters. The solutions valid for no-slip condition for all values of non-Newtonian parameters can be derived as the special cases of the present analysis. Finally, graphs are plotted and critical assessment is made for the cases of slip and no-slip conditions.     

A new family of iterative methods for solving system of nonlinear algebric equations

Homotopy perturbation method (HPM) is applied to construct a new iterative method for solving system of nonlinear algebric equations. Comparison of the result obtained by the present method with that obtained by revised Adomian decomposition method [Hossein Jafari, Varsha Daftardar-Gejji, Appl. Math. Comput. 175 (2006) 1–7] reveals that the accuracy and fast convergence of the new method.     

The homotopy limit problem for two-primary algebraic K-theory

We solve the homotopy limit problem for two-primary algebraic K-theory of fields, that is, the Quillen-Lichtenbaum conjecture at the prime 2.     

A homotopy interior point method for semi-infinite programming problems

This paper presents a homotopy interior point method for solving a semi-infinite programming (SIP) problem. For algorithmic purpose, based on bilevel strategy, first we illustrate appropriate necessary conditions for a solution in the framework of standard nonlinear programming (NLP), which can be solved by homotopy method. Under suitable assumptions, we can prove that the method determines a smooth interior path from a given interior point to a point w ^*, at which the necessary conditions are satisfied. Numerical tracing this path gives a globally convergent algorithm for the SIP. Lastly, several preliminary computational results illustrating the method are given.     

Series solutions of unsteady MHD flows above a rotating disk

The series solutions of unsteady flows of a viscous incompressible electrically conducting fluid caused by an impulsively rotating infinite disk are given by means of an analytic technique, namely the homotopy analysis method. Using a set of new similarity transformations, we transfer the Navier–Stokes equations into a pair of nonlinear partial differential equations. The convergent series solutions are obtained, which are uniformly valid for all dimensionless time 0 ≤ τ < ∞ in the whole spatial region 0 ≤ η < ∞. To the best of our knowledge, such kind of series solutions have never been reported. The effect of magnetic number on the velocity is investigated.     

Piecewise homotopy perturbation method for solving linear and nonlinear weakly singular VIE of second kind

The purpose of this paper is to obtain the approximation solution of linear and strong nonlinear weakly singular Volterra integral equation of the second kind, especially for such a situation that the equation is of nonsmooth solution and the situation that the problem is a strong nonlinear problem. For this purpose, we firstly make a transform to the equation such that the solution of the new equation is as smooth as we like. Through modifying homotopy perturbation method, an algorithm is successfully established to solve the linear and nonlinear weakly singular Volterra integral equation of the second kind. And the convergence of the algorithm is proved strictly. Comparisons are made between our method and other methods, and the results reveal that the modified homotopy perturbation is effective.     

Regenerative cascade homotopies for solving polynomial systems

A key step in the numerical computation of the irreducible decomposition of a polynomial system is the computation of a witness superset of the solution set. In many problems involving a solution set of a polynomial system, the witness superset contains all the needed information. Sommese and Wampler gave the first numerical method to compute witness supersets, based on dimension-by-dimension slicing of the solution set by generic linear spaces, followed later by the cascade homotopy of Sommese and Verschelde. Recently, the authors of this article introduced a new method, regeneration, to compute solution sets of polynomial systems. Tests showed that combining regeneration with the dimension-by-dimension algorithm was significantly faster than naively combining it with the cascade homotopy. However, in this article, we combine an appropriate randomization of the polynomial system with the regeneration technique to construct a new cascade of homotopies for computing witness supersets. Computational tests give strong evidence that regenerative cascade is superior in practice to previous methods.     

On Quillen?s Theorem A for posets

A theorem of McCord of 1966 and Quillen?s Theorem A of 1973 provide sufficient conditions for a map between two posets to be a homotopy equivalence at the level of complexes. We give an alternative elementary proof of this result and we deduce also a stronger statement: under the hypotheses of the theorem, the map is not only a homotopy equivalence but a simple homotopy equivalence. This leads then to stronger formulations of the simplicial version of Quillen?s Theorem A, the Nerve Lemma and other known results. In particular we establish a conjecture of Kozlov on the simple homotopy type of the crosscut complex and we improve a well-known result of Cohen on contractible mappings.