Iwasawa theory for -local spectra

The Iwasawa algebra is a power series ring in one variable over the -adic integers. It has long been studied by number theorists in the context of -extensions of number fields. It also arises, however, as a ring of operations in -adic topological -theory. In this paper we study -local stable homotopy theory using the structure theory of modules over the Iwasawa algebra. In particular, for odd we classify -local spectra up to pseudo-equivalence (the analogue of pseudo-isomorphism for -modules) and give an Iwasawa-theoretic classification of the thick subcategories of the weakly dualizable spectra.

     

Invariants of Directed Spaces

Directed spaces are the objects of study within directed algebraic topology. They are characterised by spaces of directed paths associated to a source and a target, both elements of an underlying topological space. The algebraic topology of these path spaces and their connections are studied from a categorical perspective. In particular, we study the preorder category associated to a directed space and various “quotient” categories arising from algebraic topological functors. Furthermore, we propose and study a new notion of directed homotopy equivalence between directed spaces.      

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

Approximate solution for the Klein Gordon-Schrdinger equation by the homotopy analysis method

The Homotopy analysis method is applied to obtain the approximate solution of the Klein--Gordon--Schr?dinger equation. The Homotopy analysis solutions of the Klein--Gordon--Schr?dinger equation contain an auxiliary parameter which provides a convenient way to control the convergence region and rate of the series solutions. Through errors analysis and numerical simulation, we can see the approximate solution is very close to the exact solution.     

Homotopy Structures for Algebras over a Monad

Let T be a monad over a category A. Then a homotopy structure for A, defined by a cocylinder P : A A, or path-endofunctor, can be lifted to the category A ^T of Eilenberg–Moore algebras over T, provided that P is consistent with T in a natural sense, i.e. equipped with a natural transformation : T P P T satisfying some obvious axioms. In this way, homotopy can be lifted from well-known, basic situations to various categories of algebras for instance, from topological spaces to topological semigroups, or spaces over a fixed space (fibrewise homotopy), or actions of a fixed topological group (equivariant homotopy); from categories to strict monoidal categories; from chain complexes to associative chain algebras. The interest is given by the possibility of lifting the homotopy operations (as faces, degeneracy, connections, reversion, interchange, vertical composition, etc.) and their axioms from A to A ^T , just by verifying the consistency between these operations and : T P P T. When this holds, the structure we obtain on our category of algebras is sufficiently powerful to ensure the main general properties of homotopy.     

Homotopy of Non-Modular Partitions and the Whitehouse Module

We present a class of subposets of the partition lattice _n with the following property: The order complex is homotopy equivalent to the order complex of _n – 1, and the S _n -module structure of the homology coincides with a recently discovered lifting of the S _n – 1-action on the homology of _n – 1. This is the Whitehouse representation on Robinson's space of fully-grown trees, and has also appeared in work of Getzler and Kapranov, Mathieu, Hanlon and Stanley, and Babson et al.One example is the subposet P _n ⁿ – 1 of the lattice of set partitions _n , obtained by removing all elements with a unique nontrivial block. More generally, for 2 k n – 1, let Q _n ^k denote the subposet of the partition lattice _n obtained by removing all elements with a unique nontrivial block of size equal to k, and let P _n ^k = _{i = 2} ^k Q _n ⁱ . We show that P _n ^k is Cohen-Macaulay, and that P _n ^k and Q _n ^k are both homotopy equivalent to a wedge of spheres of dimension (n – 4), with Betti number . The posets Q _n ^k are neither shellable nor Cohen-Macaulay. We show that the S _n -module structure of the homology generalises the Whitehouse module in a simple way.We also present a short proof of the well-known result that rank-selection in a poset preserves the Cohen-Macaulay property.     

From

Let be a space of finite type. Set as usual, and define the mod support of by for 0.$"> Call sparse if there is no with

Then we show the relation for any finite type space with being sparse.

As a special case, we have and the main theorem of Ravenel, Wilson and Yagita is also generalized in terms of the mod support.

     

Higher-order streamfunction-vorticity formulation of 2D steady-state Navier-Stokes equations

Based on regular boundary element method and a kind of linearity invariance under homotopy, a kind of numerical scheme of 2D steady-state Navier-Stokes equation in streamfunction-vorticity formulation is described. The flow inside a square cavity is used to illustrate this numerical scheme.     

Local Projective Model Structures on Simplicial Presheaves

We introduce different model structures on the categories of simplicial presheaves and simplicial sheaves on some essentially small Gro-then-dieck site T and give some applications of these simplified model categories. In particular, we prove that the stable homotopy categories SH((Sm/k)Nis,A1) and SH((Sch/k)cdh,A1) are equivalent. This result was first proven by Voevodsky and our proof uses many of his techniques, but it does not use his theory of -closed classes.     

GENERAL BOUNDARY ELEMENT METHOD FOR NON-LINEAR PROBLEMS

In this paper the well-known non-linear equation f‴+½ff″=0 with boundary conditions f(0)=0, f′(0)=0 and f (∞)=1 is used as an example to describe the basic ideas of a kind of general boundary element method for non-linear problems whose governing equations and boundary conditions may not contain any linear terms at all.